{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KUA3FBINMYRD77TAGAZR7HDOAX","short_pith_number":"pith:KUA3FBIN","canonical_record":{"source":{"id":"1709.06056","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-18T17:22:08Z","cross_cats_sorted":[],"title_canon_sha256":"38be8c48c7bd4d3b2313aea8a2e65d3bc086dabec05a384d5c4525da4511309d","abstract_canon_sha256":"8111f5409ebdf17cb78414bdfb41fe04c8fb421ddcb4138d1efc85c73a7b534c"},"schema_version":"1.0"},"canonical_sha256":"5501b2850d66223ffe6030331f9c6e05e473c29784097e49986311520fd94eaa","source":{"kind":"arxiv","id":"1709.06056","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06056","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06056v1","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06056","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"pith_short_12","alias_value":"KUA3FBINMYRD","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KUA3FBINMYRD77TA","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KUA3FBIN","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KUA3FBINMYRD77TAGAZR7HDOAX","target":"record","payload":{"canonical_record":{"source":{"id":"1709.06056","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-18T17:22:08Z","cross_cats_sorted":[],"title_canon_sha256":"38be8c48c7bd4d3b2313aea8a2e65d3bc086dabec05a384d5c4525da4511309d","abstract_canon_sha256":"8111f5409ebdf17cb78414bdfb41fe04c8fb421ddcb4138d1efc85c73a7b534c"},"schema_version":"1.0"},"canonical_sha256":"5501b2850d66223ffe6030331f9c6e05e473c29784097e49986311520fd94eaa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:58.383879Z","signature_b64":"WVaIhtM90xAGUG0bWsxqA9VnQvpFwB3dYky5YQYzKuIZHsLjptFrsA7qMNBWuAINpgJYkgIwprjRgmSB9811CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5501b2850d66223ffe6030331f9c6e05e473c29784097e49986311520fd94eaa","last_reissued_at":"2026-05-18T00:34:58.383208Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:58.383208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.06056","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:34:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VYL2nO1m/JCD/ekmh/1Tqa3jG8raCehNyZmoCQT0cGiNAwkXEeoqN6gPT78Axijr2Wj0fXHWUzvVJE5SCu7hCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:34:48.402583Z"},"content_sha256":"65c00d69510875f52f11e52f7164c53a3eb1c111fa46a21559367e4b35feaf32","schema_version":"1.0","event_id":"sha256:65c00d69510875f52f11e52f7164c53a3eb1c111fa46a21559367e4b35feaf32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KUA3FBINMYRD77TAGAZR7HDOAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cache-Aware Lock-Free Concurrent Hash Tries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Aleksandar Prokopec, Martin Odersky, Phil Bagwell","submitted_at":"2017-09-18T17:22:08Z","abstract_excerpt":"This report describes an implementation of a non-blocking concurrent shared-memory hash trie based on single-word compare-and-swap instructions. Insert, lookup and remove operations modifying different parts of the hash trie can be run independent of each other and do not contend. Remove operations ensure that the unneeded memory is freed and that the trie is kept compact. A pseudocode for these operations is presented and a proof of correctness is given -- we show that the implementation is linearizable and lock-free. Finally, benchmarks are presented which compare concurrent hash trie operat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06056","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:34:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pmaNJFuvEj+i7AkywJ77rRckHZ1eHVbtO4Q6FM4FAktEZRCVmuGOHN4gaCDCMFbDpjtbb9tPV9xVXZCDyyhkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:34:48.402934Z"},"content_sha256":"582356bfdebc18fe04a9ca92e281d0db5392b03e5b568e69092428fa2c67d054","schema_version":"1.0","event_id":"sha256:582356bfdebc18fe04a9ca92e281d0db5392b03e5b568e69092428fa2c67d054"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KUA3FBINMYRD77TAGAZR7HDOAX/bundle.json","state_url":"https://pith.science/pith/KUA3FBINMYRD77TAGAZR7HDOAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KUA3FBINMYRD77TAGAZR7HDOAX/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-06-02T00:34:48Z","links":{"resolver":"https://pith.science/pith/KUA3FBINMYRD77TAGAZR7HDOAX","bundle":"https://pith.science/pith/KUA3FBINMYRD77TAGAZR7HDOAX/bundle.json","state":"https://pith.science/pith/KUA3FBINMYRD77TAGAZR7HDOAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KUA3FBINMYRD77TAGAZR7HDOAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KUA3FBINMYRD77TAGAZR7HDOAX","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":"8111f5409ebdf17cb78414bdfb41fe04c8fb421ddcb4138d1efc85c73a7b534c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-18T17:22:08Z","title_canon_sha256":"38be8c48c7bd4d3b2313aea8a2e65d3bc086dabec05a384d5c4525da4511309d"},"schema_version":"1.0","source":{"id":"1709.06056","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06056","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06056v1","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06056","created_at":"2026-05-18T00:34:58Z"},{"alias_kind":"pith_short_12","alias_value":"KUA3FBINMYRD","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KUA3FBINMYRD77TA","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KUA3FBIN","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:582356bfdebc18fe04a9ca92e281d0db5392b03e5b568e69092428fa2c67d054","target":"graph","created_at":"2026-05-18T00:34:58Z","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 report describes an implementation of a non-blocking concurrent shared-memory hash trie based on single-word compare-and-swap instructions. Insert, lookup and remove operations modifying different parts of the hash trie can be run independent of each other and do not contend. Remove operations ensure that the unneeded memory is freed and that the trie is kept compact. A pseudocode for these operations is presented and a proof of correctness is given -- we show that the implementation is linearizable and lock-free. Finally, benchmarks are presented which compare concurrent hash trie operat","authors_text":"Aleksandar Prokopec, Martin Odersky, Phil Bagwell","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-18T17:22:08Z","title":"Cache-Aware Lock-Free Concurrent Hash Tries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06056","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:65c00d69510875f52f11e52f7164c53a3eb1c111fa46a21559367e4b35feaf32","target":"record","created_at":"2026-05-18T00:34:58Z","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":"8111f5409ebdf17cb78414bdfb41fe04c8fb421ddcb4138d1efc85c73a7b534c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-09-18T17:22:08Z","title_canon_sha256":"38be8c48c7bd4d3b2313aea8a2e65d3bc086dabec05a384d5c4525da4511309d"},"schema_version":"1.0","source":{"id":"1709.06056","kind":"arxiv","version":1}},"canonical_sha256":"5501b2850d66223ffe6030331f9c6e05e473c29784097e49986311520fd94eaa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5501b2850d66223ffe6030331f9c6e05e473c29784097e49986311520fd94eaa","first_computed_at":"2026-05-18T00:34:58.383208Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:58.383208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WVaIhtM90xAGUG0bWsxqA9VnQvpFwB3dYky5YQYzKuIZHsLjptFrsA7qMNBWuAINpgJYkgIwprjRgmSB9811CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:58.383879Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.06056","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65c00d69510875f52f11e52f7164c53a3eb1c111fa46a21559367e4b35feaf32","sha256:582356bfdebc18fe04a9ca92e281d0db5392b03e5b568e69092428fa2c67d054"],"state_sha256":"edb35896ca988dd8f15c035a9086d7c140a7f422862bbb5e8a8eb2a2c49fa327"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uPPKnJzmvRvAFdyuAgQeU0idZIPUjztFcBQWBO1VD6jLBd3amVD6dzh2yD+GNGEsEKaivyM5uRT3Ap810cnrDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:34:48.404923Z","bundle_sha256":"700fdfc1aed4294f1b4cc34a12824ebe5d40f79a2cdbaff18a0ea424c62c0252"}}