blob: 1843e7339eaed1c73d2a59b10853bbaf1d11be09 [file] [log] [blame]
Paul Sokolovsky23668692014-06-25 03:03:34 +03001/*
2 * This file is part of the Micro Python project, http://micropython.org/
3 *
4 * The MIT License (MIT)
5 *
6 * Copyright (c) 2014 Paul Sokolovsky
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
Damien Georgeb4b10fd2015-01-01 23:30:53 +000027#include "py/mpstate.h"
Damien George51dfcb42015-01-01 20:27:54 +000028#include "py/nlr.h"
29#include "py/obj.h"
Paul Sokolovsky7f1c9812015-03-28 01:14:45 +020030#include "py/runtime.h"
Damien George51dfcb42015-01-01 20:27:54 +000031#include "py/stackctrl.h"
Paul Sokolovsky23668692014-06-25 03:03:34 +030032
Damien Georgeb4fe6e22014-12-10 18:05:42 +000033void mp_stack_ctrl_init(void) {
Paul Sokolovsky23668692014-06-25 03:03:34 +030034 volatile int stack_dummy;
Damien George330165a2016-04-22 22:44:56 +000035 MP_STATE_THREAD(stack_top) = (char*)&stack_dummy;
Paul Sokolovsky23668692014-06-25 03:03:34 +030036}
37
Paul Sokolovsky1d5d4f42016-02-13 15:43:28 +020038void mp_stack_set_top(void *top) {
Damien George330165a2016-04-22 22:44:56 +000039 MP_STATE_THREAD(stack_top) = top;
Paul Sokolovsky1d5d4f42016-02-13 15:43:28 +020040}
41
Damien Georgeb4fe6e22014-12-10 18:05:42 +000042mp_uint_t mp_stack_usage(void) {
Paul Sokolovsky23668692014-06-25 03:03:34 +030043 // Assumes descending stack
44 volatile int stack_dummy;
Damien George330165a2016-04-22 22:44:56 +000045 return MP_STATE_THREAD(stack_top) - (char*)&stack_dummy;
Paul Sokolovsky23668692014-06-25 03:03:34 +030046}
47
48#if MICROPY_STACK_CHECK
49
Damien George4abff752014-08-30 14:59:21 +010050void mp_stack_set_limit(mp_uint_t limit) {
Damien George330165a2016-04-22 22:44:56 +000051 MP_STATE_THREAD(stack_limit) = limit;
Paul Sokolovsky23668692014-06-25 03:03:34 +030052}
53
Paul Sokolovsky7f1c9812015-03-28 01:14:45 +020054void mp_exc_recursion_depth(void) {
55 nlr_raise(mp_obj_new_exception_arg1(&mp_type_RuntimeError,
56 MP_OBJ_NEW_QSTR(MP_QSTR_maximum_space_recursion_space_depth_space_exceeded)));
57}
58
Damien Georgeb4fe6e22014-12-10 18:05:42 +000059void mp_stack_check(void) {
Damien George330165a2016-04-22 22:44:56 +000060 if (mp_stack_usage() >= MP_STATE_THREAD(stack_limit)) {
Paul Sokolovsky7f1c9812015-03-28 01:14:45 +020061 mp_exc_recursion_depth();
Paul Sokolovsky23668692014-06-25 03:03:34 +030062 }
63}
64
65#endif // MICROPY_STACK_CHECK