From 1eb3f1348430f0ee0a66825edacca1d34b58808a Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 19 Mar 2014 20:44:21 +0100 Subject: [PATCH] pit: no lock required in pit anymore timer service calls platform timer nowadays solely from the vary same thread - the entrypoint of the timer service Issue #1106 --- os/src/drivers/timer/include_pit/platform_timer.h | 5 ----- 1 file changed, 5 deletions(-) diff --git a/os/src/drivers/timer/include_pit/platform_timer.h b/os/src/drivers/timer/include_pit/platform_timer.h index 15fad5823..98630cb81 100644 --- a/os/src/drivers/timer/include_pit/platform_timer.h +++ b/os/src/drivers/timer/include_pit/platform_timer.h @@ -63,7 +63,6 @@ class Platform_timer Genode::Irq_connection _timer_irq; unsigned long mutable _curr_time_usec; Genode::uint16_t mutable _counter_init_value; - Genode::Lock mutable _update_curr_time_lock; bool mutable _handled_wrap; /** @@ -122,8 +121,6 @@ class Platform_timer */ unsigned long curr_time() const { - Genode::Lock::Guard lock(_update_curr_time_lock); - Genode::uint32_t passed_ticks; /* @@ -174,8 +171,6 @@ class Platform_timer */ void schedule_timeout(unsigned long timeout_usec) { - Genode::Lock::Guard lock(_update_curr_time_lock); - /* limit timer-interrupt rate */ enum { MAX_TIMER_IRQS_PER_SECOND = 4*1000 }; if (timeout_usec < 1000*1000/MAX_TIMER_IRQS_PER_SECOND)