Reconciling Real-Time with Asynchronous Message Passing
نویسندگان
چکیده
At rst sight real time and asynchronous message passing like in SDL and ROOM seem to be incompatible Indeed these languages fail to model real time constraints accurately In this paper we show how to reconcile real time with asynchronous message passing by using an assumption which is supported by every mailing system throughout the world namely that messages are time stamped with their sending and arrival time This assumption allows us to develop a formalism which is adequate to model and to specify real time constraints The proposed formalism is shown at work on a small real time example
منابع مشابه
A Formalism for Remotely Interacting Processes | Working Paper |
An earlier paper [21] introduced process calculi with notions of time suited to express concurrent and distributed real-time computations. However, they cannot su ciently model asynchronous communication in distributed systems. In this paper we present a process calculus with the ability to express asynchronous message passing with location-dependent transmission delay. It allows us to describe...
متن کاملAsynchronous Decentralized Task Allocation for Dynamic Environments
This work builds on a decentralized task allocation algorithm for networked agents communicating through an asynchronous channel. The algorithm extends the Asynchronous Consensus-Based Bundle Algorithm (ACBBA) to account for more real time implementation issues resulting from a decentralized planner. This work utilizes a new implementation that allows further insight into the consensus and mess...
متن کاملChecked Transactions in an Asynchronous Message Passing Environment
Traditionally transactions have been singlethreaded. In such an environment the thread terminating the transaction is, by definition, the thread which performed the work. Therefore, transaction termination is implicitly synchronised with the completion of the transactional work. With the increased availability of both software and hardware multi-threading, transaction services are being require...
متن کاملClass notes on Synchronous and Asynchronous Communication, Process Models and Monitoring Models
1 Synchronous and Asynchronous Message Passing System Models 1 1.1 Time and the Process Channel Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Synchronous Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Asynchronous Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Final Remarks on Synch...
متن کاملTime and Asynchrony in Interactions among Distributed Real-Time Objects
This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus to describe distributed objects using local clocks. However, it is appropriately based on synchronous communication and thus cannot sufficiently model asynchronous communication in distributed systems. In this paper we propose a...
متن کامل