TaskInfo(CloudTask *ct, double release_time, double due_time)
double getServerFinishTime()
void finalizeDcExitTime(double time)
ResourceProvider * getResourceProvider()
void setServerFinishTime(double time)
double server_finish_time_
void setResourceProvider(ResourceProvider *rp)