Cover Image

Hapax Locks : Value-Based Mutual Exclusion

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dice, Dave, Kogan, Alex
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing D.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reciprocating Locks
by: Dice, Dave, et al.
Published: (2025)

Semaphores Augmented with a Waiting Array
by: Dice, Dave, et al.
Published: (2025)

Laminar: A Probe-First Scheduling Paradigm with Deterministic Runtime Survival
by: Chu, Zhengyan
Published: (2026)

Rank-Aware Resource Scheduling for Tightly-Coupled MPI Workloads on Kubernetes
by: Xie, Tianfang
Published: (2026)

Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

Exploring Time-Space trade-offs for synchronized in Lilliput
by: Dice, Dave, et al.
Published: (2024)

GridPilot: Real-Time Grid-Responsive Control for AI Supercomputers
by: Constantinescu, Denisa-Andreea, et al.
Published: (2026)

Learning Interpretable Scheduling Algorithms for Data Processing Clusters
by: Hu, Zhibo, et al.
Published: (2024)

RACS-SADL: Robust and Understandable Randomized Consensus in the Cloud
by: Tennage, Pasindu, et al.
Published: (2024)

Baxos: Backing off for Robust and Efficient Consensus
by: Tennage, Pasindu, et al.
Published: (2022)

Feature-Aware Task-to-Core Allocation in Embedded Multi-core Platforms via Statistical Learning
by: Pivezhandi, Mohammad, et al.
Published: (2025)

HiDVFS: A Hierarchical Multi-Agent DVFS Scheduler for OpenMP DAG Workloads
by: Pivezhandi, Mohammad, et al.
Published: (2026)

Survey on Token-Based Distributed MutualExclusion Algorithms
by: Tohidi, Elahe, et al.
Published: (2025)

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

Flex-MIG: Enabling Distributed Execution on MIG
by: Kim, Myeongsu, et al.
Published: (2025)

GRAIN: Exact Graph Reconstruction from Gradients
by: Drencheva, Maria, et al.
Published: (2025)

SAGA: Workflow-Atomic Scheduling for AI Agent Inference on GPU Clusters
by: Guo, Dongxin, et al.
Published: (2026)

Intelligent Cloud Orchestration: A Hybrid Predictive and Heuristic Framework for Cost Optimization
by: Nagoriya, Heet, et al.
Published: (2026)

ConfigSpec: Profiling-Based Configuration Selection for Distributed Edge--Cloud Speculative LLM Serving
by: Li, Xiangchen, et al.
Published: (2026)

Planetary computing for data-driven environmental policy-making
by: Ferris, Patrick, et al.
Published: (2023)

Melding the Serverless Control Plane with the Conventional Cluster Manager for Speed and Resource Efficiency
by: Kondrashov, Leonid, et al.
Published: (2025)

Data Race Satisfiability on Array Elements
by: Shim, Junhyung, et al.
Published: (2025)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

Big Data Workload Profiling for Energy-Aware Cloud Resource Management
by: Parikh, Milan, et al.
Published: (2026)

WISP: Waste- and Interference-Suppressed Distributed Speculative LLM Serving at the Edge via Dynamic Drafting and SLO-Aware Batching
by: Li, Xiangchen, et al.
Published: (2026)

Lock-free de Bruijn graph
by: Górniak, Daniel, et al.
Published: (2024)

A Treasure Trove of Performance: Analyzing the IO500 Submission Data
by: Kunkel, Julian, et al.
Published: (2026)

ZenFlow: Enabling Stall-Free Offloading Training via Asynchronous Updates
by: Lan, Tingfeng, et al.
Published: (2025)

Graded modal logic and counting message passing automata
by: Ahvonen, Veeti, et al.
Published: (2024)

The High Cost of Keeping Warm: Characterizing Overhead in Serverless Autoscaling Policies
by: Kondrashov, Leonid, et al.
Published: (2025)

Nanvix: A Multikernel OS Design for High-Density Serverless Deployments
by: Segarra, Carlos, et al.
Published: (2026)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Recoverable Lock-Free Locks
by: Attiya, Hagit, et al.
Published: (2025)

Optimizing Fine-Grained Parallelism Through Dynamic Load Balancing on Multi-Socket Many-Core Systems
by: Wang, Wenyi, et al.
Published: (2025)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
by: Colonnelli, Iacopo, et al.
Published: (2024)

AutoTSMM: An Auto-tuning Framework for Building High-Performance Tall-and-Skinny Matrix-Matrix Multiplication on CPUs
by: Li, Chendi, et al.
Published: (2022)

Enabling Practical Transparent Checkpointing for MPI: A Topological Sort Approach
by: Xu, Yao, et al.
Published: (2024)

nvidia-pcm: A D-Bus-Driven Platform Configuration Manager for OpenBMC Environments
by: Singh, Harinder
Published: (2026)