异构编程的原理是什么呢？以opencl为例，写好的.cl文件需要通过opencl的接口compile成bin（或称某种形式的二进制）文件，再load进opencl，需要用到某个内核函数时，再加入到opencl的队列。其中涉及到两个问题，opencl编译出来的二进制文件是怎么放到设备上运行起来的？设备上的程序是怎么链接到那些二进制文件里的函数的呢？

首先来看异构编程的定义和原理：

异构编程是指使用不同的编程语言、框架和硬件，做软件开发，以达到更好的性能和可扩展性。

异构编程的原理包括以下几点：

分析问题：一般来说，不同的编程语言和硬件都有各自的优缺点，要根据具体问题的性质和需求选择合适的方案。

接口设计：在异构编程中不同的组件要进行通信和交互，需要设计好软件接口，以确保各组件之间的数据传递和信息流动。

数据格式转换：不同的编程语言和框架可能使用不同的数据格式，需要进行数据格式转换以保证数据的正确性和完整性。

调试和优化：由于异构编程涉及到各种不同的组件和技术，需要进行精细的调试和优化，以保证整个系统的性能和稳定性。

在OpenCL中，主机(Host)上通过.cl文件编译出来的kernel函数实际上被编译为GPU设备(Device)可以执行的二进制代码。编译后的二进制代码会被保存在一个OpenCL程序对象(Program Object)中，并且可以被主机和设备共享使用。

主机和设备之间的通信是通过命令队列(Command Queue)来实现的。主机可以向命令队列中添加一系列的命令，这些命令包括对于设备的内存读写、对于kernel函数的调用等。当主机向命令队列中添加一个kernel函数调用命令时，设备就会自动加载并执行对应的二进制代码。

对于OpenCL程序对象(Program Object)，它是由一组二进制代码组成的，这些二进制代码可以在多个设备上执行，因此OpenCL程序对象必须是可移植的。OpenCL标准并没有规定OpenCL程序对象的二进制格式，因此OpenCL程序对象的形式可能因硬件、操作系统以及OpenCL实现的不同而异。

那么OpenCL程序对象的二进制格式应该满足什么条件呢？ 一般来说要满足以下几个要求：

可移植性：OpenCL程序对象应该是可移植的，可以在多个OpenCL设备和不同的操作系统上运行。

动态加载：OpenCL程序对象应该能够在运行时动态加载，以便主机和设备可以实现共享该对象。

动态链接：OpenCL程序对象应该能够在运行时动态链接，以便主机和设备可以解析和使用该对象中的符号。

总的来说，OpenCL程序对象应该是一个可移植、可动态加载、可动态链接的二进制格式，以便主机和设备可以共享和使用。但是，具体的二进制格式是由OpenCL实现商自行决定的，并不受标准化的限制。