Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/implementing-dataflow-with-threads-nD3yr1OWIo
References (20)
-
C. Karamanolis (1999)
Elements of distributed algorithms-modeling and analysis with petri nets Wolfgang Reisig [Book review]IEE Proc. Softw., 146
-
L. Lamport (1977)
Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, SE-3
-
E.W. Dijkstra (1968)
Programming Languages -
L. Lamport (1979)
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, C-28
-
L. Lamport (2003)
Arbitration-free synchronizationDistributed Computing, 16
-
Sri Palakollu (2020)
Interprocess CommunicationPractical System Programming with C
-
L. Lamport, F. Schneider (1989)
Pretending Atomicity -
(2003)
Specifying Systems. Addison-Wesley, Boston, 2003. Also available on the Web via a link at http://lamport.org -
F. Commoner, A. Holt, S. Even, A. Pnueli (1971)
Marked Directed GraphsJ. Comput. Syst. Sci., 5
-
E. Dijkstra (2002)
Cooperating sequential processes -
W. Reisig (1998)
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets -
L. Lamport (1986)
On interprocess communicationDistrib. Comput., 1
-
L. Lamport (2003)
Arbiter-Free SynchronizationDistributed Computing, 16
-
(2003)
Specifying Systems -
(1998)
Alpha Architecture Committee. Alpha Architecture Reference Manual -
J. Mellor-Crummey, M. Scott (1991)
Algorithms for scalable synchronization on shared-memory multiprocessorsACM Trans. Comput. Syst., 9
-
L. Lamport (2006)
The +CAL Algorithm Language -
Jonathan Hill, D. Skillicorn (1998)
Practical barrier synchronisationProceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - PDP '98 -
-
K. Birman, A. Schiper, Patrick Stephenson (1991)
Lightweight causal and atomic group multicastACM Trans. Comput. Syst., 9
-
(1998)
Alpha Architecture Reference Manual, 3rd edn
- Publisher
- Springer Journals
- Copyright
- Copyright © 2008 by Springer-Verlag
- Subject
- Computer Science; Theory of Computation ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks; Computer Hardware ; Computer Communication Networks
- ISSN
- 0178-2770
- eISSN
- 1432-0452
- DOI
- 10.1007/s00446-008-0065-1
- Publisher site
- See Article on Publisher Site
Abstract
A general algorithm is presented for implementing dataflow computations with multiple threads that communicate using only reads and writes of shared memory.
Journal
Distributed Computing – Springer Journals
Published: Jul 29, 2008