wasm3/wasm3
Wasm3
Wasm3 est un interpréteur WebAssembly conçu pour l'intégration dans des runtimes embarqués. Il permet l'exécution de logique binaire portable sur des microcontrôleurs et du matériel aux ressources limitées, offrant un support pour les modules qui utilisent le WebAssembly System Interface (WASI) pour interagir avec les ressources système.
Le runtime utilise une interprétation de bytecode basée sur des registres et une répartition directe pour mapper les registres virtuels aux registres CPU physiques. Il inclut une interface d'appel hôte pour mapper les importations aux fonctions C et utilise une validation de module statique pour garantir que le bytecode suit les règles de spécification avant l'exécution.
Le projet fournit une gestion des ressources via des limites d'allocation de mémoire linéaire et un comptage de gaz au niveau des instructions pour éviter les boucles infinies et l'épuisement du système. L'observabilité est gérée via le traçage d'exécution, la surveillance des flux et le profilage des opérations de l'interpréteur. Pour le développement et l'assurance qualité, le runtime inclut un REPL interactif et prend en charge le fuzzing guidé par la couverture.
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.
