]>
Commit | Line | Data |
---|---|---|
cacbc350 RK |
1 | ------------------------------------------------------------------------------ |
2 | -- -- | |
3 | -- GNAT COMPILER COMPONENTS -- | |
4 | -- -- | |
5 | -- S Y S T E M . P O O L _ G L O B A L -- | |
6 | -- -- | |
7 | -- S p e c -- | |
8 | -- -- | |
748086b7 | 9 | -- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- |
cacbc350 RK |
10 | -- -- |
11 | -- GNAT is free software; you can redistribute it and/or modify it under -- | |
12 | -- terms of the GNU General Public License as published by the Free Soft- -- | |
748086b7 | 13 | -- ware Foundation; either version 3, or (at your option) any later ver- -- |
cacbc350 RK |
14 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
15 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
748086b7 JJ |
16 | -- or FITNESS FOR A PARTICULAR PURPOSE. -- |
17 | -- -- | |
18 | -- As a special exception under Section 7 of GPL version 3, you are granted -- | |
19 | -- additional permissions described in the GCC Runtime Library Exception, -- | |
20 | -- version 3.1, as published by the Free Software Foundation. -- | |
21 | -- -- | |
22 | -- You should have received a copy of the GNU General Public License and -- | |
23 | -- a copy of the GCC Runtime Library Exception along with this program; -- | |
24 | -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |
25 | -- <http://www.gnu.org/licenses/>. -- | |
cacbc350 RK |
26 | -- -- |
27 | -- GNAT was originally developed by the GNAT team at New York University. -- | |
71ff80dc | 28 | -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
cacbc350 RK |
29 | -- -- |
30 | ------------------------------------------------------------------------------ | |
31 | ||
7e5e5cc7 RD |
32 | -- Storage pool corresponding to default global storage pool used for |
33 | -- types for which no storage pool is specified. | |
34 | ||
cacbc350 RK |
35 | with System; |
36 | with System.Storage_Pools; | |
37 | with System.Storage_Elements; | |
38 | ||
39 | package System.Pool_Global is | |
009186e0 AC |
40 | pragma Elaborate_Body; |
41 | -- Needed to ensure that library routines can execute allocators | |
cacbc350 RK |
42 | |
43 | -- Allocation strategy: | |
44 | ||
45 | -- Call to malloc/free for each Allocate/Deallocate | |
46 | -- no user specifiable size | |
47 | -- no automatic reclaim | |
48 | -- minimal overhead | |
49 | ||
fe98a6aa CC |
50 | -- Pool simulating the allocation/deallocation strategy used by the |
51 | -- compiler for access types globally declared. | |
cacbc350 RK |
52 | |
53 | type Unbounded_No_Reclaim_Pool is new | |
54 | System.Storage_Pools.Root_Storage_Pool with null record; | |
55 | ||
56 | function Storage_Size | |
57 | (Pool : Unbounded_No_Reclaim_Pool) | |
58 | return System.Storage_Elements.Storage_Count; | |
59 | ||
60 | procedure Allocate | |
61 | (Pool : in out Unbounded_No_Reclaim_Pool; | |
62 | Address : out System.Address; | |
63 | Storage_Size : System.Storage_Elements.Storage_Count; | |
64 | Alignment : System.Storage_Elements.Storage_Count); | |
65 | ||
66 | procedure Deallocate | |
67 | (Pool : in out Unbounded_No_Reclaim_Pool; | |
68 | Address : System.Address; | |
69 | Storage_Size : System.Storage_Elements.Storage_Count; | |
70 | Alignment : System.Storage_Elements.Storage_Count); | |
71 | ||
fe98a6aa CC |
72 | -- Pool object used by the compiler when implicit Storage Pool objects are |
73 | -- explicitly referred to. For instance when writing something like: | |
74 | -- for T'Storage_Pool use Q'Storage_Pool; | |
75 | -- and Q'Storage_Pool hasn't been defined explicitly. | |
cacbc350 RK |
76 | |
77 | Global_Pool_Object : Unbounded_No_Reclaim_Pool; | |
78 | ||
79 | end System.Pool_Global; |