Global shared variables. Message passing paradigm. Communication Ports. Port characteristics. Sending a message 07/11/2018

Transcription

1 Global shared variables In most RT applications, tasks exchange data through global shared variables. Advantages High efficiency Low run-time overhead Schedulability analysis is available Disadvantages Data must be accessed in mutual exclusion: non-preemptive regions; semaphores, priority inheritance, priority ceiling. ot good for modular design: local details are exposed to other tasks; a change in a task affect other tasks. Message passing paradigm Another approach is to exchange data through a message passing paradigm: Every task operates on a private memory space; Data are exchanged by messages through a channel. 1 channel Communication Ports Many operating systems provides the channel abstraction through the port construct. A task can a port to exchange messages by means of two primitives: send sends a message to a port receive receives a message from a port Message: Channel: set of data having a predefined format. logical link by which two tasks can communicate. Some operating systems allow the r to define different types of ports, with peculiar semantics. Port characteristics Ports may differ for: number of tasks allowed to send messages; number of tasks allowed to receive messages; policy d to insert and extract messages. behavior to manage exceptions (sending to a full port or receiving from an empty port). Before being d, a port has to be created, and then destroyed when it is not needed any more. Port attributes need to be defined at creation time Sending a message A message sent to a port is inserted to an internal buffer, whose size must be defined at creation time: 1 C B A If a message is sent when the port buffer is full, an exception policy has to be selected. Typically: the sender is blocked until the receiver reads a message (synchronous behavior); the new message is lost; an error message is returned by the send. 1

2 Receiving a message Using a port When receiving from a port, the message at the head of the buffer is extracted (consumed): 1 C BC BA Task A p = port_create(); send(p, mes); port p; Task B port_connect(p); receive(p, mes); When receiving from a port with and empty buffer, an exception policy has to be selected. Typically: the receiver is blocked until a new message is sent (synchronous behavior); an error message is returned by the receive. port_destroy(p); port_disconnect(p); OTE: Task A is the owner and must start first. Periodic task communication Problem (T 1 < T 2 ) 1 T 1 T 2 If (T 1 <T 2 ), 1 puts more messages than what can read. hen the buffer becomes full, 1 must proceed at the same rate as. Periodic task communication Problem (T 1 > T 2 ) 1 T 1 T 2 If (T 1 >T 2 ), reads more messages than what 1 can produce. hen the buffer becomes empty, must proceed at the same rate as 1. Periodic task communication Exchanged messages Thus, if T 1 T 2, after a certain time, both tasks will proceed at the rate of the slowest task. # of exchanged messages = t f i f 1 To keep its own rate, tasks using synchronous ports should have the same period. # of messages in the buffer f 2 How long two tasks with different periods can run at their own rate before they synchronize on a full (or empty) buffer? t 2

3 Buffer saturation STICK Ports If T 1 < T 2, the buffer saturates when: t t T1 T2 Hence, the tasks proceed at their proprer rate while: t t t t 1 T1 T2 T1 T2 That is, while: T1T 2 t ( 1) T T 2 1 They are ports with state message semantics: the most recent message is always available for reading; a new message overrides the previous one; a message is not consumed by the receiver. OTE: Since only the most recent message is of interest, there is no need to maintain a queue of past messages. A task never blocks for a full or empty buffer. STICK Ports Blocking on STICK ports Example T 1 < T 2 Example T 1 > T 2 T 1 T 2 = 2T 1 1 STICK PORT abcdefg aceg T 1 = 2T 2 T 2 1 STICK PORT abcde aabbccddee Although a task cannot blocks for a full or empty buffer, it can block for mutual exclusion: indeed a semaphore is needed to protect the internal buffer from simultaneous accesses. Long messages may ca long blocking delays on such a semaphore. Long waiting times due to long messages can be avoided through a buffer replication mechanism. Dual buffering Dual buffering Dual buffering is often d to transfer large data, (images) from the input peripheral device to a task: If a writer task produces a new message while R is reading, the new message is written in a new buffer: msg1 msg1 R R msg2 msg2 3

4 Dual buffering Once written, the new message becomes available to the next reader: Cyclic Asynchronous Buffers A generalizes dual buffering for readers: It is a mechanism for exchanging messages among periodic tasks with different rates. write write write M3 Memory conflicts are avoided by replicating the internal buffers. It s a state-message semantics: R read read At any time, the most recent message is always available for reading; A new message overrides the previous one; Messages are not consumed by reading. Accessing a Data is accessed through a memory pointer. Hence, a reader is not forced to copy the message in its memory space. More tasks can concurrently read the same message. At any time, a pointer () points to the most recent buffer d for writing a new message. M3 situation at time t 1 t 1 M3 4

5 M3 M3 Dimensioning a M3 situation at time t 2 t 2 M6 If a is d by tasks, to avoid blocking, it must have at least +1 buffers. The (+1)-th buffer is needed for keeping the most recent message in the case all the other buffers are d. M6 Inconsistency with buffers M3 Writing Protocol To write a message in a a task must: 1. ask the for a pointer to a free buffer; copy the message into the buffer using the pointer; Assume all buffers are d and overwrites the most recent message () with. If (while is writing) 1 finishes and requests a new message, it finds the inconsistent. 3. release the pointer to the to make the message accessible to the next reader. 5

6 Reading Protocol Primitives To read a message from a a task must 1. get the pointer to the most recent message in the ; 2. process the message through the pointer; 3. release the pointer, to allow the to recycle the buffer if it is not d. cab_create(cab_name, buf_size, max_buf); creates a with max_buf buffers with size buf_size bytes. It returns a global identifier. cab_delete(cab_id); deletes the specified. Primitives For writing cab_reserve(cab_id, pointer) provides a pointer to write in a free buffer cab_putmes(cab_id, pointer) release the pointer after a write operation For reading cab_getmes(cab_id, pointer) provides a pointer to the most recent message cab_unget(cab_id, pointer) release the pointer after a read operation Writing in a cab_reserve(cab_id, p); <copy message in *p> cab_putmes(cab_id, p); Reading from a Implementing s data structure cab_getmes(cab_id, p); <process message with *p> cab_unget(cab_id, p); i control block free max_buf dim_buf next data next most recent data next empty ULL empty 6

7 cab_reserve() cab_putmes() Provides the pointer to the first free buffer and updates the pointer to the free list. void cab_reserve(cab c, void *p) p = c.free; c.free = p.next; Updates the pointer to the most recent buffer () to point to the last message. If no one is using the previous buffer, the buffer is recycled. void cab_putmes(cab c, void *p) if (c.. == 0) c..next = c.free; c.free = c.; c. = p; cab_getmes() Provides the pointer to the most recent buffer and increments the reader counter. void cab_getmes(cab c, void *p) p = c.; p.++; cab_unget() Decrements the readers counter and recycles the buffer, only if no one is using it and it is not the most recent buffer. void cab_unget(cab c, void *p) p.--; if ((p. == 0) && (p!= c.)) p.next = c.free; c.free = p; 7