{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:PBPXSEOMHHLBN26CHWJWFQM5WO","short_pith_number":"pith:PBPXSEOM","schema_version":"1.0","canonical_sha256":"785f7911cc39d616ebc23d9362c19db385daa5b2afd33e8fd66598867af516ea","source":{"kind":"arxiv","id":"2501.18447","version":3},"attestation_state":"computed","paper":{"title":"Semaphores Augmented with a Waiting Array","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Alex Kogan, Dave Dice","submitted_at":"2025-01-30T16:00:15Z","abstract_excerpt":"Semaphores are a widely used and foundational synchronization and coordination construct used for shared memory multithreaded programming. They are a keystone concept, in the sense that most other synchronization constructs can be implemented in terms of semaphores, although the converse does not generally hold. Semaphores and the quality of their implementation are of consequence as they remain heavily used in the Linux kernel and are also available for application programming via the pthreads programming interface.\n  We first show that semaphores can be implemented by borrowing ideas from th"},"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":"2501.18447","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2025-01-30T16:00:15Z","cross_cats_sorted":[],"title_canon_sha256":"a26c4cf332fde372f4e4afdbeb63cc504160d5c2b30be66502803da30dbdd766","abstract_canon_sha256":"d5d9a5473f4662bc8c564a8e1b3dceec578824c87087a408f891539989b33d2b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:19.040005Z","signature_b64":"rfk9jqPFyFuBRtYw4vPP24SIii6BDQ+IpnzJNfeGNsMI+i8dbcFWCbf4Km3Iw9Hy7jzEEbHackCfnSbfQFmfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"785f7911cc39d616ebc23d9362c19db385daa5b2afd33e8fd66598867af516ea","last_reissued_at":"2026-07-05T10:52:19.039541Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:19.039541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Semaphores Augmented with a Waiting Array","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Alex Kogan, Dave Dice","submitted_at":"2025-01-30T16:00:15Z","abstract_excerpt":"Semaphores are a widely used and foundational synchronization and coordination construct used for shared memory multithreaded programming. They are a keystone concept, in the sense that most other synchronization constructs can be implemented in terms of semaphores, although the converse does not generally hold. Semaphores and the quality of their implementation are of consequence as they remain heavily used in the Linux kernel and are also available for application programming via the pthreads programming interface.\n  We first show that semaphores can be implemented by borrowing ideas from th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.18447","kind":"arxiv","version":3},"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/2501.18447/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":"2501.18447","created_at":"2026-07-05T10:52:19.039597+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.18447v3","created_at":"2026-07-05T10:52:19.039597+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.18447","created_at":"2026-07-05T10:52:19.039597+00:00"},{"alias_kind":"pith_short_12","alias_value":"PBPXSEOMHHLB","created_at":"2026-07-05T10:52:19.039597+00:00"},{"alias_kind":"pith_short_16","alias_value":"PBPXSEOMHHLBN26C","created_at":"2026-07-05T10:52:19.039597+00:00"},{"alias_kind":"pith_short_8","alias_value":"PBPXSEOM","created_at":"2026-07-05T10:52:19.039597+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/PBPXSEOMHHLBN26CHWJWFQM5WO","json":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO.json","graph_json":"https://pith.science/api/pith-number/PBPXSEOMHHLBN26CHWJWFQM5WO/graph.json","events_json":"https://pith.science/api/pith-number/PBPXSEOMHHLBN26CHWJWFQM5WO/events.json","paper":"https://pith.science/paper/PBPXSEOM"},"agent_actions":{"view_html":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO","download_json":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO.json","view_paper":"https://pith.science/paper/PBPXSEOM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.18447&json=true","fetch_graph":"https://pith.science/api/pith-number/PBPXSEOMHHLBN26CHWJWFQM5WO/graph.json","fetch_events":"https://pith.science/api/pith-number/PBPXSEOMHHLBN26CHWJWFQM5WO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO/action/storage_attestation","attest_author":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO/action/author_attestation","sign_citation":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO/action/citation_signature","submit_replication":"https://pith.science/pith/PBPXSEOMHHLBN26CHWJWFQM5WO/action/replication_record"}},"created_at":"2026-07-05T10:52:19.039597+00:00","updated_at":"2026-07-05T10:52:19.039597+00:00"}