wasm3/wasm3
Wasm3
Wasm3 es un intérprete de WebAssembly diseñado para la integración en tiempo de ejecución embebido. Permite la ejecución de lógica binaria portátil en microcontroladores y hardware con recursos limitados, proporcionando soporte para módulos que utilizan la WebAssembly System Interface (WASI) para interactuar con los recursos del sistema.
El entorno de ejecución emplea interpretación de bytecode basada en registros y despacho de hilos directos para mapear registros virtuales a registros físicos de la CPU. Incluye una interfaz de llamadas al host para mapear importaciones a funciones de C y utiliza validación estática de módulos para garantizar que el bytecode siga las reglas de la especificación antes de la ejecución.
El proyecto proporciona gestión de recursos mediante límites de asignación de memoria lineal y medición de gas a nivel de instrucción para evitar bucles infinitos y el agotamiento del sistema. La observabilidad se maneja mediante rastreo de ejecución, monitoreo de flujo y perfilado de operaciones del intérprete. Para el desarrollo y control de calidad, el entorno de ejecución incluye un REPL interactivo y admite fuzzing guiado por cobertura.
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.
