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 条
  • [21] A Lock-Free Algorithm for Concurrent Bags
    Sundell, Hakan
    Gidenstam, Anders
    Papatriantafilou, Marina
    Tsigas, Philippas
    SPAA 11: PROCEEDINGS OF THE TWENTY-THIRD ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2011, : 335 - 344
  • [22] Efficient Lock-Free Durable Sets
    Zuriel, Yoav
    Friedman, Michal
    Sheffi, Gali
    Cohen, Nachshon
    Petrank, Erez
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [23] Scalable Lock-Free Vector with Combining
    Walulya, Ivan
    Tsigas, Philippas
    2017 31ST IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2017, : 917 - 926
  • [24] Lock-free code: A false sense of security - Writing correct lock-free code is harder than it looks
    Sutter, Herb
    DR DOBBS JOURNAL, 2008, 33 (09): : 68 - 70
  • [25] Lock-free parallel garbage collection
    Cao, H
    Groote, JF
    Hesselink, WH
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, 2005, 3758 : 263 - 274
  • [26] BQ: A Lock-Free Queue with Batching
    Milman-Sela, Gal
    Kogan, Alex
    Lev, Yossi
    Luchangco, Victor
    Petrank, Erez
    ACM TRANSACTIONS ON PARALLEL COMPUTING, 2022, 9 (01)
  • [27] Lock-free dynamically resizable Arrays
    Dechev, Damian
    Pirkelbauer, Peter
    Stroustrup, Bjarne
    PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4305 : 142 - 156
  • [28] A scalable lock-free stack algorithm
    Hendler, Danny
    Shavit, Nir
    Yerushalmi, Lena
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 70 (01) : 1 - 12
  • [29] Allocating memory in a lock-free manner
    Gidenstam, A
    Papatriantafilou, M
    Tsigas, P
    ALGORITHMS - ESA 2005, 2005, 3669 : 329 - 342
  • [30] lfbench: a lock-free microbenchmark suite
    Nagabhiru, Mahita
    Byrd, Greg
    2023 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, ISPASS, 2023, : 322 - 324
12345