Public Attributes | |
| int | channel |
| int | written |
| int | flushed |
| void * | addr |
| int | size |
| l4_fpage_t | fpage |
A connection is a unit, related to a client. A connection is bound to a channel, multiple connections can use the same channel.
A connection is unused if the channel id is 0.
The protocol when writing data to a connection is as follows: One packet can be buffered in the connection descriptor. Each time the main-thread wants to store a packet in the connection descriptor, it writes the address and size in the addr and size fields and increments the written field. The flusher thread increments the flushed field, if the buffer was successfully flushed. Therefore, the main-thread can determine if the buffer is free by comparing the written and the flushed field.
Definition at line 38 of file stuff.h.
1.5.6