Abstract
This paper proposes a new approach and new techniques for on-line monitoring of concurrent programs to ensure that some of their safety properties are not violated. The techniques modify erroneous systems, which violate a certain safety property, into new systems which satisfy the safety property. It does so by adding a new layer that controls the scheduling of steps in the system. We formally characterize the relationship between the erroneous and the new system. Safety monitors for mutual-exclusion, ℓ-exclusion, and the producer-consumer tasks are presented. Proofs for the mutual-exclusion task and the ℓ-exclusion task are presented to demonstrate the applicability of our approach.
Original language | English |
---|---|
Pages (from-to) | 269-277 |
Number of pages | 9 |
Journal | Distributed Computing |
Volume | 16 |
Issue number | 4 |
DOIs | |
State | Published - 1 Dec 2003 |
Keywords
- Distributed systems
- Monitors
- Safety properties
ASJC Scopus subject areas
- Theoretical Computer Science
- Hardware and Architecture
- Computer Networks and Communications
- Computational Theory and Mathematics