1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
/*
Hanoh Haim
Cisco Systems, Inc.
*/
/*
Copyright (c) 2015-2015 Cisco Systems, Inc.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*/
#include "os_time.h"
#include <stdio.h>
hr_time_t start_time;
#ifdef WIN32
#include <windows.h>
uint32_t os_get_time_msec(){
return (GetTickCount());
}
uint32_t os_get_time_freq(){
return (1000);
}
typedef union {
struct {
uint32_t low;
uint32_t high;
} h;
hr_time_t x;
} timer_hl_t;
//hr_time_t os_get_hr_freq(void);
hr_time_t os_get_hr_freq(void){
return (3000000000);
}
hr_time_t os_get_hr_tick_64(void) {
uint32_t _low,_high;
__asm {
mov ecx,0 ;select Counter0
_emit 0x0F ;RDPMC - get beginning value of Counter0 to edx:eax
_emit 0x31
mov _high,edx ;save beginning value
mov _low,eax
}
timer_hl_t x;
x.h.low = _low;
x.h.high = _high;
return x.x;
}
uint32_t os_get_hr_tick_32(void) {
uint32_t _low,_high;
__asm {
mov ecx,0 ;select Counter0
_emit 0x0F ;RDPMC - get beginning value of Counter0 to edx:eax
_emit 0x31
mov _high,edx ;save beginning value
mov _low,eax
}
return _low;
}
#else
#include <time.h>
#include <sys/times.h>
#include <unistd.h>
// Returns time in milliseconds...
uint32_t SANB_tickGet()
{
struct tms buffer; // we don't really use that
clock_t ticks = times(&buffer);
return (uint32_t)ticks;
}
// ... so rate is 1000.
int SANB_sysClkRateGet()
{
int rate = sysconf(_SC_CLK_TCK);
if (rate == -1)
{
fprintf(stderr,"SANB_sysClkRateGet, sysconf FAILED, something very basic is wrong....!\n");
}
return rate;
}
uint32_t os_get_time_msec(){
return (SANB_tickGet());
}
uint32_t os_get_time_freq(){
return (SANB_sysClkRateGet());
}
#endif
|
