tfaLP module

class panco.fifo.tfaLP.TfaLP(network: Network, filename='tfa.lp')

Bases: object

The class TfaLP computes delay bounds using the TFA++ method, using a linear program. For feed-forward networks, does the same as [Mifdaoui, Leydier RTSS17], except that it makes no assumption on the maximum service rate. For cyclic networks, it computes the same as [Thomas, Le Boudec, Mifdaoui, RTSS 19], without this same assumption, and directly computes the fix-point, without iterating. However, this takes into account only the first token-bucket of the arrival curves

Parameters:

• network – the network to analyse.

• filename – name of the file to write the linear program

property all_delays: List[float]

Returns the delay bounds for all the flows

Returns:

the list of delay bounds

delay(foi: int) → float

Returns the delay bound for flow foi

Parameters:

foi – the flow of interest

Returns:

the delay bound of foi

property delay_servers: ndarray

Computes the delay bounds of all the servers.

Returns:

the list of the delays of the servers

property ff_equiv: Network

The equivalent network decomposed into elementary servers

Returns:

tfa_constraints_server(file)

Writes the TFA constraints for each server

Parameters:

file – the file where the constraints are written

Returns:

None

tfa_variables(file)

Writes the constraints of the fix-point variables (the burst transmitted for each flow to the next server)

Parameters:

file – the file in which the constraints are written

Returns:

None