KNOWLEDGE IN SHARED-MEMORY SYSTEMS

被引:0
|
作者
MERRITT, M
TAUBENFELD, G
机构
[1] AT and T Bell Laboratories, Murray Hill, 07974, NJ
关键词
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 条
  • [31] Shared-memory performance profiling
    Xu, ZC
    Larus, JR
    Miller, BP
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (07) : 240 - 251
  • [32] SMALL SHARED-MEMORY MULTIPROCESSORS
    BASKETT, F
    HENNESSY, JL
    [J]. SCIENCE, 1986, 231 (4741) : 963 - 967
  • [33] SHARED-MEMORY AND MESSAGE QUEUES
    LAM, RB
    [J]. DR DOBBS JOURNAL, 1995, 20 (05): : 28 - &
  • [34] AND OR PARALLELISM ON SHARED-MEMORY MULTIPROCESSORS
    GUPTA, G
    JAYARAMAN, B
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (01): : 59 - 89
  • [35] ATOMIC SNAPSHOTS OF SHARED-MEMORY
    AFEK, Y
    ATTIYA, H
    DOLEV, D
    GAFNI, E
    MERRITT, M
    SHAVIT, N
    [J]. JOURNAL OF THE ACM, 1993, 40 (04) : 873 - 890
  • [36] The interaction of software prefetching with ILP processors in shared-memory systems
    Ranganathan, P
    Pai, VS
    AbdelShafi, H
    Adve, SV
    [J]. 24TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, CONFERENCE PROCEEDINGS, 1997, : 144 - 156
  • [37] Performance of hierarchical processor scheduling in shared-memory multiprocessor systems
    Dandamudi, SP
    Ayachi, S
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (11) : 1202 - 1213
  • [38] Parallel Data Mining for Association Rules on Shared-Memory Systems
    S. Parthasarathy
    M. J. Zaki
    M. Ogihara
    W. Li
    [J]. Knowledge and Information Systems, 2001, 3 (1) : 1 - 29
  • [39] SOLUTION OF SPARSE POSITIVE DEFINITE SYSTEMS ON A SHARED-MEMORY MULTIPROCESSOR
    GEORGE, A
    HEATH, MT
    LIU, J
    NG, E
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (04) : 309 - 325
  • [40] Adaptively scheduling parallel loops in distributed shared-memory systems
    Yan, Y
    Jin, CM
    Zhang, XD
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1997, 8 (01) : 70 - 81