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
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */
/* special exception on linking described in the file LICENSE. */
/* */
/**************************************************************************/
#ifndef CAML_CONFIG_H
#define CAML_CONFIG_H
#include "m.h"
#include "s.h"
#include "compatibility.h"
/* CAML_NAME_SPACE was introduced in OCaml 3.08 to declare compatibility with
the newly caml_-prefixed names of C runtime functions and to disable the
definition of compatibility macros for the un-prefixed names. The
compatibility layer was removed in OCaml 5.0, so CAML_NAME_SPACE is the
default. */
#ifndef CAML_NAME_SPACE
#define CAML_NAME_SPACE
#endif
/* If supported, tell gcc that we can use 32-bit code addresses for
* threaded code, unless we are compiled for a shared library (-fPIC option) */
#ifdef HAS_ARCH_CODE32
#ifndef __PIC__
# define ARCH_CODE32
#endif /* __PIC__ */
#endif /* HAS_ARCH_CODE32 */
/* No longer used in the codebase, but kept because it was exported */
#define INT64_LITERAL(s) s ## LL
#define Caml_inline static inline
#ifndef CAML_CONFIG_H_NO_TYPEDEFS
#include <stddef.h>
#include <limits.h>
#if defined(HAS_LOCALE_H) || defined(HAS_XLOCALE_H)
#define HAS_LOCALE
#endif
#include <stdint.h>
/* Disable the mingw-w64 *printf shims */
#if defined(CAML_INTERNALS) && defined(__MINGW32__)
/* Headers may have already included <_mingw.h>, so #undef if necessary. */
#ifdef __USE_MINGW_ANSI_STDIO
#undef __USE_MINGW_ANSI_STDIO
#endif
/* <stdio.h> must either be #include'd before this header or
__USE_MINGW_ANSI_STDIO needs to be 0 when <stdio.h> is processed. The final
effect will be the same - stdio.h will define snprintf and misc.h will make
snprintf a macro (referring to caml_snprintf). */
#define __USE_MINGW_ANSI_STDIO 0
#endif
#if defined(__MINGW32__)
#define ARCH_SIZET_PRINTF_FORMAT "I"
#else
#define ARCH_SIZET_PRINTF_FORMAT "z"
#endif
/* Types for 32-bit integers, 64-bit integers, and
native integers (as wide as a pointer type) */
#ifndef ARCH_INT32_TYPE
#if SIZEOF_INT == 4
#define ARCH_INT32_TYPE int
#define ARCH_UINT32_TYPE unsigned int
#define ARCH_INT32_PRINTF_FORMAT ""
#elif SIZEOF_LONG == 4
#define ARCH_INT32_TYPE long
#define ARCH_UINT32_TYPE unsigned long
#define ARCH_INT32_PRINTF_FORMAT "l"
#elif SIZEOF_SHORT == 4
#define ARCH_INT32_TYPE short
#define ARCH_UINT32_TYPE unsigned short
#define ARCH_INT32_PRINTF_FORMAT ""
#else
#error "No 32-bit integer type available"
#endif
#endif
#if defined(__MINGW32__) && !__USE_MINGW_ANSI_STDIO && !defined(_UCRT)
#define ARCH_INT64_TYPE long long
#define ARCH_UINT64_TYPE unsigned long long
#define ARCH_INT64_PRINTF_FORMAT "I64"
#elif defined(_MSC_VER)
#define ARCH_INT64_TYPE __int64
#define ARCH_UINT64_TYPE unsigned __int64
#define ARCH_INT64_PRINTF_FORMAT "I64"
#else
#if SIZEOF_LONG == 8
#define ARCH_INT64_TYPE long
#define ARCH_UINT64_TYPE unsigned long
#define ARCH_INT64_PRINTF_FORMAT "l"
#elif SIZEOF_LONGLONG == 8
#define ARCH_INT64_TYPE long long
#define ARCH_UINT64_TYPE unsigned long long
#define ARCH_INT64_PRINTF_FORMAT "ll"
#else
#error "No 64-bit integer type available"
#endif
#endif
#if SIZEOF_PTR == SIZEOF_LONG
/* Standard models: ILP32 or I32LP64 */
typedef long intnat;
typedef unsigned long uintnat;
#define ARCH_INTNAT_PRINTF_FORMAT "l"
#elif SIZEOF_PTR == SIZEOF_INT
/* Hypothetical IP32L64 model */
typedef int intnat;
typedef unsigned int uintnat;
#define ARCH_INTNAT_PRINTF_FORMAT ""
#elif SIZEOF_PTR == 8
/* Win64 model: IL32P64 */
typedef int64_t intnat;
typedef uint64_t uintnat;
#define ARCH_INTNAT_PRINTF_FORMAT ARCH_INT64_PRINTF_FORMAT
#else
#error "No integer type available to represent pointers"
#endif
#define CAML_INTNAT_MIN INTPTR_MIN
#define CAML_INTNAT_MAX INTPTR_MAX
#define CAML_UINTNAT_MIN UINTPTR_MIN
#define CAML_UINTNAT_MAX UINTPTR_MAX
#endif /* CAML_CONFIG_H_NO_TYPEDEFS */
/* Endianness of floats */
/* ARCH_FLOAT_ENDIANNESS encodes the byte order of doubles as follows:
the value [0xabcdefgh] means that the least significant byte of the
float is at byte offset [a], the next lsb at [b], ..., and the
most significant byte at [h]. */
#if defined(__arm__) && !defined(__ARM_EABI__)
#define ARCH_FLOAT_ENDIANNESS 0x45670123
#elif defined(ARCH_BIG_ENDIAN)
#define ARCH_FLOAT_ENDIANNESS 0x76543210
#else
#define ARCH_FLOAT_ENDIANNESS 0x01234567
#endif
/* We use threaded code interpretation if the C compiler supports the labels as
values extension. */
#if defined(HAVE_LABELS_AS_VALUES) && !defined(DEBUG)
#define THREADED_CODE
#endif
/* Memory model parameters */
/* The size of a page for memory management (in bytes) is [1 << Page_log].
[Page_size] must be a multiple of [sizeof (value)].
[Page_log] must be be >= 8 and <= 20.
Do not change the definition of [Page_size]. */
#define Page_log 12 /* A page is 4 kilobytes. */
#define Page_size (1 << Page_log)
/* Initial size of stack (bytes). */
#ifdef DEBUG
#define Stack_init_bsize (64 * sizeof(value))
#else
#define Stack_init_bsize (4096 * sizeof(value))
#endif
/* Minimum free size of stack (bytes); below that, it is reallocated. */
#define Stack_threshold_words 32
#define Stack_threshold (Stack_threshold_words * sizeof(value))
/* Number of words used in the control structure at the start of a stack
(see fiber.h) */
#ifdef ARCH_SIXTYFOUR
#define Stack_ctx_words (6 + 1)
#else
#define Stack_ctx_words (6 + 2)
#endif
/* Default maximum size of the stack (words). */
/* (1 Gib for 64-bit platforms, 512 Mib for 32-bit platforms) */
#define Max_stack_def (128 * 1024 * 1024)
/* Maximum size of a block allocated in the young generation (words). */
/* Must be > 4 */
#define Max_young_wosize 256
#define Max_young_whsize (Whsize_wosize (Max_young_wosize))
/* Minimum size of the minor zone (words).
This must be at least [Max_young_wosize + 1]. */
#define Minor_heap_min (Max_young_wosize + 1)
/* Default size of the minor zone. (words) */
#define Minor_heap_def 262144
/* Minimum size increment when growing the heap (words).
Must be a multiple of [Page_size / sizeof (value)]. */
#define Heap_chunk_min (15 * Page_size)
/* Default speed setting for the major GC. The heap will grow until
the dead objects and the free list represent this percentage of the
total size of live objects. */
#define Percent_free_def 120
/* Default setting for the major GC slice smoothing window: 1
(i.e. no smoothing)
*/
#define Major_window_def 1
/* Maximum size of the major GC slice smoothing window. */
#define Max_major_window 50
/* Default setting for the ratio of custom garbage to major heap size.
Documented in gc.mli */
#define Custom_major_ratio_def 44
/* Default setting for the ratio of custom garbage to minor heap size.
Documented in gc.mli */
#define Custom_minor_ratio_def 100
/* Default setting for maximum size of custom objects counted as garbage
in the minor heap.
Documented in gc.mli */
#define Custom_minor_max_bsz_def 70000
/* Minimum amount of work to do in a major GC slice. */
#define Major_slice_work_min 512
/* Default allocation policy. */
#define Allocation_policy_def caml_policy_best_fit
/* Default size of runtime_events ringbuffers, in words, in powers of two */
#define Default_runtime_events_log_wsize 16
/* Assumed size of cache line. This value can be bigger than the actual L1
cache line size. Atomics allocated with aligned constructor are
memory-aligned this value to avoid false sharing of cache line. */
#if defined(TARGET_s390x)
#define Cache_line_bsize 256
#elif defined(TARGET_arm64) || defined(TARGET_power)
#define Cache_line_bsize 128
#elif defined(TARGET_amd64) || defined(TARGET_riscv)
#define Cache_line_bsize 64
#elif (!defined(NATIVE_CODE))
#define Cache_line_bsize 64
#endif
#endif /* CAML_CONFIG_H */
|
