diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-13 18:53:46 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-13 18:53:46 +0200 |
commit | 3bb9c876200aa2aadbffeb7bc7582a6a980675f8 (patch) | |
tree | 5b23bd523508dbc2db41e7aedf491f127990cd3f | |
parent | a35ab5959f02ddfee757d8e2dc4cced21e682d4e (diff) |
Cosmetic changes
-rw-r--r-- | build2/scheduler | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build2/scheduler b/build2/scheduler index ffe61df..cfccefe 100644 --- a/build2/scheduler +++ b/build2/scheduler @@ -440,7 +440,7 @@ namespace build2 // // The mark is an index somewhere between (figuratively speaking) head // and tail, if enabled. If the mark is hit, then it is disabled until - // the queue becomes empty. + // the queue becomes empty or it is reset by a push. // size_t head = 0; size_t mark = 0; @@ -554,8 +554,8 @@ namespace build2 // // To put it another way, the understanding here is that after the // task returns we will either have an empty queue or there will still - // be tasks between the old mark and and the current tail, something - // along these lines: + // be tasks between the old mark and the current tail, something along + // these lines: // // OOOOOXXXXOOO // | | | |