Đang tải bảng tin…
Lobsters0 Hot0 bình luận6 phút đọc
GitHub - nasa/spacewasm: A flight-compliant WebAssembly interpreter for safety-critical execution
SpaceWASM is a NASA/Caltech open-source WebAssembly 1.0 interpreter written in Rust, designed for safety-critical flight software on spacecraft. It features a custom dynamic memory allocator with deterministic, panic-free allocation using fixed-size pages, a streaming decoder that processes WASM binaries in chunks to minimize peak memory usage, and a single-pass decoder/validator that converts WASM bytecode into an intermediate representation optimized for interpretation. The project imposes strict resource constraints (e.g., max 256 modules, configurable stack depth, 24-bit page addressing) to suit resource-constrained spacecraft environments. It includes unit tests, integration tests against the WASM 1.0 spec suite, and libfuzzer-based fuzzing infrastructure.
Nguồn: https://github.com/nasa/spacewasm. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Đề xuất cho bạn
80 LEVEL1 Hot1 phútAI
This Fisher-Price Toy Controller Now Plays Mario Kart via Bluetooth
Một nhà phát triển đã biến đổi bộ điều khiển đồ chơi Fisher-Price thành gamepad Bluetooth chơi Mario Kart nhờ vi điều khiển Seeed XIAO nrf52840 Sense, sử dụng cảm biến IMU để điều khiển lái bằng gyro, nhưng vẫn còn dang dở khi các nút bumper phía trên chưa được kết nối.
Những lập trình viên yêu thích DIY và game thủ có thể khám phá cách tái sử dụng thiết bị cũ để tạo ra những thiết bị game độc đáo, mở rộng kiến thức về cảm biến và giao tiếp Bluetooth trong ứng dụng thực tế.
