Fix Timer to use is Semaphore correctly

Besides still assuming the old condvar-style semantics, it was also
horribly broken and contained potential deadlocks and race conditions.
Not to mention unusable due to a missing constructor.

diff --git a/source/time/timer.cpp b/source/time/timer.cpp
index 59360b63fa6e18a83fed699429bf7e76a75d0b75..f26900b8d4a589769c707b59513de6aa2d8dc129 100644 (file)
--- a/source/time/timer.cpp
+++ b/source/time/timer.cpp
@@ -7,6 +7,11 @@ using namespace std;
 namespace Msp {
 namespace Time {
 
 namespace Msp {
 namespace Time {
 

+Timer::Timer():
+       sem(1),
+       blocking(false)
+{ }
+

 Timer::~Timer()
 {
        for(vector<SlotProxy>::iterator i=slots.begin(); i!=slots.end(); ++i)
 Timer::~Timer()
 {
        for(vector<SlotProxy>::iterator i=slots.begin(); i!=slots.end(); ++i)


@@ -16,23 +21,22 @@ Timer::~Timer()
 Timer::Slot &Timer::add(const TimeDelta &td)
 {
        Slot *s = new Slot(td);
 Timer::Slot &Timer::add(const TimeDelta &td)
 {
        Slot *s = new Slot(td);

-       mutex.lock();
+       MutexLock l(mutex);

        slots.push_back(s);
        push_heap(slots.begin(), slots.end());
        slots.push_back(s);
        push_heap(slots.begin(), slots.end());

-       mutex.unlock();
-       sem.signal();
+       if(blocking)
+               sem.signal();

        return *s;
 }
 
 Timer::Slot &Timer::add(const TimeStamp &ts)
 {
        Slot *s = new Slot(ts);
        return *s;
 }
 
 Timer::Slot &Timer::add(const TimeStamp &ts)
 {
        Slot *s = new Slot(ts);

-       {
-               MutexLock l(mutex);
-               slots.push_back(s);
-               push_heap(slots.begin(), slots.end());
-       }
-       sem.signal();
+       MutexLock l(mutex);
+       slots.push_back(s);
+       push_heap(slots.begin(), slots.end());
+       if(blocking)
+               sem.signal();

        return *s;
 }
 
        return *s;
 }
 


@@ -59,7 +63,12 @@ void Timer::tick(bool block)
                        if(slots.empty())
                        {
                                if(block)
                        if(slots.empty())
                        {
                                if(block)

+                               {
+                                       blocking = true;
+                                       mutex.unlock();

                                        sem.wait();
                                        sem.wait();

+                                       mutex.lock();
+                               }

                                else
                                        return;
                        }
                                else
                                        return;
                        }


@@ -70,7 +79,12 @@ void Timer::tick(bool block)
                        if(stamp<=t)
                                break;
                        else if(block)
                        if(stamp<=t)
                                break;
                        else if(block)

+                       {
+                               blocking = true;
+                               mutex.unlock();

                                sem.wait(stamp-t);
                                sem.wait(stamp-t);

+                               mutex.lock();
+                       }

                        else
                                return;
                }
                        else
                                return;
                }

diff --git a/source/time/timer.h b/source/time/timer.h
index 7566c3dd03a6a86eef6619c2d4ddd24ddbb373ca..90d870ca9a3afbd44b155f5ccfb5b85747c02442 100644 (file)
--- a/source/time/timer.h
+++ b/source/time/timer.h
@@ -49,8 +49,10 @@ private:
        std::vector<SlotProxy> slots;
        Semaphore sem;
        Mutex mutex;
        std::vector<SlotProxy> slots;
        Semaphore sem;
        Mutex mutex;

+       bool blocking;

 
 public:
 
 public:

+       Timer();

        ~Timer();
 
        /** Adds a timer that will be executed periodically as long as the timeout
        ~Timer();
 
        /** Adds a timer that will be executed periodically as long as the timeout