{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:L2DTF4P53PFZKOC4PPC5L3BME3","short_pith_number":"pith:L2DTF4P5","schema_version":"1.0","canonical_sha256":"5e8732f1fddbcb95385c7bc5d5ec2c26c5294c171b3b9036bfe5df16febdef26","source":{"kind":"arxiv","id":"2111.15240","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2111.15240","created_at":"2026-07-05T04:38:46.233305+00:00"},{"alias_kind":"arxiv_version","alias_value":"2111.15240v2","created_at":"2026-07-05T04:38:46.233305+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.15240","created_at":"2026-07-05T04:38:46.233305+00:00"},{"alias_kind":"pith_short_12","alias_value":"L2DTF4P53PFZ","created_at":"2026-07-05T04:38:46.233305+00:00"},{"alias_kind":"pith_short_16","alias_value":"L2DTF4P53PFZKOC4","created_at":"2026-07-05T04:38:46.233305+00:00"},{"alias_kind":"pith_short_8","alias_value":"L2DTF4P5","created_at":"2026-07-05T04:38:46.233305+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/L2DTF4P53PFZKOC4PPC5L3BME3","json":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3.json","graph_json":"https://pith.science/api/pith-number/L2DTF4P53PFZKOC4PPC5L3BME3/graph.json","events_json":"https://pith.science/api/pith-number/L2DTF4P53PFZKOC4PPC5L3BME3/events.json","paper":"https://pith.science/paper/L2DTF4P5"},"agent_actions":{"view_html":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3","download_json":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3.json","view_paper":"https://pith.science/paper/L2DTF4P5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2111.15240&json=true","fetch_graph":"https://pith.science/api/pith-number/L2DTF4P53PFZKOC4PPC5L3BME3/graph.json","fetch_events":"https://pith.science/api/pith-number/L2DTF4P53PFZKOC4PPC5L3BME3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/action/storage_attestation","attest_author":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/action/author_attestation","sign_citation":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/action/citation_signature","submit_replication":"https://pith.science/pith/L2DTF4P53PFZKOC4PPC5L3BME3/action/replication_record"}},"created_at":"2026-07-05T04:38:46.233305+00:00","updated_at":"2026-07-05T04:38:46.233305+00:00"}