On formulating simultaneity for studying parallelism and synchronization

Raymond E. Miller, Chee Yap

Research output: Contribution to journalConference article

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 languageEnglish (US)
Pages (from-to)105-113
Number of pages9
JournalProceedings of the Annual ACM Symposium on Theory of Computing
VolumePart F130716
DOIs
StatePublished - May 1 1978
Event10th Annual ACM Symposium on Theory of Computing, STOC 1978 - San Diego, United States
Duration: May 1 1978May 3 1978

Fingerprint

Synchronization

ASJC Scopus subject areas

  • Software

Cite this

On formulating simultaneity for studying parallelism and synchronization. / Miller, Raymond E.; Yap, Chee.

In: Proceedings of the Annual ACM Symposium on Theory of Computing, Vol. Part F130716, 01.05.1978, p. 105-113.

Research output: Contribution to journalConference article

@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 Chee Yap",
year = "1978",
month = "5",
day = "1",
doi = "10.1145/800133.804338",
language = "English (US)",
volume = "Part F130716",
pages = "105--113",
journal = "Proceedings of the Annual ACM Symposium on Theory of Computing",
issn = "0737-8017",
publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

T1 - On formulating simultaneity for studying parallelism and synchronization

AU - Miller, Raymond E.

AU - Yap, Chee

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

VL - Part F130716

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

SN - 0737-8017

ER -