{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QV24NNTNHDIQ7SQU2NZU7XEJ24","short_pith_number":"pith:QV24NNTN","canonical_record":{"source":{"id":"2408.13772","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2024-08-25T08:44:45Z","cross_cats_sorted":[],"title_canon_sha256":"5899712da843f83b7a043f27664223a9ed10d6d3a614fcdb4f825f23bc32acc2","abstract_canon_sha256":"48f18218c20d807002b6c9fcec302a7b943684cd6b7051516ef4f92a8aa2cdc7"},"schema_version":"1.0"},"canonical_sha256":"8575c6b66d38d10fca14d3734fdc89d700751c176ccba3331160b51f0fa43789","source":{"kind":"arxiv","id":"2408.13772","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.13772","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"arxiv_version","alias_value":"2408.13772v2","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.13772","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_12","alias_value":"QV24NNTNHDIQ","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_16","alias_value":"QV24NNTNHDIQ7SQU","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_8","alias_value":"QV24NNTN","created_at":"2026-07-05T08:59:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QV24NNTNHDIQ7SQU2NZU7XEJ24","target":"record","payload":{"canonical_record":{"source":{"id":"2408.13772","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2024-08-25T08:44:45Z","cross_cats_sorted":[],"title_canon_sha256":"5899712da843f83b7a043f27664223a9ed10d6d3a614fcdb4f825f23bc32acc2","abstract_canon_sha256":"48f18218c20d807002b6c9fcec302a7b943684cd6b7051516ef4f92a8aa2cdc7"},"schema_version":"1.0"},"canonical_sha256":"8575c6b66d38d10fca14d3734fdc89d700751c176ccba3331160b51f0fa43789","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:59:33.394630Z","signature_b64":"2jMKr6zN4oTARe8jtTzNRPuvU7Pli0/fBYOpB8LcUSRKvRhXFdIS4BdhoL+dg4eOZpuqIghVd7iDak070Bq3Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8575c6b66d38d10fca14d3734fdc89d700751c176ccba3331160b51f0fa43789","last_reissued_at":"2026-07-05T08:59:33.394141Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:59:33.394141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.13772","source_version":2,"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-07-05T08:59:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YKsxngHZkMHY7pQ+9NQ/PBoFWlMZeAfV9KqXY2g6mmHlZ3ohiZ6OSMtra5tX9tucwVqcaSlKpSlfZezYQzBvAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T02:07:10.393392Z"},"content_sha256":"60d52a654a9cc0760e55138cd910deaa2c0269bdd6d8331025fb3b8aed3b820b","schema_version":"1.0","event_id":"sha256:60d52a654a9cc0760e55138cd910deaa2c0269bdd6d8331025fb3b8aed3b820b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QV24NNTNHDIQ7SQU2NZU7XEJ24","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Hanzhi Xu, Nan Chen, Ruoxian Su, Shuai Zhao, Wanli Chang","submitted_at":"2024-08-25T08:44:45Z","abstract_excerpt":"Fully-partitioned fixed-priority scheduling (FP-FPS) multiprocessor systems are widely found in real-time applications, where spin-based protocols are often deployed to manage the mutually exclusive access of shared resources. Unfortunately, existing approaches either enforce rigid spin priority rules for resource accessing or carry significant pessimism in the schedulability analysis, imposing substantial blocking time regardless of task execution urgency or resource over-provisioning. This paper proposes FRAP, a spin-based flexible resource accessing protocol for FP-FPS systems. A task under"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.13772","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.13772/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T08:59:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FvXAiUUOEj1c5UA2mLb5J0wOJEb26JLtW+ZDSSIDuQ/UTwE4PBQnjizKgYKtiwmfQcD/+NGih6AbagAbjoIFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T02:07:10.393884Z"},"content_sha256":"463a1e750e1fbbddf669436cf456eba1151ead874a10b6da5206cc7ccb12b51d","schema_version":"1.0","event_id":"sha256:463a1e750e1fbbddf669436cf456eba1151ead874a10b6da5206cc7ccb12b51d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/bundle.json","state_url":"https://pith.science/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/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-08-20T02:07:10Z","links":{"resolver":"https://pith.science/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24","bundle":"https://pith.science/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/bundle.json","state":"https://pith.science/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QV24NNTNHDIQ7SQU2NZU7XEJ24/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QV24NNTNHDIQ7SQU2NZU7XEJ24","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":"48f18218c20d807002b6c9fcec302a7b943684cd6b7051516ef4f92a8aa2cdc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2024-08-25T08:44:45Z","title_canon_sha256":"5899712da843f83b7a043f27664223a9ed10d6d3a614fcdb4f825f23bc32acc2"},"schema_version":"1.0","source":{"id":"2408.13772","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.13772","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"arxiv_version","alias_value":"2408.13772v2","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.13772","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_12","alias_value":"QV24NNTNHDIQ","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_16","alias_value":"QV24NNTNHDIQ7SQU","created_at":"2026-07-05T08:59:33Z"},{"alias_kind":"pith_short_8","alias_value":"QV24NNTN","created_at":"2026-07-05T08:59:33Z"}],"graph_snapshots":[{"event_id":"sha256:463a1e750e1fbbddf669436cf456eba1151ead874a10b6da5206cc7ccb12b51d","target":"graph","created_at":"2026-07-05T08:59:33Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2408.13772/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Fully-partitioned fixed-priority scheduling (FP-FPS) multiprocessor systems are widely found in real-time applications, where spin-based protocols are often deployed to manage the mutually exclusive access of shared resources. Unfortunately, existing approaches either enforce rigid spin priority rules for resource accessing or carry significant pessimism in the schedulability analysis, imposing substantial blocking time regardless of task execution urgency or resource over-provisioning. This paper proposes FRAP, a spin-based flexible resource accessing protocol for FP-FPS systems. A task under","authors_text":"Hanzhi Xu, Nan Chen, Ruoxian Su, Shuai Zhao, Wanli Chang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2024-08-25T08:44:45Z","title":"FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.13772","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:60d52a654a9cc0760e55138cd910deaa2c0269bdd6d8331025fb3b8aed3b820b","target":"record","created_at":"2026-07-05T08:59:33Z","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":"48f18218c20d807002b6c9fcec302a7b943684cd6b7051516ef4f92a8aa2cdc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OS","submitted_at":"2024-08-25T08:44:45Z","title_canon_sha256":"5899712da843f83b7a043f27664223a9ed10d6d3a614fcdb4f825f23bc32acc2"},"schema_version":"1.0","source":{"id":"2408.13772","kind":"arxiv","version":2}},"canonical_sha256":"8575c6b66d38d10fca14d3734fdc89d700751c176ccba3331160b51f0fa43789","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8575c6b66d38d10fca14d3734fdc89d700751c176ccba3331160b51f0fa43789","first_computed_at":"2026-07-05T08:59:33.394141Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:59:33.394141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2jMKr6zN4oTARe8jtTzNRPuvU7Pli0/fBYOpB8LcUSRKvRhXFdIS4BdhoL+dg4eOZpuqIghVd7iDak070Bq3Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:59:33.394630Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.13772","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60d52a654a9cc0760e55138cd910deaa2c0269bdd6d8331025fb3b8aed3b820b","sha256:463a1e750e1fbbddf669436cf456eba1151ead874a10b6da5206cc7ccb12b51d"],"state_sha256":"2b0cd6fbf965561233f9a067d811cb90aa56330aa89eb13ea6eff24da592a656"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vzmP4DiXruXEudk3thui7S8vNAHSNKtPtkItZFKJK7iHYDSR3Nmcie8jjfY+GsjJ6N/efR5W5IiGkTowNHeaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T02:07:10.398587Z","bundle_sha256":"e91cb24c7da1e8968652d51fd24d603b91d3a2da71341a6f4ed2887728358729"}}