{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:UJKECWCX2BC3HVVDSIBLAIBZX2","short_pith_number":"pith:UJKECWCX","schema_version":"1.0","canonical_sha256":"a254415857d045b3d6a39202b02039bebff49b3e70cecb3ef5f333e131dc0f4f","source":{"kind":"arxiv","id":"1507.07086","version":1},"attestation_state":"computed","paper":{"title":"On Liveness of Dynamic Storage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Alexander Spiegelman, Idit Keidar","submitted_at":"2015-07-25T09:54:16Z","abstract_excerpt":"Dynamic distributed storage algorithms such as DynaStore, Reconfigurable Paxos, RAMBO, and RDS, do not ensure liveness (wait-freedom) in asynchronous runs with infinitely many reconfigurations. We prove that this is inherent for asynchronous dynamic storage algorithms, including ones that use $\\Omega$ or $\\diamond S$ oracles. Our result holds even if only one process may fail, provided that machines that were successfully removed from the system's configuration may be switched off by an administrator. Intuitively, the impossibility relies on the fact that a correct process can be suspected to "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1507.07086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-07-25T09:54:16Z","cross_cats_sorted":[],"title_canon_sha256":"1bdde2f942f4af338dde99f1931a635a7dac45133eba2a3cce2565256d0c6373","abstract_canon_sha256":"467935f85fc86bb88e5f3de71ca6cbae4f36246bd634f665cb37ce8d358b7d16"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:17.252582Z","signature_b64":"AnJZKv4+N4K/ol+hXwhApwRpEXnjQTq7YqMs35cD4zlkjTDskKVPiVCJLjY7XrRn4dAAth3YEK8sbsZpM6fqDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a254415857d045b3d6a39202b02039bebff49b3e70cecb3ef5f333e131dc0f4f","last_reissued_at":"2026-05-18T01:36:17.251990Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:17.251990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Liveness of Dynamic Storage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Alexander Spiegelman, Idit Keidar","submitted_at":"2015-07-25T09:54:16Z","abstract_excerpt":"Dynamic distributed storage algorithms such as DynaStore, Reconfigurable Paxos, RAMBO, and RDS, do not ensure liveness (wait-freedom) in asynchronous runs with infinitely many reconfigurations. We prove that this is inherent for asynchronous dynamic storage algorithms, including ones that use $\\Omega$ or $\\diamond S$ oracles. Our result holds even if only one process may fail, provided that machines that were successfully removed from the system's configuration may be switched off by an administrator. Intuitively, the impossibility relies on the fact that a correct process can be suspected to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.07086","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1507.07086","created_at":"2026-05-18T01:36:17.252075+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.07086v1","created_at":"2026-05-18T01:36:17.252075+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.07086","created_at":"2026-05-18T01:36:17.252075+00:00"},{"alias_kind":"pith_short_12","alias_value":"UJKECWCX2BC3","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_16","alias_value":"UJKECWCX2BC3HVVD","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_8","alias_value":"UJKECWCX","created_at":"2026-05-18T12:29:44.643036+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2","json":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2.json","graph_json":"https://pith.science/api/pith-number/UJKECWCX2BC3HVVDSIBLAIBZX2/graph.json","events_json":"https://pith.science/api/pith-number/UJKECWCX2BC3HVVDSIBLAIBZX2/events.json","paper":"https://pith.science/paper/UJKECWCX"},"agent_actions":{"view_html":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2","download_json":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2.json","view_paper":"https://pith.science/paper/UJKECWCX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.07086&json=true","fetch_graph":"https://pith.science/api/pith-number/UJKECWCX2BC3HVVDSIBLAIBZX2/graph.json","fetch_events":"https://pith.science/api/pith-number/UJKECWCX2BC3HVVDSIBLAIBZX2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2/action/storage_attestation","attest_author":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2/action/author_attestation","sign_citation":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2/action/citation_signature","submit_replication":"https://pith.science/pith/UJKECWCX2BC3HVVDSIBLAIBZX2/action/replication_record"}},"created_at":"2026-05-18T01:36:17.252075+00:00","updated_at":"2026-05-18T01:36:17.252075+00:00"}