Changeset 436 for trunk/kernel/libk/remote_spinlock.c

Timestamp:

Mar 7, 2018, 9:02:03 AM (6 years ago)

Author:

alain

Message:

1) improve the threads and process destruction mechanism.
2) introduce FIFOs in the soclib_tty driver.

File:

• trunk/kernel/libk/remote_spinlock.c (modified) (7 diffs)

trunk/kernel/libk/remote_spinlock.c

@@ -2 +2 @@
  * remote_spinlock.c - kernel remote spinlock implementation.
  *
- * Authors  Mohamed Karaoui (2015)
- *          Alain   Greiner (2016)
+ * Authors   Alain   Greiner (2016,2017,2018)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -39 +38 @@
         hal_remote_sw ( XPTR( cxy , &ptr->taken ) , 0 );
 
-#if CONFIG_DEBUG_LOCKS
-        hal_remote_swd( XPTR( cxy , &ptr->owner ) , XPTR_NULL );
-        xlist_entry_init( XPTR( cxy , &ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( cxy , &ptr->owner ) , XPTR_NULL );
+xlist_entry_init( XPTR( cxy , &ptr->list ) );
 #endif
 
@@ -76 +75 @@
                 thread_ptr->remote_locks++;
 
-#if CONFIG_DEBUG_LOCKS
-                hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) ,
-                                XPTR( local_cxy , thread_ptr) );
-                xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ) ,
-                                 XPTR( lock_cxy , &lock_ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) ,
+                XPTR( local_cxy , thread_ptr) );
+xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ) ,
+                         XPTR( lock_cxy , &lock_ptr->list ) );
 #endif
 
@@ -121 +120 @@
         thread_ptr->remote_locks++;
 
-#if CONFIG_DEBUG_LOCKS
-        hal_remote_swd( XPTR( lock_cxy  , &lock_ptr->owner ) ,
-                        XPTR( local_cxy , thread_ptr) );
-        xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ) ,
-                         XPTR( lock_cxy  , &lock_ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( lock_cxy  , &lock_ptr->owner ) ,
+                XPTR( local_cxy , thread_ptr) );
+xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ) ,
+                 XPTR( lock_cxy  , &lock_ptr->list ) );
 #endif
 
@@ -144 +143 @@
         thread_t          * thread_ptr = CURRENT_THREAD;
 
-#if CONFIG_DEBUG_LOCKS
-        hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) , XPTR_NULL );
-        xlist_unlink( XPTR( lock_cxy , &lock_ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) , XPTR_NULL );
+xlist_unlink( XPTR( lock_cxy , &lock_ptr->list ) );
 #endif
 
@@ -197 +196 @@
         thread_ptr->remote_locks++;
 
-#if CONFIG_DEBUG_LOCKS
-        hal_remote_swd( XPTR( lock_cxy  , &lock_ptr->owner ) ,
-                        XPTR( local_cxy , thread_ptr) );
-        xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ) ,
-                         XPTR( lock_cxy  , &lock_ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( lock_cxy  , &lock_ptr->owner ),
+                XPTR( local_cxy , thread_ptr) );
+xlist_add_first( XPTR( local_cxy , &thread_ptr->xlocks_root ),
+                 XPTR( lock_cxy  , &lock_ptr->list ) );
+
+// if( (uint32_t)lock_ptr == 0x66788 )
+// printk("\n@@@ %s : thread %x takes remote_spinlock %x\n",
+//__FUNCTION__, thread_ptr, lock_ptr );
+
 #endif
 
@@ -218 +222 @@
         thread_t          * thread_ptr = CURRENT_THREAD;
 
-#if CONFIG_DEBUG_LOCKS
-        hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) , XPTR_NULL );
-        xlist_unlink( XPTR( lock_cxy , &lock_ptr->list ) );
+#if CONFIG_DEBUG_REMOTE_SPINLOCKS
+hal_remote_swd( XPTR( lock_cxy , &lock_ptr->owner ) , XPTR_NULL );
+xlist_unlink( XPTR( lock_cxy , &lock_ptr->list ) );
+
+// if( (uint32_t)lock_ptr == 0x66788 )
+// printk("\n@@@ %s : thread %x releases remote_spinlock %x\n",
+// __FUNCTION__, thread_ptr, lock_ptr );
+
 #endif