Practical constructive schemes for deterministic shared-memory access

被引:2
|
作者
Pietracaprina, A [1 ]
Preparata, FP [1 ]
机构
[1] BROWN UNIV,DEPT COMP SCI,PROVIDENCE,RI 02912
关键词
D O I
10.1007/BF02679451
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present three explicit schemes for distributing M variables among N memory modules, where M = Theta(N-1.5), M = Theta(N-2), and M = Theta(N-3), respectively. Each variable is replicated into a constant number of copies stored in distinct modules, We show that N processors, directly accessing the memories through a complete interconnection, can read/write any set of N variables in worst-case time O(N-1/3), O(N-1/2), and O (N-2/3), respectively for the three schemes. The access times for the last two schemes are optimal with respect to the particular redundancy values used by such schemes. The address computation can be carried out efficiently by each processor without recourse to a complete memory map and requiring only O(1) internal storage.
引用
收藏
页码:3 / 37
页数:35
相关论文
共 50 条
  • [1] Practical constructive schemes for deterministic shared-memory access
    A. Pietracaprina
    F. P. Preparata
    Theory of Computing Systems, 1997, 30 : 3 - 37
  • [2] DMP: DETERMINISTIC SHARED-MEMORY MULTIPROCESSING
    Devietti, Joseph
    Lucia, Brandon
    Ceze, Luis
    Oskin, Mark
    IEEE MICRO, 2010, 30 (01) : 40 - 49
  • [3] Semantics of deterministic shared-memory systems
    Morin, Remi
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [4] MEMORY ACCESS DEPENDENCIES IN SHARED-MEMORY MULTIPROCESSORS
    DUBOIS, M
    SCHEURICH, C
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (06) : 660 - 673
  • [5] Constructive, deterministic implementation of shared memory on meshes
    Pietracaprina, A
    Pucci, G
    Sibeyn, JF
    SIAM JOURNAL ON COMPUTING, 2000, 30 (02) : 625 - 648
  • [6] Modeling Shared-Memory Metaheuristic Schemes for Electricity Consumption
    Cutillas-Lozano, Luis-Gabino
    Cutillas-Lozano, Jose-Matias
    Gimenez, Domingo
    DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, 2012, 151 : 33 - +
  • [7] Replay for concurrent non-deterministic shared-memory applications
    Russinovich, M
    Cogswell, B
    ACM SIGPLAN NOTICES, 1996, 31 (05) : 258 - 266
  • [8] Practical Abstractions for Automated Verification of Shared-Memory Concurrency
    Oortwijn, Wytse
    Gurov, Dilian
    Huisman, Marieke
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 401 - 425
  • [9] Modeling the backoff strategies of access to shared-memory multiprocessors
    Boguslavskii, LB
    Lyakhov, AI
    Sevcik, KC
    AUTOMATION AND REMOTE CONTROL, 1996, 57 (04) : 601 - 610
  • [10] Analysis of failure recovery schemes for distributed shared-memory systems
    Kim, JH
    Vaidya, NH
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (03): : 125 - 130