{"ID":2880154,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2508.14506","arxiv_id":"2508.14506","title":"Auditable Shared Objects: From Registers to Synchronization Primitives","abstract":"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.","short_abstract":"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 properti...","url_abs":"https://arxiv.org/abs/2508.14506","url_pdf":"https://arxiv.org/pdf/2508.14506v1","authors":"[\"Hagit Attiya\",\"Antonio Fernández Anta\",\"Alessia Milani\",\"Alexandre Rapetti\",\"Corentin Travers\"]","published":"2025-08-20T07:55:23Z","proceeding":"cs.DC","tasks":"[\"cs.DC\",\"cs.DB\",\"cs.DS\"]","methods":"[]","has_code":false}