4 * This file is part of BeRTOS.
6 * Bertos is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 * As a special exception, you may use this file as part of a free software
21 * library without restriction. Specifically, if other files instantiate
22 * templates or use macros or inline functions from this file, or you compile
23 * this file and link it with other files to produce an executable, this
24 * file does not by itself cause the resulting executable to be covered by
25 * the GNU General Public License. This exception does not however
26 * invalidate any other reasons why the executable file might be covered by
27 * the GNU General Public License.
29 * Copyright 2003, 2004, 2005, 2006 Develer S.r.l. (http://www.develer.com/)
30 * Copyright 2000 Bernardo Innocenti <bernie@develer.com>
34 * \brief Hardware independent timer driver (implementation)
37 * \author Bernardo Innocenti <bernie@develer.com>
43 #include <cpu/types.h>
47 #include <cfg/debug.h>
48 #include <cfg/module.h>
49 #include <appconfig.h>
52 * Include platform-specific binding code if we're hosted.
53 * Try the CPU specific one for bare-metal environments.
56 #include OS_CSOURCE(timer)
58 #include CPU_CSOURCE(timer)
62 * Sanity check for config parameters required by this module.
64 #if !defined(CONFIG_KERNEL) || ((CONFIG_KERNEL != 0) && CONFIG_KERNEL != 1)
65 #error CONFIG_KERNEL must be set to either 0 or 1 in config.h
67 #if !defined(CONFIG_WATCHDOG) || ((CONFIG_WATCHDOG != 0) && CONFIG_WATCHDOG != 1)
68 #error CONFIG_WATCHDOG must be set to either 0 or 1 in config.h
76 #include <config_kern.h>
77 #if CONFIG_KERN_PREEMPTIVE
78 #include <hw/switch.h>
80 #if CONFIG_KERN_SIGNALS
81 #include <kern/signal.h> /* sig_wait(), sig_check() */
82 #include <kern/proc.h> /* proc_current() */
83 #include <cfg/macros.h> /* BV() */
89 * \def CONFIG_TIMER_STROBE
91 * This is a debug facility that can be used to
92 * monitor timer interrupt activity on an external pin.
94 * To use strobes, redefine the macros TIMER_STROBE_ON,
95 * TIMER_STROBE_OFF and TIMER_STROBE_INIT and set
96 * CONFIG_TIMER_STROBE to 1.
98 #if !defined(CONFIG_TIMER_STROBE) || !CONFIG_TIMER_STROBE
99 #define TIMER_STROBE_ON do {/*nop*/} while(0)
100 #define TIMER_STROBE_OFF do {/*nop*/} while(0)
101 #define TIMER_STROBE_INIT do {/*nop*/} while(0)
105 /// Master system clock (1 tick accuracy)
106 volatile ticks_t _clock;
109 #ifndef CONFIG_TIMER_DISABLE_EVENTS
112 * List of active asynchronous timers.
114 REGISTER static List timers_queue;
118 * Add the specified timer to the software timer service queue.
119 * When the delay indicated by the timer expires, the timer
120 * device will execute the event associated with it.
122 * \note Interrupt safe
124 void timer_add(Timer *timer)
130 /* Inserting timers twice causes mayhem. */
131 ASSERT(timer->magic != TIMER_MAGIC_ACTIVE);
132 DB(timer->magic = TIMER_MAGIC_ACTIVE;)
134 IRQ_SAVE_DISABLE(flags);
136 /* Calculate expiration time for this timer */
137 timer->tick = _clock + timer->_delay;
140 * Search for the first node whose expiration time is
141 * greater than the timer we want to add.
143 node = (Timer *)LIST_HEAD(&timers_queue);
144 while (node->link.succ)
147 * Stop just after the insertion point.
148 * (this fancy compare takes care of wrap-arounds).
150 if (node->tick - timer->tick > 0)
153 /* Go to next node */
154 node = (Timer *)node->link.succ;
157 /* Enqueue timer request into the list */
158 INSERT_BEFORE(&timer->link, &node->link);
165 * Remove a timer from the timer queue before it has expired.
167 Timer *timer_abort(Timer *timer)
169 ATOMIC(REMOVE(&timer->link));
170 DB(timer->magic = TIMER_MAGIC_INACTIVE;)
175 #endif /* CONFIG_TIMER_DISABLE_EVENTS */
179 * Wait for the specified amount of timer ticks.
181 void timer_delayTicks(ticks_t delay)
183 #if defined(IRQ_ENABLED)
184 /* We shouldn't sleep with interrupts disabled */
185 ASSERT(IRQ_ENABLED());
188 #if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
191 ASSERT(!sig_check(SIG_SINGLE));
192 timer_set_event_signal(&t, proc_current(), SIG_SINGLE);
193 timer_setDelay(&t, delay);
195 sig_wait(SIG_SINGLE);
197 #else /* !CONFIG_KERN_SIGNALS */
199 ticks_t start = timer_clock();
202 while (timer_clock() - start < delay)
209 #endif /* !CONFIG_KERN_SIGNALS */
213 #ifndef CONFIG_TIMER_DISABLE_UDELAY
216 * Busy wait until the specified amount of high-precision ticks have elapsed.
218 * \note This function is interrupt safe, the only
219 * requirement is a running hardware timer.
221 void timer_busyWait(hptime_t delay)
223 hptime_t now, prev = timer_hw_hpread();
228 now = timer_hw_hpread();
230 * We rely on hptime_t being unsigned here to
231 * reduce the modulo to an AND in the common
232 * case of TIMER_HW_CNT.
234 delta = (now - prev) % TIMER_HW_CNT;
243 * Wait for the specified amount of time (expressed in microseconds).
245 * \bug In AVR arch the maximum amount of time that can be used as
246 * delay could be very limited, depending on the hardware timer
247 * used. Check timer_avr.h, and what register is used as hptime_t.
249 void timer_delayHp(hptime_t delay)
251 if (UNLIKELY(delay > us_to_hptime(1000)))
253 timer_delayTicks(delay / (TIMER_HW_HPTICKS_PER_SEC / TIMER_TICKS_PER_SEC));
254 delay %= (TIMER_HW_HPTICKS_PER_SEC / TIMER_TICKS_PER_SEC);
257 timer_busyWait(delay);
259 #endif /* CONFIG_TIMER_DISABLE_UDELAY */
263 * Timer interrupt handler. Find soft timers expired and
264 * trigger corresponding events.
269 * With the Metrowerks compiler, the only way to force the compiler generate
270 * an interrupt service routine is to put a pragma directive within the function
274 #pragma interrupt saveall
277 #ifndef CONFIG_TIMER_DISABLE_EVENTS
281 * On systems sharing IRQ line and vector, this check is needed
282 * to ensure that IRQ is generated by timer source.
284 if (!timer_hw_triggered())
289 /* Perform hw IRQ handling */
292 /* Update the master ms counter */
295 #ifndef CONFIG_TIMER_DISABLE_EVENTS
297 * Check the first timer request in the list and process
298 * it when it has expired. Repeat this check until the
299 * first node has not yet expired. Since the list is sorted
300 * by expiry time, all the following requests are guaranteed
303 while ((timer = (Timer *)LIST_HEAD(&timers_queue))->link.succ)
305 /* This request in list has not yet expired? */
306 if (_clock - timer->tick < 0)
309 /* Retreat the expired timer */
310 REMOVE(&timer->link);
311 DB(timer->magic = TIMER_MAGIC_INACTIVE;)
313 /* Execute the associated event */
314 event_do(&timer->expire);
316 #endif /* CONFIG_TIMER_DISABLE_EVENTS */
326 void timer_init(void)
330 #ifndef CONFIG_TIMER_DISABLE_EVENTS
331 LIST_INIT(&timers_queue);