kky-fury / MPIWasm
MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM PPoPP'23)
☆19Updated last year
Alternatives and similar repositories for MPIWasm:
Users that are interested in MPIWasm are comparing it to the libraries listed below
- Seemlessly Migrate Process without boundary.☆25Updated last month
- ☆26Updated 3 years ago
- ☆24Updated last year
- eRPC library for Rust☆13Updated 5 years ago
- ☆45Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆53Updated last week
- Programming Language for Continuous Deep Analytics☆44Updated last year
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- User-space Page Management☆106Updated 5 months ago
- Loupe: Syscall Usage Analysis Tool☆27Updated this week
- ☆20Updated 3 years ago
- ☆35Updated 7 months ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆17Updated 2 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated last year
- The criu-coordinator tool aims to enable checkpoint/restore support for distributed applications with CRIU.☆16Updated 7 months ago
- Messaging and state layer for distributed serverless applications☆65Updated 4 months ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 4 months ago
- ☆11Updated 8 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆16Updated this week
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆148Updated 4 months ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆14Updated 11 months ago
- Verification and optimization tool for concurrent code☆22Updated this week
- Enables streaming of images to and from CRIU during checkpoint/restore with low overhead☆97Updated last year
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- ☆16Updated last year