On formulating simultaneity for studying parallelism and synchronization

Raymond E. Miller; Chee K. Yap

doi:10.1145/800133.804338

On formulating simultaneity for studying parallelism and synchronization

Raymond E. Miller, Chee K. Yap

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Abstract

When studying parallel computation and synchronization one is faced with the problem of modeling the simultaneous execution of processes. Although there has been a multitude of formal means for representing such problems [2, 6, 9, 10, 13, 14, 15], invariably, when all the other complexities of the models have been stripped away, the parallelism or synchronization is studied via sequences of events. In all of these studies simultaneity of events is not studied directly. Rather, it is represented by the interleaving of the separate events into sequences, and by studying properties of the set of all such sequences.

Original language	English (US)
Pages (from-to)	105-113
Number of pages	9
Journal	Proceedings of the Annual ACM Symposium on Theory of Computing
DOIs	https://doi.org/10.1145/800133.804338
State	Published - May 1 1978
Event	10th Annual ACM Symposium on Theory of Computing, STOC 1978 - San Diego, United States Duration: May 1 1978 → May 3 1978

ASJC Scopus subject areas

Software

Access to Document

10.1145/800133.804338

Cite this

@article{371f6f59e46e45dbac9d8fbedc9b9afc,

title = "On formulating simultaneity for studying parallelism and synchronization",

abstract = "When studying parallel computation and synchronization one is faced with the problem of modeling the simultaneous execution of processes. Although there has been a multitude of formal means for representing such problems [2, 6, 9, 10, 13, 14, 15], invariably, when all the other complexities of the models have been stripped away, the parallelism or synchronization is studied via sequences of events. In all of these studies simultaneity of events is not studied directly. Rather, it is represented by the interleaving of the separate events into sequences, and by studying properties of the set of all such sequences.",

author = "Miller, {Raymond E.} and Yap, {Chee K.}",

year = "1978",

month = may,

day = "1",

doi = "10.1145/800133.804338",

language = "English (US)",

pages = "105--113",

journal = "Proceedings of the Annual ACM Symposium on Theory of Computing",

issn = "0737-8017",

publisher = "Association for Computing Machinery (ACM)",

note = "10th Annual ACM Symposium on Theory of Computing, STOC 1978 ; Conference date: 01-05-1978 Through 03-05-1978",

}

TY - JOUR

T1 - On formulating simultaneity for studying parallelism and synchronization

AU - Miller, Raymond E.

AU - Yap, Chee K.

PY - 1978/5/1

Y1 - 1978/5/1

N2 - When studying parallel computation and synchronization one is faced with the problem of modeling the simultaneous execution of processes. Although there has been a multitude of formal means for representing such problems [2, 6, 9, 10, 13, 14, 15], invariably, when all the other complexities of the models have been stripped away, the parallelism or synchronization is studied via sequences of events. In all of these studies simultaneity of events is not studied directly. Rather, it is represented by the interleaving of the separate events into sequences, and by studying properties of the set of all such sequences.

AB - When studying parallel computation and synchronization one is faced with the problem of modeling the simultaneous execution of processes. Although there has been a multitude of formal means for representing such problems [2, 6, 9, 10, 13, 14, 15], invariably, when all the other complexities of the models have been stripped away, the parallelism or synchronization is studied via sequences of events. In all of these studies simultaneity of events is not studied directly. Rather, it is represented by the interleaving of the separate events into sequences, and by studying properties of the set of all such sequences.

UR - http://www.scopus.com/inward/record.url?scp=85053071909&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85053071909&partnerID=8YFLogxK

U2 - 10.1145/800133.804338

DO - 10.1145/800133.804338

M3 - Conference article

AN - SCOPUS:85053071909

SN - 0737-8017

SP - 105

EP - 113

JO - Proceedings of the Annual ACM Symposium on Theory of Computing

JF - Proceedings of the Annual ACM Symposium on Theory of Computing

T2 - 10th Annual ACM Symposium on Theory of Computing, STOC 1978

Y2 - 1 May 1978 through 3 May 1978

ER -

On formulating simultaneity for studying parallelism and synchronization

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this