annotate gcc/ada/libgnat/g-locfil.adb @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ------------------------------------------------------------------------------
kono
parents:
diff changeset
2 -- --
kono
parents:
diff changeset
3 -- GNAT COMPILER COMPONENTS --
kono
parents:
diff changeset
4 -- --
kono
parents:
diff changeset
5 -- G N A T . L O C K _ F I L E S --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- B o d y --
kono
parents:
diff changeset
8 -- --
kono
parents:
diff changeset
9 -- Copyright (C) 1998-2017, Free Software Foundation, Inc. --
kono
parents:
diff changeset
10 -- --
kono
parents:
diff changeset
11 -- GNAT is free software; you can redistribute it and/or modify it under --
kono
parents:
diff changeset
12 -- terms of the GNU General Public License as published by the Free Soft- --
kono
parents:
diff changeset
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
kono
parents:
diff changeset
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
kono
parents:
diff changeset
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
kono
parents:
diff changeset
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
kono
parents:
diff changeset
17 -- --
kono
parents:
diff changeset
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
kono
parents:
diff changeset
19 -- additional permissions described in the GCC Runtime Library Exception, --
kono
parents:
diff changeset
20 -- version 3.1, as published by the Free Software Foundation. --
kono
parents:
diff changeset
21 -- --
kono
parents:
diff changeset
22 -- You should have received a copy of the GNU General Public License and --
kono
parents:
diff changeset
23 -- a copy of the GCC Runtime Library Exception along with this program; --
kono
parents:
diff changeset
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
kono
parents:
diff changeset
25 -- <http://www.gnu.org/licenses/>. --
kono
parents:
diff changeset
26 -- --
kono
parents:
diff changeset
27 -- GNAT was originally developed by the GNAT team at New York University. --
kono
parents:
diff changeset
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
kono
parents:
diff changeset
29 -- --
kono
parents:
diff changeset
30 ------------------------------------------------------------------------------
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 with System;
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 package body GNAT.Lock_Files is
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 Dir_Separator : Character;
kono
parents:
diff changeset
37 pragma Import (C, Dir_Separator, "__gnat_dir_separator");
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 ---------------
kono
parents:
diff changeset
40 -- Lock_File --
kono
parents:
diff changeset
41 ---------------
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 procedure Lock_File
kono
parents:
diff changeset
44 (Directory : Path_Name;
kono
parents:
diff changeset
45 Lock_File_Name : Path_Name;
kono
parents:
diff changeset
46 Wait : Duration := 1.0;
kono
parents:
diff changeset
47 Retries : Natural := Natural'Last)
kono
parents:
diff changeset
48 is
kono
parents:
diff changeset
49 Dir : aliased String := Directory & ASCII.NUL;
kono
parents:
diff changeset
50 File : aliased String := Lock_File_Name & ASCII.NUL;
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 function Try_Lock (Dir, File : System.Address) return Integer;
kono
parents:
diff changeset
53 pragma Import (C, Try_Lock, "__gnat_try_lock");
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 begin
kono
parents:
diff changeset
56 -- If a directory separator was provided, just remove the one we have
kono
parents:
diff changeset
57 -- added above.
kono
parents:
diff changeset
58
kono
parents:
diff changeset
59 if Directory (Directory'Last) = Dir_Separator
kono
parents:
diff changeset
60 or else Directory (Directory'Last) = '/'
kono
parents:
diff changeset
61 then
kono
parents:
diff changeset
62 Dir (Dir'Last - 1) := ASCII.NUL;
kono
parents:
diff changeset
63 end if;
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 -- Try to lock the file Retries times
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67 for I in 0 .. Retries loop
kono
parents:
diff changeset
68 if Try_Lock (Dir'Address, File'Address) = 1 then
kono
parents:
diff changeset
69 return;
kono
parents:
diff changeset
70 end if;
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 exit when I = Retries;
kono
parents:
diff changeset
73 delay Wait;
kono
parents:
diff changeset
74 end loop;
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 raise Lock_Error;
kono
parents:
diff changeset
77 end Lock_File;
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 ---------------
kono
parents:
diff changeset
80 -- Lock_File --
kono
parents:
diff changeset
81 ---------------
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 procedure Lock_File
kono
parents:
diff changeset
84 (Lock_File_Name : Path_Name;
kono
parents:
diff changeset
85 Wait : Duration := 1.0;
kono
parents:
diff changeset
86 Retries : Natural := Natural'Last)
kono
parents:
diff changeset
87 is
kono
parents:
diff changeset
88 begin
kono
parents:
diff changeset
89 for J in reverse Lock_File_Name'Range loop
kono
parents:
diff changeset
90 if Lock_File_Name (J) = Dir_Separator
kono
parents:
diff changeset
91 or else Lock_File_Name (J) = '/'
kono
parents:
diff changeset
92 then
kono
parents:
diff changeset
93 Lock_File
kono
parents:
diff changeset
94 (Lock_File_Name (Lock_File_Name'First .. J - 1),
kono
parents:
diff changeset
95 Lock_File_Name (J + 1 .. Lock_File_Name'Last),
kono
parents:
diff changeset
96 Wait,
kono
parents:
diff changeset
97 Retries);
kono
parents:
diff changeset
98 return;
kono
parents:
diff changeset
99 end if;
kono
parents:
diff changeset
100 end loop;
kono
parents:
diff changeset
101
kono
parents:
diff changeset
102 Lock_File (".", Lock_File_Name, Wait, Retries);
kono
parents:
diff changeset
103 end Lock_File;
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 -----------------
kono
parents:
diff changeset
106 -- Unlock_File --
kono
parents:
diff changeset
107 -----------------
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 procedure Unlock_File (Lock_File_Name : Path_Name) is
kono
parents:
diff changeset
110 S : aliased String := Lock_File_Name & ASCII.NUL;
kono
parents:
diff changeset
111
kono
parents:
diff changeset
112 procedure unlink (A : System.Address);
kono
parents:
diff changeset
113 pragma Import (C, unlink, "unlink");
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 begin
kono
parents:
diff changeset
116 unlink (S'Address);
kono
parents:
diff changeset
117 end Unlock_File;
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 -----------------
kono
parents:
diff changeset
120 -- Unlock_File --
kono
parents:
diff changeset
121 -----------------
kono
parents:
diff changeset
122
kono
parents:
diff changeset
123 procedure Unlock_File (Directory : Path_Name; Lock_File_Name : Path_Name) is
kono
parents:
diff changeset
124 begin
kono
parents:
diff changeset
125 if Directory (Directory'Last) = Dir_Separator
kono
parents:
diff changeset
126 or else Directory (Directory'Last) = '/'
kono
parents:
diff changeset
127 then
kono
parents:
diff changeset
128 Unlock_File (Directory & Lock_File_Name);
kono
parents:
diff changeset
129 else
kono
parents:
diff changeset
130 Unlock_File (Directory & Dir_Separator & Lock_File_Name);
kono
parents:
diff changeset
131 end if;
kono
parents:
diff changeset
132 end Unlock_File;
kono
parents:
diff changeset
133
kono
parents:
diff changeset
134 end GNAT.Lock_Files;