{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QE4Z7DJMLIQLWT5CSBBPSDPA4G","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":"c56bb98e0cb7fa30c97d8a501fbb9757e4a51f7845cb71b5db0b1d38d5a9934b","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-13T08:36:16Z","title_canon_sha256":"dc891ef3a69a4d50b0b1a0cd6982007d0ae01976aa707b9cb94494fbb851fbdb"},"schema_version":"1.0","source":{"id":"1710.04839","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04839","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04839v2","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04839","created_at":"2026-05-18T00:18:25Z"},{"alias_kind":"pith_short_12","alias_value":"QE4Z7DJMLIQL","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QE4Z7DJMLIQLWT5C","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QE4Z7DJM","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:bdcd0fe513c8b3d47454ae8825b303a34d81f4077e76547f38c3959ca99b5243","target":"graph","created_at":"2026-05-18T00:18:25Z","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":"Weak memory models provide a complex, system-centric semantics for concurrent programs, while transactional memory (TM) provides a simpler, programmer-centric semantics. Both have been studied in detail, but their combined semantics is not well understood. This is problematic because such widely-used architectures and languages as x86, Power, and C++ all support TM, and all have weak memory models.\n  Our work aims to clarify the interplay between weak memory and TM by extending existing axiomatic weak memory models (x86, Power, ARMv8, and C++) with new rules for TM. Our formal models are backe","authors_text":"John Wickerson, Nathan Chong, Tyler Sorensen","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-13T08:36:16Z","title":"The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04839","kind":"arxiv","version":2},"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:9fcc815fbe20fdce95255063b8a220bba505a8c21b533ede3ddd5a5447add530","target":"record","created_at":"2026-05-18T00:18:25Z","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":"c56bb98e0cb7fa30c97d8a501fbb9757e4a51f7845cb71b5db0b1d38d5a9934b","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-13T08:36:16Z","title_canon_sha256":"dc891ef3a69a4d50b0b1a0cd6982007d0ae01976aa707b9cb94494fbb851fbdb"},"schema_version":"1.0","source":{"id":"1710.04839","kind":"arxiv","version":2}},"canonical_sha256":"81399f8d2c5a20bb4fa29042f90de0e191ac3b40b6dbbe8b1d7ca35803fd30db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81399f8d2c5a20bb4fa29042f90de0e191ac3b40b6dbbe8b1d7ca35803fd30db","first_computed_at":"2026-05-18T00:18:25.612346Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:25.612346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ckbKmD6F0rKJOQNoS2GGGccfOuhM0fbMvEy2Tki5ZQJMypdUB+24xshpzSZ7kFlG/2QqhqDuVKBqr28x9NRUCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:25.612852Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.04839","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9fcc815fbe20fdce95255063b8a220bba505a8c21b533ede3ddd5a5447add530","sha256:bdcd0fe513c8b3d47454ae8825b303a34d81f4077e76547f38c3959ca99b5243"],"state_sha256":"63f863aa2fd3d1a242d1e8dfb49efe1df6dc1ac33007806930dd40b7bcf900f0"}