Verified Lock-Free Session Channels with Linking

被引：0
|
作者：
Somers, Thomas [1 ]
Krebbers, Robbert [1 ]
机构：
[1] Radboud University, Nijmegen, Netherlands
来源：
Proceedings of the ACM on Programming Languages | 2024年 / 8卷 / OOPSLA2期
关键词：
All Open Access; Gold;
D O I：
10.1145/3689732
中图分类号：
学科分类号：
摘要：
61
引用
收藏
相关论文
共 50 条
  • [1] Lock-free queues
    Marginean, Petru
    DR DOBBS JOURNAL, 2008, 33 (07): : 43 - 47
  • [2] Lock-free reference counting
    David L. Detlefs
    Paul A. Martin
    Mark Moir
    Guy L. Steele Jr.
    Distributed Computing, 2002, 15 : 255 - 271
  • [3] POSTER: Lock-free Channels for Programming via Communicating Sequential Processes
    Koval, Nikita
    Alistarh, Dan
    Elizarov, Roman
    PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), 2019, : 417 - 418
  • [4] Lock-free collective operations
    Supalov, A
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 276 - 285
  • [5] Lock-free Cuckoo Hashing
    Nhan Nguyen
    Tsigas, Philippas
    2014 IEEE 34TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2014), 2014, : 627 - 636
  • [6] Lock-Free Hopscotch Hashing
    Kelly, Robert
    Pearlmutter, Barak A.
    Maguire, Phil
    SYMPOSIUM ON ALGORITHMIC PRINCIPLES OF COMPUTER SYSTEMS, APOCS, 2020, : 45 - 59
  • [7] Mostly lock-free malloc
    Dice, D
    Garthwaite, A
    ACM SIGPLAN NOTICES, 2003, 38 (02) : 269 - 280
  • [8] Lock-free reference counting
    Detlefs, DL
    Martin, PA
    Moir, M
    Steele, GL
    DISTRIBUTED COMPUTING, 2002, 15 (04) : 255 - 271
  • [9] Lock-free Transactional Vector
    Lamar, Kenneth
    Peterson, Christina
    Dechev, Damian
    PROCEEDINGS OF THE ELEVENTH INTERNATIONAL WORKSHOP ON PROGRAMMING MODELS AND APPLICATIONS FOR MULTICORES AND MANYCORES, PMAM 2020, 2020, : 51 - 60
  • [10] Lock-Free Locks Revisited
    Ben-David, Naama
    Blelloch, Guy E.
    Wei, Yuanhao
    PPOPP'22: PROCEEDINGS OF THE 27TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2022, : 278 - 293
12345