Towards generating thread-safe classes automatically
The existing concurrency model for Java (or C) requires programmers to design and implement thread-safe classes by explicitly acquiring locks and releasing locks. Such a model is error-prone and is the reason for many concurrency bugs. While there are alternative models like transactional memory, ma...
Saved in:
Main Authors: | WANG, Haichi, WANG, Zan, SUN, Jun, LIN, Shuang, SADIQ, Ayesha, LI, Yuan Fang |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2020
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5946 https://ink.library.smu.edu.sg/context/sis_research/article/6949/viewcontent/Towards_generating_thread_safe_classes_automatically_pv.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Specification and Verification of Shared-Memory Concurrent Programs
by: LE DUY KHANH
Published: (2014) -
IFIX: Fixing concurrency bugs while they are introduced
by: WANG, Zan, et al.
Published: (2020) -
PFix: Fixing concurrency bugs based on memory access patterns
by: LIN, Huarui, et al.
Published: (2018) -
Achieving high MAP-coverage through pattern constraint reduction
by: ZHAO, Yingquan, et al.
Published: (2023) -
Buckling of pre-twisted threads embedded in a soft matrix
by: Mohammad Redowan
Published: (2024)