近年来，编程语言设计领域不断涌现创新理念，尤其是在提升代码并行性能及安全性方面的探索尤为引人注目。动态类型语言以其自由灵活和表达能力强的特性，尽管备受欢迎，却在并行编程方面存在诸多挑战，例如性能瓶颈与并发安全问题。面对这一困境，基于Actor模型的并行性方案因其天然的隔离性和无锁设计成为了颇具潜力的解决途径。 动态类型语言的魅力在于降低编程门槛和增强表达自由，Python等语言的流行即是强有力的佐证。尽管如此，当前主流动态语言普遍在多核并行利用上表现不足，这使得很多程序在多核硬件资源面前无法发挥应有的性能优势。传统如C/C++语言虽能直接操作线程和共享内存，从而实现高效率并发，但也因此承载了如死锁、竞态条件等隐患，令开发者需付出极大精力避免复杂且难以调试的问题。
基于Actor模型的并行编程模式通过将并发单元设计为相互隔离且只通过消息传递交互的“演员”实现。每个Actor拥有独立的内存空间和状态，无需锁机制或同步原语，大幅简化并发开发难度。这种方式在概念上类似于操作系统的多进程通信，但在语言虚拟机层面实现Actor时，可以用轻量级线程替代昂贵的进程，极大加快消息交换效率，提升程序整体响应能力。现代CPU高速内存拷贝的优势更令数据传递开销进一步下降。 为探索这种设计理念的可行性和表现，作者设计并实现了一款名为Plush的动态类型玩具编程语言。Plush采用类Lox的栈式虚拟机架构，结合Actor模型，实现了并行消息传递基础设施。
Plush的设计追求简洁高效：通过类继承系统保证跨Actor间消息对象保持一致的类原型，避免传统原型链继承中因深度复制导致的效率低下和类型判断异常。 在消息传送机制上，Plush支持任意对象乃至闭包的跨Actor传递，采用结构化复制以确保消息内容准确、完整。每个Actor拥有独立的内存分配器用于本地对象构造，同时拥有专门的邮件箱分配器管理接收的消息对象。发信者在发送消息时需短暂锁定目标Actor的邮件箱分配器，但接收方的执行线程则不受阻断。这种机制不仅保障了执行连贯性，也为未来的独立垃圾回收器设计奠定基础，有望实现无全局同步的高效GC。 性能测试方面，Plush中一段Ping-Pong微基准测试表现出色，在MacBook M1芯片上每秒能完成五十万次对象往返传递，显示出即便为解释型语言，其Actor间消息传递也具备实用的效率。
作者进一步将Plush应用于一个并行光线追踪器项目。借助集成的图形窗口支持和字节数组类型作为帧缓冲区，结合智能代码生成工具（如Google Code CLI）辅助创作，实现了基于Actor并行渲染机制的光线追踪程序。该程序在16核AMD Ryzen 7950x处理器上多Actor版本表现出了近16倍的加速效果，突显了Actor并行带来的实质性能提升。 该光线追踪实验揭示了基于Actor的并行消息传递机制尽管在图像数据复制方面存在一定开销，但对于计算密集型任务而言，网络通信延迟和复制负担远远小于计算时间，因此整体并行效果依然显著。虽然目前Plush未集成垃圾回收导致内存限制，但未来GC的加入将支持更复杂、长时运行的图形应用，甚至动态实时动画场景的实现。 在语言设计前沿，Plush的开发者还就语言创新与大型语言模型（LLM）的关系展开思考。
有人质疑新语言难获训练数据支持，将被主流语言垄断。但作者认为，通过智能训练策略和高效示例引导，甚至模型自主训练，LLM可在未见过语言基础上快速适应并生成代码。Plush方案体现了这一观点，显示出良好的代码生成适应性和开发便利性。 虽然Plush在语法上沿袭C风格，借鉴某些语言传统以便降低学习曲线，但其语义设计及Actor并行模型结合体现了独到之处。这样的折中既促进了语言普及，也为并发编程带来了新鲜视角。当前版本依然是实验性质，尚未完善错误处理、多线程GC，以及更全面的性能优化。
开发者亦计划引入音频输出接口，以丰富其多媒体能力，促进音频和图形并行处理的趣味实现。 Plush的开源代码库公开于GitHub，为感兴趣的开发者提供了探索并提交贡献的机会。通过不断迭代与社区支持，Plush有潜力成为理解并行语言设计和Actor并发模型的理想实验平台。它不仅让开发者体验动态类型语言新并行机制的乐趣，还能激发基于高层语言的高效并发解决方案的新思路。 动态类型语言如何在多核多线程时代发挥优势，是未来编程语言设计的核心课题。基于Actor模型的玩具语言Plush为我们提供了一种简洁、有效且新颖的解决路径。
它在易用性、性能和并发安全性之间达成良好平衡，是探讨并行计算未来的有力工具。期待未来伴随自动垃圾回收、优化策略和丰富标准库的完善，Plush能助力更多创新型并行应用的诞生，推动动态语言的性能革命。
