A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
IEEE Transactions on Software Engineering
Resolution of Deadlocks in Object-Oriented Distributed Systems
IEEE Transactions on Computers
Transactional memory: architectural support for lock-free data structures
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Accessing nearby copies of replicated objects in a distributed environment
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
An Efficient Tree Cache Coherence Protocol for Distributed Shared Memory Multiprocessors
IEEE Transactions on Computers
A Distributed Deadlock Resolution Algorithm for the AND Model
IEEE Transactions on Parallel and Distributed Systems
An architecture for mostly functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
A General Adaptive Cache Coherency-Replacement Scheme for Distributed Systems
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
A distributed algorithm for deadlock detection and resolution
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Correctness of a distributed deadlock resolution algorithm for the single request model
PDP '95 Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing
Real-time computing with lock-free shared objects
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Commit processing in distributed real-time database systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
A framework for implementing objects and scheduling tasks in lock-free real-time systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
OMG Data-Distribution Service: Architectural Overview
ICDCSW '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Obstruction-Free Synchronization: Double-Ended Queues as an Example
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-Time Systems
Language support for lightweight transactions
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Object location in realistic networks
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Preemptible Atomic Regions for Real-Time Java
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Exploiting distributed version concurrency in a transactional memory cluster
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Computer
Supporting lock-free synchronization in Pfair-scheduled real-time systems
Journal of Parallel and Distributed Computing
Space-Optimal, Wait-Free Real-Time Synchronization
IEEE Transactions on Computers
A Programming Model for Time-Synchronized Distributed Real-Time Systems
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
Software transactional memory for large scale clusters
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and condition variables in conjunction with threads can have significant overhead and semantic difficulty and suggest alternative programming abstractions to alleviate these problems. We also discuss several alternatives for implementing these programming abstractions and discuss the algorithms and protocols needed.