fj_respt_closed.h File Reference

Varki bound on the residence time of a closed fork-join subnetwork. More...

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

Include dependency graph for fj_respt_closed.h:

Go to the source code of this file.

Classes
struct	line::fj::FJResptClosedResult< T >
	[R, exact] of fj_respt_closed. More...

Namespaces
namespace	line
namespace	line::fj

Functions
template<class T>
FJResptClosedResult< T >	line::fj::fj_respt_closed (unsigned K, const T &x, unsigned M, const T &A)
	Varki bound on the residence time of a closed fork-join subnetwork.
template<class T>
FJResptClosedResult< T >	line::fj::fj_respt_closed (unsigned K, const T &x, unsigned M)
	The isolated parallel subsystem of Theorem 4.1, where A = M-1.

Detailed Description

Varki bound on the residence time of a closed fork-join subnetwork.

Templated port of matlab/src/api/fj/fj_respt_closed.m.

R_{P_K}(M) <= x [ H_K + A ]

with A the mean number of jobs an arriving job finds at the subnetwork. In a closed network made of the parallel subsystem alone every other job is necessarily inside it, so A = M-1 and the bound is tight at K = 2.

Definition in file fj_respt_closed.h.