{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:JGK5SL6VYOLKY5JDT3OPS35YIU","short_pith_number":"pith:JGK5SL6V","schema_version":"1.0","canonical_sha256":"4995d92fd5c396ac75239edcf96fb8450a49654e5b0f1d069b9433518a024db1","source":{"kind":"arxiv","id":"1310.6301","version":1},"attestation_state":"computed","paper":{"title":"Predictable Migration and Communication in the Quest-V Multikernel","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Eric Missimer, Richard West, Ye Li","submitted_at":"2013-10-23T17:29:42Z","abstract_excerpt":"Quest-V is a system we have been developing from the ground up, with objectives focusing on safety, predictability and efficiency. It is designed to work on emerging multicore processors with hardware virtualization support. Quest-V is implemented as a \"distributed system on a chip\" and comprises multiple sandbox kernels. Sandbox kernels are isolated from one another in separate regions of physical memory, having access to a subset of processing cores and I/O devices. This partitioning prevents system failures in one sandbox affecting the operation of other sandboxes. Shared memory channels ma"},"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":"1310.6301","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2013-10-23T17:29:42Z","cross_cats_sorted":[],"title_canon_sha256":"e3611b90e07f50efa37c4c0b560204bc467d4ed3e5971f469b5e94cfac985650","abstract_canon_sha256":"c37c2578f981446515a6f0bfbf74ba84a37e92499dee4f6189f7292e425fb75b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:20.772525Z","signature_b64":"1RUHXhqYHUhW2pHB+0DE57elxnZ94uBUIFwSqrWBXMGXYdLFbMwRe3dfIq2w8PYQX9OLki6rVZs1zGP8a4BlDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4995d92fd5c396ac75239edcf96fb8450a49654e5b0f1d069b9433518a024db1","last_reissued_at":"2026-05-18T03:09:20.771738Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:20.771738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Predictable Migration and Communication in the Quest-V Multikernel","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Eric Missimer, Richard West, Ye Li","submitted_at":"2013-10-23T17:29:42Z","abstract_excerpt":"Quest-V is a system we have been developing from the ground up, with objectives focusing on safety, predictability and efficiency. It is designed to work on emerging multicore processors with hardware virtualization support. Quest-V is implemented as a \"distributed system on a chip\" and comprises multiple sandbox kernels. Sandbox kernels are isolated from one another in separate regions of physical memory, having access to a subset of processing cores and I/O devices. This partitioning prevents system failures in one sandbox affecting the operation of other sandboxes. Shared memory channels ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6301","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":"1310.6301","created_at":"2026-05-18T03:09:20.771862+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.6301v1","created_at":"2026-05-18T03:09:20.771862+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6301","created_at":"2026-05-18T03:09:20.771862+00:00"},{"alias_kind":"pith_short_12","alias_value":"JGK5SL6VYOLK","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"JGK5SL6VYOLKY5JD","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"JGK5SL6V","created_at":"2026-05-18T12:27:49.015174+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/JGK5SL6VYOLKY5JDT3OPS35YIU","json":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU.json","graph_json":"https://pith.science/api/pith-number/JGK5SL6VYOLKY5JDT3OPS35YIU/graph.json","events_json":"https://pith.science/api/pith-number/JGK5SL6VYOLKY5JDT3OPS35YIU/events.json","paper":"https://pith.science/paper/JGK5SL6V"},"agent_actions":{"view_html":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU","download_json":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU.json","view_paper":"https://pith.science/paper/JGK5SL6V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.6301&json=true","fetch_graph":"https://pith.science/api/pith-number/JGK5SL6VYOLKY5JDT3OPS35YIU/graph.json","fetch_events":"https://pith.science/api/pith-number/JGK5SL6VYOLKY5JDT3OPS35YIU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU/action/storage_attestation","attest_author":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU/action/author_attestation","sign_citation":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU/action/citation_signature","submit_replication":"https://pith.science/pith/JGK5SL6VYOLKY5JDT3OPS35YIU/action/replication_record"}},"created_at":"2026-05-18T03:09:20.771862+00:00","updated_at":"2026-05-18T03:09:20.771862+00:00"}