Semantics of deterministic shared-memory systems

被引：0

作者：

Morin, Remi ^{[1
]}

机构：

[1] Aix Marseille Univ, CNRS, UMR 6166, Lab Informat Fondamentale Marseille, F-13288 Marseille 9, France

来源：

CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS | 2008年 / 5201卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We investigate a general model of concurrency for shared-memory systems. We introduce some intuitive interleaving semantics within the general framework of automata with concurrency relations and connect it to some partial order approach. Then our main result identifies the expressive power of finite deterministic shared-memory systems with the notion of regular consistent sets of labeled partial orders. We characterize also by means of a coherence property the languages recognized by deadlock-free systems.

引用

页码：36 / 51

页数：16

共 50 条

[1] DMP: DETERMINISTIC SHARED-MEMORY MULTIPROCESSING
Devietti, Joseph
Lucia, Brandon
Ceze, Luis
Oskin, Mark
[J]. IEEE MICRO, 2010, 30 (01) : 40 - 49
[2] A DENOTATIONAL SEMANTICS FOR SHARED-MEMORY PARALLELISM AND NONDETERMINISM
BERRY, DM
[J]. ACTA INFORMATICA, 1985, 21 (06) : 599 - 627
[3] KNOWLEDGE IN SHARED-MEMORY SYSTEMS
MERRITT, M
TAUBENFELD, G
[J]. DISTRIBUTED COMPUTING, 1993, 7 (02) : 99 - 109
[4] UNAMBIGUOUS SHARED-MEMORY SYSTEMS
Morin, Remi
[J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (04) : 665 - 685
[5] Variables as Resource for Shared-Memory Programs: Semantics and Soundness
Brookes, Stephen
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 158 : 123 - 150
[6] Practical constructive schemes for deterministic shared-memory access
A. Pietracaprina
F. P. Preparata
[J]. Theory of Computing Systems, 1997, 30 : 3 - 37
[7] DENOTATIONAL SEMANTICS FOR SHARED-MEMORY PARALLELISM AND NONDETERMINISM.
Berry, Daniel M.
[J]. Acta Informatica, 1985, 26 (06) : 599 - 627
[8] Practical constructive schemes for deterministic shared-memory access
Pietracaprina, A
Preparata, FP
[J]. THEORY OF COMPUTING SYSTEMS, 1997, 30 (01) : 3 - 37
[9] Replay for concurrent non-deterministic shared-memory applications
Russinovich, M
Cogswell, B
[J]. ACM SIGPLAN NOTICES, 1996, 31 (05) : 258 - 266
[10] UCAR and HP to collaborate on shared-memory systems
不详
[J]. IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79

← 1 2 3 4 5 →