X10（并行编程语言）

X10 是一门面向大规模并行与分布式计算的编程语言，由 IBM 研究院在 DARPA 高效能计算系统计划中开发，约于 2004 年起步。其名字寓意在十年内将并行编程生产力提升十倍，语法风格接近 Java，但把并发与数据分布作为语言核心。

概述

X10 采用分区全局地址空间（PGAS）模型：整个程序共享一个全局地址空间，但该空间被划分为若干 place，每个 place 对应一段内存与其上的活动。这种模型让程序员既能像共享内存那样思考，又能显式控制数据与计算的物理分布，从而在集群上获得可扩展性。

核心原理

• place 抽象：表示计算与数据所在的位置，跨 place 访问需显式迁移活动。
• async 与 finish：async 启动异步子任务，finish 等待其全部完成，构成结构化并发。
• at 表达式：将一段计算搬到指定 place 上执行，实现数据就近计算。
• 原子块与时钟：atomic 保证局部原子性，clock 用于阶段化的批量同步。
• 强静态类型：带泛型与约束类型系统，兼顾安全与并行表达力。

应用场景

X10 主要用于并行算法研究、分布式数值计算和超算原型开发，验证 PGAS 模型在真实工作负载下的表现。它对后来的并行语言与运行时（如 Habanero、部分 async/await 结构化并发思想）产生了学术影响。虽然工业普及度有限，但作为 PGAS 与结构化并发的代表实现，X10 在并行计算教学与研究中仍有参考价值。

常见问题

问：PGAS 模型解决了什么问题？答：它在共享内存的编程便利性与分布式内存的可扩展性之间取得平衡，程序员看到统一地址空间，同时能显式管理数据局部性，避免纯消息传递的繁琐与纯共享内存的扩展瓶颈。

问：X10 现在还在使用吗？答：X10 的主要活跃期集中在 21 世纪头十几年，如今更多作为研究语言存在，其结构化并发与 PGAS 思想已被后续语言和框架吸收借鉴。