1162 lines
40 KiB
C
1162 lines
40 KiB
C
/*
|
|
* $Id$
|
|
*
|
|
Copyright (c) 2014-2016 Chung, Hyung-Hwan. All rights reserved.
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
modification, are permitted provided that the following conditions
|
|
are met:
|
|
1. Redistributions of source code must retain the above copyright
|
|
notice, this list of conditions and the following disclaimer.
|
|
2. Redistributions in binary form must reproduce the above copyright
|
|
notice, this list of conditions and the following disclaimer in the
|
|
documentation and/or other materials provided with the distribution.
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR
|
|
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
|
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
|
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
|
|
#ifndef _STIX_H_
|
|
#define _STIX_H_
|
|
|
|
#include "stix-cmn.h"
|
|
#include "stix-rbt.h"
|
|
|
|
/* TODO: move this macro out to the build files.... */
|
|
#define STIX_INCLUDE_COMPILER
|
|
|
|
/* define this to allow an pointer(OOP) object to have trailing bytes
|
|
* this is used to embed bytes codes into the back of a compile method
|
|
* object instead of putting in in a separate byte array. */
|
|
#define STIX_USE_OBJECT_TRAILER
|
|
/* ========================================================================== */
|
|
|
|
/**
|
|
* The stix_errnum_t type defines the error codes.
|
|
*/
|
|
enum stix_errnum_t
|
|
{
|
|
STIX_ENOERR, /**< no error */
|
|
STIX_EOTHER, /**< other error */
|
|
STIX_ENOIMPL, /**< not implemented */
|
|
STIX_ESYSERR, /**< subsystem error */
|
|
STIX_EINTERN, /**< internal error */
|
|
STIX_ESYSMEM, /**< insufficient system memory */
|
|
STIX_EOOMEM, /**< insufficient object memory */
|
|
STIX_EINVAL, /**< invalid parameter or data */
|
|
STIX_ETOOBIG, /**< data too large */
|
|
STIX_EMSGSND, /**< message sending error. even doesNotUnderstand: is not found */
|
|
STIX_ERANGE, /**< range error. overflow and underflow */
|
|
STIX_ENOENT, /**< no matching entry */
|
|
STIX_EDFULL, /**< dictionary full */
|
|
STIX_EPFULL, /**< processor full */
|
|
STIX_ESHFULL, /**< semaphore heap full */
|
|
STIX_ESLFULL, /**< semaphore list full */
|
|
STIX_EDIVBY0, /**< divide by zero */
|
|
STIX_EIOERR, /**< I/O error */
|
|
STIX_EECERR, /**< encoding conversion error */
|
|
|
|
#if defined(STIX_INCLUDE_COMPILER)
|
|
STIX_ESYNTAX /** < syntax error */
|
|
#endif
|
|
};
|
|
typedef enum stix_errnum_t stix_errnum_t;
|
|
|
|
enum stix_option_t
|
|
{
|
|
STIX_TRAIT,
|
|
STIX_LOG_MASK,
|
|
STIX_SYMTAB_SIZE, /* default system table size */
|
|
STIX_SYSDIC_SIZE, /* default system dictionary size */
|
|
STIX_PROCSTK_SIZE /* default process stack size */
|
|
};
|
|
typedef enum stix_option_t stix_option_t;
|
|
|
|
enum stix_option_dflval_t
|
|
{
|
|
STIX_DFL_SYMTAB_SIZE = 5000,
|
|
STIX_DFL_SYSDIC_SIZE = 5000,
|
|
STIX_DFL_PROCSTK_SIZE = 5000
|
|
};
|
|
typedef enum stix_option_dflval_t stix_option_dflval_t;
|
|
|
|
enum stix_trait_t
|
|
{
|
|
/* perform no garbage collection when the heap is full.
|
|
* you still can use stix_gc() explicitly. */
|
|
STIX_NOGC = (1 << 0),
|
|
|
|
/* wait for running process when exiting from the main method */
|
|
STIX_AWAIT_PROCS = (1 << 1)
|
|
};
|
|
typedef enum stix_trait_t stix_trait_t;
|
|
|
|
typedef struct stix_obj_t stix_obj_t;
|
|
typedef struct stix_obj_t* stix_oop_t;
|
|
|
|
/* these are more specialized types for stix_obj_t */
|
|
typedef struct stix_obj_oop_t stix_obj_oop_t;
|
|
typedef struct stix_obj_char_t stix_obj_char_t;
|
|
typedef struct stix_obj_byte_t stix_obj_byte_t;
|
|
typedef struct stix_obj_halfword_t stix_obj_halfword_t;
|
|
typedef struct stix_obj_word_t stix_obj_word_t;
|
|
|
|
/* these are more specialized types for stix_oop_t */
|
|
typedef struct stix_obj_oop_t* stix_oop_oop_t;
|
|
typedef struct stix_obj_char_t* stix_oop_char_t;
|
|
typedef struct stix_obj_byte_t* stix_oop_byte_t;
|
|
typedef struct stix_obj_halfword_t* stix_oop_halfword_t;
|
|
typedef struct stix_obj_word_t* stix_oop_word_t;
|
|
|
|
#define STIX_OOW_BITS (STIX_SIZEOF_OOW_T * 8)
|
|
#define STIX_OOI_BITS (STIX_SIZEOF_OOI_T * 8)
|
|
#define STIX_OOP_BITS (STIX_SIZEOF_OOP_T * 8)
|
|
#define STIX_OOHW_BITS (STIX_SIZEOF_OOHW_T * 8)
|
|
|
|
|
|
/* ========================================================================= */
|
|
/* BIGINT TYPES AND MACROS */
|
|
/* ========================================================================= */
|
|
#if STIX_SIZEOF_UINTMAX_T > STIX_SIZEOF_OOW_T
|
|
# define STIX_USE_FULL_WORD
|
|
#endif
|
|
|
|
#if defined(STIX_USE_FULL_WORD)
|
|
typedef stix_oow_t stix_liw_t; /* large integer word */
|
|
typedef stix_uintmax_t stix_lidw_t; /* large integer double word */
|
|
# define STIX_SIZEOF_LIW_T STIX_SIZEOF_OOW_T
|
|
# define STIX_SIZEOF_LIDW_T STIX_SIZEOF_UINTMAX_T
|
|
# define STIX_LIW_BITS STIX_OOW_BITS
|
|
# define STIX_LIDW_BITS (STIX_SIZEOF_UINTMAX_T * 8)
|
|
|
|
typedef stix_oop_word_t stix_oop_liword_t;
|
|
# define STIX_OBJ_TYPE_LIWORD STIX_OBJ_TYPE_WORD
|
|
|
|
#else
|
|
typedef stix_oohw_t stix_liw_t;
|
|
typedef stix_oow_t stix_lidw_t;
|
|
# define STIX_SIZEOF_LIW_T STIX_SIZEOF_OOHW_T
|
|
# define STIX_SIZEOF_LIDW_T STIX_SIZEOF_OOW_T
|
|
# define STIX_LIW_BITS STIX_OOHW_BITS
|
|
# define STIX_LIDW_BITS STIX_OOW_BITS
|
|
|
|
typedef stix_oop_halfword_t stix_oop_liword_t;
|
|
# define STIX_OBJ_TYPE_LIWORD STIX_OBJ_TYPE_HALFWORD
|
|
|
|
#endif
|
|
|
|
|
|
/*
|
|
* OOP encoding
|
|
* An object pointer(OOP) is an ordinary pointer value to an object.
|
|
* but some simple numeric values are also encoded into OOP using a simple
|
|
* bit-shifting and masking.
|
|
*
|
|
* A real OOP is stored without any bit-shifting while a non-OOP value encoded
|
|
* in an OOP is bit-shifted to the left by 2 and the 2 least-significant bits
|
|
* are set to 1 or 2.
|
|
*
|
|
* This scheme works because the object allocators aligns the object size to
|
|
* a multiple of sizeof(stix_oop_t). This way, the 2 least-significant bits
|
|
* of a real OOP are always 0s.
|
|
*/
|
|
|
|
#define STIX_OOP_TAG_BITS 2
|
|
#define STIX_OOP_TAG_SMINT 1
|
|
#define STIX_OOP_TAG_CHAR 2
|
|
#define STIX_OOP_TAG_RSRC 3
|
|
|
|
#define STIX_OOP_GET_TAG(oop) (((stix_oow_t)oop) & STIX_LBMASK(stix_oow_t, STIX_OOP_TAG_BITS))
|
|
#define STIX_OOP_IS_NUMERIC(oop) (STIX_OOP_GET_TAG(oop) != 0)
|
|
#define STIX_OOP_IS_POINTER(oop) (STIX_OOP_GET_TAG(oop) == 0)
|
|
|
|
#define STIX_OOP_IS_SMOOI(oop) (STIX_OOP_GET_TAG(oop) == STIX_OOP_TAG_SMINT)
|
|
#define STIX_OOP_IS_CHAR(oop) (STIX_OOP_GET_TAG(oop) == STIX_OOP_TAG_CHAR)
|
|
#define STIX_OOP_IS_RSRC(oop) (STIX_OOP_GET_TAG(oop) == STIX_OOP_TAG_RSRC)
|
|
|
|
#define STIX_SMOOI_TO_OOP(num) ((stix_oop_t)((((stix_ooi_t)(num)) << STIX_OOP_TAG_BITS) | STIX_OOP_TAG_SMINT))
|
|
#define STIX_OOP_TO_SMOOI(oop) (((stix_ooi_t)oop) >> STIX_OOP_TAG_BITS)
|
|
#define STIX_CHAR_TO_OOP(num) ((stix_oop_t)((((stix_oow_t)(num)) << STIX_OOP_TAG_BITS) | STIX_OOP_TAG_CHAR))
|
|
#define STIX_OOP_TO_CHAR(oop) (((stix_oow_t)oop) >> STIX_OOP_TAG_BITS)
|
|
|
|
/* RSRC(resurce) is a index to the VM's resource table(stix->rsrc.ptr) */
|
|
#define STIX_RSRC_TO_OOP(num) ((stix_oop_t)((((stix_oow_t)(num)) << STIX_OOP_TAG_BITS) | STIX_OOP_TAG_RSRC))
|
|
#define STIX_OOP_TO_RSRC(oop) (((stix_oow_t)oop) >> STIX_OOP_TAG_BITS)
|
|
|
|
/* SMOOI takes up 62 bits on a 64-bit architecture and 30 bits
|
|
* on a 32-bit architecture. The absolute value takes up 61 bits and 29 bits
|
|
* respectively for the 1 sign bit. */
|
|
#define STIX_SMOOI_BITS (STIX_OOI_BITS - STIX_OOP_TAG_BITS)
|
|
#define STIX_SMOOI_ABS_BITS (STIX_SMOOI_BITS - 1)
|
|
#define STIX_SMOOI_MAX ((stix_ooi_t)(~((stix_oow_t)0) >> (STIX_OOP_TAG_BITS + 1)))
|
|
/* Sacrificing 1 bit pattern for a negative SMOOI makes
|
|
* implementation a lot eaisier in many aspects. */
|
|
/*#define STIX_SMOOI_MIN (-STIX_SMOOI_MAX - 1)*/
|
|
#define STIX_SMOOI_MIN (-STIX_SMOOI_MAX)
|
|
#define STIX_IN_SMOOI_RANGE(ooi) ((ooi) >= STIX_SMOOI_MIN && (ooi) <= STIX_SMOOI_MAX)
|
|
|
|
/* TODO: There are untested code where a small integer is converted to stix_oow_t.
|
|
* for example, the spec making macro treats the number as stix_oow_t instead of stix_ooi_t.
|
|
* as of this writing, i skip testing that part with the spec value exceeding STIX_SMOOI_MAX.
|
|
* later, please verify it works, probably by limiting the value ranges in such macros
|
|
*/
|
|
|
|
/*
|
|
* Object structure
|
|
*/
|
|
enum stix_obj_type_t
|
|
{
|
|
STIX_OBJ_TYPE_OOP,
|
|
STIX_OBJ_TYPE_CHAR,
|
|
STIX_OBJ_TYPE_BYTE,
|
|
STIX_OBJ_TYPE_HALFWORD,
|
|
STIX_OBJ_TYPE_WORD
|
|
|
|
/*
|
|
STIX_OBJ_TYPE_UINT8,
|
|
STIX_OBJ_TYPE_UINT16,
|
|
STIX_OBJ_TYPE_UINT32,
|
|
*/
|
|
|
|
/* NOTE: you can have STIX_OBJ_SHORT, STIX_OBJ_INT
|
|
* STIX_OBJ_LONG, STIX_OBJ_FLOAT, STIX_OBJ_DOUBLE, etc
|
|
* type type field being 6 bits long, you can have up to 64 different types.
|
|
|
|
STIX_OBJ_TYPE_SHORT,
|
|
STIX_OBJ_TYPE_INT,
|
|
STIX_OBJ_TYPE_LONG,
|
|
STIX_OBJ_TYPE_FLOAT,
|
|
STIX_OBJ_TYPE_DOUBLE */
|
|
};
|
|
typedef enum stix_obj_type_t stix_obj_type_t;
|
|
|
|
/* =========================================================================
|
|
* Object header structure
|
|
*
|
|
* _flags:
|
|
* type: the type of a payload item.
|
|
* one of STIX_OBJ_TYPE_OOP, STIX_OBJ_TYPE_CHAR,
|
|
* STIX_OBJ_TYPE_BYTE, STIX_OBJ_TYPE_HALFWORD, STIX_OBJ_TYPE_WORD
|
|
* unit: the size of a payload item in bytes.
|
|
* extra: 0 or 1. 1 indicates that the payload contains 1 more
|
|
* item than the value of the size field. used for a
|
|
* terminating null in a variable-char object. internel
|
|
* use only.
|
|
* kernel: 0 or 1. indicates that the object is a kernel object.
|
|
* VM disallows layout changes of a kernel object.
|
|
* internal use only.
|
|
* moved: 0 or 1. used by GC. internal use only.
|
|
* ngc: 0 or 1, used by GC. internal use only.
|
|
* trailer: 0 or 1. indicates that there are trailing bytes
|
|
* after the object payload. internal use only.
|
|
*
|
|
* _size: the number of payload items in an object.
|
|
* it doesn't include the header size.
|
|
*
|
|
* The total number of bytes occupied by an object can be calculated
|
|
* with this fomula:
|
|
* sizeof(stix_obj_t) + ALIGN((size + extra) * unit), sizeof(stix_oop_t))
|
|
*
|
|
* If the type is known to be not STIX_OBJ_TYPE_CHAR, you can assume that
|
|
* 'extra' is 0. So you can simplify the fomula in such a context.
|
|
* sizeof(stix_obj_t) + ALIGN(size * unit), sizeof(stix_oop_t))
|
|
*
|
|
* The ALIGN() macro is used above since allocation adjusts the payload
|
|
* size to a multiple of sizeof(stix_oop_t). it assumes that sizeof(stix_obj_t)
|
|
* is a multiple of sizeof(stix_oop_t). See the STIX_BYTESOF() macro.
|
|
*
|
|
* Due to the header structure, an object can only contain items of
|
|
* homogeneous data types in the payload.
|
|
*
|
|
* It's actually possible to split the size field into 2. For example,
|
|
* the upper half contains the number of oops and the lower half contains
|
|
* the number of bytes/chars. This way, a variable-byte class or a variable-char
|
|
* class can have normal instance variables. On the contrary, the actual byte
|
|
* size calculation and the access to the payload fields become more complex.
|
|
* Therefore, i've dropped the idea.
|
|
* ========================================================================= */
|
|
#define STIX_OBJ_FLAGS_TYPE_BITS 6
|
|
#define STIX_OBJ_FLAGS_UNIT_BITS 5
|
|
#define STIX_OBJ_FLAGS_EXTRA_BITS 1
|
|
#define STIX_OBJ_FLAGS_KERNEL_BITS 2
|
|
#define STIX_OBJ_FLAGS_MOVED_BITS 1
|
|
#define STIX_OBJ_FLAGS_NGC_BITS 1
|
|
#define STIX_OBJ_FLAGS_TRAILER_BITS 1
|
|
|
|
#define STIX_OBJ_GET_FLAGS_TYPE(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_UNIT_BITS + STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_TYPE_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_UNIT(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_UNIT_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_EXTRA(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_EXTRA_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_KERNEL(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_KERNEL_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_MOVED(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_MOVED_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_NGC(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_TRAILER_BITS), STIX_OBJ_FLAGS_MOVED_BITS)
|
|
#define STIX_OBJ_GET_FLAGS_TRAILER(oop) STIX_GETBITS(stix_oow_t, (oop)->_flags, 0, STIX_OBJ_FLAGS_TRAILER_BITS)
|
|
|
|
#define STIX_OBJ_SET_FLAGS_TYPE(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_UNIT_BITS + STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_TYPE_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_UNIT(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_UNIT_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_EXTRA(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_EXTRA_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_KERNEL(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_KERNEL_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_MOVED(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS), STIX_OBJ_FLAGS_MOVED_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_NGC(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, (STIX_OBJ_FLAGS_TRAILER_BITS), STIX_OBJ_FLAGS_MOVED_BITS, v)
|
|
#define STIX_OBJ_SET_FLAGS_TRAILER(oop,v) STIX_SETBITS(stix_oow_t, (oop)->_flags, 0, STIX_OBJ_FLAGS_TRAILER_BITS, v)
|
|
|
|
#define STIX_OBJ_GET_SIZE(oop) ((oop)->_size)
|
|
#define STIX_OBJ_GET_CLASS(oop) ((oop)->_class)
|
|
|
|
#define STIX_OBJ_SET_SIZE(oop,v) ((oop)->_size = (v))
|
|
#define STIX_OBJ_SET_CLASS(oop,c) ((oop)->_class = (c))
|
|
|
|
/* [NOTE] this macro doesn't include the size of the trailer */
|
|
#define STIX_OBJ_BYTESOF(oop) ((STIX_OBJ_GET_SIZE(oop) + STIX_OBJ_GET_FLAGS_EXTRA(oop)) * STIX_OBJ_GET_FLAGS_UNIT(oop))
|
|
|
|
/* [NOTE] this macro doesn't check the range of the actual value.
|
|
* make sure that the value of each bit fields given falls within the
|
|
* possible range of the defined bits */
|
|
#define STIX_OBJ_MAKE_FLAGS(t,u,e,k,m,g,r) ( \
|
|
(((stix_oow_t)(t)) << (STIX_OBJ_FLAGS_UNIT_BITS + STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS)) | \
|
|
(((stix_oow_t)(u)) << (STIX_OBJ_FLAGS_EXTRA_BITS + STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS)) | \
|
|
(((stix_oow_t)(e)) << (STIX_OBJ_FLAGS_KERNEL_BITS + STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS)) | \
|
|
(((stix_oow_t)(k)) << (STIX_OBJ_FLAGS_MOVED_BITS + STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS)) | \
|
|
(((stix_oow_t)(m)) << (STIX_OBJ_FLAGS_TRAILER_BITS + STIX_OBJ_FLAGS_NGC_BITS)) | \
|
|
(((stix_oow_t)(g)) << (STIX_OBJ_FLAGS_TRAILER_BITS)) | \
|
|
(((stix_oow_t)(r)) << 0) \
|
|
)
|
|
|
|
#define STIX_OBJ_HEADER \
|
|
stix_oow_t _flags; \
|
|
stix_oow_t _size; \
|
|
stix_oop_t _class
|
|
|
|
struct stix_obj_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
};
|
|
|
|
struct stix_obj_oop_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_t slot[1];
|
|
};
|
|
|
|
struct stix_obj_char_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_ooch_t slot[1];
|
|
};
|
|
|
|
struct stix_obj_byte_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oob_t slot[1];
|
|
};
|
|
|
|
struct stix_obj_halfword_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oohw_t slot[1];
|
|
};
|
|
|
|
struct stix_obj_word_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oow_t slot[1];
|
|
};
|
|
|
|
typedef struct stix_trailer_t stix_trailer_t;
|
|
struct stix_trailer_t
|
|
{
|
|
stix_oow_t size;
|
|
stix_oob_t slot[1];
|
|
};
|
|
|
|
#define STIX_SET_NAMED_INSTVARS 2
|
|
typedef struct stix_set_t stix_set_t;
|
|
typedef struct stix_set_t* stix_oop_set_t;
|
|
struct stix_set_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_t tally; /* SmallInteger */
|
|
stix_oop_oop_t bucket; /* Array */
|
|
};
|
|
|
|
#define STIX_CLASS_NAMED_INSTVARS 11
|
|
typedef struct stix_class_t stix_class_t;
|
|
typedef struct stix_class_t* stix_oop_class_t;
|
|
struct stix_class_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
|
|
stix_oop_t spec; /* SmallInteger. instance specification */
|
|
stix_oop_t selfspec; /* SmallInteger. specification of the class object itself */
|
|
|
|
stix_oop_t superclass; /* Another class */
|
|
stix_oop_t subclasses; /* Array of subclasses */
|
|
|
|
stix_oop_char_t name; /* Symbol */
|
|
|
|
/* == NEVER CHANGE THIS ORDER OF 3 ITEMS BELOW == */
|
|
stix_oop_char_t instvars; /* String */
|
|
stix_oop_char_t classvars; /* String */
|
|
stix_oop_char_t classinstvars; /* String */
|
|
/* == NEVER CHANGE THE ORDER OF 3 ITEMS ABOVE == */
|
|
|
|
stix_oop_char_t pooldics; /* String - pool dictionaries imported */
|
|
|
|
/* [0] - instance methods, MethodDictionary
|
|
* [1] - class methods, MethodDictionary */
|
|
stix_oop_set_t mthdic[2];
|
|
|
|
/* indexed part afterwards */
|
|
stix_oop_t slot[1]; /* class instance variables and class variables. */
|
|
};
|
|
#define STIX_CLASS_MTHDIC_INSTANCE 0
|
|
#define STIX_CLASS_MTHDIC_CLASS 1
|
|
|
|
#define STIX_ASSOCIATION_NAMED_INSTVARS 2
|
|
typedef struct stix_association_t stix_association_t;
|
|
typedef struct stix_association_t* stix_oop_association_t;
|
|
struct stix_association_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_t key;
|
|
stix_oop_t value;
|
|
};
|
|
|
|
#if defined(STIX_USE_OBJECT_TRAILER)
|
|
# define STIX_METHOD_NAMED_INSTVARS 8
|
|
#else
|
|
# define STIX_METHOD_NAMED_INSTVARS 9
|
|
#endif
|
|
typedef struct stix_method_t stix_method_t;
|
|
typedef struct stix_method_t* stix_oop_method_t;
|
|
struct stix_method_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
|
|
stix_oop_class_t owner; /* Class */
|
|
|
|
stix_oop_char_t name; /* Symbol, method name */
|
|
|
|
/* primitive number */
|
|
stix_oop_t preamble; /* SmallInteger */
|
|
|
|
stix_oop_t preamble_data[2]; /* SmallInteger */
|
|
|
|
/* number of temporaries including arguments */
|
|
stix_oop_t tmpr_count; /* SmallInteger */
|
|
|
|
/* number of arguments in temporaries */
|
|
stix_oop_t tmpr_nargs; /* SmallInteger */
|
|
|
|
#if defined(STIX_USE_OBJECT_TRAILER)
|
|
/* no code field is used */
|
|
#else
|
|
stix_oop_byte_t code; /* ByteArray */
|
|
#endif
|
|
|
|
stix_oop_t source; /* TODO: what should I put? */
|
|
|
|
/* == variable indexed part == */
|
|
stix_oop_t slot[1]; /* it stores literals */
|
|
};
|
|
|
|
#if defined(STIX_USE_OBJECT_TRAILER)
|
|
|
|
/* if m is to be type-cast to stix_oop_method_t, the macro must be
|
|
* redefined to this:
|
|
* (&((stix_oop_method_t)m)>slot[STIX_OBJ_GET_SIZE(m) + 1 - STIX_METHOD_NAMED_INSTVARS])
|
|
*/
|
|
# define STIX_METHOD_GET_CODE_BYTE(m) ((stix_oob_t*)&((stix_oop_oop_t)m)->slot[STIX_OBJ_GET_SIZE(m) + 1])
|
|
# define STIX_METHOD_GET_CODE_SIZE(m) ((stix_oow_t)((stix_oop_oop_t)m)->slot[STIX_OBJ_GET_SIZE(m)])
|
|
#else
|
|
# define STIX_METHOD_GET_CODE_BYTE(m) ((m)->code->slot)
|
|
# define STIX_METHOD_GET_CODE_SIZE(m) STIX_OBJ_GET_SIZE((m)->code)
|
|
#endif
|
|
|
|
/* The preamble field is composed of a 8-bit code and a 16-bit
|
|
* index.
|
|
*
|
|
* The code can be one of the following values:
|
|
* 0 - no special action
|
|
* 1 - return self
|
|
* 2 - return nil
|
|
* 3 - return true
|
|
* 4 - return false
|
|
* 5 - return index.
|
|
* 6 - return -index.
|
|
* 7 - return instvar[index]
|
|
* 8 - do primitive[index]
|
|
* 9 - do named primitive[index]
|
|
* 10 - exception handler
|
|
*/
|
|
#define STIX_METHOD_MAKE_PREAMBLE(code,index) ((((stix_ooi_t)index) << 8) | ((stix_ooi_t)code))
|
|
#define STIX_METHOD_GET_PREAMBLE_CODE(preamble) (((stix_ooi_t)preamble) & 0xFF)
|
|
#define STIX_METHOD_GET_PREAMBLE_INDEX(preamble) (((stix_ooi_t)preamble) >> 8)
|
|
|
|
#define STIX_METHOD_PREAMBLE_NONE 0
|
|
#define STIX_METHOD_PREAMBLE_RETURN_RECEIVER 1
|
|
#define STIX_METHOD_PREAMBLE_RETURN_NIL 2
|
|
#define STIX_METHOD_PREAMBLE_RETURN_TRUE 3
|
|
#define STIX_METHOD_PREAMBLE_RETURN_FALSE 4
|
|
#define STIX_METHOD_PREAMBLE_RETURN_INDEX 5
|
|
#define STIX_METHOD_PREAMBLE_RETURN_NEGINDEX 6
|
|
#define STIX_METHOD_PREAMBLE_RETURN_INSTVAR 7
|
|
#define STIX_METHOD_PREAMBLE_PRIMITIVE 8
|
|
#define STIX_METHOD_PREAMBLE_NAMED_PRIMITIVE 9 /* index is an index to the symbol table */
|
|
#define STIX_METHOD_PREAMBLE_EXCEPTION 10
|
|
#define STIX_METHOD_PREAMBLE_ENSURE 11
|
|
|
|
/* the index is an 16-bit unsigned integer. */
|
|
#define STIX_METHOD_PREAMBLE_INDEX_MIN 0x0000
|
|
#define STIX_METHOD_PREAMBLE_INDEX_MAX 0xFFFF
|
|
#define STIX_OOI_IN_METHOD_PREAMBLE_INDEX_RANGE(num) ((num) >= STIX_METHOD_PREAMBLE_INDEX_MIN && (num) <= STIX_METHOD_PREAMBLE_INDEX_MAX)
|
|
|
|
#define STIX_CONTEXT_NAMED_INSTVARS 8
|
|
typedef struct stix_context_t stix_context_t;
|
|
typedef struct stix_context_t* stix_oop_context_t;
|
|
struct stix_context_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
|
|
/* it points to the active context at the moment when
|
|
* this context object has been activated. a new method context
|
|
* is activated as a result of normal message sending and a block
|
|
* context is activated when it is sent 'value'. it's set to
|
|
* nil if a block context created hasn't received 'value'. */
|
|
stix_oop_context_t sender;
|
|
|
|
/* SmallInteger, instruction pointer */
|
|
stix_oop_t ip;
|
|
|
|
/* SmallInteger, stack pointer. the actual stack pointer is in the active
|
|
* process. For a method context, it stores the stack pointer of the active
|
|
* process before it gets activated. the stack pointer of the active
|
|
* process is restored using this value upon returning. This field is
|
|
* almost useless for a block context. */
|
|
stix_oop_t sp;
|
|
|
|
/* SmallInteger. Number of temporaries.
|
|
* For a block context, it's inclusive of the temporaries
|
|
* defined its 'home'. */
|
|
stix_oop_t ntmprs;
|
|
|
|
/* CompiledMethod for a method context,
|
|
* SmallInteger for a block context */
|
|
stix_oop_t method_or_nargs;
|
|
|
|
/* it points to the receiver of the message for a method context.
|
|
* a base block context(created but not yet activated) has nil in this
|
|
* field. if a block context is activated by 'value', it points
|
|
* to the block context object used as a base for shallow-copy. */
|
|
stix_oop_t receiver_or_source;
|
|
|
|
/* it is set to nil for a method context.
|
|
* for a block context, it points to the active context at the
|
|
* moment the block context was created. that is, it points to
|
|
* a method context where the base block has been defined.
|
|
* an activated block context copies this field from the source. */
|
|
stix_oop_t home;
|
|
|
|
/* when a method context is created, it is set to itself. no change is
|
|
* made when the method context is activated. when a block context is
|
|
* created (when MAKE_BLOCK or BLOCK_COPY is executed), it is set to the
|
|
* origin of the active context. when the block context is shallow-copied
|
|
* for activation (when it is sent 'value'), it is set to the origin of
|
|
* the source block context. */
|
|
stix_oop_context_t origin;
|
|
|
|
/* variable indexed part */
|
|
stix_oop_t slot[1]; /* stack */
|
|
};
|
|
|
|
|
|
#define STIX_PROCESS_NAMED_INSTVARS 7
|
|
typedef struct stix_process_t stix_process_t;
|
|
typedef struct stix_process_t* stix_oop_process_t;
|
|
|
|
#define STIX_SEMAPHORE_NAMED_INSTVARS 6
|
|
typedef struct stix_semaphore_t stix_semaphore_t;
|
|
typedef struct stix_semaphore_t* stix_oop_semaphore_t;
|
|
|
|
struct stix_process_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_context_t initial_context;
|
|
stix_oop_context_t current_context;
|
|
|
|
stix_oop_t state; /* SmallInteger */
|
|
stix_oop_t sp; /* stack pointer. SmallInteger */
|
|
|
|
stix_oop_process_t prev;
|
|
stix_oop_process_t next;
|
|
|
|
stix_oop_semaphore_t sem;
|
|
|
|
#if 0
|
|
stix_oop_context_t eb_top; /* top ensure block */
|
|
stix_oop_t eb_count; /* SmallInteger */
|
|
#endif
|
|
/* == variable indexed part == */
|
|
stix_oop_t slot[1]; /* process stack */
|
|
};
|
|
|
|
struct stix_semaphore_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_t count; /* SmallInteger */
|
|
stix_oop_process_t waiting_head;
|
|
stix_oop_process_t waiting_tail;
|
|
stix_oop_t heap_index; /* index to the heap */
|
|
stix_oop_t heap_ftime_sec; /* firing time */
|
|
stix_oop_t heap_ftime_nsec; /* firing time */
|
|
};
|
|
|
|
#define STIX_PROCESS_SCHEDULER_NAMED_INSTVARS 5
|
|
typedef struct stix_process_scheduler_t stix_process_scheduler_t;
|
|
typedef struct stix_process_scheduler_t* stix_oop_process_scheduler_t;
|
|
struct stix_process_scheduler_t
|
|
{
|
|
STIX_OBJ_HEADER;
|
|
stix_oop_t tally; /* SmallInteger, the number of runnable processes */
|
|
stix_oop_process_t active; /* pointer to an active process in the runnable process list */
|
|
stix_oop_process_t runnable_head; /* runnable process list */
|
|
stix_oop_process_t runnable_tail; /* runnable process list */
|
|
stix_oop_t sempq; /* SemaphoreHeap */
|
|
};
|
|
|
|
/**
|
|
* The STIX_CLASSOF() macro return the class of an object including a numeric
|
|
* object encoded into a pointer.
|
|
*/
|
|
/*
|
|
#define STIX_CLASSOF(stix,oop) ( \
|
|
STIX_OOP_IS_SMOOI(oop)? (stix)->_small_integer: \
|
|
STIX_OOP_IS_CHAR(oop)? (stix)->_character: STIX_OBJ_GET_CLASS(oop) \
|
|
)
|
|
* */
|
|
#define STIX_CLASSOF(stix,oop) \
|
|
(STIX_OOP_GET_TAG(oop)? *stix->tagged_classes[STIX_OOP_GET_TAG(oop)]: STIX_OBJ_GET_CLASS(oop))
|
|
|
|
/**
|
|
* The STIX_BYTESOF() macro returns the size of the payload of
|
|
* an object in bytes. If the pointer given encodes a numeric value,
|
|
* it returns the size of #stix_oow_t in bytes.
|
|
*/
|
|
#define STIX_BYTESOF(stix,oop) \
|
|
(STIX_OOP_IS_NUMERIC(oop)? STIX_SIZEOF(stix_oow_t): STIX_OBJ_BYTESOF(oop))
|
|
|
|
/**
|
|
* The STIX_ISTYPEOF() macro is a safe replacement for STIX_OBJ_GET_FLAGS_TYPE()
|
|
*/
|
|
#define STIX_ISTYPEOF(stix,oop,type) \
|
|
(!STIX_OOP_IS_NUMERIC(oop) && STIX_OBJ_GET_FLAGS_TYPE(oop) == (type))
|
|
|
|
typedef struct stix_heap_t stix_heap_t;
|
|
|
|
struct stix_heap_t
|
|
{
|
|
stix_uint8_t* base; /* start of a heap */
|
|
stix_uint8_t* limit; /* end of a heap */
|
|
stix_uint8_t* ptr; /* next allocation pointer */
|
|
};
|
|
|
|
typedef struct stix_t stix_t;
|
|
|
|
/* =========================================================================
|
|
* VIRTUAL MACHINE PRIMITIVES
|
|
* ========================================================================= */
|
|
#define STIX_MOD_NAME_LEN_MAX 120
|
|
|
|
typedef void* (*stix_mod_open_t) (stix_t* stix, const stix_ooch_t* name);
|
|
typedef void (*stix_mod_close_t) (stix_t* stix, void* handle);
|
|
typedef void* (*stix_mod_getsym_t) (stix_t* stix, void* handle, const stix_ooch_t* name);
|
|
|
|
typedef void (*stix_log_write_t) (stix_t* stix, stix_oow_t mask, const stix_ooch_t* msg, stix_oow_t len);
|
|
|
|
struct stix_vmprim_t
|
|
{
|
|
stix_mod_open_t mod_open;
|
|
stix_mod_close_t mod_close;
|
|
stix_mod_getsym_t mod_getsym;
|
|
stix_log_write_t log_write;
|
|
};
|
|
|
|
typedef struct stix_vmprim_t stix_vmprim_t;
|
|
|
|
/* =========================================================================
|
|
* IO MANIPULATION
|
|
* ========================================================================= */
|
|
|
|
/* TODO: MOVE stix_ioimpl_t HERE */
|
|
|
|
/* =========================================================================
|
|
* CALLBACK MANIPULATION
|
|
* ========================================================================= */
|
|
typedef void (*stix_cbimpl_t) (stix_t* stix);
|
|
|
|
typedef struct stix_cb_t stix_cb_t;
|
|
struct stix_cb_t
|
|
{
|
|
stix_cbimpl_t gc;
|
|
stix_cbimpl_t fini;
|
|
|
|
/* private below */
|
|
stix_cb_t* prev;
|
|
stix_cb_t* next;
|
|
};
|
|
|
|
|
|
/* =========================================================================
|
|
* PRIMITIVE MODULE MANIPULATION
|
|
* ========================================================================= */
|
|
typedef int (*stix_prim_impl_t) (stix_t* stix, stix_ooi_t nargs);
|
|
|
|
typedef struct stix_prim_mod_t stix_prim_mod_t;
|
|
|
|
typedef int (*stix_prim_mod_load_t) (
|
|
stix_t* stix,
|
|
stix_prim_mod_t* mod
|
|
);
|
|
|
|
typedef stix_prim_impl_t (*stix_prim_mod_query_t) (
|
|
stix_t* stix,
|
|
stix_prim_mod_t* mod,
|
|
const stix_uch_t* name
|
|
);
|
|
|
|
typedef void (*stix_prim_mod_unload_t) (
|
|
stix_t* stix,
|
|
stix_prim_mod_t* mod
|
|
);
|
|
|
|
struct stix_prim_mod_t
|
|
{
|
|
stix_prim_mod_unload_t unload;
|
|
stix_prim_mod_query_t query;
|
|
void* ctx;
|
|
};
|
|
|
|
struct stix_prim_mod_data_t
|
|
{
|
|
void* handle;
|
|
stix_prim_mod_t mod;
|
|
};
|
|
typedef struct stix_prim_mod_data_t stix_prim_mod_data_t;
|
|
|
|
/* =========================================================================
|
|
* STIX VM
|
|
* ========================================================================= */
|
|
#if defined(STIX_INCLUDE_COMPILER)
|
|
typedef struct stix_compiler_t stix_compiler_t;
|
|
#endif
|
|
|
|
struct stix_t
|
|
{
|
|
stix_mmgr_t* mmgr;
|
|
stix_errnum_t errnum;
|
|
|
|
struct
|
|
{
|
|
unsigned int trait;
|
|
unsigned int log_mask;
|
|
stix_oow_t dfl_symtab_size;
|
|
stix_oow_t dfl_sysdic_size;
|
|
stix_oow_t dfl_procstk_size;
|
|
} option;
|
|
|
|
stix_vmprim_t vmprim;
|
|
|
|
stix_cb_t* cblist;
|
|
stix_rbt_t pmtable; /* primitive module table */
|
|
|
|
struct
|
|
{
|
|
stix_ooch_t* ptr;
|
|
stix_oow_t len;
|
|
stix_oow_t capa;
|
|
int last_mask;
|
|
} log;
|
|
|
|
/* ========================= */
|
|
|
|
stix_heap_t* permheap; /* TODO: put kernel objects to here */
|
|
stix_heap_t* curheap;
|
|
stix_heap_t* newheap;
|
|
|
|
/* ========================= */
|
|
stix_oop_t _nil; /* pointer to the nil object */
|
|
stix_oop_t _true;
|
|
stix_oop_t _false;
|
|
|
|
/* == NEVER CHANGE THE ORDER OF FIELDS BELOW == */
|
|
/* stix_ignite() assumes this order. make sure to update symnames in ignite_3() */
|
|
stix_oop_t _apex; /* Apex */
|
|
stix_oop_t _undefined_object; /* UndefinedObject */
|
|
stix_oop_t _class; /* Class */
|
|
stix_oop_t _object; /* Object */
|
|
stix_oop_t _string; /* String */
|
|
|
|
stix_oop_t _symbol; /* Symbol */
|
|
stix_oop_t _array; /* Array */
|
|
stix_oop_t _byte_array; /* ByteArray */
|
|
stix_oop_t _symbol_set; /* SymbolSet */
|
|
stix_oop_t _system_dictionary; /* SystemDictionary */
|
|
|
|
stix_oop_t _namespace; /* Namespace */
|
|
stix_oop_t _pool_dictionary; /* PoolDictionary */
|
|
stix_oop_t _method_dictionary; /* MethodDictionary */
|
|
stix_oop_t _method; /* CompiledMethod */
|
|
stix_oop_t _association; /* Association */
|
|
|
|
stix_oop_t _method_context; /* MethodContext */
|
|
stix_oop_t _block_context; /* BlockContext */
|
|
stix_oop_t _process; /* Process */
|
|
stix_oop_t _semaphore; /* Semaphore */
|
|
stix_oop_t _process_scheduler; /* ProcessScheduler */
|
|
stix_oop_t _true_class; /* True */
|
|
stix_oop_t _false_class; /* False */
|
|
stix_oop_t _character; /* Character */
|
|
|
|
stix_oop_t _small_integer; /* SmallInteger */
|
|
stix_oop_t _large_positive_integer; /* LargePositiveInteger */
|
|
stix_oop_t _large_negative_integer; /* LargeNegativeInteger */
|
|
|
|
stix_oop_t _resource;
|
|
/* == NEVER CHANGE THE ORDER OF FIELDS ABOVE == */
|
|
|
|
stix_oop_t* tagged_classes[4];
|
|
stix_oop_set_t symtab; /* system-wide symbol table. instance of SymbolSet */
|
|
stix_oop_set_t sysdic; /* system dictionary. instance of SystemDictionary */
|
|
stix_oop_process_scheduler_t processor; /* instance of ProcessScheduler */
|
|
stix_oop_process_t nil_process; /* instance of Process */
|
|
|
|
/* pending asynchronous semaphores */
|
|
stix_oop_semaphore_t* sem_list;
|
|
stix_oow_t sem_list_count;
|
|
stix_oow_t sem_list_capa;
|
|
|
|
/* semaphores sorted according to time-out */
|
|
stix_oop_semaphore_t* sem_heap;
|
|
stix_oow_t sem_heap_count;
|
|
stix_oow_t sem_heap_capa;
|
|
|
|
stix_oop_t* tmp_stack[256]; /* stack for temporaries */
|
|
stix_oow_t tmp_count;
|
|
|
|
/* == EXECUTION REGISTERS == */
|
|
stix_oop_context_t initial_context; /* fake initial context */
|
|
stix_oop_context_t active_context;
|
|
stix_oop_method_t active_method;
|
|
stix_oob_t* active_code;
|
|
stix_ooi_t sp;
|
|
stix_ooi_t ip;
|
|
int proc_switched; /* TODO: this is temporary. implement something else to skip immediate context switching */
|
|
int switch_proc;
|
|
stix_ntime_t vm_time_offset;
|
|
/* == END EXECUTION REGISTERS == */
|
|
|
|
/* == BIGINT CONVERSION == */
|
|
struct
|
|
{
|
|
int safe_ndigits;
|
|
stix_oow_t multiplier;
|
|
} bigint[37];
|
|
/* == END BIGINT CONVERSION == */
|
|
|
|
/* == RSRC MANAGEMENT == */
|
|
struct
|
|
{
|
|
stix_oow_t* ptr;
|
|
stix_oow_t free;
|
|
stix_oow_t capa;
|
|
} rsrc;
|
|
/* == END RSRC MANAGEMENT == */
|
|
|
|
#if defined(STIX_INCLUDE_COMPILER)
|
|
stix_compiler_t* c;
|
|
#endif
|
|
};
|
|
|
|
|
|
/* TODO: stack bound check when pushing */
|
|
#define STIX_STACK_PUSH(stix,v) \
|
|
do { \
|
|
(stix)->sp = (stix)->sp + 1; \
|
|
(stix)->processor->active->slot[(stix)->sp] = v; \
|
|
} while (0)
|
|
|
|
#define STIX_STACK_GET(stix,v_sp) ((stix)->processor->active->slot[v_sp])
|
|
#define STIX_STACK_SET(stix,v_sp,v_obj) ((stix)->processor->active->slot[v_sp] = v_obj)
|
|
|
|
#define STIX_STACK_GETTOP(stix) STIX_STACK_GET(stix, (stix)->sp)
|
|
#define STIX_STACK_SETTOP(stix,v_obj) STIX_STACK_SET(stix, (stix)->sp, v_obj)
|
|
|
|
#define STIX_STACK_POP(stix) ((stix)->sp = (stix)->sp - 1)
|
|
#define STIX_STACK_POPS(stix,count) ((stix)->sp = (stix)->sp - (count))
|
|
#define STIX_STACK_ISEMPTY(stix) ((stix)->sp <= -1)
|
|
|
|
#define STIX_STACK_GETARG(stix,nargs,idx) STIX_STACK_GET(stix, (stix)->sp - ((nargs) - (idx) - 1))
|
|
#define STIX_STACK_GETRCV(stix,nargs) STIX_STACK_GET(stix, (stix)->sp - nargs);
|
|
|
|
/* you can't access arguments and receiver after this macro.
|
|
* also you must not call this macro more than once */
|
|
#define STIX_STACK_SETRET(stix,nargs,retv) (STIX_STACK_POPS(stix, nargs), STIX_STACK_SETTOP(stix, retv))
|
|
#define STIX_STACK_SETRETTORCV(stix,nargs) (STIX_STACK_POPS(stix, nargs))
|
|
/* =========================================================================
|
|
* STIX VM LOGGING
|
|
* ========================================================================= */
|
|
|
|
enum stix_log_mask_t
|
|
{
|
|
STIX_LOG_DEBUG = (1 << 0),
|
|
STIX_LOG_INFO = (1 << 1),
|
|
STIX_LOG_WARN = (1 << 2),
|
|
STIX_LOG_ERROR = (1 << 3),
|
|
STIX_LOG_FATAL = (1 << 4),
|
|
|
|
STIX_LOG_MNEMONIC = (1 << 8), /* bytecode mnemonic */
|
|
STIX_LOG_GC = (1 << 9),
|
|
STIX_LOG_IC = (1 << 10), /* instruction cycle, fetch-decode-execute */
|
|
STIX_LOG_PRIMITIVE = (1 << 11),
|
|
STIX_LOG_APP = (1 << 12) /* stix applications, set by stix logging primitive */
|
|
};
|
|
typedef enum stix_log_mask_t stix_log_mask_t;
|
|
|
|
#define STIX_LOG_ENABLED(stix,mask) ((stix)->option.log_mask & (mask))
|
|
|
|
#define STIX_LOG0(stix,mask,fmt) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt); } while(0)
|
|
#define STIX_LOG1(stix,mask,fmt,a1) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt, a1); } while(0)
|
|
#define STIX_LOG2(stix,mask,fmt,a1,a2) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt, a1, a2); } while(0)
|
|
#define STIX_LOG3(stix,mask,fmt,a1,a2,a3) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt, a1, a2, a3); } while(0)
|
|
#define STIX_LOG4(stix,mask,fmt,a1,a2,a3,a4) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt, a1, a2, a3, a4); } while(0)
|
|
#define STIX_LOG5(stix,mask,fmt,a1,a2,a3,a4,a5) do { if (STIX_LOG_ENABLED(stix,mask)) stix_logbfmt(stix, mask, fmt, a1, a2, a3, a4, a5); } while(0)
|
|
|
|
#define STIX_DEBUG0(stix,fmt) STIX_LOG0(stix, STIX_LOG_DEBUG, fmt)
|
|
#define STIX_DEBUG1(stix,fmt,a1) STIX_LOG1(stix, STIX_LOG_DEBUG, fmt, a1)
|
|
#define STIX_DEBUG2(stix,fmt,a1,a2) STIX_LOG2(stix, STIX_LOG_DEBUG, fmt, a1, a2)
|
|
#define STIX_DEBUG3(stix,fmt,a1,a2,a3) STIX_LOG3(stix, STIX_LOG_DEBUG, fmt, a1, a2, a3)
|
|
#define STIX_DEBUG4(stix,fmt,a1,a2,a3,a4) STIX_LOG4(stix, STIX_LOG_DEBUG, fmt, a1, a2, a3, a4)
|
|
#define STIX_DEBUG5(stix,fmt,a1,a2,a3,a4,a5) STIX_LOG5(stix, STIX_LOG_DEBUG, fmt, a1, a2, a3, a4, a5)
|
|
|
|
#define STIX_INFO0(stix,fmt) STIX_LOG0(stix, STIX_LOG_INFO, fmt)
|
|
#define STIX_INFO1(stix,fmt,a1) STIX_LOG1(stix, STIX_LOG_INFO, fmt, a1)
|
|
#define STIX_INFO2(stix,fmt,a1,a2) STIX_LOG2(stix, STIX_LOG_INFO, fmt, a1, a2)
|
|
#define STIX_INFO3(stix,fmt,a1,a2,a3) STIX_LOG3(stix, STIX_LOG_INFO, fmt, a1, a2, a3)
|
|
#define STIX_INFO4(stix,fmt,a1,a2,a3,a4) STIX_LOG4(stix, STIX_LOG_INFO, fmt, a1, a2, a3, a4)
|
|
#define STIX_INFO5(stix,fmt,a1,a2,a3,a4,a5) STIX_LOG5(stix, STIX_LOG_INFO, fmt, a1, a2, a3, a4, a5
|
|
|
|
#if defined(__cplusplus)
|
|
extern "C" {
|
|
#endif
|
|
|
|
#define stix_switchprocess(stix) ((stix)->switch_proc = 1)
|
|
|
|
|
|
STIX_EXPORT stix_t* stix_open (
|
|
stix_mmgr_t* mmgr,
|
|
stix_oow_t xtnsize,
|
|
stix_oow_t heapsize,
|
|
const stix_vmprim_t* vmprim,
|
|
stix_errnum_t* errnum
|
|
);
|
|
|
|
STIX_EXPORT void stix_close (
|
|
stix_t* vm
|
|
);
|
|
|
|
STIX_EXPORT int stix_init (
|
|
stix_t* vm,
|
|
stix_mmgr_t* mmgr,
|
|
stix_oow_t heapsize,
|
|
const stix_vmprim_t* vmprim
|
|
);
|
|
|
|
STIX_EXPORT void stix_fini (
|
|
stix_t* vm
|
|
);
|
|
|
|
|
|
STIX_EXPORT stix_mmgr_t* stix_getmmgr (
|
|
stix_t* stix
|
|
);
|
|
|
|
STIX_EXPORT void* stix_getxtn (
|
|
stix_t* stix
|
|
);
|
|
|
|
|
|
STIX_EXPORT stix_errnum_t stix_geterrnum (
|
|
stix_t* stix
|
|
);
|
|
|
|
STIX_EXPORT void stix_seterrnum (
|
|
stix_t* stix,
|
|
stix_errnum_t errnum
|
|
);
|
|
|
|
/**
|
|
* The stix_getoption() function gets the value of an option
|
|
* specified by \a id into the buffer pointed to by \a value.
|
|
*
|
|
* \return 0 on success, -1 on failure
|
|
*/
|
|
STIX_EXPORT int stix_getoption (
|
|
stix_t* stix,
|
|
stix_option_t id,
|
|
void* value
|
|
);
|
|
|
|
/**
|
|
* The stix_setoption() function sets the value of an option
|
|
* specified by \a id to the value pointed to by \a value.
|
|
*
|
|
* \return 0 on success, -1 on failure
|
|
*/
|
|
STIX_EXPORT int stix_setoption (
|
|
stix_t* stix,
|
|
stix_option_t id,
|
|
const void* value
|
|
);
|
|
|
|
|
|
STIX_EXPORT stix_cb_t* stix_regcb (
|
|
stix_t* stix,
|
|
stix_cb_t* tmpl
|
|
);
|
|
|
|
STIX_EXPORT void stix_deregcb (
|
|
stix_t* stix,
|
|
stix_cb_t* cb
|
|
);
|
|
|
|
/**
|
|
* The stix_gc() function performs garbage collection.
|
|
* It is not affected by #STIX_NOGC.
|
|
*/
|
|
STIX_EXPORT void stix_gc (
|
|
stix_t* stix
|
|
);
|
|
|
|
STIX_EXPORT stix_oow_t stix_getpayloadbytes (
|
|
stix_t* stix,
|
|
stix_oop_t oop
|
|
);
|
|
|
|
/**
|
|
* The stix_instantiate() function creates a new object of the class
|
|
* \a _class. The size of the fixed part is taken from the information
|
|
* contained in the class defintion. The \a vlen parameter specifies
|
|
* the length of the variable part. The \a vptr parameter points to
|
|
* the memory area to copy into the variable part of the new object.
|
|
* If \a vptr is #STIX_NULL, the variable part is initialized to 0 or
|
|
* an equivalent value depending on the type.
|
|
*/
|
|
STIX_EXPORT stix_oop_t stix_instantiate (
|
|
stix_t* stix,
|
|
stix_oop_t _class,
|
|
const void* vptr,
|
|
stix_oow_t vlen
|
|
);
|
|
|
|
STIX_EXPORT stix_oop_t stix_shallowcopy (
|
|
stix_t* stix,
|
|
stix_oop_t oop
|
|
);
|
|
|
|
/**
|
|
* The stix_ignite() function creates key initial objects.
|
|
*/
|
|
STIX_EXPORT int stix_ignite (
|
|
stix_t* stix
|
|
);
|
|
|
|
/**
|
|
* The stix_execute() function executes an activated context.
|
|
*/
|
|
STIX_EXPORT int stix_execute (
|
|
stix_t* stix
|
|
);
|
|
|
|
/**
|
|
* The stix_invoke() function sends a message named \a mthname to an object
|
|
* named \a objname.
|
|
*/
|
|
STIX_EXPORT int stix_invoke (
|
|
stix_t* stix,
|
|
const stix_oocs_t* objname,
|
|
const stix_oocs_t* mthname
|
|
);
|
|
|
|
/* Temporary OOP management */
|
|
STIX_EXPORT void stix_pushtmp (
|
|
stix_t* stix,
|
|
stix_oop_t* oop_ptr
|
|
);
|
|
|
|
STIX_EXPORT void stix_poptmp (
|
|
stix_t* stix
|
|
);
|
|
|
|
STIX_EXPORT void stix_poptmps (
|
|
stix_t* stix,
|
|
stix_oow_t count
|
|
);
|
|
|
|
STIX_EXPORT int stix_decode (
|
|
stix_t* stix,
|
|
stix_oop_method_t mth,
|
|
const stix_oocs_t* classfqn
|
|
);
|
|
|
|
/* Memory allocation/deallocation functions using stix's MMGR */
|
|
|
|
STIX_EXPORT void* stix_allocmem (
|
|
stix_t* stix,
|
|
stix_oow_t size
|
|
);
|
|
|
|
STIX_EXPORT void* stix_callocmem (
|
|
stix_t* stix,
|
|
stix_oow_t size
|
|
);
|
|
|
|
STIX_EXPORT void* stix_reallocmem (
|
|
stix_t* stix,
|
|
void* ptr,
|
|
stix_oow_t size
|
|
);
|
|
|
|
STIX_EXPORT void stix_freemem (
|
|
stix_t* stix,
|
|
void* ptr
|
|
);
|
|
|
|
|
|
STIX_EXPORT stix_ooi_t stix_logbfmt (
|
|
stix_t* stix,
|
|
stix_oow_t mask,
|
|
const stix_bch_t* fmt,
|
|
...
|
|
);
|
|
|
|
STIX_EXPORT stix_ooi_t stix_logoofmt (
|
|
stix_t* stix,
|
|
stix_oow_t mask,
|
|
const stix_ooch_t* fmt,
|
|
...
|
|
);
|
|
|
|
#if defined(__cplusplus)
|
|
}
|
|
#endif
|
|
|
|
|
|
#endif
|