Changeset fbe17545 in mainline

Timestamp:

2012-08-03T14:46:14Z (12 years ago)

Author:

Adam Hraska <adam.hraska+hos@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0b7bcb8

Parents:

09737cc

Message:

rcu: Prints a warning if a thread exits while in an rcu read section.

File:

• kernel/generic/src/synch/rcu.c (modified) (3 diffs)

kernel/generic/src/synch/rcu.c

@@ -1028 +1028 @@
                         interrupts_restore(ipl);
                 }
+
+                printf("Bug: thread (id %" PRIu64 " \"%s\") exited while in RCU read"
+                        " section.\n", THREAD->tid, THREAD->name);
         }
 }
@@ -1452 +1455 @@
         ASSERT(THREAD->state == Exiting);
         ASSERT(PREEMPTION_DISABLED || interrupts_disabled());
+        
         /* 
          * The thread forgot to exit its reader critical section. 
@@ -1461 +1465 @@
                 THREAD->rcu.nesting_cnt = 1;
                 read_unlock_impl(&THREAD->rcu.nesting_cnt);
+
+                printf("Bug: thread (id %" PRIu64 " \"%s\") exited while in RCU read"
+                        " section.\n", THREAD->tid, THREAD->name);
         }
 }