Changeset 199de1 in git


Ignore:
Timestamp:
Nov 20, 2009, 12:11:11 PM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
68b081826cda1d5edc4a5c9adb3f9ead2a95c338
Parents:
f9d26b40d523c69d5f5f37d02c3b62f36e6402bf
Message:
*hannes: count self time + children

git-svn-id: file:///usr/local/Singular/svn/trunk@12307 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/timer.cc

    rf9d26b4 r199de1  
    113113               +t_rec.ru_stime.tv_sec*1000000+t_rec.ru_stime.tv_usec
    114114               +5000)/10000; // unit is 1/100 sec
     115  getrusage(RUSAGE_CHILDREN,&t_rec);
     116  siStartTime += (t_rec.ru_utime.tv_sec*1000000+t_rec.ru_utime.tv_usec
     117               +t_rec.ru_stime.tv_sec*1000000+t_rec.ru_stime.tv_usec
     118               +5000)/10000; // unit is 1/100 sec
    115119#else
    116120  times(&t_rec);
     
    127131               +(int64)t_rec.ru_stime.tv_sec*1000000+t_rec.ru_stime.tv_usec
    128132               +(int64)5000)/(int64)10000; // unit is 1/100 sec
     133  getrusage(RUSAGE_CHILDREN,&t_rec);
     134  startl += ((int64)t_rec.ru_utime.tv_sec*1000000+(int64)t_rec.ru_utime.tv_usec
     135               +(int64)t_rec.ru_stime.tv_sec*1000000+t_rec.ru_stime.tv_usec
     136               +(int64)5000)/(int64)10000; // unit is 1/100 sec
    129137#else
    130138  times(&t_rec);
     
    142150  getrusage(RUSAGE_SELF,&t_rec);
    143151  curr = ((int64)t_rec.ru_utime.tv_sec*1000000+(int64)t_rec.ru_utime.tv_usec
     152         +(int64)t_rec.ru_stime.tv_sec*1000000+(int64)t_rec.ru_stime.tv_usec
     153         +(int64)5000)/(int64)10000; // unit is 1/100 sec
     154  getrusage(RUSAGE_CHILDREN,&t_rec);
     155  curr += ((int64)t_rec.ru_utime.tv_sec*1000000+(int64)t_rec.ru_utime.tv_usec
    144156         +(int64)t_rec.ru_stime.tv_sec*1000000+(int64)t_rec.ru_stime.tv_usec
    145157         +(int64)5000)/(int64)10000; // unit is 1/100 sec
     
    171183  getrusage(RUSAGE_SELF,&t_rec);
    172184  curr = ((int64)t_rec.ru_utime.tv_sec*1000000+(int64)t_rec.ru_utime.tv_usec
     185               +(int64)t_rec.ru_stime.tv_sec*1000000+(int64)t_rec.ru_stime.tv_usec
     186               +(int64)5000)/(int64)10000; // unit is 1/100 sec
     187  getrusage(RUSAGE_CHILDREN,&t_rec);
     188  curr += ((int64)t_rec.ru_utime.tv_sec*1000000+(int64)t_rec.ru_utime.tv_usec
    173189               +(int64)t_rec.ru_stime.tv_sec*1000000+(int64)t_rec.ru_stime.tv_usec
    174190               +(int64)5000)/(int64)10000; // unit is 1/100 sec
Note: See TracChangeset for help on using the changeset viewer.