aboutsummaryrefslogtreecommitdiffstats
path: root/os/kernel
diff options
context:
space:
mode:
authorgdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2010-09-24 17:31:31 +0000
committergdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2010-09-24 17:31:31 +0000
commit719e83e6e85e24242a95e9a4d48845fd5400dc5b (patch)
tree9c195d58df2c802226daaf9059739110feb03be4 /os/kernel
parent759cb521269b63afd3f0f3f8229de11b54216694 (diff)
downloadChibiOS-719e83e6e85e24242a95e9a4d48845fd5400dc5b.tar.gz
ChibiOS-719e83e6e85e24242a95e9a4d48845fd5400dc5b.tar.bz2
ChibiOS-719e83e6e85e24242a95e9a4d48845fd5400dc5b.zip
Fixed bug 3074984, undone change to the virtual timers.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2186 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/kernel')
-rw-r--r--os/kernel/include/chvt.h1
-rw-r--r--os/kernel/src/chschd.c9
-rw-r--r--os/kernel/src/chvt.c1
3 files changed, 8 insertions, 3 deletions
diff --git a/os/kernel/include/chvt.h b/os/kernel/include/chvt.h
index 8a44bf703..a7667b92c 100644
--- a/os/kernel/include/chvt.h
+++ b/os/kernel/include/chvt.h
@@ -87,6 +87,7 @@ typedef struct {
list. */
VirtualTimer *vt_prev; /**< @brief Last timer in the delta
list. */
+ systime_t vt_time; /**< @brief Must be initialized to -1. */
volatile systime_t vt_systime; /**< @brief System Time counter. */
} VTList;
diff --git a/os/kernel/src/chschd.c b/os/kernel/src/chschd.c
index c7db9ad60..f12103324 100644
--- a/os/kernel/src/chschd.c
+++ b/os/kernel/src/chschd.c
@@ -143,9 +143,12 @@ static void wakeup(void *p) {
dequeue(tp);
}
#endif
- /* Done this way in order to allow a tail call.*/
- tp->p_u.rdymsg = RDY_TIMEOUT;
- chSchReadyI(tp);
+ /* Handling the special case where the thread has been made ready by another
+ thread with higher priority.*/
+ if (tp->p_state != THD_STATE_READY) {
+ tp->p_u.rdymsg = RDY_TIMEOUT;
+ chSchReadyI(tp);
+ }
}
/**
diff --git a/os/kernel/src/chvt.c b/os/kernel/src/chvt.c
index 070a9c620..b622bb493 100644
--- a/os/kernel/src/chvt.c
+++ b/os/kernel/src/chvt.c
@@ -42,6 +42,7 @@ VTList vtlist;
void vt_init(void) {
vtlist.vt_next = vtlist.vt_prev = (void *)&vtlist;
+ vtlist.vt_time = (systime_t)-1;
vtlist.vt_systime = 0;
}