fj_synch_delay.h File Reference

Mean synchronization delay of a 2-way fork-join system of M/M/1 branches, i.e. More...

#include "line/api/fj/fj_types.h"
#include "line/api/qsys/qsys_mm1.h"
#include "line/num/number.h"
#include "line/util/error.h"

Include dependency graph for fj_synch_delay.h:

Go to the source code of this file.

Namespaces
namespace	line
namespace	line::fj

Functions
template<class T>
T	line::fj::fj_synch_delay (const T &lambda, const T &mu)
	Mean synchronization delay of a 2-way fork-join system of M/M/1 branches, i.e.

Detailed Description

Mean synchronization delay of a 2-way fork-join system of M/M/1 branches, i.e.

the time the first-finishing branch waits at the join.

Templated port of matlab/src/api/fj/fj_synch_delay.m, cross-checked against jar/src/main/java/jline/api/fj/FJ_synch_delay.java (identical).

S_2 = (1/2)(1 - rho/4) R(rho)

Rational in rho, hence exact in the field. It satisfies R_2 = R + S_2 exactly, which is the identity worth checking: both sides are exact rationals, so any discrepancy is a port error and not a rounding one.

Definition in file fj_synch_delay.h.