The Massimult project aims to design and implement an innovative CPU architecture based on combinator reduction with a novel combinator base and a new abstract machine. The evaluation of programs within this architecture is inherently highly parallel and localized, allowing for faster computation, reduced energy consumption, improved scalability, enhanced reliability, and increased resistance to attacks. In this paper, we introduce the machine language LambdaM, detail its compilation into KVY assembler code, and describe the abstract machine Matrima. The best part of Matrima is its ability to exploit inherent parallelism and locality in combinator reduction, leading to significantly faster computations with lower energy consumption, scalability across multiple processors, and enhanced security against various types of attacks. Matrima can be simulated as a software virtual machine and is intended for future hardware implementation.

翻译：Massimult项目旨在基于组合子规约，采用一种新颖的组合子基和新的抽象机，设计和实现一种创新的CPU架构。该架构内的程序求值本质上是高度并行和局部化的，从而能够实现更快的计算速度、更低的能耗、更好的可扩展性、更高的可靠性以及更强的抗攻击能力。本文介绍了机器语言LambdaM，详述了其编译为KVY汇编代码的过程，并描述了抽象机Matrima。Matrima的最大优势在于其能够利用组合子规约中固有的并行性和局部性，从而实现显著更快的计算速度、更低的能耗、跨多处理器的可扩展性以及针对各类攻击的更强安全性。Matrima可作为软件虚拟机进行模拟，并计划在未来进行硬件实现。