Changeset afd7faf for libcfa/src/concurrency/alarm.cfa

Timestamp:

May 17, 2021, 9:20:55 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

d7ae173

Parents:

d2afe17

Message:

Small fixes to lock and alarm around possible race and the thunk problem.

File:

• libcfa/src/concurrency/alarm.cfa (modified) (2 diffs)

libcfa/src/concurrency/alarm.cfa

@@ -118 +118 @@
                 insert( &alarms, this );
                 __kernel_set_timer( this->initial );
+                this->set = true;
         }
         unlock( event_kernel->lock );
-        this->set = true;
         enable_interrupts();
 }
@@ -129 +129 @@
         {
                 verify( validate( event_kernel->alarms ) );
-                remove( *this );
+                if (this->set) remove( *this );
+                this->set = false;
         }
         unlock( event_kernel->lock );
         enable_interrupts();
-        this->set = false;
 }