annotate libgfortran/io/unit.c @ 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 /* Copyright (C) 2002-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
2 Contributed by Andy Vaught
kono
parents:
diff changeset
3 F2003 I/O support contributed by Jerry DeLisle
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 This file is part of the GNU Fortran runtime library (libgfortran).
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 Libgfortran is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
8 it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
9 the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
10 any later version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 Libgfortran is distributed in the hope that it will be useful,
kono
parents:
diff changeset
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
15 GNU General Public License for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 Under Section 7 of GPL version 3, you are granted additional
kono
parents:
diff changeset
18 permissions described in the GCC Runtime Library Exception, version
kono
parents:
diff changeset
19 3.1, as published by the Free Software Foundation.
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 You should have received a copy of the GNU General Public License and
kono
parents:
diff changeset
22 a copy of the GCC Runtime Library Exception along with this program;
kono
parents:
diff changeset
23 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
kono
parents:
diff changeset
24 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 #include "io.h"
kono
parents:
diff changeset
27 #include "fbuf.h"
kono
parents:
diff changeset
28 #include "format.h"
kono
parents:
diff changeset
29 #include "unix.h"
kono
parents:
diff changeset
30 #include <string.h>
kono
parents:
diff changeset
31 #include <assert.h>
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 /* IO locking rules:
kono
parents:
diff changeset
35 UNIT_LOCK is a master lock, protecting UNIT_ROOT tree and UNIT_CACHE.
kono
parents:
diff changeset
36 Concurrent use of different units should be supported, so
kono
parents:
diff changeset
37 each unit has its own lock, LOCK.
kono
parents:
diff changeset
38 Open should be atomic with its reopening of units and list_read.c
kono
parents:
diff changeset
39 in several places needs find_unit another unit while holding stdin
kono
parents:
diff changeset
40 unit's lock, so it must be possible to acquire UNIT_LOCK while holding
kono
parents:
diff changeset
41 some unit's lock. Therefore to avoid deadlocks, it is forbidden
kono
parents:
diff changeset
42 to acquire unit's private locks while holding UNIT_LOCK, except
kono
parents:
diff changeset
43 for freshly created units (where no other thread can get at their
kono
parents:
diff changeset
44 address yet) or when using just trylock rather than lock operation.
kono
parents:
diff changeset
45 In addition to unit's private lock each unit has a WAITERS counter
kono
parents:
diff changeset
46 and CLOSED flag. WAITERS counter must be either only
kono
parents:
diff changeset
47 atomically incremented/decremented in all places (if atomic builtins
kono
parents:
diff changeset
48 are supported), or protected by UNIT_LOCK in all places (otherwise).
kono
parents:
diff changeset
49 CLOSED flag must be always protected by unit's LOCK.
kono
parents:
diff changeset
50 After finding a unit in UNIT_CACHE or UNIT_ROOT with UNIT_LOCK held,
kono
parents:
diff changeset
51 WAITERS must be incremented to avoid concurrent close from freeing
kono
parents:
diff changeset
52 the unit between unlocking UNIT_LOCK and acquiring unit's LOCK.
kono
parents:
diff changeset
53 Unit freeing is always done under UNIT_LOCK. If close_unit sees any
kono
parents:
diff changeset
54 WAITERS, it doesn't free the unit but instead sets the CLOSED flag
kono
parents:
diff changeset
55 and the thread that decrements WAITERS to zero while CLOSED flag is
kono
parents:
diff changeset
56 set is responsible for freeing it (while holding UNIT_LOCK).
kono
parents:
diff changeset
57 flush_all_units operation is iterating over the unit tree with
kono
parents:
diff changeset
58 increasing UNIT_NUMBER while holding UNIT_LOCK and attempting to
kono
parents:
diff changeset
59 flush each unit (and therefore needs the unit's LOCK held as well).
kono
parents:
diff changeset
60 To avoid deadlocks, it just trylocks the LOCK and if unsuccessful,
kono
parents:
diff changeset
61 remembers the current unit's UNIT_NUMBER, unlocks UNIT_LOCK, acquires
kono
parents:
diff changeset
62 unit's LOCK and after flushing reacquires UNIT_LOCK and restarts with
kono
parents:
diff changeset
63 the smallest UNIT_NUMBER above the last one flushed.
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 If find_unit/find_or_create_unit/find_file/get_unit routines return
kono
parents:
diff changeset
66 non-NULL, the returned unit has its private lock locked and when the
kono
parents:
diff changeset
67 caller is done with it, it must call either unlock_unit or close_unit
kono
parents:
diff changeset
68 on it. unlock_unit or close_unit must be always called only with the
kono
parents:
diff changeset
69 private lock held. */
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 /* Table of allocated newunit values. A simple solution would be to
kono
parents:
diff changeset
74 map OS file descriptors (fd's) to unit numbers, e.g. with newunit =
kono
parents:
diff changeset
75 -fd - 2, however that doesn't work since Fortran allows an existing
kono
parents:
diff changeset
76 unit number to be reassociated with a new file. Thus the simple
kono
parents:
diff changeset
77 approach may lead to a situation where we'd try to assign a
kono
parents:
diff changeset
78 (negative) unit number which already exists. Hence we must keep
kono
parents:
diff changeset
79 track of allocated newunit values ourselves. This is the purpose of
kono
parents:
diff changeset
80 the newunits array. The indices map to newunit values as newunit =
kono
parents:
diff changeset
81 -index + NEWUNIT_FIRST. E.g. newunits[0] having the value true
kono
parents:
diff changeset
82 means that a unit with number NEWUNIT_FIRST exists. Similar to
kono
parents:
diff changeset
83 POSIX file descriptors, we always allocate the lowest (in absolute
kono
parents:
diff changeset
84 value) available unit number.
kono
parents:
diff changeset
85 */
kono
parents:
diff changeset
86 static bool *newunits;
kono
parents:
diff changeset
87 static int newunit_size; /* Total number of elements in the newunits array. */
kono
parents:
diff changeset
88 /* Low water indicator for the newunits array. Below the LWI all the
kono
parents:
diff changeset
89 units are allocated, above and equal to the LWI there may be both
kono
parents:
diff changeset
90 allocated and free units. */
kono
parents:
diff changeset
91 static int newunit_lwi;
kono
parents:
diff changeset
92 static void newunit_free (int);
kono
parents:
diff changeset
93
kono
parents:
diff changeset
94 /* Unit numbers assigned with NEWUNIT start from here. */
kono
parents:
diff changeset
95 #define NEWUNIT_START -10
kono
parents:
diff changeset
96
kono
parents:
diff changeset
97 #define CACHE_SIZE 3
kono
parents:
diff changeset
98 static gfc_unit *unit_cache[CACHE_SIZE];
kono
parents:
diff changeset
99 gfc_offset max_offset;
kono
parents:
diff changeset
100 gfc_unit *unit_root;
kono
parents:
diff changeset
101 #ifdef __GTHREAD_MUTEX_INIT
kono
parents:
diff changeset
102 __gthread_mutex_t unit_lock = __GTHREAD_MUTEX_INIT;
kono
parents:
diff changeset
103 #else
kono
parents:
diff changeset
104 __gthread_mutex_t unit_lock;
kono
parents:
diff changeset
105 #endif
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 /* We use these filenames for error reporting. */
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 static char stdin_name[] = "stdin";
kono
parents:
diff changeset
110 static char stdout_name[] = "stdout";
kono
parents:
diff changeset
111 static char stderr_name[] = "stderr";
kono
parents:
diff changeset
112
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 #ifdef HAVE_NEWLOCALE
kono
parents:
diff changeset
115 locale_t c_locale;
kono
parents:
diff changeset
116 #else
kono
parents:
diff changeset
117 /* If we don't have POSIX 2008 per-thread locales, we need to use the
kono
parents:
diff changeset
118 traditional setlocale(). To prevent multiple concurrent threads
kono
parents:
diff changeset
119 doing formatted I/O from messing up the locale, we need to store a
kono
parents:
diff changeset
120 global old_locale, and a counter keeping track of how many threads
kono
parents:
diff changeset
121 are currently doing formatted I/O. The first thread saves the old
kono
parents:
diff changeset
122 locale, and the last one restores it. */
kono
parents:
diff changeset
123 char *old_locale;
kono
parents:
diff changeset
124 int old_locale_ctr;
kono
parents:
diff changeset
125 #ifdef __GTHREAD_MUTEX_INIT
kono
parents:
diff changeset
126 __gthread_mutex_t old_locale_lock = __GTHREAD_MUTEX_INIT;
kono
parents:
diff changeset
127 #else
kono
parents:
diff changeset
128 __gthread_mutex_t old_locale_lock;
kono
parents:
diff changeset
129 #endif
kono
parents:
diff changeset
130 #endif
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132
kono
parents:
diff changeset
133 /* This implementation is based on Stefan Nilsson's article in the
kono
parents:
diff changeset
134 July 1997 Doctor Dobb's Journal, "Treaps in Java". */
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 /* pseudo_random()-- Simple linear congruential pseudorandom number
kono
parents:
diff changeset
137 generator. The period of this generator is 44071, which is plenty
kono
parents:
diff changeset
138 for our purposes. */
kono
parents:
diff changeset
139
kono
parents:
diff changeset
140 static int
kono
parents:
diff changeset
141 pseudo_random (void)
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 static int x0 = 5341;
kono
parents:
diff changeset
144
kono
parents:
diff changeset
145 x0 = (22611 * x0 + 10) % 44071;
kono
parents:
diff changeset
146 return x0;
kono
parents:
diff changeset
147 }
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149
kono
parents:
diff changeset
150 /* rotate_left()-- Rotate the treap left */
kono
parents:
diff changeset
151
kono
parents:
diff changeset
152 static gfc_unit *
kono
parents:
diff changeset
153 rotate_left (gfc_unit *t)
kono
parents:
diff changeset
154 {
kono
parents:
diff changeset
155 gfc_unit *temp;
kono
parents:
diff changeset
156
kono
parents:
diff changeset
157 temp = t->right;
kono
parents:
diff changeset
158 t->right = t->right->left;
kono
parents:
diff changeset
159 temp->left = t;
kono
parents:
diff changeset
160
kono
parents:
diff changeset
161 return temp;
kono
parents:
diff changeset
162 }
kono
parents:
diff changeset
163
kono
parents:
diff changeset
164
kono
parents:
diff changeset
165 /* rotate_right()-- Rotate the treap right */
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 static gfc_unit *
kono
parents:
diff changeset
168 rotate_right (gfc_unit *t)
kono
parents:
diff changeset
169 {
kono
parents:
diff changeset
170 gfc_unit *temp;
kono
parents:
diff changeset
171
kono
parents:
diff changeset
172 temp = t->left;
kono
parents:
diff changeset
173 t->left = t->left->right;
kono
parents:
diff changeset
174 temp->right = t;
kono
parents:
diff changeset
175
kono
parents:
diff changeset
176 return temp;
kono
parents:
diff changeset
177 }
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 static int
kono
parents:
diff changeset
181 compare (int a, int b)
kono
parents:
diff changeset
182 {
kono
parents:
diff changeset
183 if (a < b)
kono
parents:
diff changeset
184 return -1;
kono
parents:
diff changeset
185 if (a > b)
kono
parents:
diff changeset
186 return 1;
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 return 0;
kono
parents:
diff changeset
189 }
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191
kono
parents:
diff changeset
192 /* insert()-- Recursive insertion function. Returns the updated treap. */
kono
parents:
diff changeset
193
kono
parents:
diff changeset
194 static gfc_unit *
kono
parents:
diff changeset
195 insert (gfc_unit *new, gfc_unit *t)
kono
parents:
diff changeset
196 {
kono
parents:
diff changeset
197 int c;
kono
parents:
diff changeset
198
kono
parents:
diff changeset
199 if (t == NULL)
kono
parents:
diff changeset
200 return new;
kono
parents:
diff changeset
201
kono
parents:
diff changeset
202 c = compare (new->unit_number, t->unit_number);
kono
parents:
diff changeset
203
kono
parents:
diff changeset
204 if (c < 0)
kono
parents:
diff changeset
205 {
kono
parents:
diff changeset
206 t->left = insert (new, t->left);
kono
parents:
diff changeset
207 if (t->priority < t->left->priority)
kono
parents:
diff changeset
208 t = rotate_right (t);
kono
parents:
diff changeset
209 }
kono
parents:
diff changeset
210
kono
parents:
diff changeset
211 if (c > 0)
kono
parents:
diff changeset
212 {
kono
parents:
diff changeset
213 t->right = insert (new, t->right);
kono
parents:
diff changeset
214 if (t->priority < t->right->priority)
kono
parents:
diff changeset
215 t = rotate_left (t);
kono
parents:
diff changeset
216 }
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 if (c == 0)
kono
parents:
diff changeset
219 internal_error (NULL, "insert(): Duplicate key found!");
kono
parents:
diff changeset
220
kono
parents:
diff changeset
221 return t;
kono
parents:
diff changeset
222 }
kono
parents:
diff changeset
223
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225 /* insert_unit()-- Create a new node, insert it into the treap. */
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 static gfc_unit *
kono
parents:
diff changeset
228 insert_unit (int n)
kono
parents:
diff changeset
229 {
kono
parents:
diff changeset
230 gfc_unit *u = xcalloc (1, sizeof (gfc_unit));
kono
parents:
diff changeset
231 u->unit_number = n;
kono
parents:
diff changeset
232 #ifdef __GTHREAD_MUTEX_INIT
kono
parents:
diff changeset
233 {
kono
parents:
diff changeset
234 __gthread_mutex_t tmp = __GTHREAD_MUTEX_INIT;
kono
parents:
diff changeset
235 u->lock = tmp;
kono
parents:
diff changeset
236 }
kono
parents:
diff changeset
237 #else
kono
parents:
diff changeset
238 __GTHREAD_MUTEX_INIT_FUNCTION (&u->lock);
kono
parents:
diff changeset
239 #endif
kono
parents:
diff changeset
240 __gthread_mutex_lock (&u->lock);
kono
parents:
diff changeset
241 u->priority = pseudo_random ();
kono
parents:
diff changeset
242 unit_root = insert (u, unit_root);
kono
parents:
diff changeset
243 return u;
kono
parents:
diff changeset
244 }
kono
parents:
diff changeset
245
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 /* destroy_unit_mutex()-- Destroy the mutex and free memory of unit. */
kono
parents:
diff changeset
248
kono
parents:
diff changeset
249 static void
kono
parents:
diff changeset
250 destroy_unit_mutex (gfc_unit *u)
kono
parents:
diff changeset
251 {
kono
parents:
diff changeset
252 __gthread_mutex_destroy (&u->lock);
kono
parents:
diff changeset
253 free (u);
kono
parents:
diff changeset
254 }
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256
kono
parents:
diff changeset
257 static gfc_unit *
kono
parents:
diff changeset
258 delete_root (gfc_unit *t)
kono
parents:
diff changeset
259 {
kono
parents:
diff changeset
260 gfc_unit *temp;
kono
parents:
diff changeset
261
kono
parents:
diff changeset
262 if (t->left == NULL)
kono
parents:
diff changeset
263 return t->right;
kono
parents:
diff changeset
264 if (t->right == NULL)
kono
parents:
diff changeset
265 return t->left;
kono
parents:
diff changeset
266
kono
parents:
diff changeset
267 if (t->left->priority > t->right->priority)
kono
parents:
diff changeset
268 {
kono
parents:
diff changeset
269 temp = rotate_right (t);
kono
parents:
diff changeset
270 temp->right = delete_root (t);
kono
parents:
diff changeset
271 }
kono
parents:
diff changeset
272 else
kono
parents:
diff changeset
273 {
kono
parents:
diff changeset
274 temp = rotate_left (t);
kono
parents:
diff changeset
275 temp->left = delete_root (t);
kono
parents:
diff changeset
276 }
kono
parents:
diff changeset
277
kono
parents:
diff changeset
278 return temp;
kono
parents:
diff changeset
279 }
kono
parents:
diff changeset
280
kono
parents:
diff changeset
281
kono
parents:
diff changeset
282 /* delete_treap()-- Delete an element from a tree. The 'old' value
kono
parents:
diff changeset
283 does not necessarily have to point to the element to be deleted, it
kono
parents:
diff changeset
284 must just point to a treap structure with the key to be deleted.
kono
parents:
diff changeset
285 Returns the new root node of the tree. */
kono
parents:
diff changeset
286
kono
parents:
diff changeset
287 static gfc_unit *
kono
parents:
diff changeset
288 delete_treap (gfc_unit *old, gfc_unit *t)
kono
parents:
diff changeset
289 {
kono
parents:
diff changeset
290 int c;
kono
parents:
diff changeset
291
kono
parents:
diff changeset
292 if (t == NULL)
kono
parents:
diff changeset
293 return NULL;
kono
parents:
diff changeset
294
kono
parents:
diff changeset
295 c = compare (old->unit_number, t->unit_number);
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 if (c < 0)
kono
parents:
diff changeset
298 t->left = delete_treap (old, t->left);
kono
parents:
diff changeset
299 if (c > 0)
kono
parents:
diff changeset
300 t->right = delete_treap (old, t->right);
kono
parents:
diff changeset
301 if (c == 0)
kono
parents:
diff changeset
302 t = delete_root (t);
kono
parents:
diff changeset
303
kono
parents:
diff changeset
304 return t;
kono
parents:
diff changeset
305 }
kono
parents:
diff changeset
306
kono
parents:
diff changeset
307
kono
parents:
diff changeset
308 /* delete_unit()-- Delete a unit from a tree */
kono
parents:
diff changeset
309
kono
parents:
diff changeset
310 static void
kono
parents:
diff changeset
311 delete_unit (gfc_unit *old)
kono
parents:
diff changeset
312 {
kono
parents:
diff changeset
313 unit_root = delete_treap (old, unit_root);
kono
parents:
diff changeset
314 }
kono
parents:
diff changeset
315
kono
parents:
diff changeset
316
kono
parents:
diff changeset
317 /* get_gfc_unit()-- Given an integer, return a pointer to the unit
kono
parents:
diff changeset
318 structure. Returns NULL if the unit does not exist,
kono
parents:
diff changeset
319 otherwise returns a locked unit. */
kono
parents:
diff changeset
320
kono
parents:
diff changeset
321 static gfc_unit *
kono
parents:
diff changeset
322 get_gfc_unit (int n, int do_create)
kono
parents:
diff changeset
323 {
kono
parents:
diff changeset
324 gfc_unit *p;
kono
parents:
diff changeset
325 int c, created = 0;
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 __gthread_mutex_lock (&unit_lock);
kono
parents:
diff changeset
328 retry:
kono
parents:
diff changeset
329 for (c = 0; c < CACHE_SIZE; c++)
kono
parents:
diff changeset
330 if (unit_cache[c] != NULL && unit_cache[c]->unit_number == n)
kono
parents:
diff changeset
331 {
kono
parents:
diff changeset
332 p = unit_cache[c];
kono
parents:
diff changeset
333 goto found;
kono
parents:
diff changeset
334 }
kono
parents:
diff changeset
335
kono
parents:
diff changeset
336 p = unit_root;
kono
parents:
diff changeset
337 while (p != NULL)
kono
parents:
diff changeset
338 {
kono
parents:
diff changeset
339 c = compare (n, p->unit_number);
kono
parents:
diff changeset
340 if (c < 0)
kono
parents:
diff changeset
341 p = p->left;
kono
parents:
diff changeset
342 if (c > 0)
kono
parents:
diff changeset
343 p = p->right;
kono
parents:
diff changeset
344 if (c == 0)
kono
parents:
diff changeset
345 break;
kono
parents:
diff changeset
346 }
kono
parents:
diff changeset
347
kono
parents:
diff changeset
348 if (p == NULL && do_create)
kono
parents:
diff changeset
349 {
kono
parents:
diff changeset
350 p = insert_unit (n);
kono
parents:
diff changeset
351 created = 1;
kono
parents:
diff changeset
352 }
kono
parents:
diff changeset
353
kono
parents:
diff changeset
354 if (p != NULL)
kono
parents:
diff changeset
355 {
kono
parents:
diff changeset
356 for (c = 0; c < CACHE_SIZE - 1; c++)
kono
parents:
diff changeset
357 unit_cache[c] = unit_cache[c + 1];
kono
parents:
diff changeset
358
kono
parents:
diff changeset
359 unit_cache[CACHE_SIZE - 1] = p;
kono
parents:
diff changeset
360 }
kono
parents:
diff changeset
361
kono
parents:
diff changeset
362 if (created)
kono
parents:
diff changeset
363 {
kono
parents:
diff changeset
364 /* Newly created units have their lock held already
kono
parents:
diff changeset
365 from insert_unit. Just unlock UNIT_LOCK and return. */
kono
parents:
diff changeset
366 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
367 return p;
kono
parents:
diff changeset
368 }
kono
parents:
diff changeset
369
kono
parents:
diff changeset
370 found:
kono
parents:
diff changeset
371 if (p != NULL && (p->child_dtio == 0))
kono
parents:
diff changeset
372 {
kono
parents:
diff changeset
373 /* Fast path. */
kono
parents:
diff changeset
374 if (! __gthread_mutex_trylock (&p->lock))
kono
parents:
diff changeset
375 {
kono
parents:
diff changeset
376 /* assert (p->closed == 0); */
kono
parents:
diff changeset
377 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
378 return p;
kono
parents:
diff changeset
379 }
kono
parents:
diff changeset
380
kono
parents:
diff changeset
381 inc_waiting_locked (p);
kono
parents:
diff changeset
382 }
kono
parents:
diff changeset
383
kono
parents:
diff changeset
384
kono
parents:
diff changeset
385 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
386
kono
parents:
diff changeset
387 if (p != NULL && (p->child_dtio == 0))
kono
parents:
diff changeset
388 {
kono
parents:
diff changeset
389 __gthread_mutex_lock (&p->lock);
kono
parents:
diff changeset
390 if (p->closed)
kono
parents:
diff changeset
391 {
kono
parents:
diff changeset
392 __gthread_mutex_lock (&unit_lock);
kono
parents:
diff changeset
393 __gthread_mutex_unlock (&p->lock);
kono
parents:
diff changeset
394 if (predec_waiting_locked (p) == 0)
kono
parents:
diff changeset
395 destroy_unit_mutex (p);
kono
parents:
diff changeset
396 goto retry;
kono
parents:
diff changeset
397 }
kono
parents:
diff changeset
398
kono
parents:
diff changeset
399 dec_waiting_unlocked (p);
kono
parents:
diff changeset
400 }
kono
parents:
diff changeset
401 return p;
kono
parents:
diff changeset
402 }
kono
parents:
diff changeset
403
kono
parents:
diff changeset
404
kono
parents:
diff changeset
405 gfc_unit *
kono
parents:
diff changeset
406 find_unit (int n)
kono
parents:
diff changeset
407 {
kono
parents:
diff changeset
408 return get_gfc_unit (n, 0);
kono
parents:
diff changeset
409 }
kono
parents:
diff changeset
410
kono
parents:
diff changeset
411
kono
parents:
diff changeset
412 gfc_unit *
kono
parents:
diff changeset
413 find_or_create_unit (int n)
kono
parents:
diff changeset
414 {
kono
parents:
diff changeset
415 return get_gfc_unit (n, 1);
kono
parents:
diff changeset
416 }
kono
parents:
diff changeset
417
kono
parents:
diff changeset
418
kono
parents:
diff changeset
419 /* Helper function to check rank, stride, format string, and namelist.
kono
parents:
diff changeset
420 This is used for optimization. You can't trim out blanks or shorten
kono
parents:
diff changeset
421 the string if trailing spaces are significant. */
kono
parents:
diff changeset
422 static bool
kono
parents:
diff changeset
423 is_trim_ok (st_parameter_dt *dtp)
kono
parents:
diff changeset
424 {
kono
parents:
diff changeset
425 /* Check rank and stride. */
kono
parents:
diff changeset
426 if (dtp->internal_unit_desc)
kono
parents:
diff changeset
427 return false;
kono
parents:
diff changeset
428 /* Format strings can not have 'BZ' or '/'. */
kono
parents:
diff changeset
429 if (dtp->common.flags & IOPARM_DT_HAS_FORMAT)
kono
parents:
diff changeset
430 {
kono
parents:
diff changeset
431 char *p = dtp->format;
kono
parents:
diff changeset
432 off_t i;
kono
parents:
diff changeset
433 if (dtp->common.flags & IOPARM_DT_HAS_BLANK)
kono
parents:
diff changeset
434 return false;
kono
parents:
diff changeset
435 for (i = 0; i < dtp->format_len; i++)
kono
parents:
diff changeset
436 {
kono
parents:
diff changeset
437 if (p[i] == '/') return false;
kono
parents:
diff changeset
438 if (p[i] == 'b' || p[i] == 'B')
kono
parents:
diff changeset
439 if (p[i+1] == 'z' || p[i+1] == 'Z')
kono
parents:
diff changeset
440 return false;
kono
parents:
diff changeset
441 }
kono
parents:
diff changeset
442 }
kono
parents:
diff changeset
443 if (dtp->u.p.ionml) /* A namelist. */
kono
parents:
diff changeset
444 return false;
kono
parents:
diff changeset
445 return true;
kono
parents:
diff changeset
446 }
kono
parents:
diff changeset
447
kono
parents:
diff changeset
448
kono
parents:
diff changeset
449 gfc_unit *
kono
parents:
diff changeset
450 set_internal_unit (st_parameter_dt *dtp, gfc_unit *iunit, int kind)
kono
parents:
diff changeset
451 {
kono
parents:
diff changeset
452 gfc_offset start_record = 0;
kono
parents:
diff changeset
453
kono
parents:
diff changeset
454 iunit->unit_number = dtp->common.unit;
kono
parents:
diff changeset
455 iunit->recl = dtp->internal_unit_len;
kono
parents:
diff changeset
456 iunit->internal_unit = dtp->internal_unit;
kono
parents:
diff changeset
457 iunit->internal_unit_len = dtp->internal_unit_len;
kono
parents:
diff changeset
458 iunit->internal_unit_kind = kind;
kono
parents:
diff changeset
459
kono
parents:
diff changeset
460 /* As an optimization, adjust the unit record length to not
kono
parents:
diff changeset
461 include trailing blanks. This will not work under certain conditions
kono
parents:
diff changeset
462 where trailing blanks have significance. */
kono
parents:
diff changeset
463 if (dtp->u.p.mode == READING && is_trim_ok (dtp))
kono
parents:
diff changeset
464 {
kono
parents:
diff changeset
465 int len;
kono
parents:
diff changeset
466 if (kind == 1)
kono
parents:
diff changeset
467 len = string_len_trim (iunit->internal_unit_len,
kono
parents:
diff changeset
468 iunit->internal_unit);
kono
parents:
diff changeset
469 else
kono
parents:
diff changeset
470 len = string_len_trim_char4 (iunit->internal_unit_len,
kono
parents:
diff changeset
471 (const gfc_char4_t*) iunit->internal_unit);
kono
parents:
diff changeset
472 iunit->internal_unit_len = len;
kono
parents:
diff changeset
473 iunit->recl = iunit->internal_unit_len;
kono
parents:
diff changeset
474 }
kono
parents:
diff changeset
475
kono
parents:
diff changeset
476 /* Set up the looping specification from the array descriptor, if any. */
kono
parents:
diff changeset
477
kono
parents:
diff changeset
478 if (is_array_io (dtp))
kono
parents:
diff changeset
479 {
kono
parents:
diff changeset
480 iunit->rank = GFC_DESCRIPTOR_RANK (dtp->internal_unit_desc);
kono
parents:
diff changeset
481 iunit->ls = (array_loop_spec *)
kono
parents:
diff changeset
482 xmallocarray (iunit->rank, sizeof (array_loop_spec));
kono
parents:
diff changeset
483 iunit->internal_unit_len *=
kono
parents:
diff changeset
484 init_loop_spec (dtp->internal_unit_desc, iunit->ls, &start_record);
kono
parents:
diff changeset
485
kono
parents:
diff changeset
486 start_record *= iunit->recl;
kono
parents:
diff changeset
487 }
kono
parents:
diff changeset
488
kono
parents:
diff changeset
489 /* Set initial values for unit parameters. */
kono
parents:
diff changeset
490 if (kind == 4)
kono
parents:
diff changeset
491 iunit->s = open_internal4 (iunit->internal_unit - start_record,
kono
parents:
diff changeset
492 iunit->internal_unit_len, -start_record);
kono
parents:
diff changeset
493 else
kono
parents:
diff changeset
494 iunit->s = open_internal (iunit->internal_unit - start_record,
kono
parents:
diff changeset
495 iunit->internal_unit_len, -start_record);
kono
parents:
diff changeset
496
kono
parents:
diff changeset
497 iunit->bytes_left = iunit->recl;
kono
parents:
diff changeset
498 iunit->last_record=0;
kono
parents:
diff changeset
499 iunit->maxrec=0;
kono
parents:
diff changeset
500 iunit->current_record=0;
kono
parents:
diff changeset
501 iunit->read_bad = 0;
kono
parents:
diff changeset
502 iunit->endfile = NO_ENDFILE;
kono
parents:
diff changeset
503
kono
parents:
diff changeset
504 /* Set flags for the internal unit. */
kono
parents:
diff changeset
505
kono
parents:
diff changeset
506 iunit->flags.access = ACCESS_SEQUENTIAL;
kono
parents:
diff changeset
507 iunit->flags.action = ACTION_READWRITE;
kono
parents:
diff changeset
508 iunit->flags.blank = BLANK_NULL;
kono
parents:
diff changeset
509 iunit->flags.form = FORM_FORMATTED;
kono
parents:
diff changeset
510 iunit->flags.pad = PAD_YES;
kono
parents:
diff changeset
511 iunit->flags.status = STATUS_UNSPECIFIED;
kono
parents:
diff changeset
512 iunit->flags.sign = SIGN_UNSPECIFIED;
kono
parents:
diff changeset
513 iunit->flags.decimal = DECIMAL_POINT;
kono
parents:
diff changeset
514 iunit->flags.delim = DELIM_UNSPECIFIED;
kono
parents:
diff changeset
515 iunit->flags.encoding = ENCODING_DEFAULT;
kono
parents:
diff changeset
516 iunit->flags.async = ASYNC_NO;
kono
parents:
diff changeset
517 iunit->flags.round = ROUND_UNSPECIFIED;
kono
parents:
diff changeset
518
kono
parents:
diff changeset
519 /* Initialize the data transfer parameters. */
kono
parents:
diff changeset
520
kono
parents:
diff changeset
521 dtp->u.p.advance_status = ADVANCE_YES;
kono
parents:
diff changeset
522 dtp->u.p.seen_dollar = 0;
kono
parents:
diff changeset
523 dtp->u.p.skips = 0;
kono
parents:
diff changeset
524 dtp->u.p.pending_spaces = 0;
kono
parents:
diff changeset
525 dtp->u.p.max_pos = 0;
kono
parents:
diff changeset
526 dtp->u.p.at_eof = 0;
kono
parents:
diff changeset
527 return iunit;
kono
parents:
diff changeset
528 }
kono
parents:
diff changeset
529
kono
parents:
diff changeset
530
kono
parents:
diff changeset
531 /* get_unit()-- Returns the unit structure associated with the integer
kono
parents:
diff changeset
532 unit or the internal file. */
kono
parents:
diff changeset
533
kono
parents:
diff changeset
534 gfc_unit *
kono
parents:
diff changeset
535 get_unit (st_parameter_dt *dtp, int do_create)
kono
parents:
diff changeset
536 {
kono
parents:
diff changeset
537 gfc_unit *unit;
kono
parents:
diff changeset
538
kono
parents:
diff changeset
539 if ((dtp->common.flags & IOPARM_DT_HAS_INTERNAL_UNIT) != 0)
kono
parents:
diff changeset
540 {
kono
parents:
diff changeset
541 int kind;
kono
parents:
diff changeset
542 if (dtp->common.unit == GFC_INTERNAL_UNIT)
kono
parents:
diff changeset
543 kind = 1;
kono
parents:
diff changeset
544 else if (dtp->common.unit == GFC_INTERNAL_UNIT4)
kono
parents:
diff changeset
545 kind = 4;
kono
parents:
diff changeset
546 else
kono
parents:
diff changeset
547 internal_error (&dtp->common, "get_unit(): Bad internal unit KIND");
kono
parents:
diff changeset
548
kono
parents:
diff changeset
549 dtp->u.p.unit_is_internal = 1;
kono
parents:
diff changeset
550 dtp->common.unit = newunit_alloc ();
kono
parents:
diff changeset
551 unit = get_gfc_unit (dtp->common.unit, do_create);
kono
parents:
diff changeset
552 set_internal_unit (dtp, unit, kind);
kono
parents:
diff changeset
553 fbuf_init (unit, 128);
kono
parents:
diff changeset
554 return unit;
kono
parents:
diff changeset
555 }
kono
parents:
diff changeset
556
kono
parents:
diff changeset
557 /* Has to be an external unit. */
kono
parents:
diff changeset
558 dtp->u.p.unit_is_internal = 0;
kono
parents:
diff changeset
559 dtp->internal_unit = NULL;
kono
parents:
diff changeset
560 dtp->internal_unit_desc = NULL;
kono
parents:
diff changeset
561
kono
parents:
diff changeset
562 /* For an external unit with unit number < 0 creating it on the fly
kono
parents:
diff changeset
563 is not allowed, such units must be created with
kono
parents:
diff changeset
564 OPEN(NEWUNIT=...). */
kono
parents:
diff changeset
565 if (dtp->common.unit < 0)
kono
parents:
diff changeset
566 return get_gfc_unit (dtp->common.unit, 0);
kono
parents:
diff changeset
567
kono
parents:
diff changeset
568 return get_gfc_unit (dtp->common.unit, do_create);
kono
parents:
diff changeset
569 }
kono
parents:
diff changeset
570
kono
parents:
diff changeset
571
kono
parents:
diff changeset
572 /*************************/
kono
parents:
diff changeset
573 /* Initialize everything. */
kono
parents:
diff changeset
574
kono
parents:
diff changeset
575 void
kono
parents:
diff changeset
576 init_units (void)
kono
parents:
diff changeset
577 {
kono
parents:
diff changeset
578 gfc_unit *u;
kono
parents:
diff changeset
579 unsigned int i;
kono
parents:
diff changeset
580
kono
parents:
diff changeset
581 #ifdef HAVE_NEWLOCALE
kono
parents:
diff changeset
582 c_locale = newlocale (0, "C", 0);
kono
parents:
diff changeset
583 #else
kono
parents:
diff changeset
584 #ifndef __GTHREAD_MUTEX_INIT
kono
parents:
diff changeset
585 __GTHREAD_MUTEX_INIT_FUNCTION (&old_locale_lock);
kono
parents:
diff changeset
586 #endif
kono
parents:
diff changeset
587 #endif
kono
parents:
diff changeset
588
kono
parents:
diff changeset
589 #ifndef __GTHREAD_MUTEX_INIT
kono
parents:
diff changeset
590 __GTHREAD_MUTEX_INIT_FUNCTION (&unit_lock);
kono
parents:
diff changeset
591 #endif
kono
parents:
diff changeset
592
kono
parents:
diff changeset
593 if (options.stdin_unit >= 0)
kono
parents:
diff changeset
594 { /* STDIN */
kono
parents:
diff changeset
595 u = insert_unit (options.stdin_unit);
kono
parents:
diff changeset
596 u->s = input_stream ();
kono
parents:
diff changeset
597
kono
parents:
diff changeset
598 u->flags.action = ACTION_READ;
kono
parents:
diff changeset
599
kono
parents:
diff changeset
600 u->flags.access = ACCESS_SEQUENTIAL;
kono
parents:
diff changeset
601 u->flags.form = FORM_FORMATTED;
kono
parents:
diff changeset
602 u->flags.status = STATUS_OLD;
kono
parents:
diff changeset
603 u->flags.blank = BLANK_NULL;
kono
parents:
diff changeset
604 u->flags.pad = PAD_YES;
kono
parents:
diff changeset
605 u->flags.position = POSITION_ASIS;
kono
parents:
diff changeset
606 u->flags.sign = SIGN_UNSPECIFIED;
kono
parents:
diff changeset
607 u->flags.decimal = DECIMAL_POINT;
kono
parents:
diff changeset
608 u->flags.delim = DELIM_UNSPECIFIED;
kono
parents:
diff changeset
609 u->flags.encoding = ENCODING_DEFAULT;
kono
parents:
diff changeset
610 u->flags.async = ASYNC_NO;
kono
parents:
diff changeset
611 u->flags.round = ROUND_UNSPECIFIED;
kono
parents:
diff changeset
612 u->flags.share = SHARE_UNSPECIFIED;
kono
parents:
diff changeset
613 u->flags.cc = CC_LIST;
kono
parents:
diff changeset
614
kono
parents:
diff changeset
615 u->recl = options.default_recl;
kono
parents:
diff changeset
616 u->endfile = NO_ENDFILE;
kono
parents:
diff changeset
617
kono
parents:
diff changeset
618 u->filename = strdup (stdin_name);
kono
parents:
diff changeset
619
kono
parents:
diff changeset
620 fbuf_init (u, 0);
kono
parents:
diff changeset
621
kono
parents:
diff changeset
622 __gthread_mutex_unlock (&u->lock);
kono
parents:
diff changeset
623 }
kono
parents:
diff changeset
624
kono
parents:
diff changeset
625 if (options.stdout_unit >= 0)
kono
parents:
diff changeset
626 { /* STDOUT */
kono
parents:
diff changeset
627 u = insert_unit (options.stdout_unit);
kono
parents:
diff changeset
628 u->s = output_stream ();
kono
parents:
diff changeset
629
kono
parents:
diff changeset
630 u->flags.action = ACTION_WRITE;
kono
parents:
diff changeset
631
kono
parents:
diff changeset
632 u->flags.access = ACCESS_SEQUENTIAL;
kono
parents:
diff changeset
633 u->flags.form = FORM_FORMATTED;
kono
parents:
diff changeset
634 u->flags.status = STATUS_OLD;
kono
parents:
diff changeset
635 u->flags.blank = BLANK_NULL;
kono
parents:
diff changeset
636 u->flags.position = POSITION_ASIS;
kono
parents:
diff changeset
637 u->flags.sign = SIGN_UNSPECIFIED;
kono
parents:
diff changeset
638 u->flags.decimal = DECIMAL_POINT;
kono
parents:
diff changeset
639 u->flags.delim = DELIM_UNSPECIFIED;
kono
parents:
diff changeset
640 u->flags.encoding = ENCODING_DEFAULT;
kono
parents:
diff changeset
641 u->flags.async = ASYNC_NO;
kono
parents:
diff changeset
642 u->flags.round = ROUND_UNSPECIFIED;
kono
parents:
diff changeset
643 u->flags.share = SHARE_UNSPECIFIED;
kono
parents:
diff changeset
644 u->flags.cc = CC_LIST;
kono
parents:
diff changeset
645
kono
parents:
diff changeset
646 u->recl = options.default_recl;
kono
parents:
diff changeset
647 u->endfile = AT_ENDFILE;
kono
parents:
diff changeset
648
kono
parents:
diff changeset
649 u->filename = strdup (stdout_name);
kono
parents:
diff changeset
650
kono
parents:
diff changeset
651 fbuf_init (u, 0);
kono
parents:
diff changeset
652
kono
parents:
diff changeset
653 __gthread_mutex_unlock (&u->lock);
kono
parents:
diff changeset
654 }
kono
parents:
diff changeset
655
kono
parents:
diff changeset
656 if (options.stderr_unit >= 0)
kono
parents:
diff changeset
657 { /* STDERR */
kono
parents:
diff changeset
658 u = insert_unit (options.stderr_unit);
kono
parents:
diff changeset
659 u->s = error_stream ();
kono
parents:
diff changeset
660
kono
parents:
diff changeset
661 u->flags.action = ACTION_WRITE;
kono
parents:
diff changeset
662
kono
parents:
diff changeset
663 u->flags.access = ACCESS_SEQUENTIAL;
kono
parents:
diff changeset
664 u->flags.form = FORM_FORMATTED;
kono
parents:
diff changeset
665 u->flags.status = STATUS_OLD;
kono
parents:
diff changeset
666 u->flags.blank = BLANK_NULL;
kono
parents:
diff changeset
667 u->flags.position = POSITION_ASIS;
kono
parents:
diff changeset
668 u->flags.sign = SIGN_UNSPECIFIED;
kono
parents:
diff changeset
669 u->flags.decimal = DECIMAL_POINT;
kono
parents:
diff changeset
670 u->flags.encoding = ENCODING_DEFAULT;
kono
parents:
diff changeset
671 u->flags.async = ASYNC_NO;
kono
parents:
diff changeset
672 u->flags.round = ROUND_UNSPECIFIED;
kono
parents:
diff changeset
673 u->flags.share = SHARE_UNSPECIFIED;
kono
parents:
diff changeset
674 u->flags.cc = CC_LIST;
kono
parents:
diff changeset
675
kono
parents:
diff changeset
676 u->recl = options.default_recl;
kono
parents:
diff changeset
677 u->endfile = AT_ENDFILE;
kono
parents:
diff changeset
678
kono
parents:
diff changeset
679 u->filename = strdup (stderr_name);
kono
parents:
diff changeset
680
kono
parents:
diff changeset
681 fbuf_init (u, 256); /* 256 bytes should be enough, probably not doing
kono
parents:
diff changeset
682 any kind of exotic formatting to stderr. */
kono
parents:
diff changeset
683
kono
parents:
diff changeset
684 __gthread_mutex_unlock (&u->lock);
kono
parents:
diff changeset
685 }
kono
parents:
diff changeset
686
kono
parents:
diff changeset
687 /* Calculate the maximum file offset in a portable manner.
kono
parents:
diff changeset
688 max will be the largest signed number for the type gfc_offset.
kono
parents:
diff changeset
689 set a 1 in the LSB and keep a running sum, stopping at MSB-1 bit. */
kono
parents:
diff changeset
690 max_offset = 0;
kono
parents:
diff changeset
691 for (i = 0; i < sizeof (max_offset) * 8 - 1; i++)
kono
parents:
diff changeset
692 max_offset = max_offset + ((gfc_offset) 1 << i);
kono
parents:
diff changeset
693 }
kono
parents:
diff changeset
694
kono
parents:
diff changeset
695
kono
parents:
diff changeset
696 static int
kono
parents:
diff changeset
697 close_unit_1 (gfc_unit *u, int locked)
kono
parents:
diff changeset
698 {
kono
parents:
diff changeset
699 int i, rc;
kono
parents:
diff changeset
700
kono
parents:
diff changeset
701 /* If there are previously written bytes from a write with ADVANCE="no"
kono
parents:
diff changeset
702 Reposition the buffer before closing. */
kono
parents:
diff changeset
703 if (u->previous_nonadvancing_write)
kono
parents:
diff changeset
704 finish_last_advance_record (u);
kono
parents:
diff changeset
705
kono
parents:
diff changeset
706 rc = (u->s == NULL) ? 0 : sclose (u->s) == -1;
kono
parents:
diff changeset
707
kono
parents:
diff changeset
708 u->closed = 1;
kono
parents:
diff changeset
709 if (!locked)
kono
parents:
diff changeset
710 __gthread_mutex_lock (&unit_lock);
kono
parents:
diff changeset
711
kono
parents:
diff changeset
712 for (i = 0; i < CACHE_SIZE; i++)
kono
parents:
diff changeset
713 if (unit_cache[i] == u)
kono
parents:
diff changeset
714 unit_cache[i] = NULL;
kono
parents:
diff changeset
715
kono
parents:
diff changeset
716 delete_unit (u);
kono
parents:
diff changeset
717
kono
parents:
diff changeset
718 free (u->filename);
kono
parents:
diff changeset
719 u->filename = NULL;
kono
parents:
diff changeset
720
kono
parents:
diff changeset
721 free_format_hash_table (u);
kono
parents:
diff changeset
722 fbuf_destroy (u);
kono
parents:
diff changeset
723
kono
parents:
diff changeset
724 if (u->unit_number <= NEWUNIT_START)
kono
parents:
diff changeset
725 newunit_free (u->unit_number);
kono
parents:
diff changeset
726
kono
parents:
diff changeset
727 if (!locked)
kono
parents:
diff changeset
728 __gthread_mutex_unlock (&u->lock);
kono
parents:
diff changeset
729
kono
parents:
diff changeset
730 /* If there are any threads waiting in find_unit for this unit,
kono
parents:
diff changeset
731 avoid freeing the memory, the last such thread will free it
kono
parents:
diff changeset
732 instead. */
kono
parents:
diff changeset
733 if (u->waiting == 0)
kono
parents:
diff changeset
734 destroy_unit_mutex (u);
kono
parents:
diff changeset
735
kono
parents:
diff changeset
736 if (!locked)
kono
parents:
diff changeset
737 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
738
kono
parents:
diff changeset
739 return rc;
kono
parents:
diff changeset
740 }
kono
parents:
diff changeset
741
kono
parents:
diff changeset
742 void
kono
parents:
diff changeset
743 unlock_unit (gfc_unit *u)
kono
parents:
diff changeset
744 {
kono
parents:
diff changeset
745 __gthread_mutex_unlock (&u->lock);
kono
parents:
diff changeset
746 }
kono
parents:
diff changeset
747
kono
parents:
diff changeset
748 /* close_unit()-- Close a unit. The stream is closed, and any memory
kono
parents:
diff changeset
749 associated with the stream is freed. Returns nonzero on I/O error.
kono
parents:
diff changeset
750 Should be called with the u->lock locked. */
kono
parents:
diff changeset
751
kono
parents:
diff changeset
752 int
kono
parents:
diff changeset
753 close_unit (gfc_unit *u)
kono
parents:
diff changeset
754 {
kono
parents:
diff changeset
755 return close_unit_1 (u, 0);
kono
parents:
diff changeset
756 }
kono
parents:
diff changeset
757
kono
parents:
diff changeset
758
kono
parents:
diff changeset
759 /* close_units()-- Delete units on completion. We just keep deleting
kono
parents:
diff changeset
760 the root of the treap until there is nothing left.
kono
parents:
diff changeset
761 Not sure what to do with locking here. Some other thread might be
kono
parents:
diff changeset
762 holding some unit's lock and perhaps hold it indefinitely
kono
parents:
diff changeset
763 (e.g. waiting for input from some pipe) and close_units shouldn't
kono
parents:
diff changeset
764 delay the program too much. */
kono
parents:
diff changeset
765
kono
parents:
diff changeset
766 void
kono
parents:
diff changeset
767 close_units (void)
kono
parents:
diff changeset
768 {
kono
parents:
diff changeset
769 __gthread_mutex_lock (&unit_lock);
kono
parents:
diff changeset
770 while (unit_root != NULL)
kono
parents:
diff changeset
771 close_unit_1 (unit_root, 1);
kono
parents:
diff changeset
772 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
773
kono
parents:
diff changeset
774 free (newunits);
kono
parents:
diff changeset
775
kono
parents:
diff changeset
776 #ifdef HAVE_FREELOCALE
kono
parents:
diff changeset
777 freelocale (c_locale);
kono
parents:
diff changeset
778 #endif
kono
parents:
diff changeset
779 }
kono
parents:
diff changeset
780
kono
parents:
diff changeset
781
kono
parents:
diff changeset
782 /* High level interface to truncate a file, i.e. flush format buffers,
kono
parents:
diff changeset
783 and generate an error or set some flags. Just like POSIX
kono
parents:
diff changeset
784 ftruncate, returns 0 on success, -1 on failure. */
kono
parents:
diff changeset
785
kono
parents:
diff changeset
786 int
kono
parents:
diff changeset
787 unit_truncate (gfc_unit *u, gfc_offset pos, st_parameter_common *common)
kono
parents:
diff changeset
788 {
kono
parents:
diff changeset
789 int ret;
kono
parents:
diff changeset
790
kono
parents:
diff changeset
791 /* Make sure format buffer is flushed. */
kono
parents:
diff changeset
792 if (u->flags.form == FORM_FORMATTED)
kono
parents:
diff changeset
793 {
kono
parents:
diff changeset
794 if (u->mode == READING)
kono
parents:
diff changeset
795 pos += fbuf_reset (u);
kono
parents:
diff changeset
796 else
kono
parents:
diff changeset
797 fbuf_flush (u, u->mode);
kono
parents:
diff changeset
798 }
kono
parents:
diff changeset
799
kono
parents:
diff changeset
800 /* struncate() should flush the stream buffer if necessary, so don't
kono
parents:
diff changeset
801 bother calling sflush() here. */
kono
parents:
diff changeset
802 ret = struncate (u->s, pos);
kono
parents:
diff changeset
803
kono
parents:
diff changeset
804 if (ret != 0)
kono
parents:
diff changeset
805 generate_error (common, LIBERROR_OS, NULL);
kono
parents:
diff changeset
806 else
kono
parents:
diff changeset
807 {
kono
parents:
diff changeset
808 u->endfile = AT_ENDFILE;
kono
parents:
diff changeset
809 u->flags.position = POSITION_APPEND;
kono
parents:
diff changeset
810 }
kono
parents:
diff changeset
811
kono
parents:
diff changeset
812 return ret;
kono
parents:
diff changeset
813 }
kono
parents:
diff changeset
814
kono
parents:
diff changeset
815
kono
parents:
diff changeset
816 /* filename_from_unit()-- If the unit_number exists, return a pointer to the
kono
parents:
diff changeset
817 name of the associated file, otherwise return the empty string. The caller
kono
parents:
diff changeset
818 must free memory allocated for the filename string. */
kono
parents:
diff changeset
819
kono
parents:
diff changeset
820 char *
kono
parents:
diff changeset
821 filename_from_unit (int n)
kono
parents:
diff changeset
822 {
kono
parents:
diff changeset
823 gfc_unit *u;
kono
parents:
diff changeset
824 int c;
kono
parents:
diff changeset
825
kono
parents:
diff changeset
826 /* Find the unit. */
kono
parents:
diff changeset
827 u = unit_root;
kono
parents:
diff changeset
828 while (u != NULL)
kono
parents:
diff changeset
829 {
kono
parents:
diff changeset
830 c = compare (n, u->unit_number);
kono
parents:
diff changeset
831 if (c < 0)
kono
parents:
diff changeset
832 u = u->left;
kono
parents:
diff changeset
833 if (c > 0)
kono
parents:
diff changeset
834 u = u->right;
kono
parents:
diff changeset
835 if (c == 0)
kono
parents:
diff changeset
836 break;
kono
parents:
diff changeset
837 }
kono
parents:
diff changeset
838
kono
parents:
diff changeset
839 /* Get the filename. */
kono
parents:
diff changeset
840 if (u != NULL && u->filename != NULL)
kono
parents:
diff changeset
841 return strdup (u->filename);
kono
parents:
diff changeset
842 else
kono
parents:
diff changeset
843 return (char *) NULL;
kono
parents:
diff changeset
844 }
kono
parents:
diff changeset
845
kono
parents:
diff changeset
846 void
kono
parents:
diff changeset
847 finish_last_advance_record (gfc_unit *u)
kono
parents:
diff changeset
848 {
kono
parents:
diff changeset
849
kono
parents:
diff changeset
850 if (u->saved_pos > 0)
kono
parents:
diff changeset
851 fbuf_seek (u, u->saved_pos, SEEK_CUR);
kono
parents:
diff changeset
852
kono
parents:
diff changeset
853 if (!(u->unit_number == options.stdout_unit
kono
parents:
diff changeset
854 || u->unit_number == options.stderr_unit))
kono
parents:
diff changeset
855 {
kono
parents:
diff changeset
856 #ifdef HAVE_CRLF
kono
parents:
diff changeset
857 const int len = 2;
kono
parents:
diff changeset
858 #else
kono
parents:
diff changeset
859 const int len = 1;
kono
parents:
diff changeset
860 #endif
kono
parents:
diff changeset
861 char *p = fbuf_alloc (u, len);
kono
parents:
diff changeset
862 if (!p)
kono
parents:
diff changeset
863 os_error ("Completing record after ADVANCE_NO failed");
kono
parents:
diff changeset
864 #ifdef HAVE_CRLF
kono
parents:
diff changeset
865 *(p++) = '\r';
kono
parents:
diff changeset
866 #endif
kono
parents:
diff changeset
867 *p = '\n';
kono
parents:
diff changeset
868 }
kono
parents:
diff changeset
869
kono
parents:
diff changeset
870 fbuf_flush (u, u->mode);
kono
parents:
diff changeset
871 }
kono
parents:
diff changeset
872
kono
parents:
diff changeset
873
kono
parents:
diff changeset
874 /* Assign a negative number for NEWUNIT in OPEN statements or for
kono
parents:
diff changeset
875 internal units. */
kono
parents:
diff changeset
876 int
kono
parents:
diff changeset
877 newunit_alloc (void)
kono
parents:
diff changeset
878 {
kono
parents:
diff changeset
879 __gthread_mutex_lock (&unit_lock);
kono
parents:
diff changeset
880 if (!newunits)
kono
parents:
diff changeset
881 {
kono
parents:
diff changeset
882 newunits = xcalloc (16, 1);
kono
parents:
diff changeset
883 newunit_size = 16;
kono
parents:
diff changeset
884 }
kono
parents:
diff changeset
885
kono
parents:
diff changeset
886 /* Search for the next available newunit. */
kono
parents:
diff changeset
887 for (int ii = newunit_lwi; ii < newunit_size; ii++)
kono
parents:
diff changeset
888 {
kono
parents:
diff changeset
889 if (!newunits[ii])
kono
parents:
diff changeset
890 {
kono
parents:
diff changeset
891 newunits[ii] = true;
kono
parents:
diff changeset
892 newunit_lwi = ii + 1;
kono
parents:
diff changeset
893 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
894 return -ii + NEWUNIT_START;
kono
parents:
diff changeset
895 }
kono
parents:
diff changeset
896 }
kono
parents:
diff changeset
897
kono
parents:
diff changeset
898 /* Search failed, bump size of array and allocate the first
kono
parents:
diff changeset
899 available unit. */
kono
parents:
diff changeset
900 int old_size = newunit_size;
kono
parents:
diff changeset
901 newunit_size *= 2;
kono
parents:
diff changeset
902 newunits = xrealloc (newunits, newunit_size);
kono
parents:
diff changeset
903 memset (newunits + old_size, 0, old_size);
kono
parents:
diff changeset
904 newunits[old_size] = true;
kono
parents:
diff changeset
905 newunit_lwi = old_size + 1;
kono
parents:
diff changeset
906 __gthread_mutex_unlock (&unit_lock);
kono
parents:
diff changeset
907 return -old_size + NEWUNIT_START;
kono
parents:
diff changeset
908 }
kono
parents:
diff changeset
909
kono
parents:
diff changeset
910
kono
parents:
diff changeset
911 /* Free a previously allocated newunit= unit number. unit_lock must
kono
parents:
diff changeset
912 be held when calling. */
kono
parents:
diff changeset
913
kono
parents:
diff changeset
914 static void
kono
parents:
diff changeset
915 newunit_free (int unit)
kono
parents:
diff changeset
916 {
kono
parents:
diff changeset
917 int ind = -unit + NEWUNIT_START;
kono
parents:
diff changeset
918 assert(ind >= 0 && ind < newunit_size);
kono
parents:
diff changeset
919 newunits[ind] = false;
kono
parents:
diff changeset
920 if (ind < newunit_lwi)
kono
parents:
diff changeset
921 newunit_lwi = ind;
kono
parents:
diff changeset
922 }