projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
run_tests: Nicer output, configurable verbosity.
[bertos.git]
/
bertos
/
kern
/
proc_p.h
diff --git
a/bertos/kern/proc_p.h
b/bertos/kern/proc_p.h
index a98f9428aa65f684ad414c4f2a0267c67f0547a1..0d6a94f153eed4102f2257defa18ed4f36eff9ce 100644
(file)
--- a/
bertos/kern/proc_p.h
+++ b/
bertos/kern/proc_p.h
@@
-62,12
+62,6
@@
typedef struct Process
sigmask_t sig_recv; /**< Received signals */
#endif
sigmask_t sig_recv; /**< Received signals */
#endif
-#if CONFIG_KERN_PREEMPTIVE
- int forbid_cnt; /**< Nesting count for proc_forbid()/proc_permit(). */
- bool leaving; /**< XXX: maybe global? */
- ucontext_t context;
-#endif
-
#if CONFIG_KERN_HEAP
uint16_t flags; /**< Flags */
#endif
#if CONFIG_KERN_HEAP
uint16_t flags; /**< Flags */
#endif
@@
-77,6
+71,10
@@
typedef struct Process
size_t stack_size; /**< Size of process stack */
#endif
size_t stack_size; /**< Size of process stack */
#endif
+#if CONFIG_KERN_PREEMPTIVE
+ ucontext_t context;
+#endif
+
#if CONFIG_KERN_MONITOR
struct ProcMonitor
{
#if CONFIG_KERN_MONITOR
struct ProcMonitor
{
@@
-117,11
+115,19
@@
extern REGISTER List ProcReadyList;
* \note This macro is *NOT* protected against the scheduler. Access to
* this list must be performed with interrupts disabled.
*/
* \note This macro is *NOT* protected against the scheduler. Access to
* this list must be performed with interrupts disabled.
*/
-#define SCHED_ENQUEUE(proc) ADDTAIL(&ProcReadyList, &(proc)->link)
+#define SCHED_ENQUEUE(proc) do { \
+ LIST_ASSERT_VALID(&ProcReadyList); \
+ ADDTAIL(&ProcReadyList, &(proc)->link); \
+ } while (0)
/** Schedule to another process *without* adding the current to the ready list. */
void proc_schedule(void);
/** Schedule to another process *without* adding the current to the ready list. */
void proc_schedule(void);
+#if CONFIG_KERN_PREEMPT
+void proc_entry(void (*user_entry)(void));
+void preempt_init(void);
+#endif
+
#if CONFIG_KERN_MONITOR
/** Initialize the monitor */
void monitor_init(void);
#if CONFIG_KERN_MONITOR
/** Initialize the monitor */
void monitor_init(void);