Changeset daacf82 for src/libcfa

Timestamp:

Sep 26, 2017, 4:06:22 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

a7d151f

Parents:

19c43b7

Message:

Added test for validate single monitor barging avoidance for waitfor statments

File:

• src/libcfa/concurrency/monitor.c (modified) (8 diffs)

src/libcfa/concurrency/monitor.c

@@ -23 +23 @@
 //-----------------------------------------------------------------------------
 // Forward declarations
-static inline void set_owner( monitor_desc * this, thread_desc * owner );
-static inline void set_owner( monitor_desc ** storage, short count, thread_desc * owner );
-static inline void set_mask ( monitor_desc ** storage, short count, const __waitfor_mask_t & mask );
+static inline void set_owner ( monitor_desc * this, thread_desc * owner );
+static inline void set_owner ( monitor_desc ** storage, short count, thread_desc * owner );
+static inline void set_mask  ( monitor_desc ** storage, short count, const __waitfor_mask_t & mask );
+static inline void reset_mask( monitor_desc * this );
 
 static inline thread_desc * next_thread( monitor_desc * this );
@@ -102 +103 @@
                         // Some one was waiting for us, enter
                         set_owner( this, thrd );
+
+                        // Reset mask
+                        reset_mask( this );
 
                         LIB_DEBUG_PRINT_SAFE("Kernel :  mon accepts \n");
@@ -420 +424 @@
 //              block
 void __waitfor_internal( const __waitfor_mask_t & mask, int duration ) {
-        LIB_DEBUG_PRINT_SAFE("Kernel : waitfor internal \n");
-
         // This statment doesn't have a contiguous list of monitors...
         // Create one!
@@ -428 +430 @@
         short actual_count = aggregate( mon_storage, mask );
 
-        if(actual_count == 0) {
-                LIB_DEBUG_PRINT_SAFE("Kernel :  nothing to wait for \n");
-                return;
-        }
+        if(actual_count == 0) return;
 
         LIB_DEBUG_PRINT_SAFE("Kernel : waitfor internal proceeding\n");
@@ -499 +498 @@
         set_mask( monitors, count, mask );
 
+        for(int i = 0; i < count; i++) {
+                verify( monitors[i]->owner == this_thread );
+        }
+
         //Everything is ready to go to sleep
         BlockInternal( locks, count );
@@ -537 +540 @@
                 storage[i]->mask = mask;
         }
+}
+
+static inline void reset_mask( monitor_desc * this ) {
+        this->mask.accepted = NULL;
+        this->mask.clauses = NULL;
+        this->mask.size = 0;
 }
 
@@ -599 +608 @@
 
 static inline void lock_all( spinlock ** locks, unsigned short count ) {
-        LIB_DEBUG_ACQUIRE();
-        LIB_DEBUG_PRINT_NOLOCK("Kernel :   Locking");
         for( int i = 0; i < count; i++ ) {
-                LIB_DEBUG_PRINT_NOLOCK(" %p", locks[i]);
                 lock_yield( locks[i] DEBUG_CTX2 );
         }
-        LIB_DEBUG_PRINT_NOLOCK("\n");
-        LIB_DEBUG_RELEASE();
 }
 
 static inline void lock_all( monitor_desc ** source, spinlock ** /*out*/ locks, unsigned short count ) {
-        LIB_DEBUG_ACQUIRE();
-        LIB_DEBUG_PRINT_NOLOCK("Kernel :   Locking");
         for( int i = 0; i < count; i++ ) {
                 spinlock * l = &source[i]->lock;
-                LIB_DEBUG_PRINT_NOLOCK(" %p", l);
                 lock_yield( l DEBUG_CTX2 );
                 if(locks) locks[i] = l;
         }
-        LIB_DEBUG_PRINT_NOLOCK("\n");
-        LIB_DEBUG_RELEASE();
 }
 
@@ -634 +633 @@
 }
 
-static inline void save   ( monitor_desc ** ctx, short count, __attribute((unused)) spinlock ** locks, unsigned int * /*out*/ recursions, __waitfor_mask_t * /*out*/ masks ) {
+static inline void save( monitor_desc ** ctx, short count, __attribute((unused)) spinlock ** locks, unsigned int * /*out*/ recursions, __waitfor_mask_t * /*out*/ masks ) {
         for( int i = 0; i < count; i++ ) {
                 recursions[i] = ctx[i]->recursion;