X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fvm%2Fglobal.h;h=e761d76eb3a0af8d705ee15dad35f10247856d93;hb=fa8651a5a680d2f25e03d6df5fd275e70d5cc696;hp=5943147facc44310f03490214740fd565606802f;hpb=b0dba1116d03fbe97d75e8ccfb933a51caf05601;p=cacao.git diff --git a/src/vm/global.h b/src/vm/global.h index 5943147fa..e761d76eb 100644 --- a/src/vm/global.h +++ b/src/vm/global.h @@ -1,9 +1,7 @@ /* src/vm/global.h - global definitions - Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel, - C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring, - E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, - J. Wenninger, Institut f. Computersprachen - TU Wien + Copyright (C) 1996-2005, 2006, 2007, 2008, 2010 + CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO This file is part of CACAO. @@ -22,18 +20,6 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. - Contact: cacao@cacaojvm.org - - Authors: Reinhard Grafl - Andreas Krall - Mark Probst - Philipp Tomsich - Edwin Steiner - Joseph Wenninger - Christian Thalinger - - $Id: global.h 6216 2006-12-18 18:21:37Z twisti $ - */ @@ -41,21 +27,18 @@ #define _GLOBAL_H #include "config.h" + +#include +#include + #include "vm/types.h" /* additional data types ******************************************************/ -typedef void *voidptr; /* generic pointer */ typedef void (*functionptr) (void); /* generic function pointer */ typedef u1* methodptr; -typedef unsigned int bool; /* boolean data type */ - -#define true 1 -#define false 0 - - #if defined(ENABLE_SSA) /* immediate to get an addidional target Local Var Index */ /* for IINC in Combination with SSA */ @@ -81,10 +64,48 @@ typedef union { } imm_union; +/* alignment macros ***********************************************************/ + +#define ALIGN_EVEN(a) ((a) = (((a) + 1) & ~1)) +#define ALIGN_ODD(a) ((a) = (a) | 1 ) + +#define ALIGN_2(a) ALIGN_EVEN(a) + + +/* printf format defines ******************************************************/ + +/* Define printf formats which change size between 32- and 64-bit. */ + +#if SIZEOF_VOID_P == 8 +# define PRINTF_FORMAT_INTPTR_T "0x%016lx" +# define PRINTF_FORMAT_INT64_T "%ld" +#else +# define PRINTF_FORMAT_INTPTR_T "0x%08lx" +# define PRINTF_FORMAT_INT64_T "%lld" +#endif + + +/* convenience macros *********************************************************/ + +/* Makes a string of the argument (which is not macro-expanded). */ + +#define STR(a) #a + +/* There are multiple definitions of MIN out there, but we cannot be sure. */ + +#ifndef MIN +# define MIN(a,b) (((a) < (b)) ? (a) : (b)) +#endif + +#ifndef MAX +# define MAX(a,b) (((a) > (b)) ? (a) : (b)) +#endif + + /* forward typedefs ***********************************************************/ -typedef struct java_objectheader java_objectheader; -typedef struct java_objectarray java_objectarray; +typedef struct java_object_t java_object_t; +typedef struct java_objectarray_t java_objectarray_t; #define MAX_ALIGN 8 /* most generic alignment for JavaVM values */ @@ -120,29 +141,6 @@ typedef struct java_objectarray java_objectarray; #define IS_VOID_TYPE(a) ((a) == TYPE_VOID) -/* primitive data types *******************************************************/ - -/* These values are used in parsed descriptors and in some other - places were the different types handled internally as TYPE_INT have - to be distinguished. */ - -#define PRIMITIVETYPE_COUNT 11 /* number of primitive types (+ dummies) */ - -/* CAUTION: Don't change the numerical values! These constants are - used as indices into the primitive type table. */ - -#define PRIMITIVETYPE_INT TYPE_INT -#define PRIMITIVETYPE_LONG TYPE_LNG -#define PRIMITIVETYPE_FLOAT TYPE_FLT -#define PRIMITIVETYPE_DOUBLE TYPE_DBL -#define PRIMITIVETYPE_DUMMY1 TYPE_ADR /* not used! */ -#define PRIMITIVETYPE_BYTE 5 -#define PRIMITIVETYPE_CHAR 6 -#define PRIMITIVETYPE_SHORT 7 -#define PRIMITIVETYPE_BOOLEAN 8 -#define PRIMITIVETYPE_DUMMY2 9 /* not used! */ -#define PRIMITIVETYPE_VOID TYPE_VOID - /* some Java related defines **************************************************/ #define JAVA_VERSION "1.5.0" /* this version is supported by CACAO */ @@ -200,18 +198,35 @@ typedef struct java_objectarray java_objectarray; /* special flags used in classinfo ********************************************/ -#define ACC_CLASS_REFLECT_MASK 0x0000ffff /* flags reported by reflection */ -#define ACC_CLASS_HAS_POINTERS 0x00010000 /* instance contains pointers */ +#define ACC_CLASS_REFLECT_MASK 0x0000ffff/* flags reported by reflection */ + +#define ACC_CLASS_PRIMITIVE 0x00010000 +#define ACC_CLASS_MEMBER 0x00020000 +#define ACC_CLASS_ANONYMOUS 0x00040000 + +#define ACC_CLASS_HAS_POINTERS 0x00080000/* instance contains pointers */ + +#define ACC_CLASS_REFERENCE_MASK 0x00700000 +#define ACC_CLASS_REFERENCE_SOFT 0x00100000 +#define ACC_CLASS_REFERENCE_WEAK 0x00200000 +#define ACC_CLASS_REFERENCE_PHANTOM 0x00400000 + /* special flags used in methodinfo *******************************************/ -#define ACC_METHOD_IMPLEMENTED 0x00010000 /* there is an implementation */ -#define ACC_METHOD_MONOMORPHIC 0x00020000 /* currently monomorphic method */ +#define ACC_METHOD_BUILTIN 0x00010000 /* use for descriptor parsing */ +#define ACC_METHOD_IMPLEMENTED 0x00020000 /* there is an implementation */ +#define ACC_METHOD_MONOMORPHIC 0x00040000 /* currently monomorphic method */ +#define ACC_METHOD_EA 0x00080000 /* method being escape analyzed */ +#define ACC_METHOD_MONOMORPHY_USED \ + 0x00100000 +#define ACC_METHOD_PARENT_MONOMORPHY_USED \ + 0x00200000 /* data structures of the runtime system **************************************/ -/* java_objectheader *********************************************************** +/* java_object_t *************************************************************** All objects (and arrays) which resides on the heap need the following header at the beginning of the data structure. @@ -220,15 +235,27 @@ typedef struct java_objectarray java_objectarray; *******************************************************************************/ -#define HDRFLAG_FLC 0x01 +#define HDRFLAG_MARK1 0x02 +#define HDRFLAG_MARK2 0x04 +#define HDRFLAG_UNCOLLECTABLE 0x08 +#define HDRFLAG_HASH_TAKEN 0x10 +#define HDRFLAG_HASH_ATTACHED 0x20 +#define HDRFLAG_REFERENCING 0x40 -struct java_objectheader { /* header for all objects */ - struct _vftbl *vftbl; /* pointer to virtual function table */ +#include "threads/lockword.hpp" + +struct java_object_t { /* header for all objects */ + struct _vftbl *vftbl; /* pointer to virtual function table */ #if defined(ENABLE_THREADS) - struct lock_record_t *monitorPtr; + uintptr_t lockword; +#endif +#if defined(ENABLE_GC_CACAO) + uintptr_t hdrflags; /* word containing the GC bits */ #endif -#if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO) - ptrint hdrflags; /* word containing the FLC and GC bits */ +#if defined(ENABLE_ESCAPE_CHECK) + void *method; + void *thread; + uintptr_t escape; #endif }; @@ -241,24 +268,10 @@ struct java_objectheader { /* header for all objects */ which is referenced by the vftbl. */ -/* CAUTION: Don't change the numerical values! These constants (with - * the exception of ARRAYTYPE_OBJECT) are used as indices in the - * primitive type table. - */ -#define ARRAYTYPE_INT PRIMITIVETYPE_INT -#define ARRAYTYPE_LONG PRIMITIVETYPE_LONG -#define ARRAYTYPE_FLOAT PRIMITIVETYPE_FLOAT -#define ARRAYTYPE_DOUBLE PRIMITIVETYPE_DOUBLE -#define ARRAYTYPE_BYTE PRIMITIVETYPE_BYTE -#define ARRAYTYPE_CHAR PRIMITIVETYPE_CHAR -#define ARRAYTYPE_SHORT PRIMITIVETYPE_SHORT -#define ARRAYTYPE_BOOLEAN PRIMITIVETYPE_BOOLEAN -#define ARRAYTYPE_OBJECT PRIMITIVETYPE_VOID /* don't use as index! */ - -typedef struct java_arrayheader { /* header for all arrays */ - java_objectheader objheader; /* object header */ +typedef struct java_array_t { /* header for all arrays */ + java_object_t objheader; /* object header */ s4 size; /* array size */ -} java_arrayheader; +} java_array_t; @@ -267,61 +280,72 @@ typedef struct java_arrayheader { /* header for all arrays */ /* booleanarray and bytearray need identical memory layout (access methods use the same machine code */ -typedef struct java_booleanarray { - java_arrayheader header; +typedef struct java_booleanarray_t { + java_array_t header; u1 data[1]; -} java_booleanarray; +} java_booleanarray_t; -typedef struct java_bytearray { - java_arrayheader header; +typedef struct java_bytearray_t { + java_array_t header; s1 data[1]; -} java_bytearray; +} java_bytearray_t; -typedef struct java_chararray { - java_arrayheader header; +typedef struct java_chararray_t { + java_array_t header; u2 data[1]; -} java_chararray; +} java_chararray_t; -typedef struct java_shortarray { - java_arrayheader header; +typedef struct java_shortarray_t { + java_array_t header; s2 data[1]; -} java_shortarray; +} java_shortarray_t; -typedef struct java_intarray { - java_arrayheader header; +typedef struct java_intarray_t { + java_array_t header; s4 data[1]; -} java_intarray; +} java_intarray_t; -typedef struct java_longarray { - java_arrayheader header; +typedef struct java_longarray_t { + java_array_t header; s8 data[1]; -} java_longarray; +} java_longarray_t; -typedef struct java_floatarray { - java_arrayheader header; +typedef struct java_floatarray_t { + java_array_t header; float data[1]; -} java_floatarray; +} java_floatarray_t; -typedef struct java_doublearray { - java_arrayheader header; +typedef struct java_doublearray_t { + java_array_t header; double data[1]; -} java_doublearray; +} java_doublearray_t; /* objectarray and arrayarray need identical memory layout (access methods use the same machine code */ -struct java_objectarray { - java_arrayheader header; - java_objectheader *data[1]; +struct java_objectarray_t { + java_array_t header; + java_object_t *data[1]; }; -/* Synchronization ************************************************************/ +/* java_handle_t *************************************************************** -#if defined(ENABLE_THREADS) -void compiler_lock(); -void compiler_unlock(); -#endif + TODO: document me! + +*******************************************************************************/ + +typedef java_object_t java_handle_t; +typedef java_handle_t java_handle_array_t; +typedef java_handle_array_t java_handle_objectarray_t; +typedef java_handle_array_t java_handle_booleanarray_t; +typedef java_handle_array_t java_handle_bytearray_t; +typedef java_handle_array_t java_handle_chararray_t; +typedef java_handle_array_t java_handle_shortarray_t; +typedef java_handle_array_t java_handle_intarray_t; +typedef java_handle_array_t java_handle_longarray_t; +typedef java_handle_array_t java_handle_floatarray_t; +typedef java_handle_array_t java_handle_doublearray_t; /* global constants related to the verifier ***********************************/