polyml/libpolyml/statistics.cpp

142 Statistics::Statistics(): accessLock("Statistics")
168 void Statistics::Init()
270 void Statistics::addCounter(int cEnum, unsigned statId, const char *name)
305 void Statistics::addSize(int cEnum, unsigned statId, const char *name)
339 void Statistics::addTime(int cEnum, unsigned statId, const char *name)
377 void Statistics::addUser(int n, unsigned statId, const char *name)
409 Statistics::~Statistics()
432 void Statistics::incCount(int which)
446 void Statistics::decCount(int which)
462 size_t Statistics::getSizeWithLock(int which)
471 void Statistics::setSizeWithLock(int which, size_t s)
481 void Statistics::setSize(int which, size_t s)
490 void Statistics::incSize(int which, size_t s)
499 void Statistics::decSize(int which, size_t s)
508 size_t Statistics::getSize(int which)
518 void Statistics::setTimeValue(int which, unsigned long secs, unsigned long usecs)
540 void Statistics::copyGCTimes(const FILETIME &gcUtime, const FILETIME &gcStime)
554 void Statistics::copyGCTimes(const struct timeval &gcUtime, const struct timeval &gcStime)
565 void Statistics::updatePeriodicStats(POLYUNSIGNED freeWords, unsigned threadsInML)
602 void Statistics::setUserCounter(unsigned which, POLYSIGNED value)
617 Handle Statistics::returnStatistics(TaskData *taskData, unsigned char *stats)
642 Handle Statistics::getLocalStatistics(TaskData *taskData)
650 Handle Statistics::getRemoteStatistics(TaskData *taskData, POLYUNSIGNED pid)
667         raise_exception_string(taskData, EXC_Fail, "Statistics data malformed");
710         raise_exception_string(taskData, EXC_Fail, "Statistics data malformed");
723 Statistics globalStats;