Fix handling of collating symbols in regexps
[glibc.git] / locale / loadarchive.c
blobdd70c15bd6ff43206a5ec7b0f392f71173a1557c
1 /* Code to load locale data from the locale archive file.
2 Copyright (C) 2002-2013 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <http://www.gnu.org/licenses/>. */
19 #include <locale.h>
20 #include <stddef.h>
21 #include <stdlib.h>
22 #include <stdbool.h>
23 #include <errno.h>
24 #include <assert.h>
25 #include <string.h>
26 #include <fcntl.h>
27 #include <unistd.h>
28 #include <sys/mman.h>
29 #include <sys/stat.h>
30 #include <sys/param.h>
32 #include "localeinfo.h"
33 #include "locarchive.h"
34 #include <not-cancel.h>
36 /* Define the hash function. We define the function as static inline. */
37 #define compute_hashval static inline compute_hashval
38 #define hashval_t uint32_t
39 #include "hashval.h"
40 #undef compute_hashval
43 /* Name of the locale archive file. */
44 static const char archfname[] = LOCALEDIR "/locale-archive";
46 /* Size of initial mapping window, optimal if large enough to
47 cover the header plus the initial locale. */
48 #define ARCHIVE_MAPPING_WINDOW (2 * 1024 * 1024)
50 #ifndef MAP_COPY
51 /* This is not quite as good as MAP_COPY since unexamined pages
52 can change out from under us and give us inconsistent data.
53 But we rely on the user not to diddle the system's live archive.
54 Even though we only ever use PROT_READ, using MAP_SHARED would
55 not give the system sufficient freedom to e.g. let the on disk
56 file go away because it doesn't know we won't call mprotect later. */
57 # define MAP_COPY MAP_PRIVATE
58 #endif
59 #ifndef MAP_FILE
60 /* Some systems do not have this flag; it is superfluous. */
61 # define MAP_FILE 0
62 #endif
64 /* Record of contiguous pages already mapped from the locale archive. */
65 struct archmapped
67 void *ptr;
68 uint32_t from;
69 uint32_t len;
70 struct archmapped *next;
72 static struct archmapped *archmapped;
74 /* This describes the mapping at the beginning of the file that contains
75 the header data. There could be data in the following partial page,
76 so this is searched like any other. Once the archive has been used,
77 ARCHMAPPED points to this; if mapping the archive header failed,
78 then headmap.ptr is null. */
79 static struct archmapped headmap;
80 static struct stat64 archive_stat; /* stat of archive when header mapped. */
82 /* Record of locales that we have already loaded from the archive. */
83 struct locale_in_archive
85 struct locale_in_archive *next;
86 char *name;
87 struct __locale_data *data[__LC_LAST];
89 static struct locale_in_archive *archloaded;
92 /* Local structure and subroutine of _nl_load_archive, see below. */
93 struct range
95 uint32_t from;
96 uint32_t len;
97 int category;
98 void *result;
101 static int
102 rangecmp (const void *p1, const void *p2)
104 return ((struct range *) p1)->from - ((struct range *) p2)->from;
108 /* Calculate the amount of space needed for all the tables described
109 by the given header. Note we do not include the empty table space
110 that has been preallocated in the file, so our mapping may not be
111 large enough if localedef adds data to the file in place. However,
112 doing that would permute the header fields while we are accessing
113 them and thus not be safe anyway, so we don't allow for that. */
114 static inline off_t
115 calculate_head_size (const struct locarhead *h)
117 off_t namehash_end = (h->namehash_offset
118 + h->namehash_size * sizeof (struct namehashent));
119 off_t string_end = h->string_offset + h->string_used;
120 off_t locrectab_end = (h->locrectab_offset
121 + h->locrectab_used * sizeof (struct locrecent));
122 return MAX (namehash_end, MAX (string_end, locrectab_end));
126 /* Find the locale *NAMEP in the locale archive, and return the
127 internalized data structure for its CATEGORY data. If this locale has
128 already been loaded from the archive, just returns the existing data
129 structure. If successful, sets *NAMEP to point directly into the mapped
130 archive string table; that way, the next call can short-circuit strcmp. */
131 struct __locale_data *
132 internal_function
133 _nl_load_locale_from_archive (int category, const char **namep)
135 const char *name = *namep;
136 struct
138 void *addr;
139 size_t len;
140 } results[__LC_LAST];
141 struct locale_in_archive *lia;
142 struct locarhead *head;
143 struct namehashent *namehashtab;
144 struct locrecent *locrec;
145 struct archmapped *mapped;
146 struct archmapped *last;
147 unsigned long int hval;
148 size_t idx;
149 size_t incr;
150 struct range ranges[__LC_LAST - 1];
151 int nranges;
152 int cnt;
153 size_t ps = __sysconf (_SC_PAGE_SIZE);
154 int fd = -1;
156 /* Check if we have already loaded this locale from the archive.
157 If we previously loaded the locale but found bogons in the data,
158 then we will have stored a null pointer to return here. */
159 for (lia = archloaded; lia != NULL; lia = lia->next)
160 if (name == lia->name || !strcmp (name, lia->name))
162 *namep = lia->name;
163 return lia->data[category];
167 /* If the name contains a codeset, then we normalize the name before
168 doing the lookup. */
169 const char *p = strchr (name, '.');
170 if (p != NULL && p[1] != '@' && p[1] != '\0')
172 const char *rest = __strchrnul (++p, '@');
173 const char *normalized_codeset = _nl_normalize_codeset (p, rest - p);
174 if (normalized_codeset == NULL) /* malloc failure */
175 return NULL;
176 if (strncmp (normalized_codeset, p, rest - p) != 0
177 || normalized_codeset[rest - p] != '\0')
179 /* There is a normalized codeset name that is different from
180 what was specified; reconstruct a new locale name using it. */
181 size_t normlen = strlen (normalized_codeset);
182 size_t restlen = strlen (rest) + 1;
183 char *newname = alloca (p - name + normlen + restlen);
184 memcpy (__mempcpy (__mempcpy (newname, name, p - name),
185 normalized_codeset, normlen),
186 rest, restlen);
187 name = newname;
189 free ((char *) normalized_codeset);
193 /* Make sure the archive is loaded. */
194 if (archmapped == NULL)
196 void *result;
197 size_t headsize, mapsize;
199 /* We do this early as a sign that we have tried to open the archive.
200 If headmap.ptr remains null, that's an indication that we tried
201 and failed, so we won't try again. */
202 archmapped = &headmap;
204 /* The archive has never been opened. */
205 fd = open_not_cancel_2 (archfname, O_RDONLY|O_LARGEFILE|O_CLOEXEC);
206 if (fd < 0)
207 /* Cannot open the archive, for whatever reason. */
208 return NULL;
210 if (__fxstat64 (_STAT_VER, fd, &archive_stat) == -1)
212 /* stat failed, very strange. */
213 close_and_out:
214 if (fd >= 0)
215 close_not_cancel_no_status (fd);
216 return NULL;
220 /* Map an initial window probably large enough to cover the header
221 and the first locale's data. With a large address space, we can
222 just map the whole file and be sure everything is covered. */
224 mapsize = (sizeof (void *) > 4 ? archive_stat.st_size
225 : MIN (archive_stat.st_size, ARCHIVE_MAPPING_WINDOW));
227 result = __mmap64 (NULL, mapsize, PROT_READ, MAP_FILE|MAP_COPY, fd, 0);
228 if (result == MAP_FAILED)
229 goto close_and_out;
231 /* Check whether the file is large enough for the sizes given in
232 the header. Theoretically an archive could be so large that
233 just the header fails to fit in our initial mapping window. */
234 headsize = calculate_head_size ((const struct locarhead *) result);
235 if (headsize > mapsize)
237 (void) __munmap (result, mapsize);
238 if (sizeof (void *) > 4 || headsize > archive_stat.st_size)
239 /* The file is not big enough for the header. Bogus. */
240 goto close_and_out;
242 /* Freakishly long header. */
243 /* XXX could use mremap when available */
244 mapsize = (headsize + ps - 1) & ~(ps - 1);
245 result = __mmap64 (NULL, mapsize, PROT_READ, MAP_FILE|MAP_COPY,
246 fd, 0);
247 if (result == MAP_FAILED)
248 goto close_and_out;
251 if (sizeof (void *) > 4 || mapsize >= archive_stat.st_size)
253 /* We've mapped the whole file already, so we can be
254 sure we won't need this file descriptor later. */
255 close_not_cancel_no_status (fd);
256 fd = -1;
259 headmap.ptr = result;
260 /* headmap.from already initialized to zero. */
261 headmap.len = mapsize;
264 /* If there is no archive or it cannot be loaded for some reason fail. */
265 if (__builtin_expect (headmap.ptr == NULL, 0))
266 goto close_and_out;
268 /* We have the archive available. To find the name we first have to
269 determine its hash value. */
270 hval = compute_hashval (name, strlen (name));
272 head = headmap.ptr;
273 namehashtab = (struct namehashent *) ((char *) head
274 + head->namehash_offset);
276 idx = hval % head->namehash_size;
277 incr = 1 + hval % (head->namehash_size - 2);
279 /* If the name_offset field is zero this means this is a
280 deleted entry and therefore no entry can be found. */
281 while (1)
283 if (namehashtab[idx].name_offset == 0)
284 /* Not found. */
285 goto close_and_out;
287 if (namehashtab[idx].hashval == hval
288 && strcmp (name, headmap.ptr + namehashtab[idx].name_offset) == 0)
289 /* Found the entry. */
290 break;
292 idx += incr;
293 if (idx >= head->namehash_size)
294 idx -= head->namehash_size;
297 /* We found an entry. It might be a placeholder for a removed one. */
298 if (namehashtab[idx].locrec_offset == 0)
299 goto close_and_out;
301 locrec = (struct locrecent *) (headmap.ptr + namehashtab[idx].locrec_offset);
303 if (sizeof (void *) > 4 /* || headmap.len == archive_stat.st_size */)
305 /* We already have the whole locale archive mapped in. */
306 assert (headmap.len == archive_stat.st_size);
307 for (cnt = 0; cnt < __LC_LAST; ++cnt)
308 if (cnt != LC_ALL)
310 if (locrec->record[cnt].offset + locrec->record[cnt].len
311 > headmap.len)
312 /* The archive locrectab contains bogus offsets. */
313 goto close_and_out;
314 results[cnt].addr = headmap.ptr + locrec->record[cnt].offset;
315 results[cnt].len = locrec->record[cnt].len;
318 else
320 /* Get the offsets of the data files and sort them. */
321 for (cnt = nranges = 0; cnt < __LC_LAST; ++cnt)
322 if (cnt != LC_ALL)
324 ranges[nranges].from = locrec->record[cnt].offset;
325 ranges[nranges].len = locrec->record[cnt].len;
326 ranges[nranges].category = cnt;
327 ranges[nranges].result = NULL;
329 ++nranges;
332 qsort (ranges, nranges, sizeof (ranges[0]), rangecmp);
334 /* The information about mmap'd blocks is kept in a list.
335 Skip over the blocks which are before the data we need. */
336 last = mapped = archmapped;
337 for (cnt = 0; cnt < nranges; ++cnt)
339 int upper;
340 size_t from;
341 size_t to;
342 void *addr;
343 struct archmapped *newp;
345 /* Determine whether the appropriate page is already mapped. */
346 while (mapped != NULL
347 && (mapped->from + mapped->len
348 <= ranges[cnt].from + ranges[cnt].len))
350 last = mapped;
351 mapped = mapped->next;
354 /* Do we have a match? */
355 if (mapped != NULL
356 && mapped->from <= ranges[cnt].from
357 && (ranges[cnt].from + ranges[cnt].len
358 <= mapped->from + mapped->len))
360 /* Yep, already loaded. */
361 results[ranges[cnt].category].addr = ((char *) mapped->ptr
362 + ranges[cnt].from
363 - mapped->from);
364 results[ranges[cnt].category].len = ranges[cnt].len;
365 continue;
368 /* Map the range with the locale data from the file. We will
369 try to cover as much of the locale as possible. I.e., if the
370 next category (next as in "next offset") is on the current or
371 immediately following page we use it as well. */
372 assert (powerof2 (ps));
373 from = ranges[cnt].from & ~(ps - 1);
374 upper = cnt;
377 to = ranges[upper].from + ranges[upper].len;
378 if (to > (size_t) archive_stat.st_size)
379 /* The archive locrectab contains bogus offsets. */
380 goto close_and_out;
381 to = (to + ps - 1) & ~(ps - 1);
383 /* If a range is already mmaped in, stop. */
384 if (mapped != NULL && ranges[upper].from >= mapped->from)
385 break;
387 ++upper;
389 /* Loop while still in contiguous pages. */
390 while (upper < nranges && ranges[upper].from < to + ps);
392 /* Open the file if it hasn't happened yet. */
393 if (fd == -1)
395 struct stat64 st;
396 fd = open_not_cancel_2 (archfname,
397 O_RDONLY|O_LARGEFILE|O_CLOEXEC);
398 if (fd == -1)
399 /* Cannot open the archive, for whatever reason. */
400 return NULL;
401 /* Now verify we think this is really the same archive file
402 we opened before. If it has been changed we cannot trust
403 the header we read previously. */
404 if (__fxstat64 (_STAT_VER, fd, &st) < 0
405 || st.st_size != archive_stat.st_size
406 || st.st_mtime != archive_stat.st_mtime
407 || st.st_dev != archive_stat.st_dev
408 || st.st_ino != archive_stat.st_ino)
409 goto close_and_out;
412 /* Map the range from the archive. */
413 addr = __mmap64 (NULL, to - from, PROT_READ, MAP_FILE|MAP_COPY,
414 fd, from);
415 if (addr == MAP_FAILED)
416 goto close_and_out;
418 /* Allocate a record for this mapping. */
419 newp = (struct archmapped *) malloc (sizeof (struct archmapped));
420 if (newp == NULL)
422 (void) __munmap (addr, to - from);
423 goto close_and_out;
426 /* And queue it. */
427 newp->ptr = addr;
428 newp->from = from;
429 newp->len = to - from;
430 assert (last->next == mapped);
431 newp->next = mapped;
432 last->next = newp;
433 last = newp;
435 /* Determine the load addresses for the category data. */
438 assert (ranges[cnt].from >= from);
439 results[ranges[cnt].category].addr = ((char *) addr
440 + ranges[cnt].from - from);
441 results[ranges[cnt].category].len = ranges[cnt].len;
443 while (++cnt < upper);
444 --cnt; /* The 'for' will increase 'cnt' again. */
448 /* We don't need the file descriptor any longer. */
449 if (fd >= 0)
450 close_not_cancel_no_status (fd);
451 fd = -1;
453 /* We succeeded in mapping all the necessary regions of the archive.
454 Now we need the expected data structures to point into the data. */
456 lia = malloc (sizeof *lia);
457 if (__builtin_expect (lia == NULL, 0))
458 return NULL;
460 lia->name = strdup (*namep);
461 if (__builtin_expect (lia->name == NULL, 0))
463 free (lia);
464 return NULL;
467 lia->next = archloaded;
468 archloaded = lia;
470 for (cnt = 0; cnt < __LC_LAST; ++cnt)
471 if (cnt != LC_ALL)
473 lia->data[cnt] = _nl_intern_locale_data (cnt,
474 results[cnt].addr,
475 results[cnt].len);
476 if (__builtin_expect (lia->data[cnt] != NULL, 1))
478 /* _nl_intern_locale_data leaves us these fields to initialize. */
479 lia->data[cnt]->alloc = ld_archive;
480 lia->data[cnt]->name = lia->name;
482 /* We do this instead of bumping the count each time we return
483 this data because the mappings stay around forever anyway
484 and we might as well hold on to a little more memory and not
485 have to rebuild it on the next lookup of the same thing.
486 If we were to maintain the usage_count normally and let the
487 structures be freed, we would have to remove the elements
488 from archloaded too. */
489 lia->data[cnt]->usage_count = UNDELETABLE;
493 *namep = lia->name;
494 return lia->data[category];
497 void __libc_freeres_fn_section
498 _nl_archive_subfreeres (void)
500 struct locale_in_archive *lia;
501 struct archmapped *am;
503 /* Toss out our cached locales. */
504 lia = archloaded;
505 while (lia != NULL)
507 int category;
508 struct locale_in_archive *dead = lia;
509 lia = lia->next;
511 free (dead->name);
512 for (category = 0; category < __LC_LAST; ++category)
513 if (category != LC_ALL)
515 /* _nl_unload_locale just does this free for the archive case. */
516 if (dead->data[category]->private.cleanup)
517 (*dead->data[category]->private.cleanup) (dead->data[category]);
519 free (dead->data[category]);
521 free (dead);
523 archloaded = NULL;
525 if (archmapped != NULL)
527 /* Now toss all the mapping windows, which we know nothing is using any
528 more because we just tossed all the locales that point into them. */
530 assert (archmapped == &headmap);
531 archmapped = NULL;
532 (void) __munmap (headmap.ptr, headmap.len);
533 am = headmap.next;
534 while (am != NULL)
536 struct archmapped *dead = am;
537 am = am->next;
538 (void) __munmap (dead->ptr, dead->len);
539 free (dead);