Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
Fuente:
arXiv
Saved in:
| Main Authors: | Johnen, Colette, Khattabi, Adnane, Milani, Alessia, Welch, Jennifer L. |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023)
by: Castañeda, Armando, et al.
Published: (2023)
Communication Requirements for Linearizable Registers
by: Nataf, Raïssa, et al.
Published: (2026)
by: Nataf, Raïssa, et al.
Published: (2026)
Towards Reconfigurable Linearizable Reads
by: Thiessen, Myles, et al.
Published: (2024)
by: Thiessen, Myles, et al.
Published: (2024)
Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model
by: Losa, Giuliano, et al.
Published: (2024)
by: Losa, Giuliano, et al.
Published: (2024)
Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases
by: Hu, Guanzhou, et al.
Published: (2025)
by: Hu, Guanzhou, et al.
Published: (2025)
Linearizability and State-Machine Replication: Is it a match?
by: Hauck, Franz J., et al.
Published: (2024)
by: Hauck, Franz J., et al.
Published: (2024)
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Strong Linearizability using Primitives with Consensus Number 2
by: Attiya, Hagit, et al.
Published: (2024)
by: Attiya, Hagit, et al.
Published: (2024)
Read-Modify-Writable Snapshots from Read/Write operations
by: Castañeda, Armando, et al.
Published: (2026)
by: Castañeda, Armando, et al.
Published: (2026)
Auditable Shared Objects: From Registers to Synchronization Primitives
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
by: Cohen, Shir, et al.
Published: (2021)
by: Cohen, Shir, et al.
Published: (2021)
LARK -- Linearizability Algorithms for Replicated Keys in Aerospike
by: Goodng, Andrew, et al.
Published: (2025)
by: Goodng, Andrew, et al.
Published: (2025)
Wait or Not to Wait: Evaluating Trade-Offs between Speed and Precision in Blockchain-based Federated Aggregation
by: Nguyen, Huong, et al.
Published: (2024)
by: Nguyen, Huong, et al.
Published: (2024)
Wait-free Replicated Data Types and Fair Reconciliation
by: Kuznetsov, Petr, et al.
Published: (2025)
by: Kuznetsov, Petr, et al.
Published: (2025)
Undo and Redo Support for Replicated Registers
by: Stewen, Leo, et al.
Published: (2024)
by: Stewen, Leo, et al.
Published: (2024)
Hyperproperty-Preserving Register Specifications (Extended Version)
by: Shimon, Yoav Ben, et al.
Published: (2024)
by: Shimon, Yoav Ben, et al.
Published: (2024)
Stone-in-Waiting: A Cloud-Based Accelerator for the Quantum Approximate Optimization Algorithm
by: Zeng, Shuai
Published: (2026)
by: Zeng, Shuai
Published: (2026)
Partial Synchrony for Free? New Upper Bounds for Byzantine Agreement
by: Civit, Pierre, et al.
Published: (2024)
by: Civit, Pierre, et al.
Published: (2024)
Leveraging Hardware Performance Counters for Predicting Workload Interference in Vector Supercomputers
by: Shubham, et al.
Published: (2024)
by: Shubham, et al.
Published: (2024)
The Carnot Bound: Limits and Possibilities for Bandwidth-Efficient Consensus
by: Lewis-Pye, Andrew, et al.
Published: (2026)
by: Lewis-Pye, Andrew, et al.
Published: (2026)
Fine-Grained Vectorized Merge Sorting on RISC-V: From Register to Cache
by: Zhang, Jin, et al.
Published: (2024)
by: Zhang, Jin, et al.
Published: (2024)
Strong Linearizability without Compare&Swap: The Case of Bags
by: Ellen, Faith, et al.
Published: (2024)
by: Ellen, Faith, et al.
Published: (2024)
Auditing without Leaks Despite Curiosity
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
GPU Under Pressure: Estimating Application's Stress via Telemetry and Performance Counters
by: Esposito, Giuseppe, et al.
Published: (2025)
by: Esposito, Giuseppe, et al.
Published: (2025)
Co-Design and Evaluation of a CPU-Free MPI GPU Communication Abstraction and Implementation
by: Bridges, Patrick G., et al.
Published: (2026)
by: Bridges, Patrick G., et al.
Published: (2026)
Efficient Signature-Free Validated Agreement
by: Civit, Pierre, et al.
Published: (2024)
by: Civit, Pierre, et al.
Published: (2024)
Rise and Shine Efficiently! Tight Bounds for Adversarial Wake-up
by: Robinson, Peter, et al.
Published: (2024)
by: Robinson, Peter, et al.
Published: (2024)
Efficient Parallel Implementation of the Pilot Assignment Problem in Massive MIMO Systems
by: Alqudah, Eman, et al.
Published: (2025)
by: Alqudah, Eman, et al.
Published: (2025)
Why Canonical Rounds Fail for Optimal Byzantine Resilience
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
MAP-UOT: A Memory-Efficient Approach to Unbalanced Optimal Transport Implementation
by: Sun, Chengyu, et al.
Published: (2024)
by: Sun, Chengyu, et al.
Published: (2024)
AGAThA: Fast and Efficient GPU Acceleration of Guided Sequence Alignment for Long Read Mapping
by: Park, Seongyeon, et al.
Published: (2024)
by: Park, Seongyeon, et al.
Published: (2024)
Construction of a Byzantine Linearizable SWMR Atomic Register from SWSR Atomic Registers
by: Kshemkalyani, Ajay D., et al.
Published: (2024)
by: Kshemkalyani, Ajay D., et al.
Published: (2024)
Efficient GPU Implementation of Particle Interactions with Cutoff Radius and Few Particles per Cell
by: Algis, David, et al.
Published: (2024)
by: Algis, David, et al.
Published: (2024)
CUDA Kernel Optimization and Counter-Free Performance Analysis for Depthwise Convolution in Cloud Environments
by: Babak, Huriyeh, et al.
Published: (2026)
by: Babak, Huriyeh, et al.
Published: (2026)
Centroid Approximation with Multidimensional Approximate Agreement Protocols
by: Cambus, Melanie, et al.
Published: (2023)
by: Cambus, Melanie, et al.
Published: (2023)
Parallel Writing of Nested Data in Columnar Formats
by: Hahnfeld, Jonas, et al.
Published: (2024)
by: Hahnfeld, Jonas, et al.
Published: (2024)
Efficient Graph-Based Approximate Nearest Neighbor Search Achieving: Low Latency Without Throughput Loss
by: Luo, Jingjia, et al.
Published: (2025)
by: Luo, Jingjia, et al.
Published: (2025)
A Transverse-Read-assisted Fast Valid-Bits Collection in Stochastic Computing MACs for Energy-Efficient in-RTM DNNs
by: Wang, Jihe, et al.
Published: (2024)
by: Wang, Jihe, et al.
Published: (2024)
GRNND: A GPU-Parallel Relative NN-Descent Algorithm for Efficient Approximate Nearest Neighbor Graph Construction
by: Li, Xiang, et al.
Published: (2025)
by: Li, Xiang, et al.
Published: (2025)
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage
by: Wang, Ziheng, et al.
Published: (2024)
by: Wang, Ziheng, et al.
Published: (2024)
Similar Items
-
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023) -
Communication Requirements for Linearizable Registers
by: Nataf, Raïssa, et al.
Published: (2026) -
Towards Reconfigurable Linearizable Reads
by: Thiessen, Myles, et al.
Published: (2024) -
Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model
by: Losa, Giuliano, et al.
Published: (2024) -
Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases
by: Hu, Guanzhou, et al.
Published: (2025)