Detecting race conditions in distributed concurrent systems
Nondeterminism makes distributed concurrent systems difficult to test, monitor and control. An execution of a message-passing system is nondeterministic when message races exist. Message race occurs when, e.g., multiple conflicting requests from different clients are competing to be executed within...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
2000
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33422 |