blob: 371b2a2d6e9022a8ff21df066c0359d9ae86c9fc (
plain)
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
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, University of Cambridge */
/* */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 University of Cambridge */
/* */
/* 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_STATE_H
#define CAML_STATE_H
#include <stddef.h>
#include <stdio.h>
#include "misc.h"
#define NUM_EXTRA_PARAMS 64
typedef value extra_params_area[NUM_EXTRA_PARAMS];
/* This structure sits in the TLS area and is also accessed efficiently
* via native code, which is why the indices are important */
typedef struct {
#define DOMAIN_STATE(type, name) CAMLalign(8) type name;
#include "domain_state.tbl"
#undef DOMAIN_STATE
} caml_domain_state;
enum {
Domain_state_num_fields =
#define DOMAIN_STATE(type, name) + 1
#include "domain_state.tbl"
#undef DOMAIN_STATE
};
#define LAST_DOMAIN_STATE_MEMBER extra_params
/* Check that the structure was laid out without padding,
since the runtime assumes this in computing offsets */
CAML_STATIC_ASSERT(
offsetof(caml_domain_state, LAST_DOMAIN_STATE_MEMBER) ==
(Domain_state_num_fields - 1) * 8);
#if defined(HAS_FULL_THREAD_VARIABLES) || defined(IN_CAML_RUNTIME)
CAMLextern __thread caml_domain_state* caml_state;
#define Caml_state_opt caml_state
#else
#ifdef __GNUC__
__attribute__((pure))
#endif
CAMLextern caml_domain_state* caml_get_domain_state(void);
#define Caml_state_opt (caml_get_domain_state())
#endif
#define Caml_state (CAMLassert(Caml_state_opt != NULL), Caml_state_opt)
CAMLnoreturn_start
CAMLextern void caml_bad_caml_state(void)
CAMLnoreturn_end;
/* This check is performed regardless of debug mode. It is placed once
at every code path starting from entry points of the public C API,
whenever the load of Caml_state_opt can be eliminated by CSE (or if
the function is not performance-sensitive). */
#define Caml_check_caml_state() \
(CAMLlikely(Caml_state_opt != NULL) ? (void)0 : \
caml_bad_caml_state())
#define Caml_state_field(field) (Caml_state->field)
#endif /* CAML_STATE_H */
|
