69、网格编程模型：当前工具、问题与方向

网格编程模型：当前工具、问题与方向

1. 乐观计算

乐观计算旨在控制乐观水平，以最大化松散耦合执行的益处，同时最小化浪费计算的开销，从而达到一个“最佳平衡点”。例如在乐观网格生成中，并行 Bowyer - Watson 方法允许在边界腔生成时进行乐观计算，并通过一个控制参数来调节乐观水平，使生成代码处于能实现合理性能和利用率的“操作区域”。

2. 分布式技术

在网格的深度异构延迟层次结构中，同步数据并行语言方法并不适用。分布式技术可将处理分布在数据上，在同步和通信要求不过于密集的情况下，能实现本地数据与处理之间的高聚合带宽。
- 宏观服务器模型 ：采用粗粒度、消息驱动的方法，用于支持混合技术多线程架构（HTMT）中的处理器内存（PIM）技术。代码、数据和环境包裹通过机器渗透到 PIM 处执行，目的是隐藏所有延迟。
- 网格数据农场架构 ：通过在靠近存储的大规模分布式磁盘农场中调度程序，利用访问局部性。采用所有者计算规则促进存储与处理的紧密耦合，并提供并行 I/O API。

3. 网格感知 I/O

I/O 系统虽专注于数据移动，但对程序编写有很大影响。网格数据农场文件分布在多个磁盘上，但可作为单个逻辑文件进行打开、读取和写入。
- KeLP 系统 ：使用结构抽象和相关区域演算来管理消息传递、线程调度和同步。
- SMARTS 系统 ：采用宏数据流调度来管理粗粒度数据并行操作并隐藏延迟，其在网格环境中的可扩展性值得研究。

4. 高级通信服务</