{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XFU2I6SXPKMRVBEZCUPIS62EA3","short_pith_number":"pith:XFU2I6SX","canonical_record":{"source":{"id":"1608.00989","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-02T20:11:56Z","cross_cats_sorted":[],"title_canon_sha256":"2db0ae78bf24c9f9771e248d766f36902752d3f10bcb73553963d202e970c6b9","abstract_canon_sha256":"820b8f0d0ee6594af879bad51c4038bf8f480d9f084e680fa80129332ee6dc7e"},"schema_version":"1.0"},"canonical_sha256":"b969a47a577a991a8499151e897b4406e983219da18e55e45c61cea340f98395","source":{"kind":"arxiv","id":"1608.00989","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00989","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00989v1","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00989","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"XFU2I6SXPKMR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XFU2I6SXPKMRVBEZ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XFU2I6SX","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XFU2I6SXPKMRVBEZCUPIS62EA3","target":"record","payload":{"canonical_record":{"source":{"id":"1608.00989","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-02T20:11:56Z","cross_cats_sorted":[],"title_canon_sha256":"2db0ae78bf24c9f9771e248d766f36902752d3f10bcb73553963d202e970c6b9","abstract_canon_sha256":"820b8f0d0ee6594af879bad51c4038bf8f480d9f084e680fa80129332ee6dc7e"},"schema_version":"1.0"},"canonical_sha256":"b969a47a577a991a8499151e897b4406e983219da18e55e45c61cea340f98395","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:57.026436Z","signature_b64":"UH6U3JqFjiTecZtZcqnPbhS2YFhpEZzrRslFSdsTYC6eCHt3gTXlQoC45fJt8ski2m2wipuTU8GWH+BEDWy3CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b969a47a577a991a8499151e897b4406e983219da18e55e45c61cea340f98395","last_reissued_at":"2026-05-18T01:09:57.025793Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:57.025793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.00989","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-18T01:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lv0pwSXBfPixCcgFVPcUOtSCfWPNBtsZWQmUqD8pVjhs3p4pUZ9fdVF+b7XcccTT5diStaMgVzotAMIy6iISBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:52:05.113175Z"},"content_sha256":"ead996ae9756f679e8fbc4a4a087d812598aa6365c962672622014bd6a24844c","schema_version":"1.0","event_id":"sha256:ead996ae9756f679e8fbc4a4a087d812598aa6365c962672622014bd6a24844c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XFU2I6SXPKMRVBEZCUPIS62EA3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lock-free atom garbage collection for multithreaded Prolog","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jan Wielemaker, Keri Harris","submitted_at":"2016-08-02T20:11:56Z","abstract_excerpt":"The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple dynamically resizing hash-table used to be an adequate way to implement this table. As Prolog becomes fashionable for 24x7 server processes we need to deal with atom garbage collection and concurrent access to the atom table. Classical lock-based implementations to ensure consistency of the atom table scale poorly and a stop-the-world approach to implement atom garbage collection quickly becomes a bottle-neck, making Prolog unsuitable for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00989","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-18T01:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hNwB73UH8B/A/XGhew4t+d8Bq+/f4E4CXSQolBo9yPGlVhCcKGqcNXVJoNSRJahZIQAotcts69DnY2A2FSfZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:52:05.113539Z"},"content_sha256":"27c5bd8b6b59eba1035c36ef83a38c300116ed856b3da17a1b3cecb28ae91b34","schema_version":"1.0","event_id":"sha256:27c5bd8b6b59eba1035c36ef83a38c300116ed856b3da17a1b3cecb28ae91b34"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/bundle.json","state_url":"https://pith.science/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/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-25T18:52:05Z","links":{"resolver":"https://pith.science/pith/XFU2I6SXPKMRVBEZCUPIS62EA3","bundle":"https://pith.science/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/bundle.json","state":"https://pith.science/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XFU2I6SXPKMRVBEZCUPIS62EA3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XFU2I6SXPKMRVBEZCUPIS62EA3","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":"820b8f0d0ee6594af879bad51c4038bf8f480d9f084e680fa80129332ee6dc7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-02T20:11:56Z","title_canon_sha256":"2db0ae78bf24c9f9771e248d766f36902752d3f10bcb73553963d202e970c6b9"},"schema_version":"1.0","source":{"id":"1608.00989","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00989","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00989v1","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00989","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"XFU2I6SXPKMR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XFU2I6SXPKMRVBEZ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XFU2I6SX","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:27c5bd8b6b59eba1035c36ef83a38c300116ed856b3da17a1b3cecb28ae91b34","target":"graph","created_at":"2026-05-18T01:09:57Z","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":"The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple dynamically resizing hash-table used to be an adequate way to implement this table. As Prolog becomes fashionable for 24x7 server processes we need to deal with atom garbage collection and concurrent access to the atom table. Classical lock-based implementations to ensure consistency of the atom table scale poorly and a stop-the-world approach to implement atom garbage collection quickly becomes a bottle-neck, making Prolog unsuitable for ","authors_text":"Jan Wielemaker, Keri Harris","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-02T20:11:56Z","title":"Lock-free atom garbage collection for multithreaded Prolog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00989","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:ead996ae9756f679e8fbc4a4a087d812598aa6365c962672622014bd6a24844c","target":"record","created_at":"2026-05-18T01:09:57Z","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":"820b8f0d0ee6594af879bad51c4038bf8f480d9f084e680fa80129332ee6dc7e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-02T20:11:56Z","title_canon_sha256":"2db0ae78bf24c9f9771e248d766f36902752d3f10bcb73553963d202e970c6b9"},"schema_version":"1.0","source":{"id":"1608.00989","kind":"arxiv","version":1}},"canonical_sha256":"b969a47a577a991a8499151e897b4406e983219da18e55e45c61cea340f98395","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b969a47a577a991a8499151e897b4406e983219da18e55e45c61cea340f98395","first_computed_at":"2026-05-18T01:09:57.025793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:57.025793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UH6U3JqFjiTecZtZcqnPbhS2YFhpEZzrRslFSdsTYC6eCHt3gTXlQoC45fJt8ski2m2wipuTU8GWH+BEDWy3CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:57.026436Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.00989","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ead996ae9756f679e8fbc4a4a087d812598aa6365c962672622014bd6a24844c","sha256:27c5bd8b6b59eba1035c36ef83a38c300116ed856b3da17a1b3cecb28ae91b34"],"state_sha256":"4d64d747c7f708746f3a0940f0203c2f8824961ad9b265d00f915104fe731e27"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bP86H62+FAT7JYSYlDanbV00+RrFye220WD+Bskl1kFq9mV5aSfIw8LoinLBzzO38xnnX0blfr8ww910Mh4jBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:52:05.115673Z","bundle_sha256":"0d444aba937dcbb789fe44b46c543f1c7221831a91b781816d4e9697228fb638"}}