{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:VRZDPCFOYOKQ2M6ONW27TMXFGG","short_pith_number":"pith:VRZDPCFO","canonical_record":{"source":{"id":"2204.06066","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2022-04-12T20:03:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"4420dbca65440cc707a9dd612659e22acee1c7fd5d6f49b5873b107697b6c723","abstract_canon_sha256":"0554c2d25dbab374d7fab43b6d24ed1e2a49ef3fe861827b2f2b26be5d94a787"},"schema_version":"1.0"},"canonical_sha256":"ac723788aec3950d33ce6db5f9b2e531b8339e56e3322dd73f030128bfd0f1e6","source":{"kind":"arxiv","id":"2204.06066","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.06066","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"arxiv_version","alias_value":"2204.06066v1","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.06066","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_12","alias_value":"VRZDPCFOYOKQ","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_16","alias_value":"VRZDPCFOYOKQ2M6O","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_8","alias_value":"VRZDPCFO","created_at":"2026-07-05T04:14:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:VRZDPCFOYOKQ2M6ONW27TMXFGG","target":"record","payload":{"canonical_record":{"source":{"id":"2204.06066","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2022-04-12T20:03:47Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"4420dbca65440cc707a9dd612659e22acee1c7fd5d6f49b5873b107697b6c723","abstract_canon_sha256":"0554c2d25dbab374d7fab43b6d24ed1e2a49ef3fe861827b2f2b26be5d94a787"},"schema_version":"1.0"},"canonical_sha256":"ac723788aec3950d33ce6db5f9b2e531b8339e56e3322dd73f030128bfd0f1e6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:14:29.427358Z","signature_b64":"KuNRc4b9OVb7JdvL20yCBiApS5r8L1Co4LSKPzRNSFFxxnnGf5/SSptFXypM3Ut2yja+lKNLhqjANVVlLS9gCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac723788aec3950d33ce6db5f9b2e531b8339e56e3322dd73f030128bfd0f1e6","last_reissued_at":"2026-07-05T04:14:29.426916Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:14:29.426916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.06066","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-05T04:14:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9vp3D6IFJlVXVMK691f6gJtxywNirnwTaw7VfpXdwZyq6Kyvgt2LTYgYr7YN2WWq4HkELJM+YKG1Ht8+HL8iDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T20:57:08.218641Z"},"content_sha256":"f55c419ba0389168140075ff653c8e67aa96175064f661293c5616ff3c55f797","schema_version":"1.0","event_id":"sha256:f55c419ba0389168140075ff653c8e67aa96175064f661293c5616ff3c55f797"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:VRZDPCFOYOKQ2M6ONW27TMXFGG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.OS","authors_text":"Hayley LeBlanc, Isil Dillig, James Bornholt, Shankara Pailoor, Vijay Chidambaram","submitted_at":"2022-04-12T20:03:47Z","abstract_excerpt":"We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop FlyTrap, a framework to test PM file systems for crash-consistency bugs. FlyTrap discovered 18 new bugs across four PM file systems; the bugs have been confirmed by developers and many have been already fixed. The discovered bugs have serious consequences such as breaking the atomicity of rename or making the file system unmountable. We present a detailed study of the bugs we found and discuss some important lessons "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.06066","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/2204.06066/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-05T04:14:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"81H5ncIYZVX0U/pAloBjcG/lTldTGMws9eJZdiTE7VFm/+nbQjJwmzALPFwathF3yRf0sii1ztyZ+tQtm14SAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T20:57:08.219016Z"},"content_sha256":"2b6efa18582e32d86cab0716f2fb661572850b7b3fdf0e211ab7a0f18ade372e","schema_version":"1.0","event_id":"sha256:2b6efa18582e32d86cab0716f2fb661572850b7b3fdf0e211ab7a0f18ade372e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/bundle.json","state_url":"https://pith.science/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/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-10T20:57:08Z","links":{"resolver":"https://pith.science/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG","bundle":"https://pith.science/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/bundle.json","state":"https://pith.science/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VRZDPCFOYOKQ2M6ONW27TMXFGG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:VRZDPCFOYOKQ2M6ONW27TMXFGG","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":"0554c2d25dbab374d7fab43b6d24ed1e2a49ef3fe861827b2f2b26be5d94a787","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2022-04-12T20:03:47Z","title_canon_sha256":"4420dbca65440cc707a9dd612659e22acee1c7fd5d6f49b5873b107697b6c723"},"schema_version":"1.0","source":{"id":"2204.06066","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.06066","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"arxiv_version","alias_value":"2204.06066v1","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.06066","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_12","alias_value":"VRZDPCFOYOKQ","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_16","alias_value":"VRZDPCFOYOKQ2M6O","created_at":"2026-07-05T04:14:29Z"},{"alias_kind":"pith_short_8","alias_value":"VRZDPCFO","created_at":"2026-07-05T04:14:29Z"}],"graph_snapshots":[{"event_id":"sha256:2b6efa18582e32d86cab0716f2fb661572850b7b3fdf0e211ab7a0f18ade372e","target":"graph","created_at":"2026-07-05T04:14: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/2204.06066/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop FlyTrap, a framework to test PM file systems for crash-consistency bugs. FlyTrap discovered 18 new bugs across four PM file systems; the bugs have been confirmed by developers and many have been already fixed. The discovered bugs have serious consequences such as breaking the atomicity of rename or making the file system unmountable. We present a detailed study of the bugs we found and discuss some important lessons ","authors_text":"Hayley LeBlanc, Isil Dillig, James Bornholt, Shankara Pailoor, Vijay Chidambaram","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2022-04-12T20:03:47Z","title":"Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.06066","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:f55c419ba0389168140075ff653c8e67aa96175064f661293c5616ff3c55f797","target":"record","created_at":"2026-07-05T04:14: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":"0554c2d25dbab374d7fab43b6d24ed1e2a49ef3fe861827b2f2b26be5d94a787","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2022-04-12T20:03:47Z","title_canon_sha256":"4420dbca65440cc707a9dd612659e22acee1c7fd5d6f49b5873b107697b6c723"},"schema_version":"1.0","source":{"id":"2204.06066","kind":"arxiv","version":1}},"canonical_sha256":"ac723788aec3950d33ce6db5f9b2e531b8339e56e3322dd73f030128bfd0f1e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac723788aec3950d33ce6db5f9b2e531b8339e56e3322dd73f030128bfd0f1e6","first_computed_at":"2026-07-05T04:14:29.426916Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:14:29.426916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KuNRc4b9OVb7JdvL20yCBiApS5r8L1Co4LSKPzRNSFFxxnnGf5/SSptFXypM3Ut2yja+lKNLhqjANVVlLS9gCA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:14:29.427358Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.06066","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f55c419ba0389168140075ff653c8e67aa96175064f661293c5616ff3c55f797","sha256:2b6efa18582e32d86cab0716f2fb661572850b7b3fdf0e211ab7a0f18ade372e"],"state_sha256":"9ab8363d6ffb686e4f0a076691b629bb580625a5abc106fe5424439101140e60"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y8y4OSEpk+N+pskozwJO2CTfHZDKI+L8lU1D7nhxrX+2l4jEVBUyftrPwoc5dv01W7fGcSExGuSkskWqcd5EAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T20:57:08.221288Z","bundle_sha256":"73df1ae7b5d94dda62a185aad0598a163836c613bdfa9443640ed1bdfbf42fff"}}