1 // prims.cc - Code for core of runtime environment.
3 /* Copyright (C) 1998, 1999, 2000 Free Software Foundation
5 This file is part of libgcj.
7 This software is copyrighted work licensed under the terms of the
8 Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
13 #ifdef USE_WIN32_SIGNALLING
15 #endif /* USE_WIN32_SIGNALLING */
18 #undef __INSIDE_CYGWIN__
20 #endif /* USE_WINSOCK */
34 #include <java-signal.h>
35 #include <java-threads.h>
41 #ifndef DISABLE_GETENV_PROPERTIES
43 #include <java-props.h>
44 #define PROCESS_GCJ_PROPERTIES process_gcj_properties()
46 #define PROCESS_GCJ_PROPERTIES
47 #endif // DISABLE_GETENV_PROPERTIES
49 #include <java/lang/Class.h>
50 #include <java/lang/Runtime.h>
51 #include <java/lang/String.h>
52 #include <java/lang/Thread.h>
53 #include <java/lang/ThreadGroup.h>
54 #include <gnu/gcj/runtime/FirstThread.h>
55 #include <java/lang/ArrayIndexOutOfBoundsException.h>
56 #include <java/lang/ArithmeticException.h>
57 #include <java/lang/ClassFormatError.h>
58 #include <java/lang/NegativeArraySizeException.h>
59 #include <java/lang/NullPointerException.h>
60 #include <java/lang/OutOfMemoryError.h>
61 #include <java/lang/System.h>
62 #include <java/lang/reflect/Modifier.h>
63 #include <java/io/PrintStream.h>
69 #define ObjectClass _CL_Q34java4lang6Object
70 extern java::lang::Class ObjectClass;
72 // We allocate a single OutOfMemoryError exception which we keep
73 // around for use if we run out of memory.
74 static java::lang::OutOfMemoryError *no_memory;
76 // Largest representable size_t.
77 #define SIZE_T_MAX ((size_t) (~ (size_t) 0))
79 // Properties set at compile time.
80 const char **_Jv_Compiler_Properties;
82 #ifndef DISABLE_GETENV_PROPERTIES
83 // Property key/value pairs.
84 property_pair *_Jv_Environment_Properties;
87 // The name of this executable.
88 static char * _Jv_execName;
91 // Pointer to JVMPI notification functions.
92 void (*_Jv_JVMPI_Notify_OBJECT_ALLOC) (JVMPI_Event *event);
93 void (*_Jv_JVMPI_Notify_THREAD_START) (JVMPI_Event *event);
94 void (*_Jv_JVMPI_Notify_THREAD_END) (JVMPI_Event *event);
98 extern "C" void _Jv_ThrowSignal (void *) __attribute ((noreturn));
100 // Just like _Jv_Throw, but fill in the stack trace first. Although
101 // this is declared extern in order that its name not be mangled, it
102 // is not intended to be used outside this file.
104 _Jv_ThrowSignal (void *e)
106 java::lang::Throwable *throwable = (java::lang::Throwable *)e;
107 throwable->fillInStackTrace ();
108 _Jv_Throw (throwable);
112 static java::lang::NullPointerException *nullp;
114 SIGNAL_HANDLER (catch_segv)
116 MAKE_THROW_FRAME (nullp);
117 _Jv_ThrowSignal (nullp);
121 static java::lang::ArithmeticException *arithexception;
124 SIGNAL_HANDLER (catch_fpe)
126 #ifdef HANDLE_DIVIDE_OVERFLOW
127 HANDLE_DIVIDE_OVERFLOW;
129 MAKE_THROW_FRAME (arithexception);
131 _Jv_ThrowSignal (arithexception);
138 _Jv_equalUtf8Consts (Utf8Const* a, Utf8Const *b)
141 _Jv_ushort *aptr, *bptr;
144 if (a->hash != b->hash)
147 if (b->length != len)
149 aptr = (_Jv_ushort *)a->data;
150 bptr = (_Jv_ushort *)b->data;
151 len = (len + 1) >> 1;
153 if (*aptr++ != *bptr++)
158 /* True iff A is equal to STR.
159 HASH is STR->hashCode().
163 _Jv_equal (Utf8Const* a, jstring str, jint hash)
165 if (a->hash != (_Jv_ushort) hash)
167 jint len = str->length();
169 jchar *sptr = _Jv_GetStringChars (str);
170 unsigned char* ptr = (unsigned char*) a->data;
171 unsigned char* limit = ptr + a->length;
174 int ch = UTF8_GET (ptr, limit);
183 /* Like _Jv_equal, but stop after N characters. */
185 _Jv_equaln (Utf8Const *a, jstring str, jint n)
187 jint len = str->length();
189 jchar *sptr = _Jv_GetStringChars (str);
190 unsigned char* ptr = (unsigned char*) a->data;
191 unsigned char* limit = ptr + a->length;
192 for (; n-- > 0; i++, sptr++)
194 int ch = UTF8_GET (ptr, limit);
203 /* Count the number of Unicode chars encoded in a given Ut8 string. */
205 _Jv_strLengthUtf8(char* str, int len)
208 unsigned char* limit;
211 ptr = (unsigned char*) str;
214 for (; ptr < limit; str_length++) {
215 if (UTF8_GET (ptr, limit) < 0) {
222 /* Calculate a hash value for a string encoded in Utf8 format.
223 * This returns the same hash value as specified or java.lang.String.hashCode.
226 hashUtf8String (char* str, int len)
228 unsigned char* ptr = (unsigned char*) str;
229 unsigned char* limit = ptr + len;
234 int ch = UTF8_GET (ptr, limit);
235 /* Updated specification from
236 http://www.javasoft.com/docs/books/jls/clarify.html. */
237 hash = (31 * hash) + ch;
243 _Jv_makeUtf8Const (char* s, int len)
247 Utf8Const* m = (Utf8Const*) _Jv_AllocBytes (sizeof(Utf8Const) + len + 1);
250 memcpy (m->data, s, len);
253 m->hash = hashUtf8String (s, len) & 0xFFFF;
258 _Jv_makeUtf8Const (jstring string)
260 jint hash = string->hashCode ();
261 jint len = _Jv_GetStringUTFLength (string);
263 Utf8Const* m = (Utf8Const*)
264 _Jv_AllocBytesChecked (sizeof(Utf8Const) + len + 1);
269 _Jv_GetStringUTFRegion (string, 0, string->length (), m->data);
279 _Jv_Abort (const char *function, const char *file, int line,
283 _Jv_Abort (const char *, const char *, int, const char *message)
288 "libgcj failure: %s\n in function %s, file %s, line %d\n",
289 message, function, file, line);
291 java::io::PrintStream *err = java::lang::System::err;
292 err->print(JvNewStringLatin1 ("libgcj failure: "));
293 err->println(JvNewStringLatin1 (message));
300 fail_on_finalization (jobject)
302 JvFail ("object was finalized");
306 _Jv_GCWatch (jobject obj)
308 _Jv_RegisterFinalizer (obj, fail_on_finalization);
312 _Jv_ThrowBadArrayIndex(jint bad_index)
314 JvThrow (new java::lang::ArrayIndexOutOfBoundsException
315 (java::lang::String::valueOf(bad_index)));
319 _Jv_ThrowNullPointerException ()
321 throw new java::lang::NullPointerException ();
324 // Allocate some unscanned memory and throw an exception if no memory.
326 _Jv_AllocBytesChecked (jsize size)
328 void *r = _Jv_AllocBytes (size);
330 _Jv_Throw (no_memory);
334 // Allocate a new object of class C. SIZE is the size of the object
335 // to allocate. You might think this is redundant, but it isn't; some
336 // classes, such as String, aren't of fixed size.
338 _Jv_AllocObject (jclass c, jint size)
342 jobject obj = (jobject) _Jv_AllocObj (size);
343 if (__builtin_expect (! obj, false))
345 *((_Jv_VTable **) obj) = c->vtable;
347 // If this class has inherited finalize from Object, then don't
348 // bother registering a finalizer. We know that finalize() is the
349 // very first method after the dummy entry. If this turns out to be
350 // unreliable, a more robust implementation can be written. Such an
351 // implementation would look for Object.finalize in Object's method
352 // table at startup, and then use that information to find the
353 // appropriate index in the method vector.
354 if (c->vtable->method[1] != ObjectClass.vtable->method[1])
355 _Jv_RegisterFinalizer (obj, _Jv_FinalizeObject);
358 // Service JVMPI request.
360 if (__builtin_expect (_Jv_JVMPI_Notify_OBJECT_ALLOC != 0, false))
364 event.event_type = JVMPI_EVENT_OBJECT_ALLOC;
366 event.u.obj_alloc.arena_id = 0;
367 event.u.obj_alloc.class_id = (jobjectID) c;
368 event.u.obj_alloc.is_array = 0;
369 event.u.obj_alloc.size = size;
370 event.u.obj_alloc.obj_id = (jobjectID) obj;
373 (*_Jv_JVMPI_Notify_OBJECT_ALLOC) (&event);
381 // Allocate a new array of Java objects. Each object is of type
382 // `elementClass'. `init' is used to initialize each slot in the
385 _Jv_NewObjectArray (jsize count, jclass elementClass, jobject init)
387 if (__builtin_expect (count < 0, false))
388 JvThrow (new java::lang::NegativeArraySizeException);
390 JvAssert (! elementClass->isPrimitive ());
392 jobjectArray obj = NULL;
393 size_t size = (size_t) _Jv_GetArrayElementFromElementType (obj,
396 // Check for overflow.
397 if (__builtin_expect ((size_t) count >
398 (SIZE_T_MAX - size) / sizeof (jobject), false))
401 size += count * sizeof (jobject);
403 // FIXME: second argument should be "current loader" //
404 jclass clas = _Jv_FindArrayClass (elementClass, 0);
406 obj = (jobjectArray) _Jv_AllocArray (size);
407 if (__builtin_expect (! obj, false))
410 jobject* ptr = elements(obj);
411 // We know the allocator returns zeroed memory. So don't bother
418 // Set the vtbl last to avoid problems if the GC happens during the
419 // window in this function between the allocation and this
421 *((_Jv_VTable **) obj) = clas->vtable;
425 // Allocate a new array of primitives. ELTYPE is the type of the
426 // element, COUNT is the size of the array.
428 _Jv_NewPrimArray (jclass eltype, jint count)
430 int elsize = eltype->size();
431 if (__builtin_expect (count < 0, false))
432 JvThrow (new java::lang::NegativeArraySizeException ());
434 JvAssert (eltype->isPrimitive ());
435 jobject dummy = NULL;
436 size_t size = (size_t) _Jv_GetArrayElementFromElementType (dummy, eltype);
438 // Check for overflow.
439 if (__builtin_expect ((size_t) count >
440 (SIZE_T_MAX - size) / elsize, false))
443 __JArray *arr = (__JArray*) _Jv_AllocObj (size + elsize * count);
444 if (__builtin_expect (! arr, false))
447 // Note that we assume we are given zeroed memory by the allocator.
449 jclass klass = _Jv_FindArrayClass (eltype, 0);
450 // Set the vtbl last to avoid problems if the GC happens during the
451 // window in this function between the allocation and this
453 *((_Jv_VTable **) arr) = klass->vtable;
458 _Jv_NewArray (jint type, jint size)
462 case 4: return JvNewBooleanArray (size);
463 case 5: return JvNewCharArray (size);
464 case 6: return JvNewFloatArray (size);
465 case 7: return JvNewDoubleArray (size);
466 case 8: return JvNewByteArray (size);
467 case 9: return JvNewShortArray (size);
468 case 10: return JvNewIntArray (size);
469 case 11: return JvNewLongArray (size);
471 JvFail ("newarray - bad type code");
472 return NULL; // Placate compiler.
476 _Jv_NewMultiArray (jclass type, jint dimensions, jint *sizes)
478 JvAssert (type->isArray());
479 jclass element_type = type->getComponentType();
481 if (element_type->isPrimitive())
482 result = _Jv_NewPrimArray (element_type, sizes[0]);
484 result = _Jv_NewObjectArray (sizes[0], element_type, NULL);
488 JvAssert (! element_type->isPrimitive());
489 JvAssert (element_type->isArray());
490 jobject *contents = elements ((jobjectArray) result);
491 for (int i = 0; i < sizes[0]; ++i)
492 contents[i] = _Jv_NewMultiArray (element_type, dimensions - 1,
500 _Jv_NewMultiArray (jclass array_type, jint dimensions, ...)
503 jint sizes[dimensions];
504 va_start (args, dimensions);
505 for (int i = 0; i < dimensions; ++i)
507 jint size = va_arg (args, jint);
512 return _Jv_NewMultiArray (array_type, dimensions, sizes);
517 class _Jv_PrimClass : public java::lang::Class
520 // FIXME: calling convention is weird. If we use the natural types
521 // then the compiler will complain because they aren't Java types.
522 _Jv_PrimClass (jobject cname, jbyte sig, jint len, jobject array_vtable)
524 using namespace java::lang::reflect;
526 // We must initialize every field of the class. We do this in
527 // the same order they are declared in Class.h.
529 name = _Jv_makeUtf8Const ((char *) cname, -1);
530 accflags = Modifier::PUBLIC | Modifier::FINAL;
533 constants.tags = NULL;
534 constants.data = NULL;
537 vtable_method_count = 0;
541 static_field_count = 0;
542 vtable = JV_PRIMITIVE_VTABLE;
546 state = JV_STATE_NOTHING;
549 // Note that we have to set `methods' to NULL.
551 _Jv_FindArrayClass (this, NULL, (_Jv_VTable *) array_vtable);
555 // We use this to define both primitive classes and the vtables for
556 // arrays of primitive classes. The latter are given names so that we
557 // can refer to them from the compiler, allowing us to construct
558 // arrays of primitives statically.
559 #define DECLARE_PRIM_TYPE(NAME, SIG, LEN) \
560 _Jv_ArrayVTable _Jv_##NAME##VTable; \
561 _Jv_PrimClass _Jv_##NAME##Class((jobject) #NAME, (jbyte) SIG, (jint) LEN, \
562 (jobject) &_Jv_##NAME##VTable)
564 DECLARE_PRIM_TYPE(byte, 'B', 1);
565 DECLARE_PRIM_TYPE(short, 'S', 2);
566 DECLARE_PRIM_TYPE(int, 'I', 4);
567 DECLARE_PRIM_TYPE(long, 'J', 8);
568 DECLARE_PRIM_TYPE(boolean, 'Z', 1);
569 DECLARE_PRIM_TYPE(char, 'C', 2);
570 DECLARE_PRIM_TYPE(float, 'F', 4);
571 DECLARE_PRIM_TYPE(double, 'D', 8);
572 DECLARE_PRIM_TYPE(void, 'V', 0);
575 _Jv_FindClassFromSignature (char *sig, java::lang::ClassLoader *loader)
580 return JvPrimClass (byte);
582 return JvPrimClass (short);
584 return JvPrimClass (int);
586 return JvPrimClass (long);
588 return JvPrimClass (boolean);
590 return JvPrimClass (char);
592 return JvPrimClass (float);
594 return JvPrimClass (double);
596 return JvPrimClass (void);
600 for (i = 1; sig[i] && sig[i] != ';'; ++i)
602 _Jv_Utf8Const *name = _Jv_makeUtf8Const (&sig[1], i - 1);
603 return _Jv_FindClass (name, loader);
607 return _Jv_FindArrayClass (_Jv_FindClassFromSignature (&sig[1], loader),
610 JvFail ("couldn't understand class signature");
611 return NULL; // Placate compiler.
617 JvConvertArgv (int argc, const char **argv)
621 jobjectArray ar = JvNewObjectArray(argc, &StringClass, NULL);
622 jobject* ptr = elements(ar);
623 for (int i = 0; i < argc; i++)
625 const char *arg = argv[i];
626 // FIXME - should probably use JvNewStringUTF.
627 *ptr++ = JvNewStringLatin1(arg, strlen(arg));
629 return (JArray<jstring>*) ar;
632 // FIXME: These variables are static so that they will be
633 // automatically scanned by the Boehm collector. This is needed
634 // because with qthreads the collector won't scan the initial stack --
635 // it will only scan the qthreads stacks.
637 // Command line arguments.
638 static jobject arg_vec;
640 // The primary threadgroup.
641 static java::lang::ThreadGroup *main_group;
643 // The primary thread.
644 static java::lang::Thread *main_thread;
647 _Jv_ThisExecutable (void)
653 _Jv_ThisExecutable (const char *name)
657 _Jv_execName = new char[strlen (name) + 1];
658 strcpy (_Jv_execName, name);
662 #ifdef USE_WIN32_SIGNALLING
664 extern "C" int* win32_get_restart_frame (void *);
667 win32_exception_handler (LPEXCEPTION_POINTERS e)
670 if (e->ExceptionRecord->ExceptionCode == EXCEPTION_ACCESS_VIOLATION)
671 setjmp_buf = win32_get_restart_frame (nullp);
672 else if (e->ExceptionRecord->ExceptionCode == EXCEPTION_INT_DIVIDE_BY_ZERO)
673 setjmp_buf = win32_get_restart_frame (arithexception);
675 return EXCEPTION_CONTINUE_SEARCH;
677 e->ContextRecord->Ebp = setjmp_buf[0];
678 // FIXME: Why does i386-signal.h increment the PC here, do we need to do it?
679 e->ContextRecord->Eip = setjmp_buf[1];
680 // FIXME: Is this the stack pointer? Do we need it?
681 e->ContextRecord->Esp = setjmp_buf[2];
683 return EXCEPTION_CONTINUE_EXECUTION;
695 arithexception = new java::lang::ArithmeticException
696 (JvNewStringLatin1 ("/ by zero"));
699 no_memory = new java::lang::OutOfMemoryError;
702 LTDL_SET_PRELOADED_SYMBOLS ();
706 // Initialise winsock for networking
708 if (WSAStartup (MAKEWORD (1, 1), &data))
709 MessageBox (NULL, "Error initialising winsock library.", "Error", MB_OK | MB_ICONEXCLAMATION);
710 #endif /* USE_WINSOCK */
712 #ifdef USE_WIN32_SIGNALLING
713 // Install exception handler
714 SetUnhandledExceptionFilter (win32_exception_handler);
716 // We only want this on POSIX systems.
717 struct sigaction act;
718 act.sa_handler = SIG_IGN;
719 sigemptyset (&act.sa_mask);
721 sigaction (SIGPIPE, &act, NULL);
722 #endif /* USE_WIN32_SIGNALLING */
727 #ifndef DISABLE_GETENV_PROPERTIES
730 next_property_key (char *s, size_t *length)
736 // Skip over whitespace
740 // If we've reached the end, return NULL. Also return NULL if for
741 // some reason we've come across a malformed property string.
747 // Determine the length of the property key.
765 next_property_value (char *s, size_t *length)
781 // If we've reached the end, return NULL.
785 // Determine the length of the property value.
804 process_gcj_properties ()
806 char *props = getenv("GCJ_PROPERTIES");
809 size_t property_count = 0;
814 // Whip through props quickly in order to count the number of
816 while (p && (p = next_property_key (p, &length)))
818 // Skip to the end of the key
821 p = next_property_value (p, &length);
828 // Allocate an array of property value/key pairs.
829 _Jv_Environment_Properties =
830 (property_pair *) malloc (sizeof(property_pair)
831 * (property_count + 1));
833 // Go through the properties again, initializing _Jv_Properties
837 while (p && (p = next_property_key (p, &length)))
839 _Jv_Environment_Properties[property_count].key = p;
840 _Jv_Environment_Properties[property_count].key_length = length;
842 // Skip to the end of the key
845 p = next_property_value (p, &length);
847 _Jv_Environment_Properties[property_count].value = p;
848 _Jv_Environment_Properties[property_count].value_length = length;
855 memset ((void *) &_Jv_Environment_Properties[property_count],
856 0, sizeof (property_pair));
860 // Null terminate the strings.
861 while (_Jv_Environment_Properties[i].key)
863 _Jv_Environment_Properties[i].key[_Jv_Environment_Properties[i].key_length] = 0;
864 _Jv_Environment_Properties[i++].value[_Jv_Environment_Properties[i].value_length] = 0;
868 #endif // DISABLE_GETENV_PROPERTIES
871 JvRunMain (jclass klass, int argc, const char **argv)
873 PROCESS_GCJ_PROPERTIES;
876 #ifdef HAVE_PROC_SELF_EXE
878 sprintf (exec_name, "/proc/%d/exe", getpid ());
879 _Jv_ThisExecutable (exec_name);
881 _Jv_ThisExecutable (argv[0]);
884 arg_vec = JvConvertArgv (argc - 1, argv + 1);
885 main_group = new java::lang::ThreadGroup (23);
886 main_thread = new gnu::gcj::runtime::FirstThread (main_group,
889 main_thread->start();
892 java::lang::Runtime::getRuntime ()->exit (0);
896 _Jv_RunMain (const char *class_name, int argc, const char **argv)
898 PROCESS_GCJ_PROPERTIES;
902 #ifdef HAVE_PROC_SELF_EXE
904 sprintf (exec_name, "/proc/%d/exe", getpid ());
905 _Jv_ThisExecutable (exec_name);
908 arg_vec = JvConvertArgv (argc - 1, argv + 1);
909 main_group = new java::lang::ThreadGroup (23);
910 main_thread = new gnu::gcj::runtime::FirstThread (main_group,
911 JvNewStringLatin1 (class_name),
913 main_thread->start();
916 java::lang::Runtime::getRuntime ()->exit (0);
921 // Parse a string and return a heap size.
923 parse_heap_size (const char *spec)
926 unsigned long val = strtoul (spec, &end, 10);
927 if (*end == 'k' || *end == 'K')
929 else if (*end == 'm' || *end == 'M')
934 // Set the initial heap size. This might be ignored by the GC layer.
935 // This must be called before _Jv_RunMain.
937 _Jv_SetInitialHeapSize (const char *arg)
939 size_t size = parse_heap_size (arg);
940 _Jv_GCSetInitialHeapSize (size);
943 // Set the maximum heap size. This might be ignored by the GC layer.
944 // This must be called before _Jv_RunMain.
946 _Jv_SetMaximumHeapSize (const char *arg)
948 size_t size = parse_heap_size (arg);
949 _Jv_GCSetMaximumHeapSize (size);
955 _Jv_Malloc (jsize size)
957 if (__builtin_expect (size == 0, false))
959 void *ptr = malloc ((size_t) size);
960 if (__builtin_expect (ptr == NULL, false))
966 _Jv_Realloc (void *ptr, jsize size)
968 if (__builtin_expect (size == 0, false))
970 ptr = realloc (ptr, (size_t) size);
971 if (__builtin_expect (ptr == NULL, false))
977 _Jv_MallocUnchecked (jsize size)
979 if (__builtin_expect (size == 0, false))
981 return malloc ((size_t) size);
992 // In theory, these routines can be #ifdef'd away on machines which
993 // support divide overflow signals. However, we never know if some
994 // code might have been compiled with "-fuse-divide-subroutine", so we
995 // always include them in libgcj.
998 _Jv_divI (jint dividend, jint divisor)
1000 if (__builtin_expect (divisor == 0, false))
1001 _Jv_ThrowSignal (arithexception);
1003 if (dividend == (jint) 0x80000000L && divisor == -1)
1006 return dividend / divisor;
1010 _Jv_remI (jint dividend, jint divisor)
1012 if (__builtin_expect (divisor == 0, false))
1013 _Jv_ThrowSignal (arithexception);
1015 if (dividend == (jint) 0x80000000L && divisor == -1)
1018 return dividend % divisor;
1022 _Jv_divJ (jlong dividend, jlong divisor)
1024 if (__builtin_expect (divisor == 0, false))
1025 _Jv_ThrowSignal (arithexception);
1027 if (dividend == (jlong) 0x8000000000000000LL && divisor == -1)
1030 return dividend / divisor;
1034 _Jv_remJ (jlong dividend, jlong divisor)
1036 if (__builtin_expect (divisor == 0, false))
1037 _Jv_ThrowSignal (arithexception);
1039 if (dividend == (jlong) 0x8000000000000000LL && divisor == -1)
1042 return dividend % divisor;