DocumentCode :
2186617
Title :
Concurrent reading while writing II: The multi-writer case
Author :
Peterson, Gary L. ; Burns, James E.
fYear :
1987
fDate :
12-14 Oct. 1987
Firstpage :
383
Lastpage :
392
Abstract :
An algorithm is given for the multi-writer version of the Concurrent Reading While Writing (CRWW) problem. The algorithm solves the problem of allowing simultaneous access to arbitrarily sized shared data without requiring waiting, and hence avoids mutual exclusion. This. demonstrates that a quite complicated concurrent control problem can be solved-without eliminating the efficiency of parallelism. One very important aspect of the algorithm are the tools developed to prove its correctness. Without these tools, proving the correctness of a solution to a problem of this complexity would be very difficult.
Keywords :
Artificial intelligence; Cogeneration; Computer science; History; Parallel processing; Protocols; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1987., 28th Annual Symposium on
Conference_Location :
Los Angeles, CA, USA
ISSN :
0272-5428
Print_ISBN :
0-8186-0807-2
Type :
conf
DOI :
10.1109/SFCS.1987.15
Filename :
4568292
Link To Document :
بازگشت