src/share/vm/utilities/taskqueue.cpp

Mon, 20 Sep 2010 14:38:38 -0700

author
jmasa
date
Mon, 20 Sep 2010 14:38:38 -0700
changeset 2188
8b10f48633dc
parent 2064
5f429ee79634
child 2314
f95d63e2154a
permissions
-rw-r--r--

6984287: Regularize how GC parallel workers are specified.
Summary: Associate number of GC workers with the workgang as opposed to the task.
Reviewed-by: johnc, ysr

     1 /*
     2  * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  *
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  *
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  *
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    22  *
    23  */
    25 # include "incls/_precompiled.incl"
    26 # include "incls/_taskqueue.cpp.incl"
    28 #ifdef TRACESPINNING
    29 uint ParallelTaskTerminator::_total_yields = 0;
    30 uint ParallelTaskTerminator::_total_spins = 0;
    31 uint ParallelTaskTerminator::_total_peeks = 0;
    32 #endif
    34 #if TASKQUEUE_STATS
    35 const char * const TaskQueueStats::_names[last_stat_id] = {
    36   "qpush", "qpop", "qpop-s", "qattempt", "qsteal", "opush", "omax"
    37 };
    39 TaskQueueStats & TaskQueueStats::operator +=(const TaskQueueStats & addend)
    40 {
    41   for (unsigned int i = 0; i < last_stat_id; ++i) {
    42     _stats[i] += addend._stats[i];
    43   }
    44   return *this;
    45 }
    47 void TaskQueueStats::print_header(unsigned int line, outputStream* const stream,
    48                                   unsigned int width)
    49 {
    50   // Use a width w: 1 <= w <= max_width
    51   const unsigned int max_width = 40;
    52   const unsigned int w = MAX2(MIN2(width, max_width), 1U);
    54   if (line == 0) { // spaces equal in width to the header
    55     const unsigned int hdr_width = w * last_stat_id + last_stat_id - 1;
    56     stream->print("%*s", hdr_width, " ");
    57   } else if (line == 1) { // labels
    58     stream->print("%*s", w, _names[0]);
    59     for (unsigned int i = 1; i < last_stat_id; ++i) {
    60       stream->print(" %*s", w, _names[i]);
    61     }
    62   } else if (line == 2) { // dashed lines
    63     char dashes[max_width + 1];
    64     memset(dashes, '-', w);
    65     dashes[w] = '\0';
    66     stream->print("%s", dashes);
    67     for (unsigned int i = 1; i < last_stat_id; ++i) {
    68       stream->print(" %s", dashes);
    69     }
    70   }
    71 }
    73 void TaskQueueStats::print(outputStream* stream, unsigned int width) const
    74 {
    75   #define FMT SIZE_FORMAT_W(*)
    76   stream->print(FMT, width, _stats[0]);
    77   for (unsigned int i = 1; i < last_stat_id; ++i) {
    78     stream->print(" " FMT, width, _stats[i]);
    79   }
    80   #undef FMT
    81 }
    83 #ifdef ASSERT
    84 // Invariants which should hold after a TaskQueue has been emptied and is
    85 // quiescent; they do not hold at arbitrary times.
    86 void TaskQueueStats::verify() const
    87 {
    88   assert(get(push) == get(pop) + get(steal),
    89          err_msg("push=" SIZE_FORMAT " pop=" SIZE_FORMAT " steal=" SIZE_FORMAT,
    90                  get(push), get(pop), get(steal)));
    91   assert(get(pop_slow) <= get(pop),
    92          err_msg("pop_slow=" SIZE_FORMAT " pop=" SIZE_FORMAT,
    93                  get(pop_slow), get(pop)));
    94   assert(get(steal) <= get(steal_attempt),
    95          err_msg("steal=" SIZE_FORMAT " steal_attempt=" SIZE_FORMAT,
    96                  get(steal), get(steal_attempt)));
    97   assert(get(overflow) == 0 || get(push) != 0,
    98          err_msg("overflow=" SIZE_FORMAT " push=" SIZE_FORMAT,
    99                  get(overflow), get(push)));
   100   assert(get(overflow_max_len) == 0 || get(overflow) != 0,
   101          err_msg("overflow_max_len=" SIZE_FORMAT " overflow=" SIZE_FORMAT,
   102                  get(overflow_max_len), get(overflow)));
   103 }
   104 #endif // ASSERT
   105 #endif // TASKQUEUE_STATS
   107 int TaskQueueSetSuper::randomParkAndMiller(int *seed0) {
   108   const int a =      16807;
   109   const int m = 2147483647;
   110   const int q =     127773;  /* m div a */
   111   const int r =       2836;  /* m mod a */
   112   assert(sizeof(int) == 4, "I think this relies on that");
   113   int seed = *seed0;
   114   int hi   = seed / q;
   115   int lo   = seed % q;
   116   int test = a * lo - r * hi;
   117   if (test > 0)
   118     seed = test;
   119   else
   120     seed = test + m;
   121   *seed0 = seed;
   122   return seed;
   123 }
   125 ParallelTaskTerminator::
   126 ParallelTaskTerminator(int n_threads, TaskQueueSetSuper* queue_set) :
   127   _n_threads(n_threads),
   128   _queue_set(queue_set),
   129   _offered_termination(0) {}
   131 bool ParallelTaskTerminator::peek_in_queue_set() {
   132   return _queue_set->peek();
   133 }
   135 void ParallelTaskTerminator::yield() {
   136   assert(_offered_termination <= _n_threads, "Invariant");
   137   os::yield();
   138 }
   140 void ParallelTaskTerminator::sleep(uint millis) {
   141   assert(_offered_termination <= _n_threads, "Invariant");
   142   os::sleep(Thread::current(), millis, false);
   143 }
   145 bool
   146 ParallelTaskTerminator::offer_termination(TerminatorTerminator* terminator) {
   147   assert(_n_threads > 0, "Initialization is incorrect");
   148   assert(_offered_termination < _n_threads, "Invariant");
   149   Atomic::inc(&_offered_termination);
   151   uint yield_count = 0;
   152   // Number of hard spin loops done since last yield
   153   uint hard_spin_count = 0;
   154   // Number of iterations in the hard spin loop.
   155   uint hard_spin_limit = WorkStealingHardSpins;
   157   // If WorkStealingSpinToYieldRatio is 0, no hard spinning is done.
   158   // If it is greater than 0, then start with a small number
   159   // of spins and increase number with each turn at spinning until
   160   // the count of hard spins exceeds WorkStealingSpinToYieldRatio.
   161   // Then do a yield() call and start spinning afresh.
   162   if (WorkStealingSpinToYieldRatio > 0) {
   163     hard_spin_limit = WorkStealingHardSpins >> WorkStealingSpinToYieldRatio;
   164     hard_spin_limit = MAX2(hard_spin_limit, 1U);
   165   }
   166   // Remember the initial spin limit.
   167   uint hard_spin_start = hard_spin_limit;
   169   // Loop waiting for all threads to offer termination or
   170   // more work.
   171   while (true) {
   172     assert(_offered_termination <= _n_threads, "Invariant");
   173     // Are all threads offering termination?
   174     if (_offered_termination == _n_threads) {
   175       return true;
   176     } else {
   177       // Look for more work.
   178       // Periodically sleep() instead of yield() to give threads
   179       // waiting on the cores the chance to grab this code
   180       if (yield_count <= WorkStealingYieldsBeforeSleep) {
   181         // Do a yield or hardspin.  For purposes of deciding whether
   182         // to sleep, count this as a yield.
   183         yield_count++;
   185         // Periodically call yield() instead spinning
   186         // After WorkStealingSpinToYieldRatio spins, do a yield() call
   187         // and reset the counts and starting limit.
   188         if (hard_spin_count > WorkStealingSpinToYieldRatio) {
   189           yield();
   190           hard_spin_count = 0;
   191           hard_spin_limit = hard_spin_start;
   192 #ifdef TRACESPINNING
   193           _total_yields++;
   194 #endif
   195         } else {
   196           // Hard spin this time
   197           // Increase the hard spinning period but only up to a limit.
   198           hard_spin_limit = MIN2(2*hard_spin_limit,
   199                                  (uint) WorkStealingHardSpins);
   200           for (uint j = 0; j < hard_spin_limit; j++) {
   201             SpinPause();
   202           }
   203           hard_spin_count++;
   204 #ifdef TRACESPINNING
   205           _total_spins++;
   206 #endif
   207         }
   208       } else {
   209         if (PrintGCDetails && Verbose) {
   210          gclog_or_tty->print_cr("ParallelTaskTerminator::offer_termination() "
   211            "thread %d sleeps after %d yields",
   212            Thread::current(), yield_count);
   213         }
   214         yield_count = 0;
   215         // A sleep will cause this processor to seek work on another processor's
   216         // runqueue, if it has nothing else to run (as opposed to the yield
   217         // which may only move the thread to the end of the this processor's
   218         // runqueue).
   219         sleep(WorkStealingSleepMillis);
   220       }
   222 #ifdef TRACESPINNING
   223       _total_peeks++;
   224 #endif
   225       if (peek_in_queue_set() ||
   226           (terminator != NULL && terminator->should_exit_termination())) {
   227         Atomic::dec(&_offered_termination);
   228         assert(_offered_termination < _n_threads, "Invariant");
   229         return false;
   230       }
   231     }
   232   }
   233 }
   235 #ifdef TRACESPINNING
   236 void ParallelTaskTerminator::print_termination_counts() {
   237   gclog_or_tty->print_cr("ParallelTaskTerminator Total yields: %lld  "
   238     "Total spins: %lld  Total peeks: %lld",
   239     total_yields(),
   240     total_spins(),
   241     total_peeks());
   242 }
   243 #endif
   245 void ParallelTaskTerminator::reset_for_reuse() {
   246   if (_offered_termination != 0) {
   247     assert(_offered_termination == _n_threads,
   248            "Terminator may still be in use");
   249     _offered_termination = 0;
   250   }
   251 }
   253 #ifdef ASSERT
   254 bool ObjArrayTask::is_valid() const {
   255   return _obj != NULL && _obj->is_objArray() && _index > 0 &&
   256     _index < objArrayOop(_obj)->length();
   257 }
   258 #endif // ASSERT
   260 void ParallelTaskTerminator::reset_for_reuse(int n_threads) {
   261   reset_for_reuse();
   262   _n_threads = n_threads;
   263 }

mercurial