blob: 18bec09e42dbd6edb2c49dcf7a7dbc4aa6d711e1 [file] [log] [blame]
Damien Georgeb4b10fd2015-01-01 23:30:53 +00001/*
2 * This file is part of the Micro Python project, http://micropython.org/
3 *
4 * The MIT License (MIT)
5 *
6 * Copyright (c) 2014 Damien P. George
7 *
8 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 * of this software and associated documentation files (the "Software"), to deal
10 * in the Software without restriction, including without limitation the rights
11 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 * copies of the Software, and to permit persons to whom the Software is
13 * furnished to do so, subject to the following conditions:
14 *
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
17 *
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 * THE SOFTWARE.
25 */
26#ifndef __MICROPY_INCLUDED_PY_MPSTATE_H__
27#define __MICROPY_INCLUDED_PY_MPSTATE_H__
28
29#include <stdint.h>
30
31#include "py/mpconfig.h"
32#include "py/misc.h"
33#include "py/nlr.h"
34#include "py/obj.h"
Damien Georgee1e359f2015-02-07 17:24:10 +000035#include "py/objlist.h"
Damien Georgeb4b10fd2015-01-01 23:30:53 +000036#include "py/objexcept.h"
37
38// This file contains structures defining the state of the Micro Python
39// memory system, runtime and virtual machine. The state is a global
40// variable, but in the future it is hoped that the state can become local.
41
Damien Georgeea235202016-02-11 22:30:53 +000042// This structure contains dynamic configuration for the compiler.
43#if MICROPY_DYNAMIC_COMPILER
44typedef struct mp_dynamic_compiler_t {
45 uint8_t small_int_bits; // must be <= host small_int_bits
46 bool opt_cache_map_lookup_in_bytecode;
47 bool py_builtins_str_unicode;
48} mp_dynamic_compiler_t;
49extern mp_dynamic_compiler_t mp_dynamic_compiler;
50#endif
51
Damien Georgeb4b10fd2015-01-01 23:30:53 +000052// This structure hold information about the memory allocation system.
53typedef struct _mp_state_mem_t {
54 #if MICROPY_MEM_STATS
55 size_t total_bytes_allocated;
56 size_t current_bytes_allocated;
57 size_t peak_bytes_allocated;
58 #endif
59
60 byte *gc_alloc_table_start;
Damien Georged977d262015-12-16 20:09:11 -050061 size_t gc_alloc_table_byte_len;
Damien Georgeb4b10fd2015-01-01 23:30:53 +000062 #if MICROPY_ENABLE_FINALISER
63 byte *gc_finaliser_table_start;
64 #endif
Damien George94fe6e52015-11-27 13:07:48 +000065 byte *gc_pool_start;
66 byte *gc_pool_end;
Damien Georgeb4b10fd2015-01-01 23:30:53 +000067
68 int gc_stack_overflow;
Damien Georged977d262015-12-16 20:09:11 -050069 size_t gc_stack[MICROPY_ALLOC_GC_STACK_SIZE];
70 size_t *gc_sp;
Damien Georgeb4b10fd2015-01-01 23:30:53 +000071 uint16_t gc_lock_depth;
72
73 // This variable controls auto garbage collection. If set to 0 then the
74 // GC won't automatically run when gc_alloc can't find enough blocks. But
75 // you can still allocate/free memory and also explicitly call gc_collect.
76 uint16_t gc_auto_collect_enabled;
77
Damien Georged977d262015-12-16 20:09:11 -050078 size_t gc_last_free_atb_index;
Damien Georgee1e359f2015-02-07 17:24:10 +000079
80 #if MICROPY_PY_GC_COLLECT_RETVAL
Damien Georged977d262015-12-16 20:09:11 -050081 size_t gc_collected;
Damien Georgee1e359f2015-02-07 17:24:10 +000082 #endif
Damien Georgeb4b10fd2015-01-01 23:30:53 +000083} mp_state_mem_t;
84
85// This structure hold runtime and VM information. It includes a section
86// which contains root pointers that must be scanned by the GC.
87typedef struct _mp_state_vm_t {
88 ////////////////////////////////////////////////////////////
89 // START ROOT POINTER SECTION
90 // everything that needs GC scanning must go here
91 // this must start at the start of this structure
92 //
93
Damien Georgeb4b10fd2015-01-01 23:30:53 +000094 qstr_pool_t *last_pool;
95
96 // non-heap memory for creating an exception if we can't allocate RAM
97 mp_obj_exception_t mp_emergency_exception_obj;
98
99 // memory for exception arguments if we can't allocate RAM
100 #if MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF
101 #if MICROPY_EMERGENCY_EXCEPTION_BUF_SIZE > 0
102 // statically allocated buf
103 byte mp_emergency_exception_buf[MICROPY_EMERGENCY_EXCEPTION_BUF_SIZE];
104 #else
105 // dynamically allocated buf
106 byte *mp_emergency_exception_buf;
107 #endif
108 #endif
109
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200110 // dictionary with loaded modules (may be exposed as sys.modules)
111 mp_obj_dict_t mp_loaded_modules_dict;
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000112
113 // pending exception object (MP_OBJ_NULL if not pending)
Damien George994ff732015-11-17 14:27:21 +0000114 volatile mp_obj_t mp_pending_exception;
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000115
Paul Sokolovsky8b85d142015-04-25 03:17:41 +0300116 // current exception being handled, for sys.exc_info()
117 #if MICROPY_PY_SYS_EXC_INFO
Damien George999cedb2015-11-27 17:01:44 +0000118 mp_obj_base_t *cur_exception;
Paul Sokolovsky8b85d142015-04-25 03:17:41 +0300119 #endif
120
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000121 // dictionary for the __main__ module
122 mp_obj_dict_t dict_main;
123
Damien Georgee1e359f2015-02-07 17:24:10 +0000124 // these two lists must be initialised per port, after the call to mp_init
125 mp_obj_list_t mp_sys_path_obj;
126 mp_obj_list_t mp_sys_argv_obj;
127
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000128 // dictionary for overridden builtins
129 #if MICROPY_CAN_OVERRIDE_BUILTINS
130 mp_obj_dict_t *mp_module_builtins_override_dict;
131 #endif
132
133 // include any root pointers defined by a port
134 MICROPY_PORT_ROOT_POINTERS
135
Paul Sokolovskye0d77402015-10-27 00:04:33 +0300136 // root pointers for extmod
Paul Sokolovsky00ee84e2016-01-01 14:19:26 +0200137
138 #if MICROPY_PY_OS_DUPTERM
139 mp_obj_t term_obj;
140 #endif
141
Paul Sokolovskye0d77402015-10-27 00:04:33 +0300142 #if MICROPY_PY_LWIP_SLIP
143 mp_obj_t lwip_slip_stream;
144 #endif
145
Paul Sokolovsky72085a62016-02-15 00:02:03 +0200146 #if MICROPY_FSUSERMOUNT
147 // for user-mountable block device (max fixed at compile time)
148 struct _fs_user_mount_t *fs_user_mount[MICROPY_FATFS_VOLUMES];
149 #endif
150
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000151 //
152 // END ROOT POINTER SECTION
153 ////////////////////////////////////////////////////////////
154
Damien Georgeade9a052015-06-13 21:53:22 +0100155 // pointer and sizes to store interned string data
156 // (qstr_last_chunk can be root pointer but is also stored in qstr pool)
157 byte *qstr_last_chunk;
Damien George25784852015-12-17 12:41:40 +0000158 size_t qstr_last_alloc;
159 size_t qstr_last_used;
Damien Georgeade9a052015-06-13 21:53:22 +0100160
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000161 mp_uint_t mp_optimise_value;
162
163 // size of the emergency exception buf, if it's dynamically allocated
164 #if MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF && MICROPY_EMERGENCY_EXCEPTION_BUF_SIZE == 0
165 mp_int_t mp_emergency_exception_buf_size;
166 #endif
167} mp_state_vm_t;
168
Damien George330165a2016-04-22 22:44:56 +0000169// This structure holds state that is specific to a given thread.
170// Everything in this structure is scanned for root pointers.
171typedef struct _mp_state_thread_t {
172 // Note: nlr asm code has the offset of this hard-coded
173 nlr_buf_t *nlr_top; // ROOT POINTER
174
175 // Stack top at the start of program
176 // Note: this entry is used to locate the end of the root pointer section.
177 char *stack_top;
178
179 #if MICROPY_STACK_CHECK
180 size_t stack_limit;
181 #endif
182} mp_state_thread_t;
183
184// This structure combines the above 3 structures, and adds the local
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000185// and global dicts.
186// Note: if this structure changes then revisit all nlr asm code since they
187// have the offset of nlr_top hard-coded.
188typedef struct _mp_state_ctx_t {
189 // these must come first for root pointer scanning in GC to work
190 mp_obj_dict_t *dict_locals;
191 mp_obj_dict_t *dict_globals;
Damien George330165a2016-04-22 22:44:56 +0000192 // these must come next in this order for root pointer scanning in GC to work
193 mp_state_thread_t thread;
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000194 mp_state_vm_t vm;
195 mp_state_mem_t mem;
196} mp_state_ctx_t;
197
198extern mp_state_ctx_t mp_state_ctx;
199
200#define MP_STATE_CTX(x) (mp_state_ctx.x)
201#define MP_STATE_VM(x) (mp_state_ctx.vm.x)
202#define MP_STATE_MEM(x) (mp_state_ctx.mem.x)
203
Damien George27cc0772016-04-22 22:52:33 +0000204#if MICROPY_PY_THREAD
205extern mp_state_thread_t *mp_thread_get_state(void);
206#define MP_STATE_THREAD(x) (mp_thread_get_state()->x)
207#else
Damien George330165a2016-04-22 22:44:56 +0000208#define MP_STATE_THREAD(x) (mp_state_ctx.thread.x)
Damien George27cc0772016-04-22 22:52:33 +0000209#endif
Damien George330165a2016-04-22 22:44:56 +0000210
Damien Georgeb4b10fd2015-01-01 23:30:53 +0000211#endif // __MICROPY_INCLUDED_PY_MPSTATE_H__