diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1996-02-13 15:38:37 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1996-02-13 15:38:37 +0000 |
| commit | 391f6628547b2546b776e244ef3612f392e4a242 (patch) | |
| tree | 7ca0fbfab6fb539f90b71efae808c4550bc2c526 /cpukit/score | |
| parent | comma removed from end of last enumerated element (diff) | |
| download | rtems-391f6628547b2546b776e244ef3612f392e4a242.tar.bz2 | |
more comments added and existing ones cleaned up in synchronization paths
Diffstat (limited to 'cpukit/score')
| -rw-r--r-- | cpukit/score/src/threadq.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/cpukit/score/src/threadq.c b/cpukit/score/src/threadq.c index 682a0362bc..c02de10ee0 100644 --- a/cpukit/score/src/threadq.c +++ b/cpukit/score/src/threadq.c @@ -327,6 +327,18 @@ void _Thread_queue_Timeout( case OBJECTS_LOCAL: the_thread_queue = the_thread->Wait.queue; + /* + * If the_thread_queue is not synchronized, then it is either + * "nothing happened", "timeout", or "satisfied". If the_thread + * is the executing thread, then it is in the process of blocking + * and it is the thread which is responsible for the synchronization + * process. + * + * If it is not satisfied, then it is "nothing happened" and + * this is the "timeout" transition. After a request is satisfied, + * a timeout is not allowed to occur. + */ + if ( the_thread_queue->sync_state != THREAD_QUEUE_SYNCHRONIZED && _Thread_Is_executing( the_thread ) ) { if ( the_thread_queue->sync_state != THREAD_QUEUE_SATISFIED ) @@ -714,7 +726,7 @@ synchronize: case THREAD_QUEUE_NOTHING_HAPPENED: /* - * All of this was dealt with above. This should never happen. + * This should never happen. All of this was dealt with above. */ break; |