Dynamic deadlock verification for general barrier synchronisation

Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida

doi:10.1145/2688500.2688519

Dynamic deadlock verification for general barrier synchronisation

Tiago Cogumbreiro
, Raymond Hu
, Francisco Martins
, Nobuko Yoshida

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings
Publisher	Association for Computing Machinery
Pages	150-160
Number of pages	11
ISBN (Electronic)	9781450332057
DOIs	https://doi.org/10.1145/2688500.2688519
State	Published - Jan 24 2015
Event	20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - San Francisco, United States Duration: Feb 7 2015 → Feb 11 2015

Publication series

Name	Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP
Volume	2015-January

Conference

Conference	20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015
Country/Territory	United States
City	San Francisco
Period	2/7/15 → 2/11/15

ASJC Scopus Subject Areas

Software

Keywords

Barrier synchronisation
Deadlock avoidance
Deadlock detection
Java
Phasers
X10

Access to Document

10.1145/2688500.2688519

Cite this

Cogumbreiro, T., Hu, R., Martins, F., & Yoshida, N. (2015). Dynamic deadlock verification for general barrier synchronisation. In 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings (pp. 150-160). (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; Vol. 2015-January). Association for Computing Machinery. https://doi.org/10.1145/2688500.2688519

Dynamic deadlock verification for general barrier synchronisation. / Cogumbreiro, Tiago; Hu, Raymond; Martins, Francisco et al.
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery, 2015. p. 150-160 (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; Vol. 2015-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cogumbreiro, T, Hu, R, Martins, F & Yoshida, N 2015, Dynamic deadlock verification for general barrier synchronisation. in 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, vol. 2015-January, Association for Computing Machinery, pp. 150-160, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, United States, 2/7/15. https://doi.org/10.1145/2688500.2688519

Cogumbreiro T, Hu R, Martins F, Yoshida N. Dynamic deadlock verification for general barrier synchronisation. In 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery. 2015. p. 150-160. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP). doi: 10.1145/2688500.2688519

Cogumbreiro, Tiago ; Hu, Raymond ; Martins, Francisco et al. / Dynamic deadlock verification for general barrier synchronisation. 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery, 2015. pp. 150-160 (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

@inproceedings{27fcfaa7722f4624806198985aae5d9b,

title = "Dynamic deadlock verification for general barrier synchronisation",

keywords = "Barrier synchronisation, Deadlock avoidance, Deadlock detection, Java, Phasers, X10",

author = "Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida",

year = "2015",

month = jan,

day = "24",

doi = "10.1145/2688500.2688519",

language = "English",

series = "Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP",

publisher = "Association for Computing Machinery",

pages = "150--160",

booktitle = "20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings",

}

TY - GEN

T1 - Dynamic deadlock verification for general barrier synchronisation

AU - Cogumbreiro, Tiago

AU - Hu, Raymond

AU - Martins, Francisco

AU - Yoshida, Nobuko

PY - 2015/1/24

Y1 - 2015/1/24

KW - Barrier synchronisation

KW - Deadlock avoidance

KW - Deadlock detection

KW - Java

KW - Phasers

KW - X10

UR - https://www.scopus.com/pages/publications/84939143714

UR - https://www.scopus.com/pages/publications/84939143714#tab=citedBy

U2 - 10.1145/2688500.2688519

DO - 10.1145/2688500.2688519

M3 - Conference contribution

AN - SCOPUS:84939143714

T3 - Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

SP - 150

EP - 160

BT - 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings

PB - Association for Computing Machinery

T2 - 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015

Y2 - 7 February 2015 through 11 February 2015

ER -

Dynamic deadlock verification for general barrier synchronisation

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this