The platform will undergo maintenance on Sep 14 at about 7:45 AM EST and will be unavailable for approximately 2 hours.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Syste 2018
DOI: 10.1145/3173162.3173192
|View full text |Cite
|
Sign up to set email alerts
|

Sofritas

Abstract: Correctly synchronizing multithreaded programs is challenging and errors can lead to program failures such as atomicity violations. Existing strong memory consistency models rule out some possible failures, but are limited by depending on programmer-defined locking code. We present the new Ordering-Free Region (OFR) serializability consistency model that ensures atomicity for OFRs, which are spans of dynamic instructions between consecutive ordering constructs (e.g., barriers), without breaking atomicity at lo… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(2 citation statements)
references
References 60 publications
(36 reference statements)
0
2
0
Order By: Relevance
“…Previous studies on the usability of parallel programming languages involve studying postgrad students and programmers with extensive programming experience [4,5,31,32]. In [4], 69 graduate students across four courses completed parallel programming tasks as part of their classwork.…”
Section: Prior User Studies On the Usability Of Parallel Programming ...mentioning
confidence: 99%
See 1 more Smart Citation
“…Previous studies on the usability of parallel programming languages involve studying postgrad students and programmers with extensive programming experience [4,5,31,32]. In [4], 69 graduate students across four courses completed parallel programming tasks as part of their classwork.…”
Section: Prior User Studies On the Usability Of Parallel Programming ...mentioning
confidence: 99%
“…The final code from the transactional memory teams was easier to read compared to the lock-based code. In [32], a user study was conducted on upper-level undergraduate and graduate students to determine how effective these students were at debugging data races and deadlocks. A deadlock occurs when two proces ses hold a resource the other needs to continue and are therefore they are perpetually waiting for the other process to release the resource and ultimately the processes are unable to complete the program.…”
Section: Prior User Studies On the Usability Of Parallel Programming ...mentioning
confidence: 99%