{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:ME26PEQCOVWX352S3B2LN7V7EX","short_pith_number":"pith:ME26PEQC","schema_version":"1.0","canonical_sha256":"6135e79202756d7df752d874b6febf25f4d5a4d820ddff45b42d8a4947d83b45","source":{"kind":"arxiv","id":"1104.2110","version":1},"attestation_state":"computed","paper":{"title":"Deterministic Real-time Thread Scheduling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.OS","authors_text":"Cheolgi Kim, Heechul Yun, Lui Sha","submitted_at":"2011-04-12T04:06:34Z","abstract_excerpt":"Race condition is a timing sensitive problem. A significant source of timing variation comes from nondeterministic hardware interactions such as cache misses. While data race detectors and model checkers can check races, the enormous state space of complex software makes it difficult to identify all of the races and those residual implementation errors still remain a big challenge. In this paper, we propose deterministic real-time scheduling methods to address scheduling nondeterminism in uniprocessor systems. The main idea is to use timing insensitive deterministic events, e.g, an instruction"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1104.2110","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2011-04-12T04:06:34Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cbc2d2a102dd845af9ef8c45619ad9865d23ae8846b7cdfb0f4ef2ad4d87af9a","abstract_canon_sha256":"05b5678811c0bdba75010b16af185b4d842021602ff3445a38f9364089e25f13"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:35.881445Z","signature_b64":"OWPzqxDTq6FNUuLrNx8Q1wq1hrxOsw2vF+uRvvoswdPPcmoiFm4b28+9S8QH3G80dHheKxJicihiq00wTEYzCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6135e79202756d7df752d874b6febf25f4d5a4d820ddff45b42d8a4947d83b45","last_reissued_at":"2026-05-18T04:24:35.880980Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:35.880980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deterministic Real-time Thread Scheduling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.OS","authors_text":"Cheolgi Kim, Heechul Yun, Lui Sha","submitted_at":"2011-04-12T04:06:34Z","abstract_excerpt":"Race condition is a timing sensitive problem. A significant source of timing variation comes from nondeterministic hardware interactions such as cache misses. While data race detectors and model checkers can check races, the enormous state space of complex software makes it difficult to identify all of the races and those residual implementation errors still remain a big challenge. In this paper, we propose deterministic real-time scheduling methods to address scheduling nondeterminism in uniprocessor systems. The main idea is to use timing insensitive deterministic events, e.g, an instruction"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.2110","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1104.2110","created_at":"2026-05-18T04:24:35.881053+00:00"},{"alias_kind":"arxiv_version","alias_value":"1104.2110v1","created_at":"2026-05-18T04:24:35.881053+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.2110","created_at":"2026-05-18T04:24:35.881053+00:00"},{"alias_kind":"pith_short_12","alias_value":"ME26PEQCOVWX","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"ME26PEQCOVWX352S","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"ME26PEQC","created_at":"2026-05-18T12:26:34.985390+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX","json":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX.json","graph_json":"https://pith.science/api/pith-number/ME26PEQCOVWX352S3B2LN7V7EX/graph.json","events_json":"https://pith.science/api/pith-number/ME26PEQCOVWX352S3B2LN7V7EX/events.json","paper":"https://pith.science/paper/ME26PEQC"},"agent_actions":{"view_html":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX","download_json":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX.json","view_paper":"https://pith.science/paper/ME26PEQC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1104.2110&json=true","fetch_graph":"https://pith.science/api/pith-number/ME26PEQCOVWX352S3B2LN7V7EX/graph.json","fetch_events":"https://pith.science/api/pith-number/ME26PEQCOVWX352S3B2LN7V7EX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX/action/storage_attestation","attest_author":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX/action/author_attestation","sign_citation":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX/action/citation_signature","submit_replication":"https://pith.science/pith/ME26PEQCOVWX352S3B2LN7V7EX/action/replication_record"}},"created_at":"2026-05-18T04:24:35.881053+00:00","updated_at":"2026-05-18T04:24:35.881053+00:00"}