{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3EBBG4CQHIMXU2I6ZEYM5V5V7H","short_pith_number":"pith:3EBBG4CQ","canonical_record":{"source":{"id":"1802.01254","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2018-02-05T03:35:27Z","cross_cats_sorted":[],"title_canon_sha256":"b2dedb36cc54f7563b15d1d53228c40e07eb32ec06dfc348a5ae0a2396351702","abstract_canon_sha256":"f8e29ae0905c6f680acf5385170e76ff7ad80f9c83c027272ea167efae84ed75"},"schema_version":"1.0"},"canonical_sha256":"d9021370503a197a691ec930ced7b5f9fa8de184cfcd88a9247b62610d388e03","source":{"kind":"arxiv","id":"1802.01254","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01254","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01254v3","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01254","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"pith_short_12","alias_value":"3EBBG4CQHIMX","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3EBBG4CQHIMXU2I6","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3EBBG4CQ","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3EBBG4CQHIMXU2I6ZEYM5V5V7H","target":"record","payload":{"canonical_record":{"source":{"id":"1802.01254","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2018-02-05T03:35:27Z","cross_cats_sorted":[],"title_canon_sha256":"b2dedb36cc54f7563b15d1d53228c40e07eb32ec06dfc348a5ae0a2396351702","abstract_canon_sha256":"f8e29ae0905c6f680acf5385170e76ff7ad80f9c83c027272ea167efae84ed75"},"schema_version":"1.0"},"canonical_sha256":"d9021370503a197a691ec930ced7b5f9fa8de184cfcd88a9247b62610d388e03","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:30.998544Z","signature_b64":"JdNwNjmKb4txlvEWBVi75aUav3bnLXnr35nE/KsPEX8mU0Vjzo6QkI/BJoqwiFV8LWmLEO09cJzvTsY0ZIoZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9021370503a197a691ec930ced7b5f9fa8de184cfcd88a9247b62610d388e03","last_reissued_at":"2026-05-18T00:18:30.998134Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:30.998134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.01254","source_version":3,"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:18:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ywEpiMyEjUrU/BiO3w8hTF/PgJoQAagM8EJmTg9bV1SmXLeyGtMi048AVZpWNutjb20NJIe3lxtGWFpZ64t0AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T06:05:03.183243Z"},"content_sha256":"9a78fbd9d4c07534cb16502d106929570492faab09eafb2b6ebf14efcd50b538","schema_version":"1.0","event_id":"sha256:9a78fbd9d4c07534cb16502d106929570492faab09eafb2b6ebf14efcd50b538"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3EBBG4CQHIMXU2I6ZEYM5V5V7H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Measurement Theory of Locality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PF","authors_text":"Chen Ding, Liang Yuan, Peter Denning, Yunquan Zhang","submitted_at":"2018-02-05T03:35:27Z","abstract_excerpt":"Locality is a fundamental principle used extensively in program and system optimization. It can be measured in many ways. This paper formalizes the metrics of locality into a measurement theory. The new theory includes the precise definition of locality metrics based on access frequency, reuse time, reuse distance, working set, footprint, and the cache miss ratio. It gives the formal relation between these definitions and the proofs of equivalence or non-equivalence. It provides the theoretical justification for four successful locality models in operating systems, programming languages, and c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01254","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":""},"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:18:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGWGv44PhoQn/Fp1pWMVHx0/4vqMouhsJHvDA5k0M+db0HF8jEuCpYMm9KddFcLl0TVn5Tu6PWKnuk7o7rdxAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T06:05:03.183967Z"},"content_sha256":"4f0597e5df8dc81efb4264c91da70450c8522f18e119943fe71563e1598faefe","schema_version":"1.0","event_id":"sha256:4f0597e5df8dc81efb4264c91da70450c8522f18e119943fe71563e1598faefe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/bundle.json","state_url":"https://pith.science/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/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-06T06:05:03Z","links":{"resolver":"https://pith.science/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H","bundle":"https://pith.science/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/bundle.json","state":"https://pith.science/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3EBBG4CQHIMXU2I6ZEYM5V5V7H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3EBBG4CQHIMXU2I6ZEYM5V5V7H","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":"f8e29ae0905c6f680acf5385170e76ff7ad80f9c83c027272ea167efae84ed75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2018-02-05T03:35:27Z","title_canon_sha256":"b2dedb36cc54f7563b15d1d53228c40e07eb32ec06dfc348a5ae0a2396351702"},"schema_version":"1.0","source":{"id":"1802.01254","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01254","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01254v3","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01254","created_at":"2026-05-18T00:18:30Z"},{"alias_kind":"pith_short_12","alias_value":"3EBBG4CQHIMX","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3EBBG4CQHIMXU2I6","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3EBBG4CQ","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:4f0597e5df8dc81efb4264c91da70450c8522f18e119943fe71563e1598faefe","target":"graph","created_at":"2026-05-18T00:18:30Z","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":"Locality is a fundamental principle used extensively in program and system optimization. It can be measured in many ways. This paper formalizes the metrics of locality into a measurement theory. The new theory includes the precise definition of locality metrics based on access frequency, reuse time, reuse distance, working set, footprint, and the cache miss ratio. It gives the formal relation between these definitions and the proofs of equivalence or non-equivalence. It provides the theoretical justification for four successful locality models in operating systems, programming languages, and c","authors_text":"Chen Ding, Liang Yuan, Peter Denning, Yunquan Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2018-02-05T03:35:27Z","title":"A Measurement Theory of Locality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01254","kind":"arxiv","version":3},"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:9a78fbd9d4c07534cb16502d106929570492faab09eafb2b6ebf14efcd50b538","target":"record","created_at":"2026-05-18T00:18:30Z","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":"f8e29ae0905c6f680acf5385170e76ff7ad80f9c83c027272ea167efae84ed75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2018-02-05T03:35:27Z","title_canon_sha256":"b2dedb36cc54f7563b15d1d53228c40e07eb32ec06dfc348a5ae0a2396351702"},"schema_version":"1.0","source":{"id":"1802.01254","kind":"arxiv","version":3}},"canonical_sha256":"d9021370503a197a691ec930ced7b5f9fa8de184cfcd88a9247b62610d388e03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9021370503a197a691ec930ced7b5f9fa8de184cfcd88a9247b62610d388e03","first_computed_at":"2026-05-18T00:18:30.998134Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:30.998134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JdNwNjmKb4txlvEWBVi75aUav3bnLXnr35nE/KsPEX8mU0Vjzo6QkI/BJoqwiFV8LWmLEO09cJzvTsY0ZIoZDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:30.998544Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.01254","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a78fbd9d4c07534cb16502d106929570492faab09eafb2b6ebf14efcd50b538","sha256:4f0597e5df8dc81efb4264c91da70450c8522f18e119943fe71563e1598faefe"],"state_sha256":"d3e1fa6053ac608eba6db1814b9678995ab98cda0ed57421d18248b9e2759a8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AsamD9Dhw1tZshZHoFbKgeP3T4VDxZCiShGOk+phax7Chih4jPjAI3QI7TV2YwM0ZhkzvBejF+MYrzx3/IRTBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T06:05:03.187742Z","bundle_sha256":"f9ea327955990f889b3029a4de652e56d5ef02553e4777959aeadb8e93a2445e"}}