{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:L2DTF4P53PFZKOC4PPC5L3BME3","short_pith_number":"pith:L2DTF4P5","canonical_record":{"source":{"id":"2111.15240","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2021-11-30T09:49:32Z","cross_cats_sorted":[],"title_canon_sha256":"34ddd9a6dcd6cb3c05b871530e425a8d6f6ad918c6f026954ba5054af5f5e34b","abstract_canon_sha256":"09ecaaa1df1d570424b5b290cfa93a1312e55c3419fb06465eab0a42798b78f0"},"schema_version":"1.0"},"canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","source":{"kind":"arxiv","id":"2111.15240","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.15240","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"arxiv_version","alias_value":"2111.15240v2","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.15240","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_12","alias_value":"L2DTF4P53PFZ","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_16","alias_value":"L2DTF4P53PFZKOC4","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_8","alias_value":"L2DTF4P5","created_at":"2026-07-05T04:38:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:L2DTF4P53PFZKOC4PPC5L3BME3","target":"record","payload":{"canonical_record":{"source":{"id":"2111.15240","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2021-11-30T09:49:32Z","cross_cats_sorted":[],"title_canon_sha256":"34ddd9a6dcd6cb3c05b871530e425a8d6f6ad918c6f026954ba5054af5f5e34b","abstract_canon_sha256":"09ecaaa1df1d570424b5b290cfa93a1312e55c3419fb06465eab0a42798b78f0"},"schema_version":"1.0"},"canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:38:46.233734Z","signature_b64":"vQnUAA01JXjoxkxzJ5V8syZ22JTiudmVARSj1EskgsoR6HbHwxA0zdyPlvMWUJQCG7/edKo2prxxXX//aiOTCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","last_reissued_at":"2026-07-05T04:38:46.233245Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:38:46.233245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.15240","source_version":2,"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:38:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cNpBcppOohMuxiURcakvsSyxBHyqJJpzfuAJ8f24HsTUcVDYsHw7zasgrpI6DbWuECbs9z9pKDQA+qOQSVFDBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T11:17:05.846260Z"},"content_sha256":"2ba590ce017515e1903f8b16778968484cfd1fec1123f46db143143ea85d3d96","schema_version":"1.0","event_id":"sha256:2ba590ce017515e1903f8b16778968484cfd1fec1123f46db143143ea85d3d96"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:L2DTF4P53PFZKOC4PPC5L3BME3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Antonio Paolillo, Diogo Behrens, Hern\\'an Ponce-de-Le\\'on, Ming Fu, Rafael Chehab, Roland Meyer, Thomas Haas","submitted_at":"2021-11-30T09:49:32Z","abstract_excerpt":"Developing concurrent software is challenging, especially if it has to run on modern architectures with Weak Memory Models (WMMs) such as ARMv8, Power, or RISC-V. For the sake of performance, WMMs allow hardware and compilers to aggressively reorder memory accesses. To guarantee correctness, developers have to carefully place memory barriers in the code to enforce ordering among critical memory operations.\n  While WMM architectures are growing in popularity, identifying the necessary and sufficient barriers of complex synchronization primitives is notoriously difficult. Unfortunately, publicat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.15240","kind":"arxiv","version":2},"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/2111.15240/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:38:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XsLf6yAytsrnjj9QEu/WKQDNI/dF1Ei5s9n8S8ACjXxlA57+O+tUiF7U6j6Wacy8BrxdqrsGwZtX+tZi8BMjAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T11:17:05.846758Z"},"content_sha256":"0604505dfa489477f1a4344cf8948a05000a3f260c0c4b109de86cafeca1f9a4","schema_version":"1.0","event_id":"sha256:0604505dfa489477f1a4344cf8948a05000a3f260c0c4b109de86cafeca1f9a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/bundle.json","state_url":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L2DTF4P53PFZKOC4PPC5L3BME3/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-08-18T11:17:05Z","links":{"resolver":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3","bundle":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/bundle.json","state":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L2DTF4P53PFZKOC4PPC5L3BME3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:L2DTF4P53PFZKOC4PPC5L3BME3","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":"09ecaaa1df1d570424b5b290cfa93a1312e55c3419fb06465eab0a42798b78f0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2021-11-30T09:49:32Z","title_canon_sha256":"34ddd9a6dcd6cb3c05b871530e425a8d6f6ad918c6f026954ba5054af5f5e34b"},"schema_version":"1.0","source":{"id":"2111.15240","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.15240","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"arxiv_version","alias_value":"2111.15240v2","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.15240","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_12","alias_value":"L2DTF4P53PFZ","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_16","alias_value":"L2DTF4P53PFZKOC4","created_at":"2026-07-05T04:38:46Z"},{"alias_kind":"pith_short_8","alias_value":"L2DTF4P5","created_at":"2026-07-05T04:38:46Z"}],"graph_snapshots":[{"event_id":"sha256:0604505dfa489477f1a4344cf8948a05000a3f260c0c4b109de86cafeca1f9a4","target":"graph","created_at":"2026-07-05T04:38:46Z","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/2111.15240/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Developing concurrent software is challenging, especially if it has to run on modern architectures with Weak Memory Models (WMMs) such as ARMv8, Power, or RISC-V. For the sake of performance, WMMs allow hardware and compilers to aggressively reorder memory accesses. To guarantee correctness, developers have to carefully place memory barriers in the code to enforce ordering among critical memory operations.\n  While WMM architectures are growing in popularity, identifying the necessary and sufficient barriers of complex synchronization primitives is notoriously difficult. Unfortunately, publicat","authors_text":"Antonio Paolillo, Diogo Behrens, Hern\\'an Ponce-de-Le\\'on, Ming Fu, Rafael Chehab, Roland Meyer, Thomas Haas","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2021-11-30T09:49:32Z","title":"Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.15240","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:2ba590ce017515e1903f8b16778968484cfd1fec1123f46db143143ea85d3d96","target":"record","created_at":"2026-07-05T04:38:46Z","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":"09ecaaa1df1d570424b5b290cfa93a1312e55c3419fb06465eab0a42798b78f0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2021-11-30T09:49:32Z","title_canon_sha256":"34ddd9a6dcd6cb3c05b871530e425a8d6f6ad918c6f026954ba5054af5f5e34b"},"schema_version":"1.0","source":{"id":"2111.15240","kind":"arxiv","version":2}},"canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","first_computed_at":"2026-07-05T04:38:46.233245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:38:46.233245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vQnUAA01JXjoxkxzJ5V8syZ22JTiudmVARSj1EskgsoR6HbHwxA0zdyPlvMWUJQCG7/edKo2prxxXX//aiOTCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:38:46.233734Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.15240","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ba590ce017515e1903f8b16778968484cfd1fec1123f46db143143ea85d3d96","sha256:0604505dfa489477f1a4344cf8948a05000a3f260c0c4b109de86cafeca1f9a4"],"state_sha256":"57b2fcba7c528e99e8fb4f3c87cd572cfa87a13dfa26c0dc5bb08c44b2f67915"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dIVkCoZsfKPcVxplPatepzYoVF+mm9qVSxlXrQ0kSLE5q+1qp+p0swz1kjHwGEc5yy3mP+XfpYQtDYPJGJE2DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T11:17:05.850556Z","bundle_sha256":"1e1c9e0af55bcac336e1427118e1ff9e5fd00c15855f5670a8aaa457f3b6a24b"}}