Asynchronous data sharing in multiprocessor real-time systems using process consensus

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1998, Pages 2-9

  Chen, J ^a   Burns, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS DATA; DATA OPERATIONS; LOCK-BASED SYNCHRONIZATION; PRIORITY INVERSION; SCHEDULABILITY; SHARED DATA; WAIT-FREE;

INTERACTIVE COMPUTER SYSTEMS; LOCKS (FASTENERS); MULTIPROCESSING SYSTEMS;

REAL TIME SYSTEMS;

EID: 0003009258     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1998.684918     Document Type: Conference Paper

References (20)

1. K. Abrahamson. On Achieving Consensus Using a Shared Memory. In Proc. of the 7th Annual ACM Symposium on Principles of Distributed Computing(PODC'88), pages 291-302, 1988.
2. S. Adve and K. Gharachorloo. Shared Memory Consistency Models: A Tutorial. IEEE Computer, 29(12):66-76, Dec. 1996. (Pubitemid 126517873)
3. J. Anderson and M. Gouda. A Criterion for Atomicity. Formal Aspects of Computing, 4:273-298, 1992.
4. J. Chen and A. Burns. A Three-Slot Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems. Technical Report YCS-286, Department of Computer Science, University of York, Jan. 1997.
5. J. Chen and A. Burns. A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems. Technical Report YCS-288, Department of Computer Science, University of York, May 1997.
6. J. Chen and A. Burns. Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus. Technical Report YCS-295, Department of Computer Science, University of York, Nov. 1997.
7. M. Herlihy. Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 11(1):124-149, Jan. 1991. (Pubitemid 23600427)
8. K. Hwang. Advanced Computer Architecture: Parallelism, Scalability, Programmability. McGraw-Hill Book Co., 1993. ISBN 0-07-113342-9.
9. H. Kopetz and J. Reisinger. The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronization Problem. In Proc. of the 14th IEEE Real-Time Systems Symposium, pages 131-137, 1993.
10. C. Kruskal, L. Rudolph, and M. Snir. Efficient Synchronization on Multiprocessors with Shared Memory. ACM Transactions on Programming Languages and Systems, 10(4):579-601, Oct. 1988. (Pubitemid 18665264)
11. L. Lamport. Concurrent Reading andWriting. Communication of the ACM, 20(11):806-811, Nov. 1977.
12. L. Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):690-691, Sept. 1979. (Pubitemid 10420526)
13. L. Lamport. On Interprocess Communication - Part I: Basic Formalism. Distributed Computing, 1:77-85, 1986. (Pubitemid 17466384)
14. L. Lamport. On Interprocess Communication - Part II: Algorithms. Distributed Computing, 1:86-101, 1986.
15. G. Peterson. Concurrent Reading While Writing. ACM Transactions on Programming Languages and Systems, 5(1):46-55, Jan. 1983.
16. H. R. Simpson. Four-Slot Fully Asynchronous Communication Mechanism. IEE Proceedings, Pt. E, 137(1):17-30, Jan. 1990.
17. H. R. Simpson. Private communication, Feb. 1997.
18. J. Tromp. How to Construct an Atomic Variable. In Proc. 3rd International Workshop on Distributed Algorithms, pages 292-302, 1989. Extended Abstract, LNCS-392.
19. J. Turek and D. Shasha. The Many Faces of Consensus in Distributed Systems. IEEE Computer, 26(6):8-17, June 1992.
20. K. Vidyasankar. Concurrent Reading While Writing Revisited. Distributed Computing, 4(2):81-85, June 1990. (Pubitemid 20721280)