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 条
  • [1] UNAMBIGUOUS SHARED-MEMORY SYSTEMS
    Morin, Remi
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (04) : 665 - 685
  • [2] Semantics of deterministic shared-memory systems
    Morin, Remi
    [J]. CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [3] Queue structures for shared-memory multiprocessor systems
    Zhu, WP
    [J]. 34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 99 - 106
  • [4] MSO Logic for Unambiguous Shared-Memory Systems
    Morin, Remi
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 516 - 528
  • [5] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    [J]. JOURNAL OF THE ACM, 2016, 63 (01)
  • [6] Truss Decomposition on Shared-Memory Parallel Systems
    Smith, Shaden
    Liu, Xing
    Ahmed, Nesreen K.
    Tom, Ancy Sarah
    Petrini, Fabrizio
    Karypis, George
    [J]. 2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
  • [7] UCAR and HP to collaborate on shared-memory systems
    不详
    [J]. IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79
  • [8] Design issues for distributed shared-memory systems
    Lenoski, DE
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 62 - 62
  • [9] DISTRIBUTED SHARED-MEMORY IMPLEMENTATION FOR MULTITRANSPUTER SYSTEMS
    TSANAKAS, P
    PAPAKONSTANTINOU, G
    EFTHIVOULIDIS, G
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 499 - 506
  • [10] Cluster queue structure for shared-memory multiprocessor systems
    Zhu, W
    [J]. JOURNAL OF SUPERCOMPUTING, 2003, 25 (03): : 215 - 236
12345