{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UGYNY72S2YJ7NI2YQLTMOH5QO5","short_pith_number":"pith:UGYNY72S","canonical_record":{"source":{"id":"1612.09576","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-12-30T19:57:58Z","cross_cats_sorted":[],"title_canon_sha256":"9f729ed00e10ccfc6da4f2d76a421e61f59fab62fcc07ec7a5f9eeb7b4786e39","abstract_canon_sha256":"a5216819baff55be8b126fcc35e6c7504fa7339088429456d9dd715222e0b23c"},"schema_version":"1.0"},"canonical_sha256":"a1b0dc7f52d613f6a35882e6c71fb0775810237fa0447a595850f9bdefca3e77","source":{"kind":"arxiv","id":"1612.09576","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09576","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09576v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09576","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"UGYNY72S2YJ7","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UGYNY72S2YJ7NI2Y","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UGYNY72S","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UGYNY72S2YJ7NI2YQLTMOH5QO5","target":"record","payload":{"canonical_record":{"source":{"id":"1612.09576","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-12-30T19:57:58Z","cross_cats_sorted":[],"title_canon_sha256":"9f729ed00e10ccfc6da4f2d76a421e61f59fab62fcc07ec7a5f9eeb7b4786e39","abstract_canon_sha256":"a5216819baff55be8b126fcc35e6c7504fa7339088429456d9dd715222e0b23c"},"schema_version":"1.0"},"canonical_sha256":"a1b0dc7f52d613f6a35882e6c71fb0775810237fa0447a595850f9bdefca3e77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:41.179244Z","signature_b64":"724SuAM4Ku+r0rdnxUD5HrBjOtGsEytwm8h49aHKo746j9pQ9OBFTnHAzMSEfXOm65IsTw2nQkIQacXZWP8CDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1b0dc7f52d613f6a35882e6c71fb0775810237fa0447a595850f9bdefca3e77","last_reissued_at":"2026-05-18T00:53:41.178790Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:41.178790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.09576","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-05-18T00:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IrzKQSHtnqBjc1loYT7oX/+FIrgRVdnBM0n26OWB0PE2V8jgxB1NORLLOz4/mFjzXkqKkRYcadTA+vps7ScbDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:02:00.954804Z"},"content_sha256":"ca1c12112170a385404ac43ee4df7e0e7d8f8fd229022af055235524c5990ab7","schema_version":"1.0","event_id":"sha256:ca1c12112170a385404ac43ee4df7e0e7d8f8fd229022af055235524c5990ab7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UGYNY72S2YJ7NI2YQLTMOH5QO5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correctness of Hierarchical MCS Locks with Timeout","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Abdelhalim Amer, Milind Chabbi, Shasha Wen, Xu Liu","submitted_at":"2016-12-30T19:57:58Z","abstract_excerpt":"This manuscript serves as a correctness proof of the Hierarchical MCS locks with Timeout (HMCS-T) described in our paper titled \"An Efficient Abortable-locking Protocol for Multi-level NUMA Systems\" appearing in the proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.\n  HMCS-T is a very involved protocol. The system is stateful; the values of prior acquisition efforts affect the subsequent acquisition efforts. Also, the status of successors, predecessors, ancestors, and descendants affect steps followed by the protocol. The ability to make the proto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09576","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":""},"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-05-18T00:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eVX17RyBoGGPdG8G+nosjyGHI31W/wawrYWHvkYeKZmT9XWUzIbJxBEh50k35geUnGEx2Nv0soAPJfuilwkQAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:02:00.955138Z"},"content_sha256":"01252500e8c30950507e5e935def3ffff04111058c5f37e73505d369ce5164ed","schema_version":"1.0","event_id":"sha256:01252500e8c30950507e5e935def3ffff04111058c5f37e73505d369ce5164ed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/bundle.json","state_url":"https://pith.science/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/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-05-31T22:02:00Z","links":{"resolver":"https://pith.science/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5","bundle":"https://pith.science/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/bundle.json","state":"https://pith.science/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UGYNY72S2YJ7NI2YQLTMOH5QO5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UGYNY72S2YJ7NI2YQLTMOH5QO5","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":"a5216819baff55be8b126fcc35e6c7504fa7339088429456d9dd715222e0b23c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-12-30T19:57:58Z","title_canon_sha256":"9f729ed00e10ccfc6da4f2d76a421e61f59fab62fcc07ec7a5f9eeb7b4786e39"},"schema_version":"1.0","source":{"id":"1612.09576","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09576","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09576v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09576","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"UGYNY72S2YJ7","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UGYNY72S2YJ7NI2Y","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UGYNY72S","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:01252500e8c30950507e5e935def3ffff04111058c5f37e73505d369ce5164ed","target":"graph","created_at":"2026-05-18T00:53:41Z","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":"This manuscript serves as a correctness proof of the Hierarchical MCS locks with Timeout (HMCS-T) described in our paper titled \"An Efficient Abortable-locking Protocol for Multi-level NUMA Systems\" appearing in the proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.\n  HMCS-T is a very involved protocol. The system is stateful; the values of prior acquisition efforts affect the subsequent acquisition efforts. Also, the status of successors, predecessors, ancestors, and descendants affect steps followed by the protocol. The ability to make the proto","authors_text":"Abdelhalim Amer, Milind Chabbi, Shasha Wen, Xu Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-12-30T19:57:58Z","title":"Correctness of Hierarchical MCS Locks with Timeout"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09576","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:ca1c12112170a385404ac43ee4df7e0e7d8f8fd229022af055235524c5990ab7","target":"record","created_at":"2026-05-18T00:53:41Z","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":"a5216819baff55be8b126fcc35e6c7504fa7339088429456d9dd715222e0b23c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-12-30T19:57:58Z","title_canon_sha256":"9f729ed00e10ccfc6da4f2d76a421e61f59fab62fcc07ec7a5f9eeb7b4786e39"},"schema_version":"1.0","source":{"id":"1612.09576","kind":"arxiv","version":1}},"canonical_sha256":"a1b0dc7f52d613f6a35882e6c71fb0775810237fa0447a595850f9bdefca3e77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1b0dc7f52d613f6a35882e6c71fb0775810237fa0447a595850f9bdefca3e77","first_computed_at":"2026-05-18T00:53:41.178790Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:41.178790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"724SuAM4Ku+r0rdnxUD5HrBjOtGsEytwm8h49aHKo746j9pQ9OBFTnHAzMSEfXOm65IsTw2nQkIQacXZWP8CDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:41.179244Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.09576","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca1c12112170a385404ac43ee4df7e0e7d8f8fd229022af055235524c5990ab7","sha256:01252500e8c30950507e5e935def3ffff04111058c5f37e73505d369ce5164ed"],"state_sha256":"714a1e6b8027961be8d72acca242cb30e2808b155a0de96d7ea0ef788e735289"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hNj4fQFdapM4K9hlJTdGovw0S0/+Zsn22NuHIgFVpjqdnxRLy8EGLFXNsJncxkZwzOoFHNQAh9sxeUEZM0MrBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T22:02:00.957173Z","bundle_sha256":"2e8645e4be40b2cb05e873d2deacc694557e370aec344c0b1657edf3a30ecbba"}}