MSO Logic for Unambiguous Shared-Memory Systems

被引：0
|
作者：
Morin, Remi [1 ]
机构：
[1] Aix Marseille Univ, CNRS, UMR 6166, Lab Informat Fondamentale Marseille, F-13288 Marseille 9, France
来源：
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS | 2008年 / 5257卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Shared-memory systems appear as a generalization of asynchronous cellular automata. In this paper we relate the partial-order semantics of shared-memory systems to Mazurkiewicz trace languages by means of a new refinement construction. We show that a set of labeled partial orders is recognized by some unambiguous shared-memory system if and only if it is definable in monadic second-order logic and media-bounded.
引用
收藏
页码：516 / 528
页数：13
相关论文
共 50 条
  • [21] Analytic evaluation of shared-memory systems with ILP processors
    Sorin, DJ
    Pai, VS
    Adve, SV
    Vernon, MK
    Wood, DA
    25TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 1998, : 380 - 391
  • [22] NUMERICAL-METHODS FOR CONTROL ON SHARED-MEMORY SYSTEMS
    WRIGHT, SJ
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 370 - 373
  • [23] Model checking parameterized asynchronous shared-memory systems
    Antoine Durand-Gasselin
    Javier Esparza
    Pierre Ganty
    Rupak Majumdar
    Formal Methods in System Design, 2017, 50 : 140 - 167
  • [24] A comparative evaluation of hybrid distributed shared-memory systems
    Moga, Adrian
    Dubois, Michel
    JOURNAL OF SYSTEMS ARCHITECTURE, 2009, 55 (01) : 43 - 52
  • [25] An adaptive loop scheduling algorithm on shared-memory systems
    Jin, CM
    Yan, Y
    Zhang, XD
    EIGHTH IEEE SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 1996, : 250 - 257
  • [26] Synchronized-by-Default Concurrency for Shared-Memory Systems
    Battig, Martin
    Gross, Thomas R.
    ACM SIGPLAN NOTICES, 2017, 52 (08) : 299 - 312
  • [27] Elastic Phoenix: Malleable MapReduce for Shared-Memory Systems
    Gordon, Adam Wolfe
    Lu, Paul
    NETWORK AND PARALLEL COMPUTING, 2011, 6985 : 1 - 16
  • [28] Specification and verification of memory consistency models for shared-memory multiprocessor systems
    Takata, S
    Taguchi, K
    Joe, K
    Fukuda, A
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 923 - 930
  • [29] Optimizing Map Reduce with Low Memory Requirements for Shared-Memory Systems
    Zheng, Yasong
    Xu, Yuanchao
    Meng, Haibo
    Ye, Xiaochun
    Fan, Lingjun
    Miao, Futao
    Fan, Dongrui
    2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014, : 213 - 218
  • [30] Evaluation of memory consistency models for shared-memory systems with ILP processors
    Pai, V.S.
    Ranganathan, P.
    Adve, S.V.
    Harton, T.
    Computer architecture news, 1996, 24 (Special Issu) : 12 - 23
12345