Events¶
This module contains all event definitions.
| FlowStart(env, delay, flow) | A Flow begins generating packets |
| LinkAvailable(env, delay, link) | A Router finishes sending a |
| PacketReceipt(env, delay, receiver, packet) | A Host or a Router |
| PacketTimeOut(env, delay, actor, expected_time) | A TLA Check if a packet time out happens |
| RoutingTableOutdated(env, delay, router) | A Router updates its routing table |
| VegasTimeOut(env, delay, actor) | A TCP Vegas updates its window size |
Flow Start¶
Link Available¶
Packet Receipt¶
- class cs143sim.events.PacketReceipt(env, delay, receiver, packet)[source]¶
A Host or a Router receives a Packet on a Link
Parameters: - env – SimPy simulation Environment
- delay (float) – time until Packet begins to arrive at Router (in ms)
- receiver – Host or Router that receives packet
- packet – Packet that arrives
PacketTimeOut¶
- class cs143sim.events.PacketTimeOut(env, delay, actor, expected_time)[source]¶
A TLA Check if a packet time out happens
Parameters: - env – SimPy simulation Environment
- delay (float) – time until packet timeout.
- actor – the responsing TLA
RoutingTableOutdated¶
VegasTimeOut¶
- class cs143sim.events.VegasTimeOut(env, delay, actor)[source]¶
A TCP Vegas updates its window size
Parameters: - env – SimPy simulation Environment
- delay (float) – time until updating.
- actor – the responsing TCP Vegas