 			}
 		}
 		result_available = false;
+		cuPrintf("getValue lock_thread_id: %d result_available: %s\n",
+				lock_thread_id, (result_available) ? "true" : "false");
 
 		return result_int;
 	}


	// init host_kernelWrapper
	h_kernelWrapper->init();
	h_kernelWrapper->startMonitor();

	// wait for kernelWrapper monitoring
	while (!h_kernelWrapper->is_monitoring) {

				lock_thread_id, (has_task) ? "true" : "false");
	}

	void start_monitoring() {
		printf("KernelWrapper start monitor thread\n");
		pthread_create(&t_monitor, NULL, &KernelWrapper::thread, this);
	}

