diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-10-08 13:03:17 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-10-08 13:03:17 +0000 |
| commit | f6f26fc55cf126e15debf91b5efd2245a0947cab (patch) | |
| tree | 33b133b69f9b41293d90d6ea20009cd9a9e9c86f | |
| parent | 12b6055eca66b3472a8d1ea1f6a4423006afa593 (diff) | |
| download | ChibiOS-f6f26fc55cf126e15debf91b5efd2245a0947cab.tar.gz ChibiOS-f6f26fc55cf126e15debf91b5efd2245a0947cab.tar.bz2 ChibiOS-f6f26fc55cf126e15debf91b5efd2245a0947cab.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8349 35acf78f-673a-0410-8e92-d51de3d6d3f4
| -rw-r--r-- | os/rt/include/chsys.h | 2 | ||||
| -rw-r--r-- | os/rt/src/chschd.c | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/os/rt/include/chsys.h b/os/rt/include/chsys.h index 26c266dd5..e5134d2e8 100644 --- a/os/rt/include/chsys.h +++ b/os/rt/include/chsys.h @@ -366,7 +366,7 @@ static inline void chSysUnlock(void) { the ready list.*/
chDbgAssert((ch.rlist.r_queue.p_next == (thread_t *)&ch.rlist.r_queue) ||
(ch.rlist.r_current->p_prio >= ch.rlist.r_queue.p_next->p_prio),
- "priority violation, missing reschedule");
+ "priority order violation");
port_unlock();
}
diff --git a/os/rt/src/chschd.c b/os/rt/src/chschd.c index e53384b3d..ba73d3562 100644 --- a/os/rt/src/chschd.c +++ b/os/rt/src/chschd.c @@ -368,6 +368,10 @@ void chSchWakeupS(thread_t *ntp, msg_t msg) { chDbgCheckClassS();
+ chDbgAssert((ch.rlist.r_queue.p_next == (thread_t *)&ch.rlist.r_queue) ||
+ (ch.rlist.r_current->p_prio >= ch.rlist.r_queue.p_next->p_prio),
+ "priority order violation");
+
/* Storing the message to be retrieved by the target thread when it will
restart execution.*/
ntp->p_u.rdymsg = msg;
|