[projects/pld-builder.new.git] / PLD_Builder / stopwatch.py

# vi: encoding=utf-8 ts=8 sts=4 sw=4 et

import time
import resource

class Time:
    def __init__(self):
        x = resource.getrusage(resource.RUSAGE_CHILDREN)
        self.user_time = x[0]
        self.sys_time = x[1]
        self.non_io_faults = x[6]
        self.io_faults = x[7]
        self.time = time.time()

    def sub(self, x):
        self.user_time -= x.user_time
        self.sys_time -= x.sys_time
        self.non_io_faults -= x.non_io_faults
        self.io_faults -= x.io_faults
        self.time -= x.time

    def format(self):
        return "user:%.2fs sys:%.2fs real:%.2fs (faults io:%d non-io:%d)" % \
                (self.user_time, self.sys_time, self.time, self.io_faults,
                 self.non_io_faults)

class Timer:
    def __init__(self):
        self.starts = []

    def start(self):
        self.starts.append(Time())

    def stop(self):
        tmp = Time()
        tmp.sub(self.starts.pop())
        return tmp.format()

t = Timer()

def start():
    t.start()

def stop():
    return t.stop()
Commit	Line	Data
dfff8bd5 MM	1	# vi: encoding=utf-8 ts=8 sts=4 sw=4 et
dfff8bd5 MM	2
93b720ea MM	3	import time
	4	import resource
	5
	6	class Time:
dfff8bd5 MM	7	def __init__(self):
	8	x = resource.getrusage(resource.RUSAGE_CHILDREN)
	9	self.user_time = x[0]
	10	self.sys_time = x[1]
	11	self.non_io_faults = x[6]
	12	self.io_faults = x[7]
	13	self.time = time.time()
	14
	15	def sub(self, x):
	16	self.user_time -= x.user_time
	17	self.sys_time -= x.sys_time
	18	self.non_io_faults -= x.non_io_faults
	19	self.io_faults -= x.io_faults
	20	self.time -= x.time
	21
	22	def format(self):
	23	return "user:%.2fs sys:%.2fs real:%.2fs (faults io:%d non-io:%d)" % \
e6376553	24	(self.user_time, self.sys_time, self.time, self.io_faults,
93b720ea	25	self.non_io_faults)
e6376553	26
93b720ea	27	class Timer:
dfff8bd5 MM	28	def __init__(self):
dfff8bd5 MM	29	self.starts = []
93b720ea	30
dfff8bd5 MM	31	def start(self):
dfff8bd5 MM	32	self.starts.append(Time())
93b720ea	33
dfff8bd5 MM	34	def stop(self):
	35	tmp = Time()
	36	tmp.sub(self.starts.pop())
	37	return tmp.format()
93b720ea MM	38
	39	t = Timer()
	40
	41	def start():
dfff8bd5	42	t.start()
93b720ea MM	43
93b720ea MM	44	def stop():
dfff8bd5	45	return t.stop()