Article

Free access

The composition of concurrent programs

Authors:

K. M. Chandy,

S. TaylorAuthors Info & Claims

Supercomputing '89: Proceedings of the 1989 ACM/IEEE conference on Supercomputing

Pages 557 - 561

https://doi.org/10.1145/76263.76325

Published: 01 August 1989 Publication History

PDF eReader

References

[1]

K.M Chandy, and J.Misra, Parallel Program Design: A Foundation, Addison-Wesley,1989

Digital Library

Google Scholar

[2]

I.Foster and S.Taylor, Strand, New Concepts in Parallel Programming, Prentice-Hall, 1989.

Digital Library

Google Scholar

[3]

C.A.R.Hoare, Gommunicating Sequential Processes, Prentice-Hall International, 1984.

Digital Library

Google Scholar

Cited By

View all

SUMMERSET TCHOWKWANYUN R(2013)Trajectory optimization on multiprocessors - A comparison of three implementation strategies17th Atmospheric Flight Mechanics Conference10.2514/6.1990-2830Online publication date: 19-Feb-2013
https://doi.org/10.2514/6.1990-2830
Scales DLam M(1994)The design and evaluation of a shared object system for distributed memory machinesProceedings of the 1st USENIX conference on Operating Systems Design and Implementation10.5555/1267638.1267647(9-es)Online publication date: 14-Nov-1994
https://dl.acm.org/doi/10.5555/1267638.1267647
Auerbach JGoldberg AGoldszmidt GGopal AKennedy MRao JRussell J(1994)Concert/CProceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference10.5555/1267074.1267082(8-8)Online publication date: 17-Jan-1994
https://dl.acm.org/doi/10.5555/1267074.1267082
Show More Cited By

Index Terms

The composition of concurrent programs

Recommendations

Execution privatization for scheduler-oblivious concurrent programs
OOPSLA '12

Making multithreaded execution less non-deterministic is a promising solution to address the difficulty of concurrent programming plagued by the non-deterministic thread scheduling. In fact, a vast category of concurrent programs are scheduler-oblivious:...
Execution privatization for scheduler-oblivious concurrent programs
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Making multithreaded execution less non-deterministic is a promising solution to address the difficulty of concurrent programming plagued by the non-deterministic thread scheduling. In fact, a vast category of concurrent programs are scheduler-oblivious:...
Safe optimisations for shared-memory concurrent programs
PLDI '11

Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the implications of such a contract for hardware optimisations are relatively ...

Comments

Information & Contributors

Information

Published In

Supercomputing '89: Proceedings of the 1989 ACM/IEEE conference on Supercomputing

August 1989

849 pages

ISBN:0897913418

DOI:10.1145/76263

Chairman:
F. Ron Bailey

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Los Alamos National Labs: Los Alamos National Labs
NASA: National Aeronatics and Space Administration
Argonne Natl Lab: Argonne National Lab

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SC '89

Sponsor:

SIGARCH
IEEE-CS

SC '89: International Conference for High Performance Computing, Networking, Storage and Analysis

November 12 - 17, 1989

Nevada, Reno, USA

Acceptance Rates

Overall Acceptance Rate 1,516 of 6,373 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
179
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)2

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

SUMMERSET TCHOWKWANYUN R(2013)Trajectory optimization on multiprocessors - A comparison of three implementation strategies17th Atmospheric Flight Mechanics Conference10.2514/6.1990-2830Online publication date: 19-Feb-2013
https://doi.org/10.2514/6.1990-2830
Scales DLam M(1994)The design and evaluation of a shared object system for distributed memory machinesProceedings of the 1st USENIX conference on Operating Systems Design and Implementation10.5555/1267638.1267647(9-es)Online publication date: 14-Nov-1994
https://dl.acm.org/doi/10.5555/1267638.1267647
Auerbach JGoldberg AGoldszmidt GGopal AKennedy MRao JRussell J(1994)Concert/CProceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference10.5555/1267074.1267082(8-8)Online publication date: 17-Jan-1994
https://dl.acm.org/doi/10.5555/1267074.1267082
Cypher RLeu EAnderson JPeleg DBorowsky E(1994)Repeatable and portable message-passing programsProceedings of the thirteenth annual ACM symposium on Principles of distributed computing10.1145/197917.197940(22-31)Online publication date: 14-Aug-1994
https://dl.acm.org/doi/10.1145/197917.197940
Auerbach JGopal ARussell JKennedy M(1994)Concert/C: supporting distributed programming with language extensions and a portable multiprotocol runtime14th International Conference on Distributed Computing Systems10.1109/ICDCS.1994.302405(152-159)Online publication date: 1994
https://doi.org/10.1109/ICDCS.1994.302405
Gorlick MRazouk RBelady LBarstow DTorii K(1991)Using weaves for software construction and analysisProceedings of the 13th international conference on Software engineering10.5555/256664.256677(23-34)Online publication date: 1-May-1991
https://dl.acm.org/doi/10.5555/256664.256677
Gorlick MRazouk R(1991)Using weaves for software construction and analysis[1991 Proceedings] 13th International Conference on Software Engineering10.1109/ICSE.1991.130620(23-34)Online publication date: 1991
https://doi.org/10.1109/ICSE.1991.130620
Vishnubhotla PPryor DMontry GMartin J(1990)Fine-grain parallelism in the ALPS programming languageProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110581(506-514)Online publication date: 12-Nov-1990
https://dl.acm.org/doi/10.5555/110382.110581
Vishnubhotla P(1990)Fine-grain parallelism in the ALPS programming languageProceedings SUPERCOMPUTING '9010.1109/SUPERC.1990.130062(506-514)Online publication date: 1990
https://doi.org/10.1109/SUPERC.1990.130062

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Execution privatization for scheduler-oblivious concurrent programs

Execution privatization for scheduler-oblivious concurrent programs

Safe optimisations for shared-memory concurrent programs

Comments

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Execution privatization for scheduler-oblivious concurrent programs

Execution privatization for scheduler-oblivious concurrent programs

Safe optimisations for shared-memory concurrent programs

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations