{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6WFOA457SMPOLMWD4GCUQELTVH","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":"0cef1b171629c83368489b09979d35374fcdc4bb64fd46f4988dff4a157852ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-05T00:00:01Z","title_canon_sha256":"ba9470b98474b45ff15a06b08fab65be31f8e4fd41bcff4a9fb18ed7945fa4fd"},"schema_version":"1.0","source":{"id":"1802.01220","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01220","created_at":"2026-05-18T00:24:09Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01220v2","created_at":"2026-05-18T00:24:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01220","created_at":"2026-05-18T00:24:09Z"},{"alias_kind":"pith_short_12","alias_value":"6WFOA457SMPO","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6WFOA457SMPOLMWD","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6WFOA457","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:00c8d99967b69944022a1cbc10d9b82b2d6a47a997f1ad37aab8ed0fd2195d9e","target":"graph","created_at":"2026-05-18T00:24:09Z","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":"Most existed work require knowledge about the effect of program instructions (or statements) to analyze and verify algorithms. In this paper, by revealing some findings on executions of object programs, we define two basic concepts -- effect equivalence relation and effect race relation. Further, we show three effect theorems about the race and histories. The core result is that the effect race relation is the accurate relation to capture the internal steps, of which precedence orders are the reason to cause chaotic histories. In addition, the concept -- linearization points -- widely used in ","authors_text":"Xiaoxiao Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-05T00:00:01Z","title":"The Effect Race in Fine-Grained Concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01220","kind":"arxiv","version":2},"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:3231f01c889781759be7cc8b81895e10b978d89aaf0629524e8abae0151a7aed","target":"record","created_at":"2026-05-18T00:24:09Z","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":"0cef1b171629c83368489b09979d35374fcdc4bb64fd46f4988dff4a157852ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-05T00:00:01Z","title_canon_sha256":"ba9470b98474b45ff15a06b08fab65be31f8e4fd41bcff4a9fb18ed7945fa4fd"},"schema_version":"1.0","source":{"id":"1802.01220","kind":"arxiv","version":2}},"canonical_sha256":"f58ae073bf931ee5b2c3e185481173a9e249bfc5e4f6a5f61dbe8cd9fd335998","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f58ae073bf931ee5b2c3e185481173a9e249bfc5e4f6a5f61dbe8cd9fd335998","first_computed_at":"2026-05-18T00:24:09.301181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:09.301181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"512FnqSgm2vTwMQMlKhLBbNlwhLwuhkP81cbgf/Esf1QHEatRepLC7CwwbPedY8hMG6MLYwOe98egP9dsS0vDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:09.301807Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.01220","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3231f01c889781759be7cc8b81895e10b978d89aaf0629524e8abae0151a7aed","sha256:00c8d99967b69944022a1cbc10d9b82b2d6a47a997f1ad37aab8ed0fd2195d9e"],"state_sha256":"d5611049840e2a9deeb5516d9fde6f38f6305a81adc5c1a6f85898adb0fde592"}