Diff of /sml/trunk/src/system/Basis/Implementation/internal-timer.sml

Parent Directory | Revision Log | Patch

	revision 1504, Fri Jun 4 15:59:52 2004 UTC	revision 1505, Thu Jun 17 20:41:47 2004 UTC
#	Line 61	Line 61
61	val op ++ = usop Time.+	val op ++ = usop Time.+
62	in	in
63
64	fun checkCPUTimer (CPUT t) = let	fun checkCPUTimes (CPUT t) = let
65	val t' = getTime ()	val t' = getTime ()
66	in	in
67	#nongc t' ++ #gc t' -- #nongc t -- #gc t	{ nongc = #nongc t' -- #nongc t, gc = #gc t' -- #gc t }
68	end	end
69
70	fun checkGCTime (CPUT t) = let	fun checkCPUTimer tmr = let
71	val t' = getTime ()	val t = checkCPUTimes tmr
72	in	in
73	{ nongc = #nongc t' -- #nongc t, gc = #gc t' -- #gc t }	#nongc t ++ #gc t
74	end	end
75
76		fun checkGCTime (CPUT t) = Time.- (#usr (#gc (getTime ())), #usr (#gc t))
77
78	end (* local *)	end (* local *)
79
80	fun checkRealTimer (RealT t) = Time.-(Time.now(), t)	fun checkRealTimer (RealT t) = Time.-(Time.now(), t)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1504   changed lines   Added in v.1505

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0