2026-07-22T00:15:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24825 2026-02-09T07:41:34Z ddc:004 open_access

Auditable Shared Objects: From Registers to Synchronization Primitives Attiya, Hagit Anta, Antonio Fernández Milani, Alessia Rapetti, Alexandre Travers, Corentin Auditability Wait-free implementation Synchronization power Distributed objects Shared memory LL/SC Deny List Auditability allows to track operations performed on a shared object, recording who accessed which information. This gives data owners more control on their data. Initially studied in the context of single-writer registers, this work extends the notion of auditability to other shared objects, and studies their properties. We start by moving from single-writer to multi-writer registers, and provide an implementation of an auditable n-writer m-reader read / write register, with O(n+m) step complexity. This implementation uses (m+n)-sliding registers, which have consensus number m+n. We show that this consensus number is necessary. The implementation extends naturally to support an auditable load-linked / store-conditional (LL/SC) shared object. LL/SC is a primitive that supports efficient implementation of many shared objects. Finally, we relate auditable registers to other access control objects, by implementing an anti-flickering deny list from auditable registers. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hagit Attiya and Antonio Fernández Anta and Alessia Milani and Alexandre Rapetti and Corentin Travers 2025 Is Part Of LIPIcs, Volume 356, 39th International Symposium on Distributed Computing (DISC 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.DISC.2025.8 urn:nbn:de:0030-drops-248253 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.8 eng https://creativecommons.org/licenses/by/4.0/legalcode