转载自：http://blog.csdn.net/leonwei/article/details/8956632
这里介绍关于OpenCL中program函数的写法，program函数通常是文本形式的，然后使用clCreateProgramWithSource这样的接口load进来。在Shader编程中也经常使用这种形式书写GPU上运行的代码，所以为了表述清楚和理解方便，这里姑且把这些program函数的源码文本称为OpenCL的shader吧
下面都是写在shader中的一些语法
1 shader是类C的语言，派生自C99标准（99年ansi C接受的标准，也是C最新的标准）
不支持：
头文件、函数指针、递归、变长数组（这个VS也不支持）
额外加入的类型：
vector 类型 char2 ushaort4 int8 这些最后都会变成长度对齐的
图像类型 image2d_t image3d_t sampler_t ...
event类型 event_t(关联于API中CL_event)
2.work item和 work Group相关函数
3.vector 操作
vector的前一半为lo，后一半为hi
int4 v=(int4) 7 =(int4)(7,7,7,7)
v=(in4)(1,2,3,4)
int2 v2=v.lo ->(1,2)
v2=v.hi ->(3,4)
v2.v.odd ->(2,4)
对vector做四则运算、abs等于对每个元素分别计算
4.寻址空间描述符，写在变量的最前面，用于变量所处于的地址空间
__global
__local
__private
__constant
这四个分别对应了CL架构中的存储区域（设备全局、work group、compute unit 、设备constant）
- 前面的__也可去掉
- 目前global一定是constant的，也就是声明global时必须赋值 （global就等于 global constant）
- 不同地址空间上的指针转化是没有定义的
5.类型转换
5.1convert类型转换;这是按照变量语意的类型转换
写成convert_destType<_sat><_roundingMode>形式，
如float4 f4=(float4)(1.0f,2.0f,3.0f,4.0f)
int4 i4=convert_int4_sat_rte(f4)
destType：目标类型
_sat:超出范围自动归结为最大或最小显示的数
_roundingMode:
_rte:表示成最接近的偶数
_rtz:朝0接近
_rtp:朝正无穷大
_rtn：朝负无穷大
这里面的规则比较复杂，详见http://www.khronos.org/registry/cl/sdk/1.2/docs/man/xhtml/convert_T.html
5.2 as转换：这是根据bit值重新解释的类型转换
写成as_desttype
其中转换前后的类型的vetctor size是要一样的，desttype是目标类型，这个转换会保持bit值不变，在此基础上根据desttype重新解释数值
as转换和convert转换有着本质的区别！
如float4 f4=(float4)(1.0f,2.0f,3.0f,4.0f)
int4 i4=as_int4(f4)
6.内建函数：
6.1各种各样超多的数学函数
：详见http://www.khronos.org/registry/cl/sdk/1.2/docs/man/xhtml/的Built_in Function一节
贴个简表
6.2Work_group函数：
主要用于一个group内的computer item间的交互
- 同步函数
void barrier (cl_mem_fence_flags flags )
一个goup内的所有item必须全部执行完这个barrier函数之后才能继续进行后续的事情，也可看做这是所有item的一个同步点，不管谁快谁慢，必须到这个点停一下，大家都到了这个点之后，再继续进行。
这里的参数分两种情况：
CLK_LOCAL_MEM_FENCE和CLK_GLOBAL_MEM_FENCE
这个参数我现在也没搞得很懂，大意是加入一个mem fence保证这时loca mem或者globalmem 的同步正常，关于mem fence 的概念还要再看看opencl的描述
- 异步的内存copy和prefetch函数
async_work_group_copy：他会完成global与local之间的异步的内存拷贝，这种拷贝可能会使用DMA 引擎的（DMA的数据传输不使用传统的硬件中断，会很快），这个函数是异步的，所以会返回一个事件event_t用于同步
使用wait_group_events函数来等待上面的event返回，用于同步
async_work_group_strided_copy：文档上说它用于gather数据从src到dest，但是文档中gather的意思不能让人很好的理解，仔细的分析一下，这个函数同 async_work_group_copy的差异在于stride，他也是完成异步的拷贝，但是它可以从src抽取一部分域出来到dst中。例如在图形学中我们经常用一个大数组表示颜色、法向、纹理坐标等等，他们是连在一起的，如{color1,ccolor2,color3,tex0,tex1,color1,color2,color3,text0,tex1,....},这时我们需要抽取其中的color信息出来，那就要用到这个stride copy。