Commit cfe8534c39dd867ed1c35da6ec24ccb66e2be015
2011-08-15T22:07:28
Partial restart of threads has proven to be unsuccessful so reinstate device re-initialisation to restart GPUs. Do this by having a reinit thread that is told via a queue which device to restart. If this thread fails to return from opencl code, it should not interrupt the workings of other devices.