Copertina

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Castañeda, Armando, Rodríguez, Gilde Valeria
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Distributed, Parallel, and Cluster Computing
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
di: Castañeda, Armando, et al.
Pubblicazione: (2025)

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
di: Attiya, Hagit, et al.
Pubblicazione: (2025)

Strong Linearizability using Primitives with Consensus Number 2
di: Attiya, Hagit, et al.
Pubblicazione: (2024)

Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
di: Johnen, Colette, et al.
Pubblicazione: (2024)

Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models
di: Attiya, Hagit, et al.
Pubblicazione: (2025)

Towards Reconfigurable Linearizable Reads
di: Thiessen, Myles, et al.
Pubblicazione: (2024)

Communication Requirements for Linearizable Registers
di: Nataf, Raïssa, et al.
Pubblicazione: (2026)

Linearizability and State-Machine Replication: Is it a match?
di: Hauck, Franz J., et al.
Pubblicazione: (2024)

Radiation Hydrodynamics at Scale: Comparing MPI and Asynchronous Many-Task Runtimes with FleCSI
di: Strack, Alexander, et al.
Pubblicazione: (2026)

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
di: Cohen, Shir, et al.
Pubblicazione: (2021)

LARK -- Linearizability Algorithms for Replicated Keys in Aerospike
di: Goodng, Andrew, et al.
Pubblicazione: (2025)

Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases
di: Hu, Guanzhou, et al.
Pubblicazione: (2025)

Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model
di: Losa, Giuliano, et al.
Pubblicazione: (2024)

Wait or Not to Wait: Evaluating Trade-Offs between Speed and Precision in Blockchain-based Federated Aggregation
di: Nguyen, Huong, et al.
Pubblicazione: (2024)

Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free
di: Albouy, Timothé, et al.
Pubblicazione: (2024)

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
di: Chalmers, Kevin, et al.
Pubblicazione: (2025)

Read-Modify-Writable Snapshots from Read/Write operations
di: Castañeda, Armando, et al.
Pubblicazione: (2026)

Wait-free Replicated Data Types and Fair Reconciliation
di: Kuznetsov, Petr, et al.
Pubblicazione: (2025)

Runtime Verification Containers for Publish/Subscribe Networks
di: Mehran, Ali, et al.
Pubblicazione: (2024)

Automatic Tracing in Task-Based Runtime Systems
di: Yadav, Rohan, et al.
Pubblicazione: (2024)

An AI-Native Runtime for Multi-Wearable Environments
di: Min, Chulhong, et al.
Pubblicazione: (2024)

Junctiond: Extending FaaS Runtimes with Kernel-Bypass
di: Saurez, Enrique, et al.
Pubblicazione: (2024)

What Cannot Be Implemented on Weak Memory?
di: Castañeda, Armando, et al.
Pubblicazione: (2024)

On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks
di: Chaturvedi, Anya, et al.
Pubblicazione: (2025)

Seer: Predictive Runtime Kernel Selection for Irregular Problems
di: Swann, Ryan, et al.
Pubblicazione: (2024)

Towards an Adaptive Runtime System for Cloud-Native HPC
di: Bhosale, Aditya, et al.
Pubblicazione: (2026)

Asynchronous Checkpoint for Eventually Consistent Databases
di: Ravishankar, Raaghav, et al.
Pubblicazione: (2025)

Asynchronous Latency and Fast Atomic Snapshot
di: Bezerra, João Paulo, et al.
Pubblicazione: (2024)

Byzantine Consensus in the Random Asynchronous Model
di: Danezis, George, et al.
Pubblicazione: (2025)

RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing
di: Gener, Serhan, et al.
Pubblicazione: (2025)

Amoeba: Runtime Tensor Parallel Transformation for LLM Inference Services
di: Chen, Haoyu, et al.
Pubblicazione: (2025)

TURNIP: A "Nondeterministic" GPU Runtime with CPU RAM Offload
di: Ding, Zhimin, et al.
Pubblicazione: (2024)

Lemonshark: Asynchronous DAG-BFT With Early Finality
di: Hu, Michael Yiqing, et al.
Pubblicazione: (2026)

PALE: Partially Asynchronous Agile Leader Election
di: Sidik, Bronislav, et al.
Pubblicazione: (2018)

From Symmetric to Asymmetric Asynchronous Byzantine Consensus
di: Cachin, Christian, et al.
Pubblicazione: (2020)

Asynchronous Secure Federated Learning with Byzantine aggregators
di: Del Pozzo, Antonella, et al.
Pubblicazione: (2026)

Privacy-Preserving Sharing of Data Analytics Runtime Metrics for Performance Modeling
di: Will, Jonathan, et al.
Pubblicazione: (2024)

Consensus Through Knot Discovery in Asynchronous Dynamic Networks
di: Bricker, Rachel, et al.
Pubblicazione: (2024)

Optimal Uniform Circle Formation by Asynchronous Luminous Robots
di: Feletti, Caterina, et al.
Pubblicazione: (2024)

AGILE: Lightweight and Efficient Asynchronous GPU-SSD Integration
di: Yang, Zhuoping, et al.
Pubblicazione: (2025)