A Fail-Aware Datagram Service
Research output: Other contribution › Other › Contributed › peer-review
Contributors
Abstract
In distributed real-time systems it is often useful for a process p to know that another process q will not use a certain piece of information that p has sent to q beyond a certain deadline. If p can learn about the occurrence of the deadline by simply measuring the passage of time on its own local clock, we call this kind of information exchange `communication by time'. It is shown that communication by time is possible in systems where there exists no a priori known upper bound on the transmission delay of messages and where clocks are not synchronised. It is sufficient if one can compute an a posteriori upper bound on the transmission delay of a message m, i.e. at the time when m is delivered. The authors show how one can compute an a posteriori upper bound on the one-way message transmission delay of a message even if the clocks of the sender and receiver process are not synchronised. The method is used to design a fail-aware datagram service. This service supports communication by time by delivering all messages whose computed one-way transmission delays are smaller than a given bound as `fast' and all other messages as `slow'.The properties of this service are specified and an efficient implementation is provided for it. To illustrate how this service supports communication by time, a leader election protocol that guarantees the existence of at most one leader at any real time is sketched and it is shown how this allows the detection of out-of-date sensor information in process control applications.
Details
Original language | English |
---|---|
Number of pages | 17 |
Publication status | Published - 1999 |
Peer-reviewed | Yes |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution
Keywords
Research priority areas of TU Dresden
DFG Classification of Subject Areas according to Review Boards
Keywords
- protocols, real-time systems, process control, concurrency theory, message passing, control engineering computing, distributed systems software, parallel programming and algorithm theory, fail-ware datagram service, out-of-date sensor information, process control application, local clock, real time, a posteriori upper bound, distributed real time systems, inforatmion exchange, leader election protocol, transmission delay, deadline, receiver process, one-way message transmission delay