source: src/libcfa/time@ bc03be3

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum with_gc
Last change on this file since bc03be3 was bc03be3, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

formatting, remove convert of timeval/timespec to Duration, adjust preemption alarm
  • Property mode set to 100644
File size: 14.7 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// time --
8//
9// Author : Peter A. Buhr
10// Created On : Wed Mar 14 23:18:57 2018
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Apr 4 16:28:48 2018
13// Update Count : 595
14//
15
16#pragma once
17
18// http://en.cppreference.com/w/cpp/header/chrono
19// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0355r5.html#refcc
20
21#include <time.h> // timespec
22extern "C" {
23#include <sys/time.h> // timeval
24}
25#include <iostream> // istype/ostype
26
27enum { TIMEGRAN = 1_000_000_000LL }; // nanosecond granularity, except for timeval
28
29
30//######################### timeval #########################
31
32static inline void ?{}( timeval & t ) {}
33static inline void ?{}( timeval & t, time_t sec, suseconds_t usec ) { t.tv_sec = sec; t.tv_usec = usec; }
34static inline void ?{}( timeval & t, time_t sec ) { t{ sec, 0 }; }
35static inline void ?{}( timeval & t, zero_t ) { t{ 0, 0 }; }
36static inline timeval ?=?( timeval & t, zero_t ) { return t{ 0 }; }
37static inline timeval ?+?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_usec + rhs.tv_usec }; }
38static inline timeval ?-?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_usec - rhs.tv_usec }; }
39static inline _Bool ?==?( timeval lhs, timeval rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_usec == rhs.tv_usec; }
40static inline _Bool ?!=?( timeval lhs, timeval rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_usec != rhs.tv_usec; }
41
42
43//######################### timespec #########################
44
45static inline void ?{}( timespec & t ) {}
46static inline void ?{}( timespec & t, time_t sec, __syscall_slong_t nsec ) { t.tv_sec = sec; t.tv_nsec = nsec; }
47static inline void ?{}( timespec & t, time_t sec ) { t{ sec, 0}; }
48static inline void ?{}( timespec & t, zero_t ) { t{ 0, 0 }; }
49static inline timespec ?=?( timespec & t, zero_t ) { return t{ 0 }; }
50static inline timespec ?+?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_nsec + rhs.tv_nsec }; }
51static inline timespec ?-?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_nsec - rhs.tv_nsec }; }
52static inline _Bool ?==?( timespec lhs, timespec rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_nsec == rhs.tv_nsec; }
53static inline _Bool ?!=?( timespec lhs, timespec rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_nsec != rhs.tv_nsec; }
54
55
56//######################### C time #########################
57
58static inline char * ctime( time_t tp ) { char * buf = ctime( &tp ); buf[24] = '\0'; return buf; }
59static inline char * ctime_r( time_t tp, char * buf ) { ctime_r( &tp, buf ); buf[24] = '\0'; return buf; }
60static inline tm * gmtime( time_t tp ) { return gmtime( &tp ); }
61static inline tm * gmtime_r( time_t tp, tm * result ) { return gmtime_r( &tp, result ); }
62static inline tm * localtime( time_t tp ) { return localtime( &tp ); }
63static inline tm * localtime_r( time_t tp, tm * result ) { return localtime_r( &tp, result ); }
64
65
66//######################### Duration #########################
67
68struct Duration {
69 int64_t tv; // nanoseconds
70}; // Duration
71
72static inline void ?{}( Duration & dur ) with( dur ) { tv = 0; }
73static inline void ?{}( Duration & dur, Duration d ) with( dur ) { tv = d.tv; }
74static inline void ?{}( Duration & dur, zero_t ) with( dur ) { tv = 0; }
75static inline Duration ?=?( Duration & dur, zero_t ) { return dur{ 0 }; }
76
77#if 0
78static inline void ?{}( Duration & dur, timeval t ) with( dur ) {
79 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000;
80} // Duration
81
82static inline void ?{}( Duration & dur, timespec t ) with( dur ) {
83 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
84} // Duration
85
86static inline Duration ?=?( Duration & dur, timeval t ) with( dur ) {
87 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000;
88 return dur;
89} // ?=?
90
91static inline Duration ?=?( Duration & dur, timespec t ) with( dur ) {
92 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
93 return dur;
94} // ?=? timespec
95
96//------------------------- timeval (cont) -------------------------
97
98static inline void ?{}( timeval & t, Duration dur ) with( dur ) {
99 t.tv_sec = tv / TIMEGRAN; // seconds
100 t.tv_usec = tv % TIMEGRAN / (TIMEGRAN / 1_000_000LL); // microseconds
101} // ?{}
102
103//------------------------- timespec (cont) -------------------------
104
105static inline void ?{}( timespec & t, Duration dur ) with( dur ) {
106 t.tv_sec = tv / TIMEGRAN; // seconds
107 t.tv_nsec = tv % TIMEGRAN; // nanoseconds
108} // Timespec
109
110static inline int64_t nsecs( Duration dur ) with( dur ) { return tv; }
111#endif
112
113static inline Duration +?( Duration rhs ) with( rhs ) { return (Duration)@{ +tv }; }
114static inline Duration ?+?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv + rhs.tv }; }
115static inline Duration ?+=?( Duration & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
116
117static inline Duration -?( Duration rhs ) with( rhs ) { return (Duration)@{ -tv }; }
118static inline Duration ?-?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
119static inline Duration ?-=?( Duration & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
120
121static inline Duration ?*?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv * rhs }; }
122static inline Duration ?*?( int64_t lhs, Duration rhs ) { return (Duration)@{ lhs * rhs.tv }; }
123static inline Duration ?*=?( Duration & lhs, int64_t rhs ) { lhs = lhs * rhs; return lhs; }
124
125static inline int64_t ?/?( Duration lhs, Duration rhs ) { return lhs.tv / rhs.tv; }
126static inline Duration ?/?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv / rhs }; }
127static inline Duration ?/=?( Duration & lhs, int64_t rhs ) { lhs = lhs / rhs; return lhs; }
128
129static inline Duration ?%?( Duration lhs, Duration rhs ) { return (Duration)@{ lhs.tv % rhs.tv }; }
130static inline Duration ?%=?( Duration & lhs, Duration rhs ) { lhs = lhs % rhs; return lhs; }
131
132static inline _Bool ?==?( Duration lhs, Duration rhs ) { return lhs.tv == rhs.tv; }
133static inline _Bool ?!=?( Duration lhs, Duration rhs ) { return lhs.tv != rhs.tv; }
134static inline _Bool ?<? ( Duration lhs, Duration rhs ) { return lhs.tv < rhs.tv; }
135static inline _Bool ?<=?( Duration lhs, Duration rhs ) { return lhs.tv <= rhs.tv; }
136static inline _Bool ?>? ( Duration lhs, Duration rhs ) { return lhs.tv > rhs.tv; }
137static inline _Bool ?>=?( Duration lhs, Duration rhs ) { return lhs.tv >= rhs.tv; }
138
139static inline _Bool ?==?( Duration lhs, zero_t ) { return lhs.tv == 0; }
140static inline _Bool ?!=?( Duration lhs, zero_t ) { return lhs.tv != 0; }
141static inline _Bool ?<? ( Duration lhs, zero_t ) { return lhs.tv < 0; }
142static inline _Bool ?<=?( Duration lhs, zero_t ) { return lhs.tv <= 0; }
143static inline _Bool ?>? ( Duration lhs, zero_t ) { return lhs.tv > 0; }
144static inline _Bool ?>=?( Duration lhs, zero_t ) { return lhs.tv >= 0; }
145
146static inline Duration abs( Duration rhs ) { return rhs.tv >= 0 ? rhs : -rhs; }
147
148forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype & os, Duration dur );
149
150static inline Duration ?`ns( int64_t nsec ) { return (Duration)@{ nsec }; }
151static inline Duration ?`us( int64_t usec ) { return (Duration)@{ usec * (TIMEGRAN / 1_000_000LL) }; }
152static inline Duration ?`ms( int64_t msec ) { return (Duration)@{ msec * (TIMEGRAN / 1_000LL) }; }
153static inline Duration ?`s ( int64_t sec ) { return (Duration)@{ sec * TIMEGRAN }; }
154static inline Duration ?`s ( double sec ) { return (Duration)@{ sec * TIMEGRAN }; }
155static inline Duration ?`m ( int64_t min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
156static inline Duration ?`m ( double min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
157static inline Duration ?`h ( int64_t hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
158static inline Duration ?`h ( double hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
159static inline Duration ?`d ( int64_t days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
160static inline Duration ?`d ( double days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
161static inline Duration ?`w ( int64_t weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
162static inline Duration ?`w ( double weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
163//static inline Duration ?`f ( int64_t fortnight ) { return (Duration)@{ fortnight * (14LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
164//static inline Duration ?`f ( double fortnight ) { return (Duration)@{ fortnight * (14LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
165
166static inline int64_t ?`ns ( Duration dur ) { return dur.tv; }
167static inline int64_t ?`us ( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000_000LL); }
168static inline int64_t ?`ms ( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000LL); }
169static inline int64_t ?`s ( Duration dur ) { return dur.tv / TIMEGRAN; }
170static inline int64_t ?`m ( Duration dur ) { return dur.tv / (60LL * TIMEGRAN); }
171static inline int64_t ?`h ( Duration dur ) { return dur.tv / (60LL * 60LL * TIMEGRAN); }
172static inline int64_t ?`d ( Duration dur ) { return dur.tv / (24LL * 60LL * 60LL * TIMEGRAN); }
173static inline int64_t ?`w ( Duration dur ) { return dur.tv / (7LL * 24LL * 60LL * 60LL * TIMEGRAN); }
174static inline int64_t ?`f ( Duration dur ) { return dur.tv / (14LL * 24LL * 60LL * 60LL * TIMEGRAN); }
175
176
177//######################### Time #########################
178
179struct Time {
180 uint64_t tv; // nanoseconds since UNIX epoch
181};
182
183static inline void ?{}( Time & t ) with( t ) {
184 tv = 0;
185} // Time
186
187void ?{}( Time & time, int year, int month, int day, int hour, int min, int sec, int nsec );
188
189static inline void ?{}( Time & time, int year, int month, int day, int hour, int min, int sec ) {
190 time{ year, month, day, hour, min, sec, 0 };
191} // Time
192
193static inline void ?{}( Time & time, int year, int month, int day, int hour, int min ) {
194 time{ year, month, day, hour, min, 0, 0 };
195} // Time
196
197static inline void ?{}( Time & time, int year, int month, int day, int hour ) {
198 time{ year, month, day, hour, 0, 0, 0 };
199} // Time
200
201static inline void ?{}( Time & time, int year, int month, int day ) {
202 time{ year, month, day, 0, 0, 0, 0 };
203} // Time
204
205static inline void ?{}( Time & time, int year, int month ) {
206 time{ year, month, 0, 0, 0, 0, 0 };
207} // Time
208
209static inline void ?{}( Time & time, int year ) {
210 time{ year, 0, 0, 0, 0, 0, 0 };
211} // Time
212
213static inline void ?{}( Time & t, zero_t ) { t.tv = 0; }
214static inline Time ?=?( Time & t, zero_t ) { return t{ 0 }; }
215
216static inline void ?{}( Time & time, timeval t ) with( time ) {
217 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000;
218} // Time
219
220static inline Time ?=?( Time & time, timeval t ) with( time ) {
221 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * (TIMEGRAN / 1_000_000LL);
222 return time;
223} // ?=?
224
225static inline void ?{}( Time & time, timespec t ) with( time ) {
226 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
227} // Time
228
229static inline Time ?=?( Time & time, timespec t ) with( time ) {
230 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
231 return time;
232} // ?=?
233
234static inline Time ?+?( Time & lhs, Duration rhs ) { return (Time)@{ lhs.tv + rhs.tv }; }
235static inline Time ?+?( Duration lhs, Time rhs ) { return rhs + lhs; }
236static inline Time ?+=?( Time & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
237
238static inline Duration ?-?( Time lhs, Time rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
239static inline Time ?-?( Time lhs, Duration rhs ) { return (Time)@{ lhs.tv - rhs.tv }; }
240static inline Time ?-=?( Time & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
241static inline _Bool ?==?( Time lhs, Time rhs ) { return lhs.tv == rhs.tv; }
242static inline _Bool ?!=?( Time lhs, Time rhs ) { return lhs.tv != rhs.tv; }
243static inline _Bool ?<?( Time lhs, Time rhs ) { return lhs.tv < rhs.tv; }
244static inline _Bool ?<=?( Time lhs, Time rhs ) { return lhs.tv <= rhs.tv; }
245static inline _Bool ?>?( Time lhs, Time rhs ) { return lhs.tv > rhs.tv; }
246static inline _Bool ?>=?( Time lhs, Time rhs ) { return lhs.tv >= rhs.tv; }
247
248char * yy_mm_dd( Time time, char * buf );
249static inline char * ?`ymd( Time time, char * buf ) {
250 return yy_mm_dd( time, buf );
251} // ymd
252
253char * mm_dd_yy( Time time, char * buf );
254static inline char * ?`mdy( Time time, char * buf ) {
255 return mm_dd_yy( time, buf );
256} // mdy
257
258char * dd_mm_yy( Time time, char * buf );
259static inline char * ?`dmy( Time time, char * buf ) {
260 return dd_mm_yy( time, buf );;
261} // dmy
262
263size_t strftime( char * buf, size_t size, const char * fmt, Time time );
264
265forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype & os, Time time );
266
267//------------------------- timeval (cont) -------------------------
268
269static inline void ?{}( timeval & t, Time time ) with( t, time ) {
270 tv_sec = tv / TIMEGRAN; // seconds
271 tv_usec = tv % TIMEGRAN / (TIMEGRAN / 1_000_000LL); // microseconds
272} // ?{}
273
274//------------------------- timespec (cont) -------------------------
275
276static inline void ?{}( timespec & t, Time time ) with( t, time ) {
277 tv_sec = tv / TIMEGRAN; // seconds
278 tv_nsec = tv % TIMEGRAN; // nanoseconds
279} // ?{}
280
281
282//######################### Clock #########################
283
284struct Clock {
285 Duration offset; // for virtual clock: contains offset from real-time
286 int clocktype; // implementation only -1 (virtual), CLOCK_REALTIME
287};
288
289static inline void resetClock( Clock & clk ) with( clk ) {
290 clocktype = CLOCK_REALTIME_COARSE;
291} // Clock::resetClock
292
293static inline void resetClock( Clock & clk, Duration adj ) with( clk ) {
294 clocktype = -1;
295 offset = adj + timezone`s; // timezone is (UTC - local time) in seconds
296} // resetClock
297
298static inline void ?{}( Clock & clk ) {
299 resetClock( clk );
300} // Clock
301
302static inline void ?{}( Clock & clk, Duration adj ) {
303 resetClock( clk, adj );
304} // Clock
305
306static inline Duration getRes() {
307 struct timespec res;
308 clock_getres( CLOCK_REALTIME_COARSE, &res );
309 return ((int64_t)res.tv_sec * TIMEGRAN + res.tv_nsec)`ns;
310} // getRes
311
312static inline Time getTimeNsec() { // with nanoseconds
313 timespec curr;
314 clock_gettime( CLOCK_REALTIME_COARSE, &curr );
315 return (Time){ curr };
316} // getTime
317
318static inline Time getTime() { // without nanoseconds
319 timespec curr;
320 clock_gettime( CLOCK_REALTIME_COARSE, &curr );
321 curr.tv_nsec = 0;
322 return (Time){ curr };
323} // getTime
324
325static inline Time getTime( Clock & clk ) with( clk ) {
326 return getTime() + offset;
327} // getTime
328
329static inline Time ?()( Clock & clk ) with( clk ) { // alternative syntax
330 return getTime() + offset;
331} // getTime
332
333static inline timeval getTime( Clock & clk ) {
334 return (timeval){ clk() };
335} // getTime
336
337static inline tm getTime( Clock & clk ) with( clk ) {
338 tm ret;
339 localtime_r( getTime( clk ).tv_sec, &ret );
340 return ret;
341} // getTime
342
343// Local Variables: //
344// mode: c //
345// tab-width: 4 //
346// End: //
Note: See TracBrowser for help on using the repository browser.