1.1 --- a/src/share/vm/utilities/taskqueue.hpp Fri Aug 06 10:17:21 2010 -0700 1.2 +++ b/src/share/vm/utilities/taskqueue.hpp Mon Aug 09 05:41:05 2010 -0700 1.3 @@ -59,15 +59,21 @@ 1.4 inline void record_steal(bool success); 1.5 inline void record_overflow(size_t new_length); 1.6 1.7 + TaskQueueStats & operator +=(const TaskQueueStats & addend); 1.8 + 1.9 inline size_t get(StatId id) const { return _stats[id]; } 1.10 inline const size_t* get() const { return _stats; } 1.11 1.12 inline void reset(); 1.13 1.14 + // Print the specified line of the header (does not include a line separator). 1.15 static void print_header(unsigned int line, outputStream* const stream = tty, 1.16 unsigned int width = 10); 1.17 + // Print the statistics (does not include a line separator). 1.18 void print(outputStream* const stream = tty, unsigned int width = 10) const; 1.19 1.20 + DEBUG_ONLY(void verify() const;) 1.21 + 1.22 private: 1.23 size_t _stats[last_stat_id]; 1.24 static const char * const _names[last_stat_id];