wasm3/wasm3
Wasm3
Wasm3 este un interpretor WebAssembly conceput pentru integrarea în runtime-uri embedded. Acesta permite executarea logicii binare portabile pe microcontrolere și hardware cu resurse limitate, oferind suport pentru module care utilizează WebAssembly System Interface pentru a interacționa cu resursele sistemului.
Runtime-ul folosește interpretarea bytecode bazată pe registre și dispatch-ul direct-threaded pentru a mapa registrele virtuale la registrele fizice ale CPU-ului. Include o interfață host-call pentru a mapa importurile la funcții C și utilizează validarea statică a modulelor pentru a se asigura că bytecode-ul respectă regulile specificațiilor înainte de execuție.
Proiectul oferă gestionarea resurselor prin limite de alocare a memoriei liniare și contorizarea consumului de instrucțiuni (gas metering) pentru a preveni buclele infinite și epuizarea sistemului. Observabilitatea este gestionată prin tracing-ul execuției, monitorizarea fluxului și profilarea operațiunilor interpretorului. Pentru dezvoltare și asigurarea calității, runtime-ul include un REPL interactiv și suportă fuzzing ghidat de acoperire.
Features
- Microcontroller Execution - Interprets binary instructions across various microcontrollers and processor architectures for execution on embedded systems.
- Register-Based Bytecode Interpretation - Translates bytecode into machine operations by mapping virtual registers to physical CPU registers for high-performance execution.
- Host-Call Interfaces - Maps WebAssembly imports to C functions to allow guest modules to interact with the host system.
- Runtime Embedding - Integrates a lightweight interpreter into existing software to enable the execution of portable binary formats.
- Register-Based Bytecode - Employs a register-based bytecode architecture that maps virtual registers to physical CPU registers for improved performance.
- Embedded WebAssembly Runtimes - Provides a high-performance WebAssembly runtime optimized for resource-constrained embedded hardware.
- WASI Implementations - Implements the WebAssembly System Interface to enable portable binary modules to interact with system resources.
- Bytecode Specification Validators - Performs static validation of binary structure and type signatures to ensure compliance with WebAssembly specifications before execution.
- Execution Halting Limits - Constrains computational resource usage for modules and halts execution when predefined gas limits are exceeded.
- Resource Metering - Implements instruction-level gas metering to track resource consumption and prevent infinite loops.
- Linear Memory Managers - Manages a contiguous block of linear memory to represent the WebAssembly heap with security bounds checking.
- WebAssembly Memory Allocators - Provides maximum memory allocation thresholds to ensure stable execution on resource-constrained embedded devices.
- System Call Mapping - Translates standardized WASI system interface calls into host-specific operating system or hardware functions.
- Direct-Threaded Interpreters - Uses a direct-threaded dispatch mechanism to optimize the bytecode interpreter loop by jumping directly to instruction handlers.
- Computational Resource Limiting - Constrains memory usage and gas consumption to prevent infinite loops on embedded devices.
- Language Implementations - High-performance WebAssembly interpreter.
- Libraries - High-performance WebAssembly interpreter for embedded devices.
- Runtime and Embeddings - High-performance, lightweight WebAssembly interpreter.
