intel® Implicit SPMD Program Compiler（ISPC）的用户指南

https://ispc.github.io/ispc.html#task-parallelism-launch-and-sync-statements

intel® Implicit SPMD Program Compiler（ISPC）的用户指南。ISPC是一种用于编写单程序多数据（SPMD）程序的编译器，支持在CPU和GPU上运行高性能的SIMD（单指令多数据）程序。这份用户指南详细介绍了ISPC的安装、使用方法、语言特性、并行执行模型以及与其他编程语言的互操作性。

1. ISPC简介

• ISPC是一种基于C语言的编程语言，专为高性能计算设计，支持SPMD编程模型。
• 主要目标是提供一种高性能的编程方式，利用CPU和GPU的SIMD能力，同时保持与C/C++的互操作性。
• ISPC程序可以与C/C++代码无缝集成，共享数据并通过指针直接访问。

2. ISPC的主要特性

• 高性能：通过利用硬件的SIMD能力，ISPC程序能够实现高效的并行计算。
• 语言特性：支持C语言的大部分特性，并引入了一些新的语言特性，如uniform和varying限定符，用于区分统一数据和变化数据。
• 跨平台支持：支持多种操作系统（如Windows、Linux、macOS）和硬件架构（如x86、ARM、GPU）。
• 任务并行性：支持通过launch和sync语句实现任务并行性，允许在多个处理器核心上并行执行任务。

3. 安装与使用

• 安装：提供预编译的二进制文件，用户可以将其添加到系统的PATH中。
• 编译：使用ispc命令行工具编译ISPC代码，生成目标文件或汇编代码。
• 运行：编译后的ISPC代码可以链接到C/C++程序中，并像普通函数一样调用。

4. ISPC的并行执行模型

• 程序实例和程序组：ISPC程序由多个程序实例组成，这些实例以组（gang）的形式并行执行。
• 控制流：程序实例可以独立执行不同的控制流路径，但执行效率会因控制流的发散而降低。
• 数据一致性：ISPC提供了uniform和varying限定符，用于区分全局一致的数据和每个程序实例独立的数据。

5. 语言特性

• 类型系统：支持基