{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:4SRRHJHO7J22RV5WCAYFZQCQVA","short_pith_number":"pith:4SRRHJHO","canonical_record":{"source":{"id":"2109.04196","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-09-07T01:35:44Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"96dfa30ddb1796198d15d877938966603fdbe9ff0b3f9c2ea76b78f1010a5b6f","abstract_canon_sha256":"2493035bd75bbff99d31db4b3133e87a723fd3f2cb5238e6319500ca9eca8c00"},"schema_version":"1.0"},"canonical_sha256":"e4a313a4eefa75a8d7b610305cc050a831be9bdb35bb8ab944bbb3cb8cfa4085","source":{"kind":"arxiv","id":"2109.04196","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.04196","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"arxiv_version","alias_value":"2109.04196v1","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.04196","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_12","alias_value":"4SRRHJHO7J22","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_16","alias_value":"4SRRHJHO7J22RV5W","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_8","alias_value":"4SRRHJHO","created_at":"2026-07-05T03:12:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:4SRRHJHO7J22RV5WCAYFZQCQVA","target":"record","payload":{"canonical_record":{"source":{"id":"2109.04196","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-09-07T01:35:44Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"96dfa30ddb1796198d15d877938966603fdbe9ff0b3f9c2ea76b78f1010a5b6f","abstract_canon_sha256":"2493035bd75bbff99d31db4b3133e87a723fd3f2cb5238e6319500ca9eca8c00"},"schema_version":"1.0"},"canonical_sha256":"e4a313a4eefa75a8d7b610305cc050a831be9bdb35bb8ab944bbb3cb8cfa4085","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:12:56.192993Z","signature_b64":"HPI46h443mxQ/IS5Iw8q6i0KbXJ9E/hG31tpW7fC+qsVZq8N54wHG733hYm5TWd3y6wk6EwNvebCep4KBpYVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4a313a4eefa75a8d7b610305cc050a831be9bdb35bb8ab944bbb3cb8cfa4085","last_reissued_at":"2026-07-05T03:12:56.192517Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:12:56.192517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.04196","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-07-05T03:12:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FXAISWwSzhLgs7ug/zEi3N9UHLnGhBGwAAKgfmqL5ec0A8hywMEM6f01Xe1jboRzWxKKoKXD67iHFB9FMBwBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:59:49.045702Z"},"content_sha256":"9422baaff68cdc780e346ac3e445e01540093944caee19e77665429f7c34da9d","schema_version":"1.0","event_id":"sha256:9422baaff68cdc780e346ac3e445e01540093944caee19e77665429f7c34da9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:4SRRHJHO7J22RV5WCAYFZQCQVA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.SE","authors_text":"Foutse Khomh, Mbarka Soualhia, Sofiene Tahar","submitted_at":"2021-09-07T01:35:44Z","abstract_excerpt":"The Hadoop scheduler is a centerpiece of Hadoop, the leading processing framework for data-intensive applications in the cloud. Given the impact of failures on the performance of applications running on Hadoop, testing and verifying the performance of the Hadoop scheduler is critical. Existing approaches such as performance simulation and analytical modeling are inadequate because they are not able to ascertain a complete verification of a Hadoop scheduler. This is due to the wide range of constraints and aspects involved in Hadoop. In this paper, we propose a novel methodology that integrates"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.04196","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2109.04196/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-05T03:12:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fX27ZmgTqI8RD1C/IE2jAxpf31ejyfy+vAOX4NRCSMEry9JSOO/Z5dUL288BfjHXjewYB7bdwe4SW3iGnSKEDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:59:49.046095Z"},"content_sha256":"85081c3c4da21cee96503cbcbec39a5352a9a0a88a20136ef64f54a29d53ef40","schema_version":"1.0","event_id":"sha256:85081c3c4da21cee96503cbcbec39a5352a9a0a88a20136ef64f54a29d53ef40"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/bundle.json","state_url":"https://pith.science/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/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-07-07T05:59:49Z","links":{"resolver":"https://pith.science/pith/4SRRHJHO7J22RV5WCAYFZQCQVA","bundle":"https://pith.science/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/bundle.json","state":"https://pith.science/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4SRRHJHO7J22RV5WCAYFZQCQVA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:4SRRHJHO7J22RV5WCAYFZQCQVA","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":"2493035bd75bbff99d31db4b3133e87a723fd3f2cb5238e6319500ca9eca8c00","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-09-07T01:35:44Z","title_canon_sha256":"96dfa30ddb1796198d15d877938966603fdbe9ff0b3f9c2ea76b78f1010a5b6f"},"schema_version":"1.0","source":{"id":"2109.04196","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.04196","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"arxiv_version","alias_value":"2109.04196v1","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.04196","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_12","alias_value":"4SRRHJHO7J22","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_16","alias_value":"4SRRHJHO7J22RV5W","created_at":"2026-07-05T03:12:56Z"},{"alias_kind":"pith_short_8","alias_value":"4SRRHJHO","created_at":"2026-07-05T03:12:56Z"}],"graph_snapshots":[{"event_id":"sha256:85081c3c4da21cee96503cbcbec39a5352a9a0a88a20136ef64f54a29d53ef40","target":"graph","created_at":"2026-07-05T03:12:56Z","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/2109.04196/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Hadoop scheduler is a centerpiece of Hadoop, the leading processing framework for data-intensive applications in the cloud. Given the impact of failures on the performance of applications running on Hadoop, testing and verifying the performance of the Hadoop scheduler is critical. Existing approaches such as performance simulation and analytical modeling are inadequate because they are not able to ascertain a complete verification of a Hadoop scheduler. This is due to the wide range of constraints and aspects involved in Hadoop. In this paper, we propose a novel methodology that integrates","authors_text":"Foutse Khomh, Mbarka Soualhia, Sofiene Tahar","cross_cats":["cs.PF"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-09-07T01:35:44Z","title":"Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.04196","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:9422baaff68cdc780e346ac3e445e01540093944caee19e77665429f7c34da9d","target":"record","created_at":"2026-07-05T03:12:56Z","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":"2493035bd75bbff99d31db4b3133e87a723fd3f2cb5238e6319500ca9eca8c00","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-09-07T01:35:44Z","title_canon_sha256":"96dfa30ddb1796198d15d877938966603fdbe9ff0b3f9c2ea76b78f1010a5b6f"},"schema_version":"1.0","source":{"id":"2109.04196","kind":"arxiv","version":1}},"canonical_sha256":"e4a313a4eefa75a8d7b610305cc050a831be9bdb35bb8ab944bbb3cb8cfa4085","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4a313a4eefa75a8d7b610305cc050a831be9bdb35bb8ab944bbb3cb8cfa4085","first_computed_at":"2026-07-05T03:12:56.192517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:12:56.192517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HPI46h443mxQ/IS5Iw8q6i0KbXJ9E/hG31tpW7fC+qsVZq8N54wHG733hYm5TWd3y6wk6EwNvebCep4KBpYVDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:12:56.192993Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.04196","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9422baaff68cdc780e346ac3e445e01540093944caee19e77665429f7c34da9d","sha256:85081c3c4da21cee96503cbcbec39a5352a9a0a88a20136ef64f54a29d53ef40"],"state_sha256":"6d8c9db3654754c8a9309efc5eddf64b194745318520d92334a27a03cebb5234"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nk3H+z1zyLyRyvXomuhCHDvOty5SDw6nU1fq2LiRf5gr7wZFeAJLrqnfAGBCZYFgDyfD4aOYiHcr2j/Dxe4uBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:59:49.048074Z","bundle_sha256":"d9727dc21e3c20cfb2cf7d666fe9d94dfd061e895d9defc6009370f7dbe1e441"}}