Safe and reliable use of concurrency in multi-threaded shared-memory systems

被引：1

作者：

Stirewalt, REK ^{[1
]}

Behrends, R ^{[1
]}

Dillon, LK ^{[1
]}

机构：

[1] Michigan State Univ, Dept Comp Sci & Engn, E Lansing, MI 48824 USA

来源：

29th Annual IEEE/NASA Software Engineering Workshop, Proceedings | 2005年

关键词：

D O I：

10.1109/SEW.2005.39

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The safe and reliable use of concurrency in multi-threaded systems has emerged as a fundamental engineering concern. We recently developed a model of synchroniztion contracts to address this concern in programs written in object-oriented languages. Programs written using our model comprise modules that declare access requirments in module interfaces in lieu of using low-level synchroniztion primitives in module implementations. At run time, these contracts are negotiated to derive schedules that guarantee freedom from data races while avoiding a large class of deadlock situations.

引用

页码：201 / 210

页数：10

共 50 条

[41] Modeling and resolving lock contention for multi-threaded systems
Zhang, Yang
Talpur, Shahnawaz
ICIC Express Letters, 2011, 5 (12): : 4473 - 4478
[42] Efficient Multi-threaded Crawling Using In Memory Data Structures
Abdeen, Mohammad A. R.
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (02): : 88 - 92
[43] Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
Nazarpour, Hosein
Falcone, Ylies
Bensalem, Saddek
Bozga, Marius
FORMAL ASPECTS OF COMPUTING, 2017, 29 (06) : 951 - 986
[44] Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited
Galindo, Carlos
Llorens, Marisa
Perez, Sergio
Silva, Josep
2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME, 2023, : 73 - 83
[45] Program transformation and runtime support for threaded MPI execution on shared-memory machines
Tang, H
Shen, K
Yang, T
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (04): : 673 - 700
[46] Queue structures for shared-memory multiprocessor systems
Zhu, WP
34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 99 - 106
[47] MSO Logic for Unambiguous Shared-Memory Systems
Morin, Remi
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 516 - 528
[48] Parameterized Verification of Asynchronous Shared-Memory Systems
Esparza, Javier
Ganty, Pierre
Majumdar, Rupak
JOURNAL OF THE ACM, 2016, 63 (01)
[49] UCAR and HP to collaborate on shared-memory systems
不详
IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79
[50] Truss Decomposition on Shared-Memory Parallel Systems
Smith, Shaden
Liu, Xing
Ahmed, Nesreen K.
Tom, Ancy Sarah
Petrini, Fabrizio
Karypis, George
2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,

← 1 2 3 4 5 →