OpenCL具有良好的功能移植性,是主从结构异构多设备系统的理想编程模型。然而,要充分利用整个异构系统的计算能力,程序员需要显式的分配各个设备的负载,控制设备间的数据传输等等,这些工作无疑增加了程序员的负担。本文提出了多OpenCL设备共享存储(OMSM),通过Runtime对共享存储的支持使得程序员不需要显示的控制数据传输。OMSM主要任务有两个:一个是任务划分,一个是存储管理。这两个任务能够自动化的根本原因在于OpenCL编程模型中工作组的独立性:索引空间中的工作组的独立性使得划分任务得以简化成分配不同数量的工作组,同时,使得工作组写数据区域不能重叠,从而使得工作组的访问区域较为规则。访存分析的自动化是整个系统自动化的关键。本文首先分析了工作组的访存模式,结合kernel程序的特点,提出了带约束的线性的抽象描述来刻画kernel程序工作组的访存模式。为了高效的操作抽象描述,我们设计了求交、归一化、独立变量消除、合并和求解操作,并基于LLVM开源的编译器框架实现了访存模式的自动分析工具。获取访存信息之后,OMSM的Runtime在执行时有两个阶段:一个是通过对系统内各个设备Profiling来使得负载均衡,另一个是通过段表来描述数据在多个设备间的分布情况,自动控制数据传输。实验结果表明,OMSM的对于没有间接访问的kernel有很高的适用性,同时在同构多设备和异构多设备平台上都获得了较高的性能提升。