user

KNOWLEDGE IN SHARED-MEMORY SYSTEMS

被引：0
|
作者：
MERRITT, M
TAUBENFELD, G
机构：
[1] AT and T Bell Laboratories, Murray Hill, 07974, NJ
来源：
DISTRIBUTED COMPUTING | 1993年 / 7卷 / 02期
关键词：
KNOWLEDGE; FAULT-TOLERANCE; SHARED MEMORY; IMPOSSIBILITY; LOWER BOUNDS; AGREEMENT; CONSENSUS; RENAMING; WAKEUP;
D O I：
10.1007/BF02280839
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study the relation between knowledge and space. That is, we analyze how much shared memory space is needed in order to learn certain kinds of facts. Such results are useful tools for reasoning about shared memory systems. In addition we generalize a known impossibility result, and show that results about how knowledge can be gained and lost in message passing systems also hold for shared memory systems.
引用
收藏
页码：99 / 109
页数：11
相关论文
共 50 条
  • [21] Model checking parameterized asynchronous shared-memory systems
    Antoine Durand-Gasselin
    Javier Esparza
    Pierre Ganty
    Rupak Majumdar
    [J]. Formal Methods in System Design, 2017, 50 : 140 - 167
  • [22] NUMERICAL-METHODS FOR CONTROL ON SHARED-MEMORY SYSTEMS
    WRIGHT, SJ
    [J]. PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 370 - 373
  • [23] Synchronized-by-Default Concurrency for Shared-Memory Systems
    Battig, Martin
    Gross, Thomas R.
    [J]. ACM SIGPLAN NOTICES, 2017, 52 (08) : 299 - 312
  • [24] Elastic Phoenix: Malleable MapReduce for Shared-Memory Systems
    Gordon, Adam Wolfe
    Lu, Paul
    [J]. NETWORK AND PARALLEL COMPUTING, 2011, 6985 : 1 - 16
  • [25] Specification and verification of memory consistency models for shared-memory multiprocessor systems
    Takata, S
    Taguchi, K
    Joe, K
    Fukuda, A
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 923 - 930
  • [26] 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
    [J]. 2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014, : 213 - 218
  • [27] Evaluation of memory consistency models for shared-memory systems with ILP processors
    Pai, V.S.
    Ranganathan, P.
    Adve, S.V.
    Harton, T.
    [J]. Computer architecture news, 1996, 24 (Special Issu) : 12 - 23
  • [28] An evaluation of memory consistency models for shared-memory systems with ILP processors
    Pai, VS
    Ranganathan, P
    Adve, SV
    Harton, T
    [J]. ACM SIGPLAN NOTICES, 1996, 31 (09) : 12 - 23
  • [29] The Topology of Shared-Memory Adversaries
    Herlihy, Maurice
    Rajsbaum, Sergio
    [J]. PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 105 - 113
  • [30] SHARED-MEMORY AND PC SUPERCOMPUTING
    FRIED, S
    [J]. DR DOBBS JOURNAL, 1994, 19 (01): : 18 - &
12345