{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YMZETUU5EW7EC5BZ4RH4AUFFJ7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c521de54a0a390a4d414f8b462177e412853bbbba4b620fde44e28f1a6d38c49","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-08-14T16:43:56Z","title_canon_sha256":"404bb108caf3ede9d99c4f1627717cb28ad6d1fc6077d8542d37f417210fc613"},"schema_version":"1.0","source":{"id":"1508.03566","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.03566","created_at":"2026-05-18T01:35:17Z"},{"alias_kind":"arxiv_version","alias_value":"1508.03566v1","created_at":"2026-05-18T01:35:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03566","created_at":"2026-05-18T01:35:17Z"},{"alias_kind":"pith_short_12","alias_value":"YMZETUU5EW7E","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YMZETUU5EW7EC5BZ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YMZETUU5","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:2b3c0d2e4807f7089437d9a2eefea62fd322ce3438d35a804216096fc05a5999","target":"graph","created_at":"2026-05-18T01:35:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"This paper considers the modeling and the analysis of the performance of lock-free concurrent data structures. Lock-free designs employ an optimistic conflict control mechanism, allowing several processes to access the shared data object at the same time. They guarantee that at least one concurrent operation finishes in a finite number of its own steps regardless of the state of the operations. Our analysis considers such lock-free data structures that can be represented as linear combinations of fixed size retry loops. Our main contribution is a new way of modeling and analyzing a general cla","authors_text":"Aras Atalar, Paul Renaud-Goud, Philippas Tsigas","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-08-14T16:43:56Z","title":"Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03566","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:126157d89063112e38ce3f1c38cdfd53421850a6f136ce795330be8087445d83","target":"record","created_at":"2026-05-18T01:35:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c521de54a0a390a4d414f8b462177e412853bbbba4b620fde44e28f1a6d38c49","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2015-08-14T16:43:56Z","title_canon_sha256":"404bb108caf3ede9d99c4f1627717cb28ad6d1fc6077d8542d37f417210fc613"},"schema_version":"1.0","source":{"id":"1508.03566","kind":"arxiv","version":1}},"canonical_sha256":"c33249d29d25be417439e44fc050a54ffbd2d44c67943b71558af4e56a3ff889","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c33249d29d25be417439e44fc050a54ffbd2d44c67943b71558af4e56a3ff889","first_computed_at":"2026-05-18T01:35:17.368002Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:17.368002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lMN46lV7YkT57kP9e5kM/yPWXQb86Wia/61LzPZ2QzHEK5spDsmsCOPBX8HdtBqu5XuTJ17pWXUX2AKQ6KHJBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:17.368587Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.03566","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:126157d89063112e38ce3f1c38cdfd53421850a6f136ce795330be8087445d83","sha256:2b3c0d2e4807f7089437d9a2eefea62fd322ce3438d35a804216096fc05a5999"],"state_sha256":"8f9c6ef01aa13dadc5c8988abc3878a26afd8c0c2e2d0b4143139700b6f93766"}