VerifyIO: Verifying Adherence to Parallel I/O Consistency Semantics
- Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
VerifyIO is a tool designed for verifying I/O consistency semantics in High-Performance Computing (HPC) applications. It addresses the challenges of ensuring correctness and portability across different I/O consistency models, such as POSIX, Commit, Session, and MPI-IO. By analyzing execution traces, detecting conflicts, and verifying synchronization adherence, VerifyIO provides actionable insights for both application developers and I/O library designers.
- Short Name / Acronym:
- VerifyIO
- Site Accession Number:
- LLNL-CODE-2003320
- Software Type:
- Scientific
- License(s):
- BSD 3-clause "New" or "Revised" License
- Research Organization:
- Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)Primary Award/Contract Number:AC52-07NA27344
- DOE Contract Number:
- AC52-07NA27344
- Code ID:
- 152537
- OSTI ID:
- code-152537
- Country of Origin:
- United States
Similar Records
VerifyIO: Ensuring Correctness of Consistency Semantics in Parallel I/O
Formal Definitions and Performance Comparison of Consistency Models for Parallel File Systems
High Performance Computing Application I/O Traces
Conference
·
Wed Oct 09 00:00:00 EDT 2024
·
OSTI ID:2583382
Formal Definitions and Performance Comparison of Consistency Models for Parallel File Systems
Journal Article
·
Thu Apr 18 00:00:00 EDT 2024
· IEEE Transactions on Parallel and Distributed Systems
·
OSTI ID:2370617
High Performance Computing Application I/O Traces
Dataset
·
Sat Jun 06 00:00:00 EDT 2020
·
OSTI ID:1785979