Imagen de Portada

What Cannot Be Implemented on Weak Memory?

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Castañeda, Armando, Chockler, Gregory, Dongol, Brijesh, Lahav, Ori
Formato:	Preprint
Publicado:	2024
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
por: Ambal, Guillaume, et al.
Publicado: (2025)

TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
por: Keshavarzi, Sadegh, et al.
Publicado: (2025)

Hyperproperty-Preserving Register Specifications (Extended Version)
por: Shimon, Yoav Ben, et al.
Publicado: (2024)

Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version)
por: Naser-Pastoriza, Alejandro, et al.
Publicado: (2025)

A Programming Model for Disaggregated Memory over CXL
por: Assa, Gal, et al.
Publicado: (2024)

Specifying and Verifying RDMA Synchronisation (Extended Version)
por: Ambal, Guillaume, et al.
Publicado: (2026)

Vertical Atomic Broadcast and Passive Replication (Extended Version)
por: Bravo, Manuel, et al.
Publicado: (2024)

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

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
por: Castañeda, Armando, et al.
Publicado: (2023)

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

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

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

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

MAP-UOT: A Memory-Efficient Approach to Unbalanced Optimal Transport Implementation
por: Sun, Chengyu, et al.
Publicado: (2024)

Do MPI Derived Datatypes Actually Help? A Single-Node Cross-Implementation Study on Shared-Memory Communication
por: Adefemi, Temitayo
Publicado: (2025)

Understanding the Landscape of Ampere GPU Memory Errors
por: Zhu, Zhu, et al.
Publicado: (2025)

Prefetching in Deep Memory Hierarchies with NVRAM as Main Memory
por: Lurbe, Manel, et al.
Publicado: (2025)

Minimalist Leader Election Under Weak Communication
por: Vacus, Robin, et al.
Publicado: (2025)

Some New Approaches to MPI Implementations
por: Xiong, Yuqing
Publicado: (2024)

Quick Order Fairness: Implementation and Evaluation
por: Cachin, Christian, et al.
Publicado: (2023)

On the Bit Complexity of Iterated Memory
por: Toyos-Marfurt, Guillermo, et al.
Publicado: (2024)

Orchestrating Serverless Applications in the Edge Cloud Space Continuum: What Breaks and What is Next?
por: Malazi, Hadi Tabatabaee, et al.
Publicado: (2026)

Formal Definition and Implementation of Reproducibility Tenets for Computational Workflows
por: Pritchard, Nicholas J., et al.
Publicado: (2024)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
por: Furbach, Florian, et al.
Publicado: (2026)

GMLake: Efficient and Transparent GPU Memory Defragmentation for Large-scale DNN Training with Virtual Memory Stitching
por: Guo, Cong, et al.
Publicado: (2024)

LOCO: Rethinking Objects for Network Memory
por: Hodgkins, George, et al.
Publicado: (2025)

A Preliminary Study on Accelerating Simulation Optimization with GPU Implementation
por: He, Jinghai, et al.
Publicado: (2024)

A Practical GPU-Accelerated Implementation of Orthogonal Matching Pursuit
por: Lubonja, Ariel, et al.
Publicado: (2024)

FDO Manager: Minimum Viable FAIR Digital Object Implementation
por: Zoubia, Oussama, et al.
Publicado: (2024)

Implementing True MPI Sessions and Evaluating MPI Initialization Scalability
por: Zhou, Hui, et al.
Publicado: (2026)

Generalized Data Placement Strategies for Racetrack Memories
por: Khan, Asif Ali, et al.
Publicado: (2019)

IM-PIR: In-Memory Private Information Retrieval
por: Mwaisela, Mpoki, et al.
Publicado: (2025)

Breaking the Memory Wall: A Study of I/O Patterns and GPU Memory Utilization for Hybrid CPU-GPU Offloaded Optimizers
por: Maurya, Avinash, et al.
Publicado: (2024)

Implementing OpenMP for Zig to enable its use in HPC context
por: Kacs, David, et al.
Publicado: (2024)

Efficient Parallel Implementation of the Pilot Assignment Problem in Massive MIMO Systems
por: Alqudah, Eman, et al.
Publicado: (2025)

Comparative Analysis of Distributed Caching Algorithms: Performance Metrics and Implementation Considerations
por: Mayer, Helen, et al.
Publicado: (2025)

Analyzing Persistent Alltoallv RMA Implementations for High-Performance MPI Communication
por: Namugwanya, Evelyn
Publicado: (2026)

What can be computed in average anonymous networks?
por: Rybicki, Joel, et al.
Publicado: (2026)

PATSMA: Parameter Auto-tuning for Shared Memory Algorithms
por: Fernandes, Joao B., et al.
Publicado: (2024)

Sizey: Memory-Efficient Execution of Scientific Workflow Tasks
por: Bader, Jonathan, et al.
Publicado: (2024)