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 条
  • [31] An evaluation of memory consistency models for shared-memory systems with ILP processors
    Pai, VS
    Ranganathan, P
    Adve, SV
    Harton, T
    ACM SIGPLAN NOTICES, 1996, 31 (09) : 12 - 23
  • [32] The Topology of Shared-Memory Adversaries
    Herlihy, Maurice
    Rajsbaum, Sergio
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 105 - 113
  • [33] SHARED-MEMORY AND PC SUPERCOMPUTING
    FRIED, S
    DR DOBBS JOURNAL, 1994, 19 (01): : 18 - &
  • [34] Shared-memory performance profiling
    Xu, ZC
    Larus, JR
    Miller, BP
    ACM SIGPLAN NOTICES, 1997, 32 (07) : 240 - 251
  • [35] SMALL SHARED-MEMORY MULTIPROCESSORS
    BASKETT, F
    HENNESSY, JL
    SCIENCE, 1986, 231 (4741) : 963 - 967
  • [36] SHARED-MEMORY AND MESSAGE QUEUES
    LAM, RB
    DR DOBBS JOURNAL, 1995, 20 (05): : 28 - &
  • [37] AND OR PARALLELISM ON SHARED-MEMORY MULTIPROCESSORS
    GUPTA, G
    JAYARAMAN, B
    JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (01): : 59 - 89
  • [38] ATOMIC SNAPSHOTS OF SHARED-MEMORY
    AFEK, Y
    ATTIYA, H
    DOLEV, D
    GAFNI, E
    MERRITT, M
    SHAVIT, N
    JOURNAL OF THE ACM, 1993, 40 (04) : 873 - 890
  • [39] The interaction of software prefetching with ILP processors in shared-memory systems
    Ranganathan, P
    Pai, VS
    AbdelShafi, H
    Adve, SV
    24TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, CONFERENCE PROCEEDINGS, 1997, : 144 - 156
  • [40] Parallel Data Mining for Association Rules on Shared-Memory Systems
    S. Parthasarathy
    M. J. Zaki
    M. Ogihara
    W. Li
    Knowledge and Information Systems, 2001, 3 (1) : 1 - 29
12345