{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:AJCQLNID5ZU46Y3VKKBYC6WH72","short_pith_number":"pith:AJCQLNID","schema_version":"1.0","canonical_sha256":"024505b503ee69cf63755283817ac7fe96014fa580c5285a98ed6cc8095fcc03","source":{"kind":"arxiv","id":"2301.08906","version":1},"attestation_state":"computed","paper":{"title":"Consistency vs. Availability in Distributed Real-Time Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Christian Menard, Edward A. Lee, Marten Lohstroh, Ravi Akella, Shaokai Lin, Soroush Bateni","submitted_at":"2023-01-21T06:30:11Z","abstract_excerpt":"In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is agreement on the values of shared variables; availability is the ability to respond to reads and writes accessing those shared variables. Availability is a real-time property whereas consistency is a logical property. We have extended the CAP theorem to relate quantitative measures of these two properties to quantitative measures of communication and computation latency (L), obtaining a relation called the CAL theorem "},"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":"2301.08906","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2023-01-21T06:30:11Z","cross_cats_sorted":[],"title_canon_sha256":"30a702b12b825382157f12036998d5f2c600822005b5b42da2287af64897f23e","abstract_canon_sha256":"e11147eea2f8590ef52e4d6643589719179d0a9157d23972b9f0806a1f9ae5af"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:34:54.051721Z","signature_b64":"vtbOU3EtOHgVPjTB0t0yGEnvU1HgEbp6bWaF/Iu4HmPBRStJWQKC8U0i9/ESTD9IVcvSRbQsDGZ5Qa6Nnqz5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"024505b503ee69cf63755283817ac7fe96014fa580c5285a98ed6cc8095fcc03","last_reissued_at":"2026-07-05T05:34:54.051342Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:34:54.051342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Consistency vs. Availability in Distributed Real-Time Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Christian Menard, Edward A. Lee, Marten Lohstroh, Ravi Akella, Shaokai Lin, Soroush Bateni","submitted_at":"2023-01-21T06:30:11Z","abstract_excerpt":"In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is agreement on the values of shared variables; availability is the ability to respond to reads and writes accessing those shared variables. Availability is a real-time property whereas consistency is a logical property. We have extended the CAP theorem to relate quantitative measures of these two properties to quantitative measures of communication and computation latency (L), obtaining a relation called the CAL theorem "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.08906","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2301.08906/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2301.08906","created_at":"2026-07-05T05:34:54.051398+00:00"},{"alias_kind":"arxiv_version","alias_value":"2301.08906v1","created_at":"2026-07-05T05:34:54.051398+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.08906","created_at":"2026-07-05T05:34:54.051398+00:00"},{"alias_kind":"pith_short_12","alias_value":"AJCQLNID5ZU4","created_at":"2026-07-05T05:34:54.051398+00:00"},{"alias_kind":"pith_short_16","alias_value":"AJCQLNID5ZU46Y3V","created_at":"2026-07-05T05:34:54.051398+00:00"},{"alias_kind":"pith_short_8","alias_value":"AJCQLNID","created_at":"2026-07-05T05:34:54.051398+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/AJCQLNID5ZU46Y3VKKBYC6WH72","json":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72.json","graph_json":"https://pith.science/api/pith-number/AJCQLNID5ZU46Y3VKKBYC6WH72/graph.json","events_json":"https://pith.science/api/pith-number/AJCQLNID5ZU46Y3VKKBYC6WH72/events.json","paper":"https://pith.science/paper/AJCQLNID"},"agent_actions":{"view_html":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72","download_json":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72.json","view_paper":"https://pith.science/paper/AJCQLNID","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2301.08906&json=true","fetch_graph":"https://pith.science/api/pith-number/AJCQLNID5ZU46Y3VKKBYC6WH72/graph.json","fetch_events":"https://pith.science/api/pith-number/AJCQLNID5ZU46Y3VKKBYC6WH72/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72/action/storage_attestation","attest_author":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72/action/author_attestation","sign_citation":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72/action/citation_signature","submit_replication":"https://pith.science/pith/AJCQLNID5ZU46Y3VKKBYC6WH72/action/replication_record"}},"created_at":"2026-07-05T05:34:54.051398+00:00","updated_at":"2026-07-05T05:34:54.051398+00:00"}