Topic: history of programming
Topic: proving concurrent programs
Topic: critical regions
| |
Reference
Courtois, P.J., Heymans, F., Parnas, D.J.,
"Concurrent control with "readers" and "writers"",
Communications of the ACM, 14, 10, October 1971, pp. 667-668.
Google
Other Reference
p. 389-392 in Hoffman, D.M., Weiss, D.M. (eds.), Software Fundamentals. Collected Papers of David L. Parnas, Boston: Addison-Wesley, 2001
Quotations
abstract ;;Quote: algorithm for mutual exclusion of readers and writers; minimize delay of readers or writers; based on P, V, and active counts
|
Related Topics
Topic: history of programming (91 items)
Topic: proving concurrent programs (37 items)
Topic: critical regions (58 items)
|