proc: Split cooperative scheduler in coop.c
authorbernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Sun, 10 Aug 2008 20:07:45 +0000 (20:07 +0000)
committerbernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Sun, 10 Aug 2008 20:07:45 +0000 (20:07 +0000)
git-svn-id: https://src.develer.com/svnoss/bertos/trunk@1619 38d2e660-2303-0410-9eaa-f027e97ec537

app/demo/demo.mk
bertos/kern/coop.c [new file with mode: 0644]
bertos/kern/preempt.c [new file with mode: 0644]
bertos/kern/proc.c
bertos/kern/proc_p.h
bertos/kern/proc_test.c

index eab6c3cb5e48d3c5b4f3ec1fa29180141ec55db3..20eb2b4eda1d19d3febcdd85b3c475861551382b 100644 (file)
@@ -51,6 +51,7 @@ demo_CSRC = \
        bertos/mware/observer.c \
        bertos/mware/resource.c \
        bertos/mware/sprintf.c \
+       bertos/kern/coop.c \
        bertos/kern/proc.c \
        bertos/kern/proc_test.c \
        bertos/kern/sem.c \
diff --git a/bertos/kern/coop.c b/bertos/kern/coop.c
new file mode 100644 (file)
index 0000000..b62a02e
--- /dev/null
@@ -0,0 +1,141 @@
+/**
+ * \file
+ * <!--
+ * This file is part of BeRTOS.
+ *
+ * Bertos is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
+ *
+ * As a special exception, you may use this file as part of a free software
+ * library without restriction.  Specifically, if other files instantiate
+ * templates or use macros or inline functions from this file, or you compile
+ * this file and link it with other files to produce an executable, this
+ * file does not by itself cause the resulting executable to be covered by
+ * the GNU General Public License.  This exception does not however
+ * invalidate any other reasons why the executable file might be covered by
+ * the GNU General Public License.
+ *
+ * Copyright 2001, 2004, 2008 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 1999, 2000, 2001 Bernie Innocenti <bernie@codewiz.org>
+ * -->
+ *
+ * \brief Simple realtime multitasking scheduler.
+ *        Context switching is only done cooperatively.
+ *
+ * \version $Id: proc.c 1616 2008-08-10 19:41:26Z bernie $
+ * \author Bernie Innocenti <bernie@codewiz.org>
+ * \author Stefano Fedrigo <aleph@develer.com>
+ */
+
+#include "proc_p.h"
+#include "proc.h"
+
+// Log settings for cfg/log.h.
+#define LOG_LEVEL   KERN_LOG_LEVEL
+#define LOG_FORMAT  KERN_LOG_FORMAT
+#include <cfg/log.h>
+
+#include <cpu/irq.h>
+#include <cpu/types.h>
+#include <cpu/attr.h>
+#include <cpu/frame.h>
+
+/**
+ * CPU dependent context switching routines.
+ *
+ * Saving and restoring the context on the stack is done by a CPU-dependent
+ * support routine which usually needs to be written in assembly.
+ */
+EXTERN_C void asm_switch_context(cpustack_t **new_sp, cpustack_t **save_sp);
+
+
+/**
+ * System scheduler: pass CPU control to the next process in
+ * the ready queue.
+ */
+void proc_schedule(void)
+{
+       struct Process *old_process;
+       cpuflags_t flags;
+
+       ATOMIC(LIST_ASSERT_VALID(&ProcReadyList));
+       ASSERT_USER_CONTEXT();
+       ASSERT_IRQ_ENABLED();
+
+       /* Remember old process to save its context later */
+       old_process = CurrentProcess;
+
+       /* Poll on the ready queue for the first ready process */
+       IRQ_SAVE_DISABLE(flags);
+       while (!(CurrentProcess = (struct Process *)list_remHead(&ProcReadyList)))
+       {
+               /*
+                * Make sure we physically reenable interrupts here, no matter what
+                * the current task status is. This is important because if we
+                * are idle-spinning, we must allow interrupts, otherwise no
+                * process will ever wake up.
+                *
+                * During idle-spinning, an interrupt can occur and it may
+                * modify \p ProcReadyList. To ensure that compiler reload this
+                * variable every while cycle we call CPU_MEMORY_BARRIER.
+                * The memory barrier ensure that all variables used in this context
+                * are reloaded.
+                * \todo If there was a way to write sig_wait() so that it does not
+                * disable interrupts while waiting, there would not be any
+                * reason to do this.
+                */
+               IRQ_ENABLE;
+               CPU_IDLE;
+               MEMORY_BARRIER;
+               IRQ_DISABLE;
+       }
+       IRQ_RESTORE(flags);
+
+       /*
+        * Optimization: don't switch contexts when the active
+        * process has not changed.
+        */
+       if (CurrentProcess != old_process)
+       {
+               cpustack_t *dummy;
+
+               #if CONFIG_KERN_MONITOR
+                       LOG_INFO("Switch from %p(%s) to %p(%s)\n",
+                               old_process,    old_process ? old_process->monitor.name : "NONE",
+                               CurrentProcess, CurrentProcess->monitor.name);
+               #endif
+
+               /* Save context of old process and switch to new process. If there is no
+                * old process, we save the old stack pointer into a dummy variable that
+                * we ignore. In fact, this happens only when the old process has just
+                * exited.
+                * TODO: Instead of physically clearing the process at exit time, a zombie
+                * list should be created.
+                */
+               asm_switch_context(&CurrentProcess->stack, old_process ? &old_process->stack : &dummy);
+       }
+
+       /* This RET resumes the execution on the new process */
+}
+
+
+/**
+ * Co-operative context switch
+ */
+void proc_switch(void)
+{
+       ATOMIC(SCHED_ENQUEUE(CurrentProcess));
+
+       proc_schedule();
+}
diff --git a/bertos/kern/preempt.c b/bertos/kern/preempt.c
new file mode 100644 (file)
index 0000000..f068a8a
--- /dev/null
@@ -0,0 +1,80 @@
+/**
+ * \file
+ * <!--
+ * This file is part of BeRTOS.
+ *
+ * Bertos is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
+ *
+ * As a special exception, you may use this file as part of a free software
+ * library without restriction.  Specifically, if other files instantiate
+ * templates or use macros or inline functions from this file, or you compile
+ * this file and link it with other files to produce an executable, this
+ * file does not by itself cause the resulting executable to be covered by
+ * the GNU General Public License.  This exception does not however
+ * invalidate any other reasons why the executable file might be covered by
+ * the GNU General Public License.
+ *
+ * Copyright 2001, 2004 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 1999, 2000, 2001, 2008 Bernie Innocenti <bernie@codewiz.org>
+ * -->
+ *
+ * \brief Simple realtime multitasking scheduler.
+ *        Context switching is only done cooperatively.
+ *
+ * \version $Id: proc.c 1616 2008-08-10 19:41:26Z bernie $
+ * \author Bernie Innocenti <bernie@codewiz.org>
+ * \author Stefano Fedrigo <aleph@develer.com>
+ */
+
+#include "proc_p.h"
+#include "proc.h"
+
+
+/*
+ * The time sharing scheduler forces a task switch when the current
+ * process has exhausted its quantum.
+ */
+uint16_t Quantum;
+
+/**
+ * Disable preemptive task switching.
+ *
+ * The scheduler maintains a per-process nesting counter.  Task switching is
+ * effectively re-enabled only when the number of calls to proc_permit()
+ * matches the number of calls to proc_forbid().
+ *
+ * Calling functions that could sleep while task switching is disabled
+ * is dangerous, although supported.  Preemptive task switching is
+ * resumed while the process is sleeping and disabled again as soon as
+ * it wakes up again.
+ *
+ * \sa proc_permit()
+ */
+void proc_forbid(void)
+{
+       /* No need to protect against interrupts here. */
+       ++CurrentProcess->forbid_cnt;
+}
+
+/**
+ * Re-enable preemptive task switching.
+ *
+ * \sa proc_forbid()
+ */
+void proc_permit(void)
+{
+       /* No need to protect against interrupts here. */
+       --CurrentProcess->forbid_cnt;
+}
index 51cf0c14b3f91c8043322ff9e292155a28d8b3fd..9aa04546c35eb02e5ee425f02914a5c7839a68cb 100644 (file)
 #include "proc.h"
 
 #include "cfg/cfg_arch.h"  /* ARCH_EMUL */
