{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:UGPRA3NJDFSGWZMQT4QYSIUMTN","short_pith_number":"pith:UGPRA3NJ","canonical_record":{"source":{"id":"1909.01980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-09-04T03:44:14Z","cross_cats_sorted":[],"title_canon_sha256":"3d5dfcb32d4b45e382d6a05c255ffcebcae1bb4b3ad6b7e51e567e3f1d9a20dc","abstract_canon_sha256":"6a59978f27b452d2302f4cfd4570ab10bce46e3b06e625dee36fa2d784991fd3"},"schema_version":"1.0"},"canonical_sha256":"a19f106da919646b65909f2189228c9b5ef9a2a217e4b3ce9a1bf23b969a95f9","source":{"kind":"arxiv","id":"1909.01980","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.01980","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"arxiv_version","alias_value":"1909.01980v1","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.01980","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_12","alias_value":"UGPRA3NJDFSG","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_16","alias_value":"UGPRA3NJDFSGWZMQ","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_8","alias_value":"UGPRA3NJ","created_at":"2026-07-05T00:02:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:UGPRA3NJDFSGWZMQT4QYSIUMTN","target":"record","payload":{"canonical_record":{"source":{"id":"1909.01980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-09-04T03:44:14Z","cross_cats_sorted":[],"title_canon_sha256":"3d5dfcb32d4b45e382d6a05c255ffcebcae1bb4b3ad6b7e51e567e3f1d9a20dc","abstract_canon_sha256":"6a59978f27b452d2302f4cfd4570ab10bce46e3b06e625dee36fa2d784991fd3"},"schema_version":"1.0"},"canonical_sha256":"a19f106da919646b65909f2189228c9b5ef9a2a217e4b3ce9a1bf23b969a95f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:02:29.291295Z","signature_b64":"w55W3ahLXthrKs4uaVfYd1zhnxcQghwbcP+i1shzOi/Y+lw3o1O4k+O+C8RVcTYY5lEgWd3q62pfDOxB9VB7BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a19f106da919646b65909f2189228c9b5ef9a2a217e4b3ce9a1bf23b969a95f9","last_reissued_at":"2026-07-05T00:02:29.290883Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:02:29.290883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.01980","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:02:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UE6GhBs0zDBh6w2eDa9KKTeqkdMaC1xl8AVB+/T9FG1DZHH4PE0W+GWDHV2kVyn+NVjFC7/xsGVVGJJxofJqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:10:32.158771Z"},"content_sha256":"f955715903cf52932aa2fc33a973152c96546f4b29c4925e12e6ad95c4d119b7","schema_version":"1.0","event_id":"sha256:f955715903cf52932aa2fc33a973152c96546f4b29c4925e12e6ad95c4d119b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:UGPRA3NJDFSGWZMQT4QYSIUMTN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Aleksey Charapko, Duong Nguyen, Murat Demirbas, Sandeep S Kulkarni","submitted_at":"2019-09-04T03:44:14Z","abstract_excerpt":"Consistency properties provided by most key-value stores can be classified into sequential consistency and eventual consistency. The former is easier to program with but suffers from lower performance whereas the latter suffers from potential anomalies while providing higher performance. We focus on the problem of what a designer should do if he/she has an algorithm that works correctly with sequential consistency but is faced with an underlying key-value store that provides a weaker consistency. We propose a detect-rollback based approach: The designer identifies a correctness predicate, say "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.01980","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/1909.01980/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:02:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dj71FWMoycGPUXSCPoObcRx0PdwFeF0rDJJRiiEfXWfcsG3tZROWAQvmGOFUQ6X1wGxuU1+7+04G1yNf0rOmCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:10:32.159140Z"},"content_sha256":"c408ab61bcbc821e7f91e5f42aaec2b823ce41c7f22d2f6c3c7fa010f991ddb3","schema_version":"1.0","event_id":"sha256:c408ab61bcbc821e7f91e5f42aaec2b823ce41c7f22d2f6c3c7fa010f991ddb3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/bundle.json","state_url":"https://pith.science/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-07T11:10:32Z","links":{"resolver":"https://pith.science/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN","bundle":"https://pith.science/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/bundle.json","state":"https://pith.science/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UGPRA3NJDFSGWZMQT4QYSIUMTN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UGPRA3NJDFSGWZMQT4QYSIUMTN","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":"6a59978f27b452d2302f4cfd4570ab10bce46e3b06e625dee36fa2d784991fd3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-09-04T03:44:14Z","title_canon_sha256":"3d5dfcb32d4b45e382d6a05c255ffcebcae1bb4b3ad6b7e51e567e3f1d9a20dc"},"schema_version":"1.0","source":{"id":"1909.01980","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.01980","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"arxiv_version","alias_value":"1909.01980v1","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.01980","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_12","alias_value":"UGPRA3NJDFSG","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_16","alias_value":"UGPRA3NJDFSGWZMQ","created_at":"2026-07-05T00:02:29Z"},{"alias_kind":"pith_short_8","alias_value":"UGPRA3NJ","created_at":"2026-07-05T00:02:29Z"}],"graph_snapshots":[{"event_id":"sha256:c408ab61bcbc821e7f91e5f42aaec2b823ce41c7f22d2f6c3c7fa010f991ddb3","target":"graph","created_at":"2026-07-05T00:02:29Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1909.01980/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Consistency properties provided by most key-value stores can be classified into sequential consistency and eventual consistency. The former is easier to program with but suffers from lower performance whereas the latter suffers from potential anomalies while providing higher performance. We focus on the problem of what a designer should do if he/she has an algorithm that works correctly with sequential consistency but is faced with an underlying key-value store that provides a weaker consistency. We propose a detect-rollback based approach: The designer identifies a correctness predicate, say ","authors_text":"Aleksey Charapko, Duong Nguyen, Murat Demirbas, Sandeep S Kulkarni","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-09-04T03:44:14Z","title":"Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.01980","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:f955715903cf52932aa2fc33a973152c96546f4b29c4925e12e6ad95c4d119b7","target":"record","created_at":"2026-07-05T00:02:29Z","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":"6a59978f27b452d2302f4cfd4570ab10bce46e3b06e625dee36fa2d784991fd3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-09-04T03:44:14Z","title_canon_sha256":"3d5dfcb32d4b45e382d6a05c255ffcebcae1bb4b3ad6b7e51e567e3f1d9a20dc"},"schema_version":"1.0","source":{"id":"1909.01980","kind":"arxiv","version":1}},"canonical_sha256":"a19f106da919646b65909f2189228c9b5ef9a2a217e4b3ce9a1bf23b969a95f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a19f106da919646b65909f2189228c9b5ef9a2a217e4b3ce9a1bf23b969a95f9","first_computed_at":"2026-07-05T00:02:29.290883Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:02:29.290883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w55W3ahLXthrKs4uaVfYd1zhnxcQghwbcP+i1shzOi/Y+lw3o1O4k+O+C8RVcTYY5lEgWd3q62pfDOxB9VB7BA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:02:29.291295Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.01980","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f955715903cf52932aa2fc33a973152c96546f4b29c4925e12e6ad95c4d119b7","sha256:c408ab61bcbc821e7f91e5f42aaec2b823ce41c7f22d2f6c3c7fa010f991ddb3"],"state_sha256":"dd5054b3accab0c4ab1e715976aba9c19ac71bc864b3077ba510bc5af9a99388"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oDWOy6+5RWmdvyyxMNGZGxt8tDmrVDoSdLZNksOFuUXEPtvEhHdbG5cIxI336NUcHVKVux6lhJH8KHMq+suSBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:10:32.161084Z","bundle_sha256":"3fdde741a862ce2e4ca78cde2c96d4b140bcbb845e1bfc823c5b6443d26d27d7"}}