1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216 | ------------------------------------------------------------------------------
-- --
-- GLADE COMPONENTS --
-- --
-- S Y S T E M . G A R L I C . D E B U G --
-- --
-- B o d y --
-- --
-- Copyright (C) 1996-2020 Free Software Foundation, Inc. --
-- --
-- GARLIC is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 2, or (at your option) any later ver- --
-- sion. GARLIC is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABI- --
-- LITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public --
-- License for more details. You should have received a copy of the GNU --
-- General Public License distributed with GARLIC; see file COPYING. If --
-- not, write to the Free Software Foundation, 59 Temple Place - Suite 330, --
-- Boston, MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
------------------------------------------------------------------------------
-- This file should be compiled with assertion flag only in developper
-- mode for a very special case which allows to track non-termination
-- partitions.
with Ada.Environment_Variables;
with System.IO;
with GNAT.OS_Lib; use GNAT.OS_Lib;
with Interfaces.C; use Interfaces.C;
with System.Garlic.Soft_Links; use System.Garlic.Soft_Links;
package body System.Garlic.Debug is
type Debug_Info is
record
Banner : String_Access;
Active : Boolean := False;
end record;
Current : Debug_Key := Always;
-- The current debug key
Debug_Table : array (Debug_Key) of Debug_Info;
-- The semaphore object which protects outputs from being mixed
Termination_Directory : String_Access;
Termination_Filename : String_Access;
-- Termination temp filename
Termination_Sanity_FD : File_Descriptor := Invalid_FD;
-- This file is created at elaboration time and deleted once the
-- partition has cleanly terminated. This feature is used to detect
-- incorrect termination.
-------------------------------------
-- Create_Termination_Sanity_File --
-------------------------------------
procedure Create_Termination_Sanity_File
is
Dir : String renames Termination_Directory.all;
function Get_PID return int;
pragma Import (C, Get_PID, "getpid");
Name : String (1 .. 32);
Last : Natural := 0;
procedure Write_PID (PID : int := Get_PID);
-- Store PID in Name
---------------
-- Write_PID --
---------------
procedure Write_PID (PID : int := Get_PID) is
begin
if PID < 10 then
Last := Last + 1;
Name (Last) := Character'Val (PID + Character'Pos ('0'));
else
Write_PID (PID / 10);
Write_PID (PID mod 10);
end if;
end Write_PID;
begin
if Dir'Length /= 0 and then Dir (Dir'Last) /= Directory_Separator then
Last := Last + 1;
Name (Last) := Directory_Separator;
end if;
Write_PID;
Termination_Filename :=
new String'(Dir & Name (1 .. Last) & ".dsa" & ASCII.NUL);
Termination_Sanity_FD :=
Create_New_File (Termination_Filename.all'Address, Binary);
pragma Assert (Termination_Sanity_FD /= Invalid_FD);
Close (Termination_Sanity_FD);
end Create_Termination_Sanity_File;
---------------
-- Debug_All --
---------------
procedure Debug_All is
begin
for I in Null_Key .. Current loop
if Debug_Table (I).Banner /= null then
Debug_Table (I).Active := True;
end if;
end loop;
end Debug_All;
----------------------
-- Debug_Initialize --
----------------------
function Debug_Initialize
(Variable : String;
Banner : String)
return Debug_Key
is
Value : constant String :=
Ada.Environment_Variables.Value (Variable, "");
Value_OK : constant Boolean :=
Value'Length /= 0
and then (Value (Value'First) = 't'
or else Value (Value'First) = 'T');
begin
pragma Assert (Current <= Debug_Key'Last);
Current := Current + 1;
Debug_Table (Current).Banner := new String'(Banner);
if Value_OK then
Debug_Table (Current).Active := True;
end if;
return Current;
end Debug_Initialize;
----------------
-- Debug_Mode --
----------------
function Debug_Mode
(Key : Debug_Key)
return Boolean
is
begin
return Debug_Table (Key).Active;
end Debug_Mode;
------------------------------------
-- Delete_Termination_Sanity_File --
------------------------------------
procedure Delete_Termination_Sanity_File is
Success : Boolean;
begin
if Termination_Sanity_FD /= Invalid_FD then
pragma Assert (Termination_Filename /= null);
Delete_File (Termination_Filename.all'Address, Success);
end if;
end Delete_Termination_Sanity_File;
----------------------
-- Print_Debug_Info --
----------------------
procedure Print_Debug_Info
(Message : String;
Key : Debug_Key) is
begin
if Debug_Table (Key).Active then
Enter_Critical_Section;
System.IO.Put_Line (Debug_Table (Key).Banner.all & Message);
Leave_Critical_Section;
end if;
end Print_Debug_Info;
-----------------------------
-- Print_Debug_Info_Nolock --
-----------------------------
procedure Print_Debug_Info_Nolock
(Message : String;
Key : Debug_Key) is
begin
if Debug_Table (Key).Active then
System.IO.Put_Line (Debug_Table (Key).Banner.all & Message);
end if;
end Print_Debug_Info_Nolock;
begin
Termination_Directory := new String'
(Ada.Environment_Variables.Value ("GLADE_SANITY_DIR", ""));
if Termination_Directory.all /= "" then
Create_Termination_Sanity_File;
end if;
Debug_Table (Always) := (Active => True, Banner => new String'(""));
end System.Garlic.Debug;
|