{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/108145"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/108145","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Detecting and understanding crash-consistency bugs across the parallel I/O stack","abstract":"Parallel file systems (PFS’es) and parallel I/O libraries have been the backbone of high- performance computing (HPC) infrastructures for decades. However, their crash consistency bugs have not been extensively studied, and bug-finding or testing tools for identifying them are lacking. In this dissertation, we developed a generic testing system PFSCheck to study crash consistency bugs on popular PFS’es, such as BeeGFS and OrangeFS, with a cross-stack approach that covers HPC I/O library, PFS, and their interactions with local file systems. We evaluated the crash vulnerabilities of common HPC workloads and the evaluation results show that PFS’es and I/O libraries suffer from more crash consistency bugs than regular file systems due to the scale and complexity of the I/O stack. Local file system configurations such as journaling mode and the choice of consistency checker also influence the discovered vulnerability pattern.","abstract_html":"Parallel file systems (PFS’es) and parallel I/O libraries have been the backbone of high- performance computing (HPC) infrastructures for decades. However, their crash consistency bugs have not been extensively studied, and bug-finding or testing tools for identifying them are lacking. In this dissertation, we developed a generic testing system PFSCheck to study crash consistency bugs on popular PFS’es, such as BeeGFS and OrangeFS, with a cross-stack approach that covers HPC I/O library, PFS, and their interactions with local file systems. We evaluated the crash vulnerabilities of common HPC workloads and the evaluation results show that PFS’es and I/O libraries suffer from more crash consistency bugs than regular file systems due to the scale and complexity of the I/O stack. Local file system configurations such as journaling mode and the choice of consistency checker also influence the discovered vulnerability pattern.","abstract_has_math":false,"creators":["Sun, Jinghan"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Snir, Marc"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2020,"date_issued":"2020-08-26T23:58:35Z","date_published":"2020-08-26T23:58:35Z","updated_at":"2026-07-22T22:24:47Z","subjects":["Parallel File System","Crash Consistency","Bug identification","High Performance Computing"],"languages":["en"],"rights":["Copyright 2020 Jinghan Sun"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/108145","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Snir, Marc"]},{"key":"dc:creator","label":"Author","values":["Sun, Jinghan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2020-08-26T23:58:35Z","2022-08-26T23:58:55Z","2020-05-13","2020-05"]},{"key":"dc:type","label":"Dc Type","values":["text","Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Parallel File System","Crash Consistency","Bug identification","High Performance Computing"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2020 Jinghan Sun"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/108145"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Parallel file systems (PFS’es) and parallel I/O libraries have been the backbone of high- performance computing (HPC) infrastructures for decades. However, their crash consistency bugs have not been extensively studied, and bug-finding or testing tools for identifying them are lacking. In this dissertation, we developed a generic testing system PFSCheck to study crash consistency bugs on popular PFS’es, such as BeeGFS and OrangeFS, with a cross-stack approach that covers HPC I/O library, PFS, and their interactions with local file systems. We evaluated the crash vulnerabilities of common HPC workloads and the evaluation results show that PFS’es and I/O libraries suffer from more crash consistency bugs than regular file systems due to the scale and complexity of the I/O stack. Local file system configurations such as journaling mode and the choice of consistency checker also influence the discovered vulnerability pattern.","Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2022-05-01","The student, Jinghan Sun, accepted the attached license on 2020-05-12 at 17:29.","The student, Jinghan Sun, submitted this Thesis for approval on 2020-05-12 at 17:35.","This Thesis was approved for publication on 2020-05-13 at 10:52.","DSpace SAF Submission Ingestion Package generated from Vireo submission #15167 on 2020-08-25 at 17:29:25","Made available in DSpace on 2020-08-26T23:58:35Z (GMT). No. of bitstreams: 2 SUN-THESIS-2020.pdf: 2702656 bytes, checksum: 3456cad5134f4fa3f32c3b349bded810 (MD5) LICENSE.txt: 4208 bytes, checksum: f3dc639a19a7af5e4f651412d26f76a5 (MD5) Previous issue date: 2020-05-13","Embargo set by: Seth Robbins for item 115758 Lift date: 2022-08-26T23:58:55Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","U of I Only"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Detecting and understanding crash-consistency bugs across the parallel I/O stack"]}]}],"canonical_facts":{"dc:contributor":["Snir, Marc"],"dc:creator":["Sun, Jinghan"],"dc:date":["2020-08-26T23:58:35Z","2022-08-26T23:58:55Z","2020-05-13","2020-05"],"dc:description":["Parallel file systems (PFS’es) and parallel I/O libraries have been the backbone of high- performance computing (HPC) infrastructures for decades. However, their crash consistency bugs have not been extensively studied, and bug-finding or testing tools for identifying them are lacking. In this dissertation, we developed a generic testing system PFSCheck to study crash consistency bugs on popular PFS’es, such as BeeGFS and OrangeFS, with a cross-stack approach that covers HPC I/O library, PFS, and their interactions with local file systems. We evaluated the crash vulnerabilities of common HPC workloads and the evaluation results show that PFS’es and I/O libraries suffer from more crash consistency bugs than regular file systems due to the scale and complexity of the I/O stack. Local file system configurations such as journaling mode and the choice of consistency checker also influence the discovered vulnerability pattern.","Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2022-05-01","The student, Jinghan Sun, accepted the attached license on 2020-05-12 at 17:29.","The student, Jinghan Sun, submitted this Thesis for approval on 2020-05-12 at 17:35.","This Thesis was approved for publication on 2020-05-13 at 10:52.","DSpace SAF Submission Ingestion Package generated from Vireo submission #15167 on 2020-08-25 at 17:29:25","Made available in DSpace on 2020-08-26T23:58:35Z (GMT). No. of bitstreams: 2 SUN-THESIS-2020.pdf: 2702656 bytes, checksum: 3456cad5134f4fa3f32c3b349bded810 (MD5) LICENSE.txt: 4208 bytes, checksum: f3dc639a19a7af5e4f651412d26f76a5 (MD5) Previous issue date: 2020-05-13","Embargo set by: Seth Robbins for item 115758 Lift date: 2022-08-26T23:58:55Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","U of I Only"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/108145"],"dc:language":["en"],"dc:rights":["Copyright 2020 Jinghan Sun"],"dc:subject":["Parallel File System","Crash Consistency","Bug identification","High Performance Computing"],"dc:title":["Detecting and understanding crash-consistency bugs across the parallel I/O stack"],"dc:type":["text","Thesis"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:47Z"}