diff options
| author | Austin Seipp <austin@well-typed.com> | 2014-10-21 16:37:53 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-10-21 16:37:53 -0500 |
| commit | 2dc21b97ffd8e78a177e8b3562ab8f08a566defd (patch) | |
| tree | b6e59b663d1acc03efaa071ca07bd08386ff62f4 /rts/Schedule.h | |
| parent | 5bb8f14ccd05f2c32e49680e44a3b3ac9595504a (diff) | |
| download | haskell-2dc21b97ffd8e78a177e8b3562ab8f08a566defd.tar.gz | |
[skip ci] rts: Detabify Schedule.h
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'rts/Schedule.h')
| -rw-r--r-- | rts/Schedule.h | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/rts/Schedule.h b/rts/Schedule.h index 015cc1cefc..d61be04bb7 100644 --- a/rts/Schedule.h +++ b/rts/Schedule.h @@ -2,7 +2,7 @@ * * (c) The GHC Team 1998-2005 * - * Prototypes for functions in Schedule.c + * Prototypes for functions in Schedule.c * (RTS internal scheduler interface) * * -------------------------------------------------------------------------*/ @@ -34,7 +34,7 @@ void scheduleThread (Capability *cap, StgTSO *tso); void scheduleThreadOn(Capability *cap, StgWord cpu, StgTSO *tso); /* wakeUpRts() - * + * * Causes an OS thread to wake up and run the scheduler, if necessary. */ #if defined(THREADED_RTS) @@ -60,7 +60,7 @@ void scheduleWorker (Capability *cap, Task *task); extern volatile StgWord sched_state; -/* +/* * flag that tracks whether we have done any execution in this time * slice, and controls the disabling of the interval timer. * @@ -136,10 +136,10 @@ appendToRunQueue (Capability *cap, StgTSO *tso) { ASSERT(tso->_link == END_TSO_QUEUE); if (cap->run_queue_hd == END_TSO_QUEUE) { - cap->run_queue_hd = tso; + cap->run_queue_hd = tso; tso->block_info.prev = END_TSO_QUEUE; } else { - setTSOLink(cap, cap->run_queue_tl, tso); + setTSOLink(cap, cap->run_queue_tl, tso); setTSOPrev(cap, tso, cap->run_queue_tl); } cap->run_queue_tl = tso; @@ -161,7 +161,7 @@ pushOnRunQueue (Capability *cap, StgTSO *tso) } cap->run_queue_hd = tso; if (cap->run_queue_tl == END_TSO_QUEUE) { - cap->run_queue_tl = tso; + cap->run_queue_tl = tso; } } @@ -169,7 +169,7 @@ pushOnRunQueue (Capability *cap, StgTSO *tso) */ INLINE_HEADER StgTSO * popRunQueue (Capability *cap) -{ +{ StgTSO *t = cap->run_queue_hd; ASSERT(t != END_TSO_QUEUE); cap->run_queue_hd = t->_link; @@ -178,7 +178,7 @@ popRunQueue (Capability *cap) } t->_link = END_TSO_QUEUE; // no write barrier req'd if (cap->run_queue_hd == END_TSO_QUEUE) { - cap->run_queue_tl = END_TSO_QUEUE; + cap->run_queue_tl = END_TSO_QUEUE; } return t; } @@ -200,9 +200,9 @@ appendToBlockedQueue(StgTSO *tso) { ASSERT(tso->_link == END_TSO_QUEUE); if (blocked_queue_hd == END_TSO_QUEUE) { - blocked_queue_hd = tso; + blocked_queue_hd = tso; } else { - setTSOLink(&MainCapability, blocked_queue_tl, tso); + setTSOLink(&MainCapability, blocked_queue_tl, tso); } blocked_queue_tl = tso; } @@ -248,7 +248,7 @@ emptyThreadQueues(Capability *cap) { return emptyRunQueue(cap) #if !defined(THREADED_RTS) - && EMPTY_BLOCKED_QUEUE() && EMPTY_SLEEPING_QUEUE() + && EMPTY_BLOCKED_QUEUE() && EMPTY_SLEEPING_QUEUE() #endif ; } @@ -258,4 +258,3 @@ emptyThreadQueues(Capability *cap) #include "EndPrivate.h" #endif /* SCHEDULE_H */ - |