{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LY6HXV2TD4FF3WMAKSM73PPHF2","short_pith_number":"pith:LY6HXV2T","canonical_record":{"source":{"id":"1407.5126","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2014-07-18T22:30:33Z","cross_cats_sorted":[],"title_canon_sha256":"bdd5b7721f952b8761b3b61f2c1fa2aebbf0e4c1dfcea05f1c66c996291099bc","abstract_canon_sha256":"4b3e630e399fd578af43b6cea1a0e5b0732ea0f42e2075571c986afefa706c1d"},"schema_version":"1.0"},"canonical_sha256":"5e3c7bd7531f0a5dd9805499fdbde72ebdfa3d6d8d69d549f02b195f90da6e13","source":{"kind":"arxiv","id":"1407.5126","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5126","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5126v1","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5126","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"pith_short_12","alias_value":"LY6HXV2TD4FF","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LY6HXV2TD4FF3WMA","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LY6HXV2T","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LY6HXV2TD4FF3WMAKSM73PPHF2","target":"record","payload":{"canonical_record":{"source":{"id":"1407.5126","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2014-07-18T22:30:33Z","cross_cats_sorted":[],"title_canon_sha256":"bdd5b7721f952b8761b3b61f2c1fa2aebbf0e4c1dfcea05f1c66c996291099bc","abstract_canon_sha256":"4b3e630e399fd578af43b6cea1a0e5b0732ea0f42e2075571c986afefa706c1d"},"schema_version":"1.0"},"canonical_sha256":"5e3c7bd7531f0a5dd9805499fdbde72ebdfa3d6d8d69d549f02b195f90da6e13","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:14.890724Z","signature_b64":"SD39QO038k/T5T9+Cc8+WG7NWTqF/EUTMvW3zCv8X7qSVBvBuh3AKbihhmIvmN9l/Av7ff4rwDSjCNx4NqZVCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e3c7bd7531f0a5dd9805499fdbde72ebdfa3d6d8d69d549f02b195f90da6e13","last_reissued_at":"2026-05-18T02:47:14.890035Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:14.890035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.5126","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-18T02:47:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1u4qgFaRssdppHjAIFrkc7gY5/1mMpLdx90XWMzrQasEliCLCJZiZX+35uIophmB71upLjoeN4Yhlttg9OruBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:37:12.682215Z"},"content_sha256":"b3cc59d713a892e02747cec9c054af706b5ca766aa900ab8e02a060f05c2b17c","schema_version":"1.0","event_id":"sha256:b3cc59d713a892e02747cec9c054af706b5ca766aa900ab8e02a060f05c2b17c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LY6HXV2TD4FF3WMAKSM73PPHF2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supporting Read/Write Applications in Embedded Real-time Systems via Suspension-aware Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Cong Liu, Guangmo Tong","submitted_at":"2014-07-18T22:30:33Z","abstract_excerpt":"In many embedded real-time systems, applications often interact with I/O devices via read/write operations, which may incur considerable suspension delays. Unfortunately, prior analysis methods for validating timing correctness in embedded systems become quite pessimistic when suspension delays are present. In this paper, we consider the problem of supporting two common types of I/O applications in a multiprocessor system, that is, write-only applications and read-write applications. For the write-only application model, we present a much improved analysis technique that results in only O(m) s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5126","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-18T02:47:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LaUvMb9+peraezUbWa75ypqv7QHvoK8fuIy4GqzkgfzgX2voTVePPqhFnxZm2vp23WiKIYnI/3JNKpg9WXIZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:37:12.682637Z"},"content_sha256":"2d46db4a422e3d6ff2a34c69a12438cd07b4a3c8518b07c5f46f4d8ef192de8d","schema_version":"1.0","event_id":"sha256:2d46db4a422e3d6ff2a34c69a12438cd07b4a3c8518b07c5f46f4d8ef192de8d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/bundle.json","state_url":"https://pith.science/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/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-05-30T21:37:12Z","links":{"resolver":"https://pith.science/pith/LY6HXV2TD4FF3WMAKSM73PPHF2","bundle":"https://pith.science/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/bundle.json","state":"https://pith.science/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LY6HXV2TD4FF3WMAKSM73PPHF2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LY6HXV2TD4FF3WMAKSM73PPHF2","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":"4b3e630e399fd578af43b6cea1a0e5b0732ea0f42e2075571c986afefa706c1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2014-07-18T22:30:33Z","title_canon_sha256":"bdd5b7721f952b8761b3b61f2c1fa2aebbf0e4c1dfcea05f1c66c996291099bc"},"schema_version":"1.0","source":{"id":"1407.5126","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5126","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5126v1","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5126","created_at":"2026-05-18T02:47:14Z"},{"alias_kind":"pith_short_12","alias_value":"LY6HXV2TD4FF","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LY6HXV2TD4FF3WMA","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LY6HXV2T","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:2d46db4a422e3d6ff2a34c69a12438cd07b4a3c8518b07c5f46f4d8ef192de8d","target":"graph","created_at":"2026-05-18T02:47:14Z","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":"In many embedded real-time systems, applications often interact with I/O devices via read/write operations, which may incur considerable suspension delays. Unfortunately, prior analysis methods for validating timing correctness in embedded systems become quite pessimistic when suspension delays are present. In this paper, we consider the problem of supporting two common types of I/O applications in a multiprocessor system, that is, write-only applications and read-write applications. For the write-only application model, we present a much improved analysis technique that results in only O(m) s","authors_text":"Cong Liu, Guangmo Tong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2014-07-18T22:30:33Z","title":"Supporting Read/Write Applications in Embedded Real-time Systems via Suspension-aware Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5126","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:b3cc59d713a892e02747cec9c054af706b5ca766aa900ab8e02a060f05c2b17c","target":"record","created_at":"2026-05-18T02:47:14Z","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":"4b3e630e399fd578af43b6cea1a0e5b0732ea0f42e2075571c986afefa706c1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2014-07-18T22:30:33Z","title_canon_sha256":"bdd5b7721f952b8761b3b61f2c1fa2aebbf0e4c1dfcea05f1c66c996291099bc"},"schema_version":"1.0","source":{"id":"1407.5126","kind":"arxiv","version":1}},"canonical_sha256":"5e3c7bd7531f0a5dd9805499fdbde72ebdfa3d6d8d69d549f02b195f90da6e13","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e3c7bd7531f0a5dd9805499fdbde72ebdfa3d6d8d69d549f02b195f90da6e13","first_computed_at":"2026-05-18T02:47:14.890035Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:14.890035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SD39QO038k/T5T9+Cc8+WG7NWTqF/EUTMvW3zCv8X7qSVBvBuh3AKbihhmIvmN9l/Av7ff4rwDSjCNx4NqZVCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:14.890724Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.5126","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3cc59d713a892e02747cec9c054af706b5ca766aa900ab8e02a060f05c2b17c","sha256:2d46db4a422e3d6ff2a34c69a12438cd07b4a3c8518b07c5f46f4d8ef192de8d"],"state_sha256":"8c018b653e0abcf3b11943ade26a1ab51f2543af8b636db812ba392ef8e776ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HBHb/J2v1wIZ50Mtb19JE1WiBTpRWN1HbXfvAy1OzaHq+7DaSrd3rBskRE/aFpfm2Gv2bNagci5+EzghLdILAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T21:37:12.685282Z","bundle_sha256":"9cb7946a90c4d31a28c9edc667c3d5c2e892d2af52f84d3be6b720442965d169"}}