[论文解读] Concurrent Approach to Flynn's SPMD Classification through Java

Bala Dhandayuthapani Veerasamy|arXiv (Cornell University)|Mar 7, 2010

Parallel Computing and Optimization Techniques参考文献 3被引用 3

一句话总结

本文提出了一种在单处理器环境下使用 Java 实现 Flynn 的 SPMD（单个程序，多个数据）模型的并发实现，利用 Java 内置的线程机制和同步原语来模拟并行执行。其主要贡献在于通过标准 Java 并发机制，实现了一种实用且平台无关的 SPMD 执行演示，验证了其在无需专用硬件的情况下实现的可行性。

ABSTRACT

Parallel programming models exist as an abstraction of hardware and memory architectures. There are several parallel programming models in commonly use; they are shared memory model, thread model, message passing model, data parallel model, hybrid model, Flynn's models, embarrassingly parallel computations model, pipelined computations model. These models are not specific to a particular type of machine or memory architecture. This paper focuses the concurrent approach to Flynn's SPMD classification in single processing environment through java program.

研究动机与目标

• 证明使用标准 Java 并发机制在单处理器环境中实现 Flynn 的 SPMD 模型的可行性。
• 提供一种实用且可移植的 SPMD 实现，抽象出底层硬件依赖。
• 验证 SPMD 可通过 Java 的线程模型和同步原语有效模拟，而无需专用硬件。
• 弥合理论并行编程模型与主流编程语言在实际软件工程中的差距。
• 提供一个教育性和可扩展的框架，用于在受控且易访问的环境中教学和实验 SPMD 并行性。

提出的方法

• 使用 Java 的 Thread 类创建多个并发线程，每个线程在不同数据集上执行相同的程序逻辑来实现 SPMD 模型。
• 使用 synchronized 块以及 wait/notify 等同步机制协调线程执行，确保数据一致性。
• 为每个线程分配唯一的标识符，并处理不同的数据段，模拟单台机器上的分布式数据处理。
• 使用共享内存抽象来模拟数据访问，尽管执行局限于单个处理器。
• 程序结构遵循主从模式，主线程生成工作线程并协调其执行。
• 该解决方案与平台无关，可在任何具备 Java 虚拟机（JVM）的系统上运行，确保可移植性和可复现性。

实验结果

研究问题

• RQ1 能否通过标准 Java 并发机制在单处理器环境中有效模拟 Flynn 的 SPMD 模型？
• RQ2 如何利用 Java 的线程和同步特性在无专用硬件的情况下模拟 SPMD 执行？
• RQ3 在单处理器上模拟 SPMD 执行时，其实际限制和性能特征是什么？
• RQ4 该实现在多大程度上保持了真实 SPMD 并行性的语义特性？
• RQ5 如何使用像 Java 这样的标准编程语言来教学和原型化基于 SPMD 的并行算法？

主要发现

• 通过标准线程和同步机制在 Java 中成功实现了 SPMD 模型，证明了 SPMD 执行可在单处理器上被模拟。
• 该实现实现了线程间正确的协调与数据隔离，验证了并发方法的正确性。
• 该解决方案具有可移植性，可在任何具备 JVM 的系统上运行，适用于教育和原型开发。
• 共享内存抽象的使用使得 SPMD 模型内的数据并行执行模式得以真实模拟。
• 该方法有效实现了编程模型与底层硬件的解耦，支持与平台无关的并行算法开发。
• 本研究证实，即使缺乏真正的并行性，Java 的并发特性也足以建模 SPMD 行为。