mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 11:50:28 +02:00
f84ce5442e
* libguile/__scm.h (scm_i_jmp_buf): Remove definition, which was a shim for ia64. Instead, always use setjmp/longjmp and jmp_buf. * libguile/_scm.h (SCM_I_SETJMP, SCM_I_LONGJMP): Remove; instead use setjmp and longjmp. * libguile/continuations.c (capture_auxiliary_stack): (restore_auxiliary_stack): New helpers. (scm_i_make_continuation): Use capture_auxiliary_stack. (copy_stack_and_call): Use restore_auxiliary_stack. No need to stash the aux stack on the thread, either. * libguile/continuations.h (scm_t_contregs): Use SCM_HAVE_AUXILIARY_STACK to flag when to have an auxiliary_stack member. * libguile/control.h: * libguile/control.c (reify_partial_continuation, scm_c_abort): (scm_suspendable_continuation_p): Adapt to use setjmp/longjmp directly. * libguile/deprecated.h: Add deprecated scm_i_jmp_buf define. * libguile/dynstack.h: * libguile/dynstack.c (PROMPT_JMPBUF): (scm_dynstack_push_prompt, scm_dynstack_find_prompt): (scm_dynstack_wind_prompt): Adapt to jmp_buf type. * libguile/eval.c (eval): Use jmp_buf and setjmp directly. * libguile/gc-malloc.c: No need for ia64-specific things. * libguile/gc.c: No need for ia64-specific things. * libguile/gc.h: No need to declare scm_ia64_ar_bsp. * libguile/init.c: Remove typedef of setjmp_type for Cray, unused. * libguile/threads.c (guilify_self_1): No more pending_rbs_continuation in scm_i_thread, and register_backing_store_base is handled by libgc. (scm_ia64_ar_bsp): Remove definitions; inlined into continuations.c's capture_auxiliary_stack. * libguile/threads.h (scm_i_thread): jmpbuf member is plain jmp_buf. * libguile/throw.c (catch): Just use jmp_buf and setjmp. * libguile/vm-engine.c (VM_NAME): Adapt prototype to take jmp_buf pointer. * libguile/vm.c (vm_abort): Adapt jmp_buf types. (scm_call_n): Use setjmp.
222 lines
8.2 KiB
C
222 lines
8.2 KiB
C
/* classes: h_files */
|
||
|
||
#ifndef SCM_DYNSTACK_H
|
||
#define SCM_DYNSTACK_H
|
||
|
||
/* Copyright (C) 2012-2013,2018 Free Software Foundation, Inc.
|
||
*
|
||
* This library is free software; you can redistribute it and/or
|
||
* modify it under the terms of the GNU Lesser General Public License
|
||
* as published by the Free Software Foundation; either version 3 of
|
||
* the License, or (at your option) any later version.
|
||
*
|
||
* This library is distributed in the hope that it will be useful, but
|
||
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
||
* Lesser General Public License for more details.
|
||
*
|
||
* You should have received a copy of the GNU Lesser General Public
|
||
* License along with this library; if not, write to the Free Software
|
||
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
|
||
* 02110-1301 USA
|
||
*/
|
||
|
||
|
||
|
||
#include <signal.h>
|
||
|
||
#include "libguile/__scm.h"
|
||
|
||
|
||
|
||
typedef struct
|
||
{
|
||
scm_t_bits *base;
|
||
scm_t_bits *top;
|
||
scm_t_bits *limit;
|
||
} scm_t_dynstack;
|
||
|
||
|
||
|
||
/* Items on the dynstack are preceded by two-word headers, giving the
|
||
offset of the preceding item (or 0 if there is none) and the type,
|
||
flags, and length of the following dynstack entry, in words. In
|
||
addition, there is a "null header" at the top of the stack,
|
||
indicating the length of the previous item, but with a tag of zero.
|
||
|
||
For example, consider an empty dynstack, with a capacity of 6 words:
|
||
|
||
+----------+----------+ +
|
||
|prev=0 |tag=0 | |
|
||
+----------+----------+ +
|
||
^base ^top limit^
|
||
|
||
Now we evaluate (dynamic-wind enter thunk leave). That will result
|
||
in a dynstack of:
|
||
|
||
/ the len=2 words \
|
||
+----------+----------+----------+----------+----------+----------+
|
||
|prev=0 |tag:len=2 |enter |leave |prev=4 |tag=0 |
|
||
+----------+----------+----------+----------+----------+----------+
|
||
^base top,limit^
|
||
|
||
The tag is a combination of the type of the dynstack item, some flags
|
||
associated with the item, and the length of the item. See
|
||
SCM_MAKE_DYNSTACK_TAG below for the details.
|
||
|
||
This arrangement makes it possible to have variable-length dynstack
|
||
items, and yet be able to traverse them forwards or backwards. */
|
||
|
||
#define SCM_DYNSTACK_HEADER_LEN 2
|
||
|
||
#define SCM_DYNSTACK_PREV_OFFSET(top) ((top)[-2])
|
||
#define SCM_DYNSTACK_SET_PREV_OFFSET(top, offset) (top)[-2] = (offset)
|
||
|
||
#define SCM_DYNSTACK_TAG(top) ((top)[-1])
|
||
#define SCM_DYNSTACK_SET_TAG(top, tag) (top)[-1] = (tag)
|
||
|
||
typedef enum {
|
||
SCM_DYNSTACK_TYPE_NONE = 0,
|
||
SCM_DYNSTACK_TYPE_FRAME,
|
||
SCM_DYNSTACK_TYPE_UNWINDER,
|
||
SCM_DYNSTACK_TYPE_REWINDER,
|
||
SCM_DYNSTACK_TYPE_WITH_FLUID,
|
||
SCM_DYNSTACK_TYPE_PROMPT,
|
||
SCM_DYNSTACK_TYPE_DYNWIND,
|
||
SCM_DYNSTACK_TYPE_DYNAMIC_STATE,
|
||
} scm_t_dynstack_item_type;
|
||
|
||
#define SCM_DYNSTACK_TAG_TYPE_MASK 0xf
|
||
#define SCM_DYNSTACK_TAG_FLAGS_MASK 0xf0
|
||
#define SCM_DYNSTACK_TAG_FLAGS_SHIFT 4
|
||
#define SCM_DYNSTACK_TAG_LEN_SHIFT 8
|
||
|
||
#define SCM_MAKE_DYNSTACK_TAG(type, flags, len) \
|
||
((type) | (flags) | ((len) << SCM_DYNSTACK_TAG_LEN_SHIFT))
|
||
|
||
#define SCM_DYNSTACK_TAG_TYPE(tag) \
|
||
((tag) & SCM_DYNSTACK_TAG_TYPE_MASK)
|
||
#define SCM_DYNSTACK_TAG_FLAGS(tag) \
|
||
((tag) & SCM_DYNSTACK_TAG_FLAGS_MASK)
|
||
#define SCM_DYNSTACK_TAG_LEN(tag) \
|
||
((tag) >> SCM_DYNSTACK_TAG_LEN_SHIFT)
|
||
|
||
#define SCM_DYNSTACK_PREV(top) \
|
||
(SCM_DYNSTACK_PREV_OFFSET (top) \
|
||
? ((top) - SCM_DYNSTACK_PREV_OFFSET (top)) : NULL)
|
||
#define SCM_DYNSTACK_NEXT(top) \
|
||
(SCM_DYNSTACK_TAG (top) \
|
||
? ((top) + SCM_DYNSTACK_TAG_LEN (SCM_DYNSTACK_TAG (top)) \
|
||
+ SCM_DYNSTACK_HEADER_LEN) \
|
||
: NULL)
|
||
|
||
#define SCM_DYNSTACK_FIRST(dynstack) \
|
||
((dynstack)->base + SCM_DYNSTACK_HEADER_LEN)
|
||
|
||
#define SCM_DYNSTACK_CAPACITY(dynstack) \
|
||
((dynstack)->limit - (dynstack)->base)
|
||
#define SCM_DYNSTACK_SPACE(dynstack) \
|
||
((dynstack)->limit - (dynstack)->top)
|
||
#define SCM_DYNSTACK_HEIGHT(dynstack) \
|
||
((dynstack)->top - (dynstack)->base)
|
||
|
||
#define SCM_DYNSTACK_HAS_SPACE(dynstack, n) \
|
||
(SCM_DYNSTACK_SPACE (dynstack) >= n + SCM_DYNSTACK_HEADER_LEN)
|
||
|
||
typedef enum {
|
||
SCM_F_DYNSTACK_FRAME_REWINDABLE = (1 << SCM_DYNSTACK_TAG_FLAGS_SHIFT)
|
||
} scm_t_dynstack_frame_flags;
|
||
|
||
typedef enum {
|
||
SCM_F_DYNSTACK_WINDER_EXPLICIT = (1 << SCM_DYNSTACK_TAG_FLAGS_SHIFT)
|
||
} scm_t_dynstack_winder_flags;
|
||
|
||
typedef enum {
|
||
SCM_F_DYNSTACK_PROMPT_ESCAPE_ONLY = (1 << SCM_DYNSTACK_TAG_FLAGS_SHIFT)
|
||
} scm_t_dynstack_prompt_flags;
|
||
|
||
typedef void (*scm_t_guard) (void *);
|
||
|
||
|
||
|
||
|
||
/* Pushing and popping entries on the dynamic stack. */
|
||
|
||
SCM_INTERNAL void scm_dynstack_push_frame (scm_t_dynstack *,
|
||
scm_t_dynstack_frame_flags);
|
||
SCM_INTERNAL void scm_dynstack_push_rewinder (scm_t_dynstack *,
|
||
scm_t_dynstack_winder_flags,
|
||
scm_t_guard, void *);
|
||
SCM_INTERNAL void scm_dynstack_push_unwinder (scm_t_dynstack *,
|
||
scm_t_dynstack_winder_flags,
|
||
scm_t_guard, void *);
|
||
SCM_INTERNAL void scm_dynstack_push_fluid (
|
||
scm_t_dynstack *, SCM fluid, SCM value,
|
||
scm_t_dynamic_state *dynamic_state);
|
||
SCM_INTERNAL void scm_dynstack_push_dynamic_state (scm_t_dynstack *, SCM,
|
||
scm_t_dynamic_state *);
|
||
SCM_INTERNAL void scm_dynstack_push_prompt (scm_t_dynstack *,
|
||
scm_t_dynstack_prompt_flags,
|
||
SCM key,
|
||
scm_t_ptrdiff fp_offset,
|
||
scm_t_ptrdiff sp_offset,
|
||
scm_t_uint32 *ip,
|
||
jmp_buf *registers);
|
||
SCM_INTERNAL void scm_dynstack_push_dynwind (scm_t_dynstack *,
|
||
SCM enter, SCM leave);
|
||
|
||
SCM_INTERNAL void scm_dynstack_pop (scm_t_dynstack *);
|
||
|
||
|
||
|
||
|
||
/* Capturing, winding, and unwinding. */
|
||
|
||
SCM_INTERNAL scm_t_dynstack* scm_dynstack_capture_all (scm_t_dynstack *dynstack);
|
||
SCM_INTERNAL scm_t_dynstack* scm_dynstack_capture (scm_t_dynstack *dynstack,
|
||
scm_t_bits *item);
|
||
|
||
SCM_INTERNAL void scm_dynstack_wind_1 (scm_t_dynstack *, scm_t_bits *);
|
||
SCM_INTERNAL scm_t_bits scm_dynstack_unwind_1 (scm_t_dynstack *);
|
||
|
||
SCM_INTERNAL void scm_dynstack_wind (scm_t_dynstack *, scm_t_bits *);
|
||
SCM_INTERNAL void scm_dynstack_unwind (scm_t_dynstack *, scm_t_bits *);
|
||
|
||
|
||
|
||
|
||
/* Miscellany. */
|
||
|
||
SCM_INTERNAL scm_t_bits* scm_dynstack_unwind_fork (scm_t_dynstack *,
|
||
scm_t_dynstack *);
|
||
|
||
SCM_INTERNAL void scm_dynstack_unwind_frame (scm_t_dynstack *);
|
||
SCM_INTERNAL void scm_dynstack_unwind_fluid
|
||
(scm_t_dynstack *dynstack, scm_t_dynamic_state *dynamic_state);
|
||
SCM_INTERNAL void scm_dynstack_unwind_dynamic_state
|
||
(scm_t_dynstack *dynstack, scm_t_dynamic_state *dynamic_state);
|
||
|
||
SCM_INTERNAL scm_t_bits* scm_dynstack_find_prompt (scm_t_dynstack *, SCM,
|
||
scm_t_dynstack_prompt_flags *,
|
||
scm_t_ptrdiff *,
|
||
scm_t_ptrdiff *,
|
||
scm_t_uint32 **,
|
||
jmp_buf **);
|
||
|
||
SCM_INTERNAL SCM scm_dynstack_find_old_fluid_value (scm_t_dynstack *,
|
||
SCM, size_t, SCM);
|
||
|
||
SCM_INTERNAL void scm_dynstack_relocate_prompts (scm_t_dynstack *,
|
||
scm_t_ptrdiff);
|
||
|
||
SCM_INTERNAL void scm_dynstack_wind_prompt (scm_t_dynstack *, scm_t_bits *,
|
||
scm_t_ptrdiff, jmp_buf *);
|
||
|
||
|
||
#endif /* SCM_DYNSTACK_H */
|
||
|
||
/*
|
||
Local Variables:
|
||
c-file-style: "gnu"
|
||
End:
|
||
*/
|