LINEARIZABLE CONCURRENT OBJECTS

被引：0
|
作者：
HERLIHY, MP [1 ]
WING, JM [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
来源：
SIGPLAN NOTICES | 1989年 / 24卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：133 / 135
页数：3
相关论文
共 50 条
  • [1] Deriving linearizable fine-grained concurrent objects
    Vechev, Martin
    Yahav, Eran
    ACM SIGPLAN NOTICES, 2008, 43 (06) : 125 - 135
  • [2] Deriving Linearizable Fine-Grained Concurrent Objects
    Vechev, Martin
    Yahav, Eran
    PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 125 - 135
  • [3] Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
    Sergey, Ilya
    Nanevski, Aleksandar
    Banerjee, Anindya
    Andres Delbianco, German
    ACM SIGPLAN NOTICES, 2016, 51 (10) : 92 - 110
  • [4] Linearizable read/write objects
    Department of Computer Science, University of Cyprus, Nicosia CY-1678, Cyprus
    不详
    Theor Comput Sci, 1 (267-319):
  • [5] Eventually Linearizable Shared Objects
    Serafini, Marco
    Dobre, Dan
    Majuntke, Matthias
    Bokor, Peter
    Suri, Neeraj
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 95 - 104
  • [6] Linearizable read write objects
    Mavronicolas, M
    Roth, D
    THEORETICAL COMPUTER SCIENCE, 1999, 220 (01) : 267 - 319
  • [7] Proving Concurrent Data Structures Linearizable
    Singh, Vineet
    Neamtiu, Iulian
    Gupta, Rajiv
    2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 230 - 240
  • [8] LINEARIZABLE OBJECTS AND THEIR APPLICATION IN DIFFERENTIAL GAMES OF PURSUIT
    NIKOLSKI.MS
    DOKLADY AKADEMII NAUK SSSR, 1972, 205 (04): : 787 - &
  • [9] Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations
    Attiya, Hagit
    Enea, Constantin
    Welch, Jennifer L.
    PROCEEDINGS OF THE 2022 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2022, 2022, : 209 - 219
  • [10] Concurrent Linearizable Nearest Neighbour Search in LockFree-kD-tree
    Chatterjee, Bapi
    Walulya, Ivan
    Tsigas, Philippas
    ICDCN'18: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, 2018,
12345