source: src/libcfa/time@ 0f56058

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 0f56058 was 0f56058, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

divide "time" into type and functions
  • Property mode set to 100644
File size: 12.8 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 : Tue Apr 10 17:25:34 2018
13// Update Count : 622
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#include <time_t.h> // Duration (constructors) / Time (constructors)
30
31//######################### Duration #########################
32
33static inline Duration ?=?( Duration & dur, zero_t ) { return dur{ 0 }; }
34
35static inline Duration +?( Duration rhs ) with( rhs ) { return (Duration)@{ +tv }; }
36static inline Duration ?+?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv + rhs.tv }; }
37static inline Duration ?+=?( Duration & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
38
39static inline Duration -?( Duration rhs ) with( rhs ) { return (Duration)@{ -tv }; }
40static inline Duration ?-?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
41static inline Duration ?-=?( Duration & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
42
43static inline Duration ?*?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv * rhs }; }
44static inline Duration ?*?( int64_t lhs, Duration rhs ) { return (Duration)@{ lhs * rhs.tv }; }
45static inline Duration ?*=?( Duration & lhs, int64_t rhs ) { lhs = lhs * rhs; return lhs; }
46
47static inline int64_t ?/?( Duration lhs, Duration rhs ) { return lhs.tv / rhs.tv; }
48static inline Duration ?/?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv / rhs }; }
49static inline Duration ?/=?( Duration & lhs, int64_t rhs ) { lhs = lhs / rhs; return lhs; }
50static inline double div( Duration lhs, Duration rhs ) { return (double)lhs.tv / (double)rhs.tv; }
51
52static inline Duration ?%?( Duration lhs, Duration rhs ) { return (Duration)@{ lhs.tv % rhs.tv }; }
53static inline Duration ?%=?( Duration & lhs, Duration rhs ) { lhs = lhs % rhs; return lhs; }
54
55static inline _Bool ?==?( Duration lhs, Duration rhs ) { return lhs.tv == rhs.tv; }
56static inline _Bool ?!=?( Duration lhs, Duration rhs ) { return lhs.tv != rhs.tv; }
57static inline _Bool ?<? ( Duration lhs, Duration rhs ) { return lhs.tv < rhs.tv; }
58static inline _Bool ?<=?( Duration lhs, Duration rhs ) { return lhs.tv <= rhs.tv; }
59static inline _Bool ?>? ( Duration lhs, Duration rhs ) { return lhs.tv > rhs.tv; }
60static inline _Bool ?>=?( Duration lhs, Duration rhs ) { return lhs.tv >= rhs.tv; }
61
62static inline _Bool ?==?( Duration lhs, zero_t ) { return lhs.tv == 0; }
63static inline _Bool ?!=?( Duration lhs, zero_t ) { return lhs.tv != 0; }
64static inline _Bool ?<? ( Duration lhs, zero_t ) { return lhs.tv < 0; }
65static inline _Bool ?<=?( Duration lhs, zero_t ) { return lhs.tv <= 0; }
66static inline _Bool ?>? ( Duration lhs, zero_t ) { return lhs.tv > 0; }
67static inline _Bool ?>=?( Duration lhs, zero_t ) { return lhs.tv >= 0; }
68
69static inline Duration abs( Duration rhs ) { return rhs.tv >= 0 ? rhs : -rhs; }
70
71forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype & os, Duration dur );
72
73static inline Duration ?`ns( int64_t nsec ) { return (Duration)@{ nsec }; }
74static inline Duration ?`us( int64_t usec ) { return (Duration)@{ usec * (TIMEGRAN / 1_000_000LL) }; }
75static inline Duration ?`ms( int64_t msec ) { return (Duration)@{ msec * (TIMEGRAN / 1_000LL) }; }
76static inline Duration ?`s( int64_t sec ) { return (Duration)@{ sec * TIMEGRAN }; }
77static inline Duration ?`s( double sec ) { return (Duration)@{ sec * TIMEGRAN }; }
78static inline Duration ?`m( int64_t min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
79static inline Duration ?`m( double min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
80static inline Duration ?`h( int64_t hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
81static inline Duration ?`h( double hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
82static inline Duration ?`d( int64_t days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
83static inline Duration ?`d( double days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
84static inline Duration ?`w( int64_t weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
85static inline Duration ?`w( double weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
86
87static inline int64_t ?`ns( Duration dur ) { return dur.tv; }
88static inline int64_t ?`us( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000_000LL); }
89static inline int64_t ?`ms( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000LL); }
90static inline int64_t ?`s( Duration dur ) { return dur.tv / TIMEGRAN; }
91static inline int64_t ?`m( Duration dur ) { return dur.tv / (60LL * TIMEGRAN); }
92static inline int64_t ?`h( Duration dur ) { return dur.tv / (60LL * 60LL * TIMEGRAN); }
93static inline int64_t ?`d( Duration dur ) { return dur.tv / (24LL * 60LL * 60LL * TIMEGRAN); }
94static inline int64_t ?`w( Duration dur ) { return dur.tv / (7LL * 24LL * 60LL * 60LL * TIMEGRAN); }
95
96
97//######################### C timeval #########################
98
99static inline void ?{}( timeval & t ) {}
100static inline void ?{}( timeval & t, time_t sec, suseconds_t usec ) { t.tv_sec = sec; t.tv_usec = usec; }
101static inline void ?{}( timeval & t, time_t sec ) { t{ sec, 0 }; }
102static inline void ?{}( timeval & t, zero_t ) { t{ 0, 0 }; }
103static inline timeval ?=?( timeval & t, zero_t ) { return t{ 0 }; }
104static inline timeval ?+?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_usec + rhs.tv_usec }; }
105static inline timeval ?-?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_usec - rhs.tv_usec }; }
106static inline _Bool ?==?( timeval lhs, timeval rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_usec == rhs.tv_usec; }
107static inline _Bool ?!=?( timeval lhs, timeval rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_usec != rhs.tv_usec; }
108
109
110//######################### C timespec #########################
111
112static inline void ?{}( timespec & t ) {}
113static inline void ?{}( timespec & t, time_t sec, __syscall_slong_t nsec ) { t.tv_sec = sec; t.tv_nsec = nsec; }
114static inline void ?{}( timespec & t, time_t sec ) { t{ sec, 0}; }
115static inline void ?{}( timespec & t, zero_t ) { t{ 0, 0 }; }
116static inline timespec ?=?( timespec & t, zero_t ) { return t{ 0 }; }
117static inline timespec ?+?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_nsec + rhs.tv_nsec }; }
118static inline timespec ?-?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_nsec - rhs.tv_nsec }; }
119static inline _Bool ?==?( timespec lhs, timespec rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_nsec == rhs.tv_nsec; }
120static inline _Bool ?!=?( timespec lhs, timespec rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_nsec != rhs.tv_nsec; }
121
122
123//######################### C itimerval #########################
124
125static inline void ?{}( itimerval & itv, Duration alarm ) with( itv ) {
126 // itimerval contains durations but but uses time data-structure timeval.
127 it_value{ alarm`s, (alarm % 1`s)`us }; // seconds, microseconds
128 it_interval{ 0 }; // 0 seconds, 0 microseconds
129} // itimerval
130
131static inline void ?{}( itimerval & itv, Duration alarm, Duration interval ) with( itv ) {
132 // itimerval contains durations but but uses time data-structure timeval.
133 it_value{ alarm`s, (alarm % 1`s)`us }; // seconds, microseconds
134 it_interval{ interval`s, interval`us }; // seconds, microseconds
135} // itimerval
136
137
138//######################### C time #########################
139
140static inline char * ctime( time_t tp ) { char * buf = ctime( &tp ); buf[24] = '\0'; return buf; }
141static inline char * ctime_r( time_t tp, char * buf ) { ctime_r( &tp, buf ); buf[24] = '\0'; return buf; }
142static inline tm * gmtime( time_t tp ) { return gmtime( &tp ); }
143static inline tm * gmtime_r( time_t tp, tm * result ) { return gmtime_r( &tp, result ); }
144static inline tm * localtime( time_t tp ) { return localtime( &tp ); }
145static inline tm * localtime_r( time_t tp, tm * result ) { return localtime_r( &tp, result ); }
146
147
148//######################### Time #########################
149
150static inline Time ?=?( Time & t, zero_t ) { return t{ 0 }; }
151
152static inline void ?{}( Time & time, timeval t ) with( time ) {
153 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000;
154} // Time
155
156static inline Time ?=?( Time & time, timeval t ) with( time ) {
157 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * (TIMEGRAN / 1_000_000LL);
158 return time;
159} // ?=?
160
161static inline void ?{}( Time & time, timespec t ) with( time ) {
162 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
163} // Time
164
165static inline Time ?=?( Time & time, timespec t ) with( time ) {
166 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
167 return time;
168} // ?=?
169
170static inline Time ?+?( Time & lhs, Duration rhs ) { return (Time)@{ lhs.tv + rhs.tv }; }
171static inline Time ?+?( Duration lhs, Time rhs ) { return rhs + lhs; }
172static inline Time ?+=?( Time & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
173
174static inline Duration ?-?( Time lhs, Time rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
175static inline Time ?-?( Time lhs, Duration rhs ) { return (Time)@{ lhs.tv - rhs.tv }; }
176static inline Time ?-=?( Time & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
177static inline _Bool ?==?( Time lhs, Time rhs ) { return lhs.tv == rhs.tv; }
178static inline _Bool ?!=?( Time lhs, Time rhs ) { return lhs.tv != rhs.tv; }
179static inline _Bool ?<?( Time lhs, Time rhs ) { return lhs.tv < rhs.tv; }
180static inline _Bool ?<=?( Time lhs, Time rhs ) { return lhs.tv <= rhs.tv; }
181static inline _Bool ?>?( Time lhs, Time rhs ) { return lhs.tv > rhs.tv; }
182static inline _Bool ?>=?( Time lhs, Time rhs ) { return lhs.tv >= rhs.tv; }
183
184char * yy_mm_dd( Time time, char * buf );
185static inline char * ?`ymd( Time time, char * buf ) { // short form
186 return yy_mm_dd( time, buf );
187} // ymd
188
189char * mm_dd_yy( Time time, char * buf );
190static inline char * ?`mdy( Time time, char * buf ) { // short form
191 return mm_dd_yy( time, buf );
192} // mdy
193
194char * dd_mm_yy( Time time, char * buf );
195static inline char * ?`dmy( Time time, char * buf ) { // short form
196 return dd_mm_yy( time, buf );;
197} // dmy
198
199size_t strftime( char * buf, size_t size, const char * fmt, Time time );
200
201forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype & os, Time time );
202
203//------------------------- timeval (cont) -------------------------
204
205static inline void ?{}( timeval & t, Time time ) with( t, time ) {
206 tv_sec = tv / TIMEGRAN; // seconds
207 tv_usec = tv % TIMEGRAN / (TIMEGRAN / 1_000_000LL); // microseconds
208} // ?{}
209
210//------------------------- timespec (cont) -------------------------
211
212static inline void ?{}( timespec & t, Time time ) with( t, time ) {
213 tv_sec = tv / TIMEGRAN; // seconds
214 tv_nsec = tv % TIMEGRAN; // nanoseconds
215} // ?{}
216
217
218//######################### Clock #########################
219
220struct Clock { // private
221 Duration offset; // for virtual clock: contains offset from real-time
222 int clocktype; // implementation only -1 (virtual), CLOCK_REALTIME
223};
224
225static inline void resetClock( Clock & clk ) with( clk ) {
226 clocktype = CLOCK_REALTIME_COARSE;
227} // Clock::resetClock
228
229static inline void resetClock( Clock & clk, Duration adj ) with( clk ) {
230 clocktype = -1;
231 offset = adj + timezone`s; // timezone (global) is (UTC - local time) in seconds
232} // resetClock
233
234static inline void ?{}( Clock & clk ) { resetClock( clk ); }
235static inline void ?{}( Clock & clk, Duration adj ) { resetClock( clk, adj ); }
236
237static inline Duration getRes() {
238 struct timespec res;
239 clock_getres( CLOCK_REALTIME_COARSE, &res );
240 return ((int64_t)res.tv_sec * TIMEGRAN + res.tv_nsec)`ns;
241} // getRes
242
243static inline Time getTimeNsec() { // with nanoseconds
244 timespec curr;
245 clock_gettime( CLOCK_REALTIME_COARSE, &curr );
246 return (Time){ curr };
247} // getTime
248
249static inline Time getTime() { // without nanoseconds
250 timespec curr;
251 clock_gettime( CLOCK_REALTIME_COARSE, &curr );
252 curr.tv_nsec = 0;
253 return (Time){ curr };
254} // getTime
255
256static inline Time getTime( Clock & clk ) with( clk ) {
257 return getTime() + offset;
258} // getTime
259
260static inline Time ?()( Clock & clk ) with( clk ) { // alternative syntax
261 return getTime() + offset;
262} // getTime
263
264static inline timeval getTime( Clock & clk ) {
265 return (timeval){ clk() };
266} // getTime
267
268static inline tm getTime( Clock & clk ) with( clk ) {
269 tm ret;
270 localtime_r( getTime( clk ).tv_sec, &ret );
271 return ret;
272} // getTime
273
274// Local Variables: //
275// mode: c //
276// tab-width: 4 //
277// End: //
Note: See TracBrowser for help on using the repository browser.