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