-#include <cfg/debug.h>
 #include <cfg/module.h>
 
-// Log settings for cfg/log.h.
-#define LOG_LEVEL   KERN_LOG_LEVEL
-#define LOG_FORMAT  KERN_LOG_FORMAT
-#include <cfg/log.h>
-
 #include <cpu/irq.h>
 #include <cpu/types.h>
 #include <cpu/attr.h>
 #include <cpu/frame.h>
 
-#include <mware/event.h>
-
 #include <string.h>           /* memset() */
 
-/**
- * CPU dependent context switching routines.
- *
- * Saving and restoring the context on the stack is done by a CPU-dependent
- * support routine which usually needs to be written in assembly.
- */
-EXTERN_C void asm_switch_context(cpustack_t **new_sp, cpustack_t **save_sp);
-
 /*
  * The scheduer tracks ready processes by enqueuing them in the
  * ready list.
@@ -83,15 +67,6 @@ REGISTER List ProcReadyList;
  */
 REGISTER Process *CurrentProcess;
 
-#if CONFIG_KERN_PREEMPTIVE
-/*
- * The time sharing scheduler forces a task switch when the current
- * process has exhausted its quantum.
- */
-uint16_t Quantum;
-#endif
-
-
 #if (ARCH & ARCH_EMUL)
 /*
  * In hosted environments, we must emulate the stack on the real process stack.
@@ -251,81 +226,6 @@ void proc_rename(struct Process *proc, const char *name)
 }
 
 
-/**
- * System scheduler: pass CPU control to the next process in
- * the ready queue.
- */
-void proc_schedule(void)
-{
-       struct Process *old_process;
-       cpuflags_t flags;
-
-       ATOMIC(LIST_ASSERT_VALID(&ProcReadyList));
-       ASSERT_USER_CONTEXT();
-       ASSERT_IRQ_ENABLED();
-
-       /* Remember old process to save its context later */
-       old_process = CurrentProcess;
-
-       /* Poll on the ready queue for the first ready process */
-       IRQ_SAVE_DISABLE(flags);
-       while (!(CurrentProcess = (struct Process *)list_remHead(&ProcReadyList)))
-       {
-               /*
-                * Make sure we physically reenable interrupts here, no matter what
-                * the current task status is. This is important because if we
-                * are idle-spinning, we must allow interrupts, otherwise no
-                * process will ever wake up.
-                *
-                * During idle-spinning, an interrupt can occur and it may
-                * modify \p ProcReadyList. To ensure that compiler reload this
-                * variable every while cycle we call CPU_MEMORY_BARRIER.
-                * The memory barrier ensure that all variables used in this context
-                * are reloaded.
-                * \todo If there was a way to write sig_wait() so that it does not
-                * disable interrupts while waiting, there would not be any
-                * reason to do this.
-                */
-               IRQ_ENABLE;
-               CPU_IDLE;
-               MEMORY_BARRIER;
-               IRQ_DISABLE;
-       }
-       IRQ_RESTORE(flags);
-
-       /*
-        * Optimization: don't switch contexts when the active
-        * process has not changed.
-        */
-       if (CurrentProcess != old_process)
-       {
-               cpustack_t *dummy;
-
-               #if CONFIG_KERN_MONITOR
-                       LOG_INFO("Switch from %p(%s) to %p(%s)\n",
-                               old_process,    old_process ? old_process->monitor.name : "NONE",
-                               CurrentProcess, CurrentProcess->monitor.name);
-               #endif
-
-               #if CONFIG_KERN_PREEMPTIVE
-                       /* Reset quantum for this process */
-                       Quantum = CONFIG_KERN_QUANTUM;
-               #endif
-
-               /* Save context of old process and switch to new process. If there is no
-                * old process, we save the old stack pointer into a dummy variable that
-                * we ignore. In fact, this happens only when the old process has just
-                * exited.
-                * TODO: Instead of physically clearing the process at exit time, a zombie
-                * list should be created.
-                */
-               asm_switch_context(&CurrentProcess->stack, old_process ? &old_process->stack : &dummy);
-       }
-
-       /* This RET resumes the execution on the new process */
-}
-
-
 /**
  * Terminate the current process
  */
