Changeset 63e27ef in mainline for kernel/generic/src/proc/thread.c

Timestamp:

2017-06-19T21:47:42Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

File:

• kernel/generic/src/proc/thread.c (modified) (16 diffs)

kernel/generic/src/proc/thread.c

@@ -36 +36 @@
  */
 
+#include <assert.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>
@@ -64 +65 @@
 #include <print.h>
 #include <mm/slab.h>
-#include <debug.h>
 #include <main/uinit.h>
 #include <syscall/copy.h>
@@ -268 +268 @@
 static void before_thread_is_ready(thread_t *thread)
 {
-        ASSERT(irq_spinlock_locked(&thread->lock));
+        assert(irq_spinlock_locked(&thread->lock));
         workq_before_thread_is_ready(thread);
 }
@@ -283 +283 @@
         irq_spinlock_lock(&thread->lock, true);
         
-        ASSERT(thread->state != Ready);
+        assert(thread->state != Ready);
 
         before_thread_is_ready(thread);
@@ -293 +293 @@
         if (thread->wired || thread->nomigrate || thread->fpu_context_engaged) {
                 /* Cannot ready to another CPU */
-                ASSERT(thread->cpu != NULL);
+                assert(thread->cpu != NULL);
                 cpu = thread->cpu;
         } else if (thread->stolen) {
@@ -300 +300 @@
         } else if (thread->cpu) {
                 /* Prefer the CPU on which the thread ran last */
-                ASSERT(thread->cpu != NULL);
+                assert(thread->cpu != NULL);
                 cpu = thread->cpu;
         } else {
@@ -431 +431 @@
 void thread_destroy(thread_t *thread, bool irq_res)
 {
-        ASSERT(irq_spinlock_locked(&thread->lock));
-        ASSERT((thread->state == Exiting) || (thread->state == Lingering));
-        ASSERT(thread->task);
-        ASSERT(thread->cpu);
+        assert(irq_spinlock_locked(&thread->lock));
+        assert((thread->state == Exiting) || (thread->state == Lingering));
+        assert(thread->task);
+        assert(thread->cpu);
         
         irq_spinlock_lock(&thread->cpu->lock, false);
@@ -561 +561 @@
 void thread_interrupt(thread_t *thread)
 {
-        ASSERT(thread != NULL);
+        assert(thread != NULL);
         
         irq_spinlock_lock(&thread->lock, true);
@@ -582 +582 @@
 bool thread_interrupted(thread_t *thread)
 {
-        ASSERT(thread != NULL);
+        assert(thread != NULL);
         
         bool interrupted;
@@ -596 +596 @@
 void thread_migration_disable(void)
 {
-        ASSERT(THREAD);
+        assert(THREAD);
         
         THREAD->nomigrate++;
@@ -604 +604 @@
 void thread_migration_enable(void)
 {
-        ASSERT(THREAD);
-        ASSERT(THREAD->nomigrate > 0);
+        assert(THREAD);
+        assert(THREAD->nomigrate > 0);
         
         if (THREAD->nomigrate > 0)
@@ -650 +650 @@
         
         irq_spinlock_lock(&thread->lock, true);
-        ASSERT(!thread->detached);
+        assert(!thread->detached);
         irq_spinlock_unlock(&thread->lock, true);
         
@@ -671 +671 @@
          */
         irq_spinlock_lock(&thread->lock, true);
-        ASSERT(!thread->detached);
+        assert(!thread->detached);
         
         if (thread->state == Lingering) {
@@ -809 +809 @@
 bool thread_exists(thread_t *thread)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&threads_lock));
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&threads_lock));
 
         avltree_node_t *node =
@@ -830 +830 @@
         uint64_t time = get_cycle();
 
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&THREAD->lock));
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&THREAD->lock));
         
         if (user)
@@ -867 +867 @@
 thread_t *thread_find_by_id(thread_id_t thread_id)
 {
-        ASSERT(interrupts_disabled());
-        ASSERT(irq_spinlock_locked(&threads_lock));
+        assert(interrupts_disabled());
+        assert(irq_spinlock_locked(&threads_lock));
         
         thread_iterator_t iterator;