欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
AtomVM
来自开放百科 - 灰狐
(版本间的差异)
(以“AtomVM ==简介== AtomVM:一个专为嵌入式应用、物联网设备打造的 Erlang 虚拟机 Erlang 和 Erlang VM, Actor model 是我们非常推...”为内容创建页面) |
2025年5月5日 (一) 03:50的最后版本
AtomVM
目录 |
[编辑] 简介
AtomVM:一个专为嵌入式应用、物联网设备打造的 Erlang 虚拟机
Erlang 和 Erlang VM, Actor model 是我们非常推崇的编程语言、虚拟机实现和编程模式
[编辑] 功能
AtomVM 从零开始实现了一个极简的 Erlang 虚拟机,它支持 ErlangVM 的部分功能(支持 BEAM 操作码中有限但功能齐全的子集) 并且能够在 MCU 等小型系统上运行未经修改的 BEAM 二进制文件 并且还包含一小部分 Erlang/OTP 标准库,所有这些库都经过优化,可在微型微控制器上运行
AtomVM 是 Bogdan Erlang 抽象机(又名 BEAM)的轻量级实现,该虚拟机可以执行从 Erlang 或 Elixir 源代码编译而来的字节码指令 借助 AtomVM,你可以使用函数式编程语言编写物联网应用程序,并使用基于 Actor 的现代并发模型,从而大大简化应用程序的编写和理解
AtomVM 包含许多高级功能,包括进程生成、监控、消息传递、抢占式调度和高效的垃圾回收 它还可以直接与微控制器支持的外设和协议(例如 GPIO、I2C、SPI 和 UART)连接 它还支持在 WiFi 的设备上(例如 Espressif ESP32)进行 WiFi 网络连接
[编辑] 指南
[编辑] 项目
[编辑] 文档
[编辑] 图集
[编辑] 链接
分享您的观点