@@ -369,17 +269,6 @@ void proc_exit(void)
 }
 
 
-/**
- * Co-operative context switch
- */
-void proc_switch(void)
-{
-       ATOMIC(SCHED_ENQUEUE(CurrentProcess));
-
-       proc_schedule();
-}
-
-
 /**
  * Get the pointer to the current process
  */
@@ -395,39 +284,3 @@ iptr_t proc_current_user_data(void)
 {
        return CurrentProcess->user_data;
 }
-
-
-#if CONFIG_KERN_PREEMPTIVE
-
-/**
- * Disable preemptive task switching.
- *
- * The scheduler maintains a per-process nesting counter.  Task switching is
- * effectively re-enabled only when the number of calls to proc_permit()
- * matches the number of calls to proc_forbid().
- *
- * Calling functions that could sleep while task switching is disabled
- * is dangerous, although supported.  Preemptive task switching is
- * resumed while the process is sleeping and disabled again as soon as
- * it wakes up again.
- *
- * \sa proc_permit()
- */
-void proc_forbid(void)
-{
-       /* No need to protect against interrupts here. */
-       ++CurrentProcess->forbid_cnt;
-}
-
-/**
- * Re-enable preemptive task switching.
- *
- * \sa proc_forbid()
- */
-void proc_permit(void)
-{
-       /* No need to protect against interrupts here. */
-       --CurrentProcess->forbid_cnt;
-}
-
-#endif /* CONFIG_KERN_PREEMPTIVE */
index 24c02fe3de612b385fa76bbdfc43bb407b0c50e0..6a79eec30d6048194f359f40458e3d8943b39e2d 100644 (file)
@@ -34,7 +34,6 @@
  * \brief Internal scheduler structures and definitions for processes.
  *
  * \version $Id$
- *
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
@@ -132,4 +131,3 @@ void proc_schedule(void);
 #endif /* CONFIG_KERN_MONITOR */
 
 #endif /* KERN_PROC_P_H */
-
index 56f784d5b012f9e4b6f4ac48d385ee22c1856a05..38a6b16c66fe5083b9b41e1ce8c2ab95179a354a 100644 (file)
@@ -117,6 +117,7 @@ int proc_testRun(void)
  * How can we fix this?
  */
 #include TEST_ONLY(drv/kdebug.c)
+#include TEST_ONLY(kern/coop.c)
 #include TEST_ONLY(kern/proc.c)
 #include TEST_ONLY(drv/timer.c)
 #include TEST_ONLY(mware/formatwr.c)