Subversion Repositories HelenOS-historic

Rev

Rev 1701 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1435 palkovsky 1
/*
2
 * Copyright (C) 2006 Ondrej Palkovsky
3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
1653 cejka 27
 */
28
 
1719 decky 29
/** @addtogroup libc
1653 cejka 30
 * @{
31
 */
32
/** @file
1435 palkovsky 33
 */ 
34
 
1449 palkovsky 35
#include <sys/time.h>
1435 palkovsky 36
#include <unistd.h>
37
#include <ipc/ipc.h>
38
#include <stdio.h>
39
#include <arch/barrier.h>
1452 palkovsky 40
#include <unistd.h>
41
#include <atomic.h>
42
#include <futex.h>
1596 palkovsky 43
#include <ipc/services.h>
1435 palkovsky 44
 
45
#include <sysinfo.h>
46
#include <as.h>
47
#include <ddi.h>
48
 
49
/* Pointers to public variables with time */
50
struct {
1439 palkovsky 51
	volatile sysarg_t seconds1;
1435 palkovsky 52
	volatile sysarg_t useconds;
1439 palkovsky 53
	volatile sysarg_t seconds2;
1435 palkovsky 54
} *ktime = NULL;
55
 
56
 
57
/** POSIX gettimeofday
58
 *
59
 * The time variables are memory mapped(RO) from kernel, which updates
60
 * them periodically. As it is impossible to read 2 values atomically, we
61
 * use a trick: First read a seconds, then read microseconds, then
1701 palkovsky 62
 * read seconds again. If a second elapsed in the meantime, set it to zero. 
63
 * This provides assurance, that at least the
1435 palkovsky 64
 * sequence of subsequent gettimeofday calls is ordered.
65
 */
66
int gettimeofday(struct timeval *tv, struct timezone *tz)
67
{
68
	void *mapping;
1439 palkovsky 69
	sysarg_t s1, s2;
1462 palkovsky 70
	sysarg_t rights;
1435 palkovsky 71
	int res;
72
 
73
	if (!ktime) {
1501 palkovsky 74
		mapping = as_get_mappable_page(PAGE_SIZE);
1435 palkovsky 75
		/* Get the mapping of kernel clock */
1719 decky 76
		res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights, NULL);
1435 palkovsky 77
		if (res) {
78
			printf("Failed to initialize timeofday memarea\n");
79
			_exit(1);
80
		}
1547 palkovsky 81
		if (! (rights & AS_AREA_READ)) {
1462 palkovsky 82
			printf("Received bad rights on time area: %X\n",
83
			       rights);
1501 palkovsky 84
			as_area_destroy(mapping);
1462 palkovsky 85
			_exit(1);
86
		}
1501 palkovsky 87
		ktime = mapping;
1435 palkovsky 88
	}
1441 palkovsky 89
	if (tz) {
90
		tz->tz_minuteswest = 0;
91
		tz->tz_dsttime = DST_NONE;
92
	}
93
 
1442 palkovsky 94
	s2 = ktime->seconds2;
95
	read_barrier();
1435 palkovsky 96
	tv->tv_usec = ktime->useconds;
97
	read_barrier();
1442 palkovsky 98
	s1 = ktime->seconds1;
1439 palkovsky 99
	if (s1 != s2) {
100
		tv->tv_usec = 0;
101
		tv->tv_sec = s1 > s2 ? s1 : s2;
102
	} else
103
		tv->tv_sec = s1;
1435 palkovsky 104
 
105
	return 0;
106
}
1452 palkovsky 107
 
1453 palkovsky 108
/** Wait unconditionally for specified microseconds */
1452 palkovsky 109
void usleep(unsigned long usec)
110
{
111
	atomic_t futex = FUTEX_INITIALIZER;
112
 
113
	futex_initialize(&futex,0);
114
	futex_down_timeout(&futex, usec, 0);
115
}
1653 cejka 116
 
117
 
1719 decky 118
/** @}
1653 cejka 119
 */