Efficient fine grained shared buffer management for multiple OpenCL devices