source: src/libcfa/time@ bbe1a87

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 no_list persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since bbe1a87 was bbe1a87, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

use distribution for SC qualifiers, and inline routines

  • Property mode set to 100644
File size: 9.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 : Mon Jul 2 21:28:38 2018
13// Update Count : 641
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 <time_t.h> // Duration/Time types
26
27enum { TIMEGRAN = 1_000_000_000LL }; // nanosecond granularity, except for timeval
28
29//######################### Duration #########################
30
31static inline {
32 Duration ?=?( Duration & dur, zero_t ) { return dur{ 0 }; }
33
34 Duration +?( Duration rhs ) with( rhs ) { return (Duration)@{ +tv }; }
35 Duration ?+?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv + rhs.tv }; }
36 Duration ?+=?( Duration & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
37
38 Duration -?( Duration rhs ) with( rhs ) { return (Duration)@{ -tv }; }
39 Duration ?-?( Duration & lhs, Duration rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
40 Duration ?-=?( Duration & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
41
42 Duration ?*?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv * rhs }; }
43 Duration ?*?( int64_t lhs, Duration rhs ) { return (Duration)@{ lhs * rhs.tv }; }
44 Duration ?*=?( Duration & lhs, int64_t rhs ) { lhs = lhs * rhs; return lhs; }
45
46 int64_t ?/?( Duration lhs, Duration rhs ) { return lhs.tv / rhs.tv; }
47 Duration ?/?( Duration lhs, int64_t rhs ) { return (Duration)@{ lhs.tv / rhs }; }
48 Duration ?/=?( Duration & lhs, int64_t rhs ) { lhs = lhs / rhs; return lhs; }
49 double div( Duration lhs, Duration rhs ) { return (double)lhs.tv / (double)rhs.tv; }
50
51 Duration ?%?( Duration lhs, Duration rhs ) { return (Duration)@{ lhs.tv % rhs.tv }; }
52 Duration ?%=?( Duration & lhs, Duration rhs ) { lhs = lhs % rhs; return lhs; }
53
54 _Bool ?==?( Duration lhs, Duration rhs ) { return lhs.tv == rhs.tv; }
55 _Bool ?!=?( Duration lhs, Duration rhs ) { return lhs.tv != rhs.tv; }
56 _Bool ?<? ( Duration lhs, Duration rhs ) { return lhs.tv < rhs.tv; }
57 _Bool ?<=?( Duration lhs, Duration rhs ) { return lhs.tv <= rhs.tv; }
58 _Bool ?>? ( Duration lhs, Duration rhs ) { return lhs.tv > rhs.tv; }
59 _Bool ?>=?( Duration lhs, Duration rhs ) { return lhs.tv >= rhs.tv; }
60
61 _Bool ?==?( Duration lhs, zero_t ) { return lhs.tv == 0; }
62 _Bool ?!=?( Duration lhs, zero_t ) { return lhs.tv != 0; }
63 _Bool ?<? ( Duration lhs, zero_t ) { return lhs.tv < 0; }
64 _Bool ?<=?( Duration lhs, zero_t ) { return lhs.tv <= 0; }
65 _Bool ?>? ( Duration lhs, zero_t ) { return lhs.tv > 0; }
66 _Bool ?>=?( Duration lhs, zero_t ) { return lhs.tv >= 0; }
67
68 Duration abs( Duration rhs ) { return rhs.tv >= 0 ? rhs : -rhs; }
69
70 Duration ?`ns( int64_t nsec ) { return (Duration)@{ nsec }; }
71 Duration ?`us( int64_t usec ) { return (Duration)@{ usec * (TIMEGRAN / 1_000_000LL) }; }
72 Duration ?`ms( int64_t msec ) { return (Duration)@{ msec * (TIMEGRAN / 1_000LL) }; }
73 Duration ?`s( int64_t sec ) { return (Duration)@{ sec * TIMEGRAN }; }
74 Duration ?`s( double sec ) { return (Duration)@{ sec * TIMEGRAN }; }
75 Duration ?`m( int64_t min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
76 Duration ?`m( double min ) { return (Duration)@{ min * (60LL * TIMEGRAN) }; }
77 Duration ?`h( int64_t hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
78 Duration ?`h( double hours ) { return (Duration)@{ hours * (60LL * 60LL * TIMEGRAN) }; }
79 Duration ?`d( int64_t days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
80 Duration ?`d( double days ) { return (Duration)@{ days * (24LL * 60LL * 60LL * TIMEGRAN) }; }
81 Duration ?`w( int64_t weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
82 Duration ?`w( double weeks ) { return (Duration)@{ weeks * (7LL * 24LL * 60LL * 60LL * TIMEGRAN) }; }
83
84 int64_t ?`ns( Duration dur ) { return dur.tv; }
85 int64_t ?`us( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000_000LL); }
86 int64_t ?`ms( Duration dur ) { return dur.tv / (TIMEGRAN / 1_000LL); }
87 int64_t ?`s( Duration dur ) { return dur.tv / TIMEGRAN; }
88 int64_t ?`m( Duration dur ) { return dur.tv / (60LL * TIMEGRAN); }
89 int64_t ?`h( Duration dur ) { return dur.tv / (60LL * 60LL * TIMEGRAN); }
90 int64_t ?`d( Duration dur ) { return dur.tv / (24LL * 60LL * 60LL * TIMEGRAN); }
91 int64_t ?`w( Duration dur ) { return dur.tv / (7LL * 24LL * 60LL * 60LL * TIMEGRAN); }
92
93 Duration max( Duration lhs, Duration rhs ) { return (lhs.tv < rhs.tv) ? rhs : lhs;}
94 Duration min( Duration lhs, Duration rhs ) { return !(rhs.tv < lhs.tv) ? lhs : rhs;}
95} // distribution
96
97//######################### C timeval #########################
98
99static inline {
100 void ?{}( timeval & t ) {}
101 void ?{}( timeval & t, time_t sec, suseconds_t usec ) { t.tv_sec = sec; t.tv_usec = usec; }
102 void ?{}( timeval & t, time_t sec ) { t{ sec, 0 }; }
103 void ?{}( timeval & t, zero_t ) { t{ 0, 0 }; }
104
105 timeval ?=?( timeval & t, zero_t ) { return t{ 0 }; }
106 timeval ?+?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_usec + rhs.tv_usec }; }
107 timeval ?-?( timeval & lhs, timeval rhs ) { return (timeval)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_usec - rhs.tv_usec }; }
108 _Bool ?==?( timeval lhs, timeval rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_usec == rhs.tv_usec; }
109 _Bool ?!=?( timeval lhs, timeval rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_usec != rhs.tv_usec; }
110} // distribution
111
112//######################### C timespec #########################
113
114static inline {
115 void ?{}( timespec & t ) {}
116 void ?{}( timespec & t, time_t sec, __syscall_slong_t nsec ) { t.tv_sec = sec; t.tv_nsec = nsec; }
117 void ?{}( timespec & t, time_t sec ) { t{ sec, 0}; }
118 void ?{}( timespec & t, zero_t ) { t{ 0, 0 }; }
119
120 timespec ?=?( timespec & t, zero_t ) { return t{ 0 }; }
121 timespec ?+?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec + rhs.tv_sec, lhs.tv_nsec + rhs.tv_nsec }; }
122 timespec ?-?( timespec & lhs, timespec rhs ) { return (timespec)@{ lhs.tv_sec - rhs.tv_sec, lhs.tv_nsec - rhs.tv_nsec }; }
123 _Bool ?==?( timespec lhs, timespec rhs ) { return lhs.tv_sec == rhs.tv_sec && lhs.tv_nsec == rhs.tv_nsec; }
124 _Bool ?!=?( timespec lhs, timespec rhs ) { return lhs.tv_sec != rhs.tv_sec || lhs.tv_nsec != rhs.tv_nsec; }
125} // distribution
126
127//######################### C itimerval #########################
128
129static inline {
130 void ?{}( itimerval & itv, Duration alarm ) with( itv ) {
131 // itimerval contains durations but but uses time data-structure timeval.
132 it_value{ alarm`s, (alarm % 1`s)`us }; // seconds, microseconds
133 it_interval{ 0 }; // 0 seconds, 0 microseconds
134 } // itimerval
135
136 void ?{}( itimerval & itv, Duration alarm, Duration interval ) with( itv ) {
137 // itimerval contains durations but but uses time data-structure timeval.
138 it_value{ alarm`s, (alarm % 1`s)`us }; // seconds, microseconds
139 it_interval{ interval`s, interval`us }; // seconds, microseconds
140 } // itimerval
141} // distribution
142
143//######################### Time #########################
144
145void ?{}( Time & time, int year, int month = 0, int day = 0, int hour = 0, int min = 0, int sec = 0, int nsec = 0 );
146static inline {
147 Time ?=?( Time & time, zero_t ) { return time{ 0 }; }
148
149 void ?{}( Time & time, timeval t ) with( time ) { tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * 1000; }
150 Time ?=?( Time & time, timeval t ) with( time ) {
151 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_usec * (TIMEGRAN / 1_000_000LL);
152 return time;
153 } // ?=?
154
155 void ?{}( Time & time, timespec t ) with( time ) { tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec; }
156 Time ?=?( Time & time, timespec t ) with( time ) {
157 tv = (int64_t)t.tv_sec * TIMEGRAN + t.tv_nsec;
158 return time;
159 } // ?=?
160
161 Time ?+?( Time & lhs, Duration rhs ) { return (Time)@{ lhs.tv + rhs.tv }; }
162 Time ?+?( Duration lhs, Time rhs ) { return rhs + lhs; }
163 Time ?+=?( Time & lhs, Duration rhs ) { lhs = lhs + rhs; return lhs; }
164
165 Duration ?-?( Time lhs, Time rhs ) { return (Duration)@{ lhs.tv - rhs.tv }; }
166 Time ?-?( Time lhs, Duration rhs ) { return (Time)@{ lhs.tv - rhs.tv }; }
167 Time ?-=?( Time & lhs, Duration rhs ) { lhs = lhs - rhs; return lhs; }
168 _Bool ?==?( Time lhs, Time rhs ) { return lhs.tv == rhs.tv; }
169 _Bool ?!=?( Time lhs, Time rhs ) { return lhs.tv != rhs.tv; }
170 _Bool ?<?( Time lhs, Time rhs ) { return lhs.tv < rhs.tv; }
171 _Bool ?<=?( Time lhs, Time rhs ) { return lhs.tv <= rhs.tv; }
172 _Bool ?>?( Time lhs, Time rhs ) { return lhs.tv > rhs.tv; }
173 _Bool ?>=?( Time lhs, Time rhs ) { return lhs.tv >= rhs.tv; }
174} // distribution
175
176char * yy_mm_dd( Time time, char * buf );
177static inline char * ?`ymd( Time time, char * buf ) { // short form
178 return yy_mm_dd( time, buf );
179} // ymd
180
181char * mm_dd_yy( Time time, char * buf );
182static inline char * ?`mdy( Time time, char * buf ) { // short form
183 return mm_dd_yy( time, buf );
184} // mdy
185
186char * dd_mm_yy( Time time, char * buf );
187static inline char * ?`dmy( Time time, char * buf ) { // short form
188 return dd_mm_yy( time, buf );;
189} // dmy
190
191size_t strftime( char * buf, size_t size, const char * fmt, Time time );
192
193//------------------------- timeval (cont) -------------------------
194
195static inline void ?{}( timeval & t, Time time ) with( t, time ) {
196 tv_sec = tv / TIMEGRAN; // seconds
197 tv_usec = tv % TIMEGRAN / (TIMEGRAN / 1_000_000LL); // microseconds
198} // ?{}
199
200//------------------------- timespec (cont) -------------------------
201
202static inline void ?{}( timespec & t, Time time ) with( t, time ) {
203 tv_sec = tv / TIMEGRAN; // seconds
204 tv_nsec = tv % TIMEGRAN; // nanoseconds
205} // ?{}
206
207// Local Variables: //
208// mode: c //
209// tab-width: 4 //
210// End: //
Note: See TracBrowser for help on using the repository browser.