发表机构
Lawrence Livermore National Laboratory（劳伦斯利弗莫尔国家实验室）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
Skywing是用于不可靠环境去中心化数学计算的开源平台，含三类抽象，支持异步操作等，经多算法实验验证，可部署去中心化应用并用于鲁棒数学算法研究。
AI 中文摘要
新兴的边缘系统、自主系统及网络物理系统日益需要在由不可靠通信网络连接的异构设备间进行数学计算。传统高性能计算与分布式数据处理框架为受管环境提供了强大的抽象，但不适用于无法假设存在集中协调、可靠通信及全局同步的去中心化场景。本文提出Skywing，一个用于不可靠环境中去中心化数学计算的开源平台。其编程模型包含三类抽象：agents代表去中心化计算的参与者，processors封装特定算法的更新规则，iterations管理分布式执行。Skywing支持异步操作、发布-订阅通信、受管消息处理，以及将独立算法组合为复杂去中心化工作流。我们使用共识、优化和数值线性代数领域的代表性算法对Skywing进行验证。在原生Skywing运行时上开展的实验包括Push Sum与Max Consensus、组合式监控与控制工作流、存在延迟通信时的鲁棒Push Sum，以及存在恶意数据损坏时的鲁棒异步Jacobi。这些验证表明，Skywing支持多种去中心化算法，同时将数学逻辑与通信及执行基础设施分离。Skywing既作为去中心化应用的部署框架，也作为开发鲁棒数学算法的研究平台。
英文摘要
Emerging edge, autonomous, and cyber-physical systems increasingly require mathematical computation across heterogeneous devices connected by unreliable communication networks. Traditional high-performance computing and distributed data-processing frameworks provide powerful abstractions for managed environments but are less suited to decentralized settings where centralized coordination, reliable communication, and global synchronization cannot be assumed. This paper presents Skywing, an open-source platform for decentralized mathematical computing in unreliable environments. Its programming model consists of three abstractions: agents represent participants in a decentralized computation, processors encapsulate algorithm-specific update rules, and iterations manage distributed execution. Skywing supports asynchronous operation, publish-subscribe communication, managed message handling, and the composition of independent algorithms into complex decentralized workflows. We demonstrate Skywing using representative algorithms from consensus, optimization, and numerical linear algebra. Experiments on the native Skywing runtime include Push Sum and Max Consensus, a composed monitoring and control workflow, resilient Push Sum under delayed communication, and resilient asynchronous Jacobi under malevolent data corruption. These demonstrations show that Skywing supports diverse decentralized algorithms while separating mathematical logic from communication and execution infrastructure. Skywing serves as both a deployment framework for decentralized applications and a research platform for developing resilient mathematical algorithms.
