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 条

[1] INCREMENTAL MULTI-THREADED GARBAGE COLLECTION ON VIRTUALLY SHARED-MEMORY ARCHITECTURES
LESERGENT, T
BERTHOMIEU, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 637 : 179 - 199
[2] Synchronized-by-Default Concurrency for Shared-Memory Systems
Battig, Martin
Gross, Thomas R.
ACM SIGPLAN NOTICES, 2017, 52 (08) : 299 - 312
[3] Type-Based Safe Resource Deallocation for Shared-Memory Concurrency
Suenaga, Kohei
Fukuda, Ryota
Igarashi, Atsushi
ACM SIGPLAN NOTICES, 2012, 47 (10) : 1 - 20
[4] Multi-threaded design for a software distributed shared memory system
Ueng, JC
Shieh, CK
Mac, SC
Lai, AC
Liang, TY
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1999, E82D (12) : 1512 - 1523
[5] MM-DSM:Multi-threaded Multi-home Distributed Shared Memory Systems
Mei, Chonglei
Jiang, Hai
Jenness, Jeff
2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PROCEEDINGS, 2009, : 26 - 33
[6] NAS integer sort on multi-threaded shared memory machines
Grün, T
Hillebrand, MA
EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 999 - 1009
[7] A new concurrency control mechanism for multi-threaded environment using transactional memory
Ghosh, Ammlan
Chaki, Rituparna
Chaki, Nabendu
JOURNAL OF SUPERCOMPUTING, 2015, 71 (11): : 4095 - 4115
[8] A shared-variable concurrency analysis of multi-threaded object-oriented programs
de Boer, F. S.
THEORETICAL COMPUTER SCIENCE, 2009, 410 (2-3) : 128 - 141
[9] A new concurrency control mechanism for multi-threaded environment using transactional memory
Ammlan Ghosh
Rituparna Chaki
Nabendu Chaki
The Journal of Supercomputing, 2015, 71 : 4095 - 4115
[10] Memory management for multi-threaded software DSM systems
Kee, YS
Kim, JS
Ha, S
PARALLEL COMPUTING, 2004, 30 (01) : 121 - 138

← 1 2 3 4 5 →