Annotation of OpenXM_contrib/PHC/Ada/System/other_timing_package.adb, Revision 1.1
1.1 ! maekawa 1: with Text_Io, Unix_Resource_Usage;
! 2:
! 3: package body Timing_Package is
! 4:
! 5: package duration_io is new text_io.fixed_io(duration);
! 6: package integer_io is new text_io.integer_io (integer);
! 7:
! 8: function duration_to_string (dur : duration)
! 9: return string;
! 10: pragma inline (duration_to_string);
! 11:
! 12: type timing_item is record
! 13: start_time : Unix_Resource_Usage.Process_Times;
! 14: stop_time : Unix_Resource_Usage.Process_Times;
! 15: end record;
! 16:
! 17: type rusage_timing_stuff is record
! 18: total_time : duration;
! 19: user_time : duration;
! 20: system_time : duration;
! 21: -- max_resident_size : natural;
! 22: -- shared_pages : natural;
! 23: -- unshared_pages : natural;
! 24: -- stack_pages : natural;
! 25: non_io_faults : natural;
! 26: io_faults : natural;
! 27: swaps : natural;
! 28: -- input_blocks : natural;
! 29: -- output_blocks : natural;
! 30: -- messages_out : natural;
! 31: -- messages_in : natural;
! 32: signals : natural;
! 33: -- vol_context_switches : natural;
! 34: -- invol_context_switches : natural;
! 35: total_context_switches : natural;
! 36: end record;
! 37:
! 38: function to_rusage_timing_stuff ( item : Timing_Widget )
! 39: return rusage_timing_stuff;
! 40: pragma inline (to_rusage_timing_stuff);
! 41:
! 42: procedure tstart ( widget : out Timing_Widget ) is
! 43:
! 44: answer : timing_item;
! 45:
! 46: begin
! 47: answer.start_time := Unix_Resource_Usage.get_process_times;
! 48: widget := new timing_item'(answer);
! 49: end tstart;
! 50:
! 51: procedure tstop ( widget : in out Timing_Widget ) is
! 52: begin
! 53: widget.all.stop_time := Unix_Resource_Usage.get_process_times;
! 54: end tstop;
! 55:
! 56: function Elapsed_Total_Time ( widget : Timing_Widget ) return duration is
! 57: begin
! 58: return (Unix_Resource_Usage.Total_Time_of(widget.Stop_Time)
! 59: - Unix_Resource_Usage.Total_Time_of(widget.Start_Time));
! 60: end Elapsed_Total_Time;
! 61:
! 62: function Elapsed_User_Time ( widget : Timing_Widget ) return duration is
! 63: begin
! 64: return (Unix_Resource_Usage.User_CPU_Time_of(widget.Stop_Time)
! 65: - Unix_Resource_Usage.User_CPU_Time_of(widget.Start_Time));
! 66: end Elapsed_User_Time;
! 67:
! 68: function Elapsed_System_Time ( widget : Timing_Widget ) return duration is
! 69: begin
! 70: return (Unix_Resource_Usage.System_CPU_Time_of(widget.Stop_Time)
! 71: - Unix_Resource_Usage.System_CPU_Time_of(widget.Start_Time));
! 72: end Elapsed_System_Time;
! 73:
! 74: procedure print_times ( widget : Timing_Widget; tag : string := "" ) is
! 75: begin
! 76: print_times(Standard_Output,widget,tag);
! 77: end print_times;
! 78:
! 79: procedure print_time ( file : file_type; mach_time : duration ) is
! 80: begin
! 81: duration_io.put(file,mach_time);
! 82: end print_time;
! 83:
! 84: function truncate ( d : duration ) return integer is
! 85:
! 86: rd : integer := integer(d);
! 87:
! 88: begin
! 89: if rd > 0
! 90: then if duration(rd) > d
! 91: then rd := rd-1;
! 92: end if;
! 93: end if;
! 94: return rd;
! 95: end truncate;
! 96:
! 97: procedure print_hms ( file : file_type; mach_time : duration ) is
! 98:
! 99: seconds : integer := truncate(mach_time);
! 100: millsec : integer := integer((mach_time-duration(seconds))*1000);
! 101: minutes,hours : integer;
! 102:
! 103: begin
! 104: if millsec >= 1000 -- could be due to rounding
! 105: then seconds := seconds + 1;
! 106: millsec := millsec - 1000;
! 107: end if;
! 108: minutes := seconds/60;
! 109: hours := minutes/60;
! 110: seconds := seconds - 60*minutes;
! 111: minutes := minutes - 60*hours;
! 112: integer_io.put(file,hours,2); text_io.put(file,"h");
! 113: integer_io.put(file,minutes,2); text_io.put(file,"m");
! 114: integer_io.put(file,seconds,2); text_io.put(file,"s");
! 115: integer_io.put(file,millsec,3); text_io.put(file,"ms");
! 116: end print_hms;
! 117:
! 118: procedure print_times ( file : file_type;
! 119: widget : Timing_Widget; tag : string := "") is
! 120:
! 121: rusage_stuff : rusage_timing_stuff;
! 122:
! 123: printout_column : text_io.positive_count := 45;
! 124: function "+" (l,r : text_io.positive_count)
! 125: return text_io.positive_count renames Text_IO."+";
! 126:
! 127: begin
! 128: text_io.put_line (file,"TIMING INFORMATION for " & tag);
! 129: rusage_stuff := to_rusage_timing_stuff (widget);
! 130: -- print out total time
! 131: Text_Io.Put (file,"The elapsed time in seconds was ");
! 132: text_io.set_col (file,Text_IO.positive_count(printout_column + 3));
! 133: duration_io.put (file,rusage_stuff.total_time);
! 134: text_io.put(file," = "); print_hms(file,rusage_stuff.total_time);
! 135: text_io.new_line(file);
! 136: -- print out user time
! 137: Text_Io.Put (file,"User time in seconds was ");
! 138: text_io.set_col (file,Text_IO.positive_count(printout_column + 3));
! 139: duration_io.put (file,rusage_stuff.user_time);
! 140: text_io.put(file," = "); print_hms(file,rusage_stuff.user_time);
! 141: text_io.new_line(file);
! 142: -- print out system time
! 143: Text_Io.Put (file,"System CPU time in seconds was ");
! 144: text_io.set_col (file,text_io.positive_count(printout_column + 3));
! 145: duration_io.put (file,rusage_stuff.system_time);
! 146: text_io.put(file," = "); print_hms(file,rusage_stuff.system_time);
! 147: text_io.new_line(file);
! 148: -- print out non-I/O page faults
! 149: Text_IO.put (file,"Non-I/O page faults was ");
! 150: text_io.set_col (file,printout_column);
! 151: integer_io.put (file,rusage_stuff.non_io_faults);
! 152: Text_IO.new_line(file);
! 153: -- print out I/O page faults
! 154: Text_IO.put (file,"I/O page faults was ");
! 155: text_io.set_col (file,printout_column);
! 156: integer_io.put (file,rusage_stuff.io_faults);
! 157: text_io.new_line(file);
! 158: -- print out signals
! 159: Text_IO.put (file,"Signals delivered was ");
! 160: text_io.set_col (file,printout_column);
! 161: integer_io.put (file,rusage_stuff.signals);
! 162: text_io.new_line(file);
! 163: -- print out swaps
! 164: text_io.put (file,"Swaps was ");
! 165: text_io.set_col (file,printout_column);
! 166: integer_io.put (file,rusage_stuff.swaps);
! 167: text_io.new_line(file);
! 168: -- print out total context switches
! 169: text_io.put (file,"Total context switches was ");
! 170: text_io.set_col (file,printout_column);
! 171: integer_io.put (file,rusage_stuff.total_context_switches);
! 172: text_io.new_line(file);
! 173: -- text_io.put_line
! 174: --("-----------------------------------------------------------------");
! 175: end print_times;
! 176:
! 177: function times_to_string ( widget : Timing_Widget;
! 178: delimiter : string := ":" ) return string is
! 179:
! 180: rusage_stuff : rusage_timing_stuff;
! 181:
! 182: begin
! 183: rusage_stuff := to_rusage_timing_stuff(widget);
! 184: return "Total Time in seconds => "
! 185: & duration_to_string (rusage_stuff.total_time) & delimiter
! 186: & "User Time in seconds => "
! 187: & duration_to_string (rusage_stuff.user_time) & delimiter
! 188: & "System Time in seconds => "
! 189: & duration_to_string (rusage_stuff.system_time) & delimiter
! 190: & "Non I/O Page Faults => "
! 191: & integer'image (rusage_stuff.non_io_faults) & delimiter
! 192: & "I/O Page Faults => "
! 193: & integer'image (rusage_stuff.io_faults) & delimiter
! 194: & "Swaps => "
! 195: & integer'image (rusage_stuff.swaps) & delimiter
! 196: & "Signals Delivered => "
! 197: & integer'image (rusage_stuff.signals) & delimiter
! 198: & "Total Context Switches => "
! 199: & integer'image (rusage_stuff.total_context_switches) & delimiter;
! 200: end times_to_string;
! 201:
! 202: function duration_to_string (dur : duration) return string is
! 203:
! 204: answer : string(1..(duration'fore + duration'aft + 1));
! 205:
! 206: begin
! 207: duration_io.put (to => answer, item => dur);
! 208: return answer;
! 209: end duration_to_string;
! 210:
! 211: function to_rusage_timing_stuff (item : Timing_Widget)
! 212: return rusage_timing_stuff is
! 213:
! 214: answer : rusage_timing_stuff;
! 215:
! 216: begin
! 217: answer.total_time := Unix_Resource_Usage.total_time_of
! 218: (item.Stop_Time)
! 219: - Unix_Resource_Usage.total_time_of
! 220: (item.Start_Time);
! 221: answer.user_time := Unix_Resource_Usage.user_cpu_time_of
! 222: (Item.Stop_time)
! 223: - Unix_Resource_Usage.user_cpu_time_of
! 224: (Item.Start_time);
! 225: answer.system_time := Unix_Resource_Usage.system_cpu_time_of
! 226: (Item.Stop_time)
! 227: - Unix_Resource_Usage.system_cpu_time_of
! 228: (Item.Start_time);
! 229: answer.non_io_faults := integer(Unix_Resource_Usage.non_io_page_faults_of
! 230: (item.stop_time)
! 231: - Unix_Resource_Usage.non_io_page_faults_of
! 232: (item.start_time));
! 233: answer.io_faults := integer (Unix_Resource_Usage.io_page_faults_of
! 234: (item.stop_time)
! 235: - Unix_Resource_Usage.io_page_faults_of
! 236: (item.start_time));
! 237: answer.swaps := (Unix_Resource_Usage.swaps_of
! 238: (item.stop_time)
! 239: - Unix_Resource_Usage.swaps_of
! 240: (item.start_time));
! 241: answer.signals := (Unix_Resource_Usage.signals_delivered_of
! 242: (item.stop_time)
! 243: - Unix_Resource_Usage.signals_delivered_of
! 244: (item.start_time));
! 245:
! 246: answer.total_context_switches
! 247: := ( Unix_Resource_Usage.voluntary_context_switches_of
! 248: (item.stop_time)
! 249: - Unix_Resource_Usage.voluntary_context_switches_of
! 250: (item.start_time))
! 251: + (Unix_Resource_Usage.involuntary_context_switches_of
! 252: (item.stop_time)
! 253: - Unix_Resource_Usage.involuntary_context_switches_of
! 254: (item.start_time));
! 255: return answer;
! 256: end to_rusage_timing_stuff;
! 257:
! 258: end Timing_Package;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to other_timing_package.adb CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / PHC / Ada / System