The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1989 vol.15)
pp: 569-574
ABSTRACT
<p>Single-read-single-write (SRSW) variables are presented for synchronous and asynchronous communication between processes. The operational semantics of the instruction accessing these variables is quite simple: a SRSW variable can be written if it is free, and, once written, it becomes busy. A SRSW variable can be read when busy, and, once read, it becomes free. A process attempting to read a free SRSW variable or write a busy SRSW variable is put in a wait state until the state of the variable changes. The advantages of SRSW variables are multiple. The syntax of a regular sequential language can be used without any change, other than the introduction of a new SRSW data type. Parallel programs tend to be concise and easy to prove correct. The message passing paradigm can be very easily modeled with SRSW variables.</p>
INDEX TERMS
distributed computing; synchronous communication; parallel programs; single read-single write variables; asynchronous communication; operational semantics; free; busy; wait state; SRSW variables; syntax; regular sequential language; SRSW data type; message passing; distributed processing
CITATION
P.M. Lenders, "Distributed Computing with Single Read-Single Write Variables", IEEE Transactions on Software Engineering, vol.15, no. 5, pp. 569-574, May 1989, doi:10.1109/32.24706
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool