Mashup: making serverless computing useful for hpc workflows via hybrid execution
This work introduces Mashup, a novel strategy to leverage serverless computing model for
executing scientific workflows in a hybrid fashion by taking advantage of both the traditional …
executing scientific workflows in a hybrid fashion by taking advantage of both the traditional …
Optimal prediction of synchronization-preserving races
Concurrent programs are notoriously hard to write correctly, as scheduling nondeterminism
introduces subtle errors that are both hard to detect and to reproduce. The most common …
introduces subtle errors that are both hard to detect and to reproduce. The most common …
Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism
Deterministic MultiThreading (DMT) systems eliminate nondeterminism from the dynamic
executions of multithreaded programs. They can greatly simplify multithreaded programming …
executions of multithreaded programs. They can greatly simplify multithreaded programming …
[PDF][PDF] Mashup: Making Serverless Computing Useful for HPC Workflows via Hybrid Execution
R Basu Roy, T Patel, V Gadepally, D Tiwari - 2022 - dspace.mit.edu
This work introduces Mashup, a novel strategy to leverage serverless computing model for
executing scientific workflows in a hybrid fashion by taking advantage of both the traditional …
executing scientific workflows in a hybrid fashion by taking advantage of both the traditional …
[PDF][PDF] Semantics-Aware Synchronization Determinism and Beyond
Q Zhao - the-au-forml-lab.github.io
Semantics-Aware Synchronization Determinism and Beyond Page 1 Semantics-Aware
Synchronization Determinism and Beyond Qi Zhao North Carolina State University Page 2 The …
Synchronization Determinism and Beyond Qi Zhao North Carolina State University Page 2 The …
BarrierFinder: recognizing ad hoc barriers
Ad hoc synchronizations are pervasive in multi-threaded programs. Due to their diversity
and complexity, understanding the enforced synchronization relationships of ad hoc …
and complexity, understanding the enforced synchronization relationships of ad hoc …