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
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (04) : 665 - 685
  • [2] Semantics of deterministic shared-memory systems
    Morin, Remi
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [3] Queue structures for shared-memory multiprocessor systems
    Zhu, WP
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 99 - 106
  • [4] MSO Logic for Unambiguous Shared-Memory Systems
    Morin, Remi
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 516 - 528
  • [5] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    JOURNAL OF THE ACM, 2016, 63 (01)
  • [6] UCAR and HP to collaborate on shared-memory systems
    不详
    IEEE CONCURRENCY, 1997, 5 (03): : 79 - 79
  • [7] Truss Decomposition on Shared-Memory Parallel Systems
    Smith, Shaden
    Liu, Xing
    Ahmed, Nesreen K.
    Tom, Ancy Sarah
    Petrini, Fabrizio
    Karypis, George
    2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
  • [8] Design issues for distributed shared-memory systems
    Lenoski, DE
    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
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 499 - 506
  • [10] Shared-memory synchronization
    Scott, Michael L.
    Synthesis Lectures on Computer Architecture, 2013, 23 : 1 - 220
12345