Loop-free asynchronous data sharing in multiprocessor real-Time systems based on timing properties

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 236-246

  Chen, J ^a   Burns, A ^b  

^a NATIONAL CHENG KUNG UNIVERSITY   (Taiwan)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; LOCKS (FASTENERS); MULTIPROCESSING SYSTEMS; TIME SHARING SYSTEMS; TIMING CIRCUITS;

ASYNCHRONOUS DATA; CIRCULAR BUFFER; FEASIBILITY CONDITION; LOCK-BASED SYNCHRONIZATION; PRIORITY INVERSION; SAFETY PROPERTY; SEQUENTIAL DATA; TIMING PROPERTIES;

REAL TIME SYSTEMS;

EID: 84890670251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811236     Document Type: Conference Paper

References (17)

1. S. Adve and K. Gharachorloo. Shared Memory Consistency Models: A Tutorial. IEEE Computer, 29( 12):66-76, 1996.
2. J. Anderson and M. Gouda. A Criterion for Atomicity. Formal Aspects of Computing, 4:273-298, 1992.
3. N. Audsley, A. Bums, M. Richardson, and A. Wellings. Hard Real-Time Scheduling: The Deadline Monotonic Approach. In Proc. of the 8th IEEE Workshop on Real-Time Operating Systems and Software, May 1991.
4. J. Chen and A. Bums. A Fully Asynchronous ReaderNriter Mechanism for Multiprocessor Real-Time Systems. Technical Report YCS-288, Department of Computer Science, University of York, May 1997.
5. J. Chen and A. Burns. Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus. In Proc. of the 10th Euromicro Workshop on Real-Time Systems, pages 2-9, June 1998. Berlin, Germany.
6. Hwang K., Advanced Computer Architecture: Parallelism, Scalability, Programmability, 1993, McGraw-Hill Book Co, ISBN 0-07-113342-9
7. K. Hwang. Advanced Computer Architecture: Parallelism, Scalability, Programmability. McGraw-Hill Book Co., 1993. ISBN 0-07-1 13342-9 M. Klein and T. Ralya. An Analysis of InputlOouput Paradigms for Real-Time Systems. Technical Report CMU/SEI-90-TR-19, Carnegie-Mellon University, 1990.
8. 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.
9. L. Lamport. Concurrent Reading and Writing. Communication ofthe ACM, 20(11):80G311, Nov. 1977.
10. L. Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):690-691, Sept. 1979.
11. G. Peterson. Concurrent Reading While Writing. ACM Transactions on Programming Languages and Systems, 5(1):46-55, Jan. 1983.
12. R. Rajkumar. Synchronization in Real-Time Systems: An Priority Inheritance Approach. Kluwer Academic Publishers, 1991. ISBN 0-7923-921 1-6.
13. L. Sha, R. Rajkumar, and J. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers, 39(9): 1 175-1 185, Sept. 1990.
14. H. R. Simpson. Four-Slot Fully Asynchronous Communication Mechanism. IEE Proceedings, Pt. E, 137(1): 17-30, Jan. 1990.
15. H. R. Simpson. Multireader and Multiwriter Asynchronous Communication Mechanism. IEE Proceedings, Comput. Digit. Tech., 144(4):241-243, July 1997.
16. J. Tromp. How to Construct an Atomic Variable. In Proc. 3rd International Workshop on Distributed Algorithms, pages 292-302, 1989. LNCS-392.
17. K. Vidyasankar. Concurrent Reading While Writing Revisited. Distributed Computing, 4(2):8 1-85, June 1990.