* final.c (compute_alignments): Make it static.
[official-gcc.git] / libjava / prims.cc
blob490d2b1c127b7a39ebe4faf0607f06cd2396f838
1 // prims.cc - Code for core of runtime environment.
3 /* Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005 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
9 details. */
11 #include <config.h>
12 #include <platform.h>
14 #include <stdlib.h>
15 #include <stdarg.h>
16 #include <stdio.h>
17 #include <string.h>
18 #include <signal.h>
20 #ifdef HAVE_UNISTD_H
21 #include <unistd.h>
22 #endif
24 #include <gcj/cni.h>
25 #include <jvm.h>
26 #include <java-signal.h>
27 #include <java-threads.h>
28 #include <java-interp.h>
30 #ifdef ENABLE_JVMPI
31 #include <jvmpi.h>
32 #include <java/lang/ThreadGroup.h>
33 #endif
35 #ifndef DISABLE_GETENV_PROPERTIES
36 #include <ctype.h>
37 #include <java-props.h>
38 #define PROCESS_GCJ_PROPERTIES process_gcj_properties()
39 #else
40 #define PROCESS_GCJ_PROPERTIES
41 #endif // DISABLE_GETENV_PROPERTIES
43 #include <java/lang/Class.h>
44 #include <java/lang/ClassLoader.h>
45 #include <java/lang/Runtime.h>
46 #include <java/lang/String.h>
47 #include <java/lang/Thread.h>
48 #include <java/lang/ThreadGroup.h>
49 #include <java/lang/ArrayIndexOutOfBoundsException.h>
50 #include <java/lang/ArithmeticException.h>
51 #include <java/lang/ClassFormatError.h>
52 #include <java/lang/InternalError.h>
53 #include <java/lang/NegativeArraySizeException.h>
54 #include <java/lang/NullPointerException.h>
55 #include <java/lang/OutOfMemoryError.h>
56 #include <java/lang/System.h>
57 #include <java/lang/VMThrowable.h>
58 #include <java/lang/VMClassLoader.h>
59 #include <java/lang/reflect/Modifier.h>
60 #include <java/io/PrintStream.h>
61 #include <java/lang/UnsatisfiedLinkError.h>
62 #include <java/lang/VirtualMachineError.h>
63 #include <gnu/gcj/runtime/ExtensionClassLoader.h>
64 #include <gnu/gcj/runtime/FinalizerThread.h>
65 #include <execution.h>
66 #include <gnu/java/lang/MainThread.h>
68 #ifdef USE_LTDL
69 #include <ltdl.h>
70 #endif
72 // Execution engine for compiled code.
73 _Jv_CompiledEngine _Jv_soleCompiledEngine;
75 // We allocate a single OutOfMemoryError exception which we keep
76 // around for use if we run out of memory.
77 static java::lang::OutOfMemoryError *no_memory;
79 // Number of bytes in largest array object we create. This could be
80 // increased to the largest size_t value, so long as the appropriate
81 // functions are changed to take a size_t argument instead of jint.
82 #define MAX_OBJECT_SIZE ((1<<31) - 1)
84 // Properties set at compile time.
85 const char **_Jv_Compiler_Properties = NULL;
86 int _Jv_Properties_Count = 0;
88 #ifndef DISABLE_GETENV_PROPERTIES
89 // Property key/value pairs.
90 property_pair *_Jv_Environment_Properties;
91 #endif
93 // Stash the argv pointer to benefit native libraries that need it.
94 const char **_Jv_argv;
95 int _Jv_argc;
97 // Argument support.
98 int
99 _Jv_GetNbArgs (void)
101 // _Jv_argc is 0 if not explicitly initialized.
102 return _Jv_argc;
105 const char *
106 _Jv_GetSafeArg (int index)
108 if (index >=0 && index < _Jv_GetNbArgs ())
109 return _Jv_argv[index];
110 else
111 return "";
114 void
115 _Jv_SetArgs (int argc, const char **argv)
117 _Jv_argc = argc;
118 _Jv_argv = argv;
121 #ifdef ENABLE_JVMPI
122 // Pointer to JVMPI notification functions.
123 void (*_Jv_JVMPI_Notify_OBJECT_ALLOC) (JVMPI_Event *event);
124 void (*_Jv_JVMPI_Notify_THREAD_START) (JVMPI_Event *event);
125 void (*_Jv_JVMPI_Notify_THREAD_END) (JVMPI_Event *event);
126 #endif
129 #if defined (HANDLE_SEGV) || defined(HANDLE_FPE)
130 /* Unblock a signal. Unless we do this, the signal may only be sent
131 once. */
132 static void
133 unblock_signal (int signum __attribute__ ((__unused__)))
135 #ifdef _POSIX_VERSION
136 sigset_t sigs;
138 sigemptyset (&sigs);
139 sigaddset (&sigs, signum);
140 sigprocmask (SIG_UNBLOCK, &sigs, NULL);
141 #endif
143 #endif
145 #ifdef HANDLE_SEGV
146 SIGNAL_HANDLER (catch_segv)
148 unblock_signal (SIGSEGV);
149 MAKE_THROW_FRAME (nullp);
150 java::lang::NullPointerException *nullp
151 = new java::lang::NullPointerException;
152 throw nullp;
154 #endif
156 #ifdef HANDLE_FPE
157 SIGNAL_HANDLER (catch_fpe)
159 unblock_signal (SIGFPE);
160 #ifdef HANDLE_DIVIDE_OVERFLOW
161 HANDLE_DIVIDE_OVERFLOW;
162 #else
163 MAKE_THROW_FRAME (arithexception);
164 #endif
165 java::lang::ArithmeticException *arithexception
166 = new java::lang::ArithmeticException (JvNewStringLatin1 ("/ by zero"));
167 throw arithexception;
169 #endif
173 jboolean
174 _Jv_equalUtf8Consts (const Utf8Const* a, const Utf8Const *b)
176 int len;
177 const _Jv_ushort *aptr, *bptr;
178 if (a == b)
179 return true;
180 if (a->hash != b->hash)
181 return false;
182 len = a->length;
183 if (b->length != len)
184 return false;
185 aptr = (const _Jv_ushort *)a->data;
186 bptr = (const _Jv_ushort *)b->data;
187 len = (len + 1) >> 1;
188 while (--len >= 0)
189 if (*aptr++ != *bptr++)
190 return false;
191 return true;
194 /* True iff A is equal to STR.
195 HASH is STR->hashCode().
198 jboolean
199 _Jv_equal (Utf8Const* a, jstring str, jint hash)
201 if (a->hash != (_Jv_ushort) hash)
202 return false;
203 jint len = str->length();
204 jint i = 0;
205 jchar *sptr = _Jv_GetStringChars (str);
206 unsigned char* ptr = (unsigned char*) a->data;
207 unsigned char* limit = ptr + a->length;
208 for (;; i++, sptr++)
210 int ch = UTF8_GET (ptr, limit);
211 if (i == len)
212 return ch < 0;
213 if (ch != *sptr)
214 return false;
216 return true;
219 /* Like _Jv_equal, but stop after N characters. */
220 jboolean
221 _Jv_equaln (Utf8Const *a, jstring str, jint n)
223 jint len = str->length();
224 jint i = 0;
225 jchar *sptr = _Jv_GetStringChars (str);
226 unsigned char* ptr = (unsigned char*) a->data;
227 unsigned char* limit = ptr + a->length;
228 for (; n-- > 0; i++, sptr++)
230 int ch = UTF8_GET (ptr, limit);
231 if (i == len)
232 return ch < 0;
233 if (ch != *sptr)
234 return false;
236 return true;
239 /* Count the number of Unicode chars encoded in a given Ut8 string. */
241 _Jv_strLengthUtf8(char* str, int len)
243 unsigned char* ptr;
244 unsigned char* limit;
245 int str_length;
247 ptr = (unsigned char*) str;
248 limit = ptr + len;
249 str_length = 0;
250 for (; ptr < limit; str_length++)
252 if (UTF8_GET (ptr, limit) < 0)
253 return (-1);
255 return (str_length);
258 /* Calculate a hash value for a string encoded in Utf8 format.
259 * This returns the same hash value as specified or java.lang.String.hashCode.
261 jint
262 _Jv_hashUtf8String (char* str, int len)
264 unsigned char* ptr = (unsigned char*) str;
265 unsigned char* limit = ptr + len;
266 jint hash = 0;
268 for (; ptr < limit;)
270 int ch = UTF8_GET (ptr, limit);
271 /* Updated specification from
272 http://www.javasoft.com/docs/books/jls/clarify.html. */
273 hash = (31 * hash) + ch;
275 return hash;
278 void
279 _Jv_Utf8Const::init(char *s, int len)
281 ::memcpy (data, s, len);
282 data[len] = 0;
283 length = len;
284 hash = _Jv_hashUtf8String (s, len) & 0xFFFF;
287 _Jv_Utf8Const *
288 _Jv_makeUtf8Const (char* s, int len)
290 if (len < 0)
291 len = strlen (s);
292 Utf8Const* m
293 = (Utf8Const*) _Jv_AllocBytes (_Jv_Utf8Const::space_needed(s, len));
294 m->init(s, len);
295 return m;
298 _Jv_Utf8Const *
299 _Jv_makeUtf8Const (jstring string)
301 jint hash = string->hashCode ();
302 jint len = _Jv_GetStringUTFLength (string);
304 Utf8Const* m = (Utf8Const*)
305 _Jv_AllocBytes (sizeof(Utf8Const) + len + 1);
307 m->hash = hash;
308 m->length = len;
310 _Jv_GetStringUTFRegion (string, 0, string->length (), m->data);
311 m->data[len] = 0;
313 return m;
318 #ifdef DEBUG
319 void
320 _Jv_Abort (const char *function, const char *file, int line,
321 const char *message)
322 #else
323 void
324 _Jv_Abort (const char *, const char *, int, const char *message)
325 #endif
327 #ifdef DEBUG
328 fprintf (stderr,
329 "libgcj failure: %s\n in function %s, file %s, line %d\n",
330 message, function, file, line);
331 #else
332 fprintf (stderr, "libgcj failure: %s\n", message);
333 #endif
334 abort ();
337 static void
338 fail_on_finalization (jobject)
340 JvFail ("object was finalized");
343 void
344 _Jv_GCWatch (jobject obj)
346 _Jv_RegisterFinalizer (obj, fail_on_finalization);
349 void
350 _Jv_ThrowBadArrayIndex(jint bad_index)
352 throw new java::lang::ArrayIndexOutOfBoundsException
353 (java::lang::String::valueOf (bad_index));
356 void
357 _Jv_ThrowNullPointerException ()
359 throw new java::lang::NullPointerException;
362 // Resolve an entry in the constant pool and return the target
363 // address.
364 void *
365 _Jv_ResolvePoolEntry (jclass this_class, jint index)
367 _Jv_Constants *pool = &this_class->constants;
369 if ((pool->tags[index] & JV_CONSTANT_ResolvedFlag) != 0)
370 return pool->data[index].field->u.addr;
372 JvSynchronize sync (this_class);
373 return (_Jv_Linker::resolve_pool_entry (this_class, index))
374 .field->u.addr;
378 // Explicitly throw a no memory exception.
379 // The collector calls this when it encounters an out-of-memory condition.
380 void _Jv_ThrowNoMemory()
382 throw no_memory;
385 #ifdef ENABLE_JVMPI
386 # define JVMPI_NOTIFY_ALLOC(klass,size,obj) \
387 if (__builtin_expect (_Jv_JVMPI_Notify_OBJECT_ALLOC != 0, false)) \
388 jvmpi_notify_alloc(klass,size,obj);
389 static void
390 jvmpi_notify_alloc(jclass klass, jint size, jobject obj)
392 // Service JVMPI allocation request.
393 JVMPI_Event event;
395 event.event_type = JVMPI_EVENT_OBJECT_ALLOC;
396 event.env_id = NULL;
397 event.u.obj_alloc.arena_id = 0;
398 event.u.obj_alloc.class_id = (jobjectID) klass;
399 event.u.obj_alloc.is_array = 0;
400 event.u.obj_alloc.size = size;
401 event.u.obj_alloc.obj_id = (jobjectID) obj;
403 // FIXME: This doesn't look right for the Boehm GC. A GC may
404 // already be in progress. _Jv_DisableGC () doesn't wait for it.
405 // More importantly, I don't see the need for disabling GC, since we
406 // blatantly have a pointer to obj on our stack, ensuring that the
407 // object can't be collected. Even for a nonconservative collector,
408 // it appears to me that this must be true, since we are about to
409 // return obj. Isn't this whole approach way too intrusive for
410 // a useful profiling interface? - HB
411 _Jv_DisableGC ();
412 (*_Jv_JVMPI_Notify_OBJECT_ALLOC) (&event);
413 _Jv_EnableGC ();
415 #else /* !ENABLE_JVMPI */
416 # define JVMPI_NOTIFY_ALLOC(klass,size,obj) /* do nothing */
417 #endif
419 // Allocate a new object of class KLASS.
420 // First a version that assumes that we have no finalizer, and that
421 // the class is already initialized.
422 // If we know that JVMPI is disabled, this can be replaced by a direct call
423 // to the allocator for the appropriate GC.
424 jobject
425 _Jv_AllocObjectNoInitNoFinalizer (jclass klass)
427 jint size = klass->size ();
428 jobject obj = (jobject) _Jv_AllocObj (size, klass);
429 JVMPI_NOTIFY_ALLOC (klass, size, obj);
430 return obj;
433 // And now a version that initializes if necessary.
434 jobject
435 _Jv_AllocObjectNoFinalizer (jclass klass)
437 _Jv_InitClass (klass);
438 jint size = klass->size ();
439 jobject obj = (jobject) _Jv_AllocObj (size, klass);
440 JVMPI_NOTIFY_ALLOC (klass, size, obj);
441 return obj;
444 // And now the general version that registers a finalizer if necessary.
445 jobject
446 _Jv_AllocObject (jclass klass)
448 jobject obj = _Jv_AllocObjectNoFinalizer (klass);
450 // We assume that the compiler only generates calls to this routine
451 // if there really is an interesting finalizer.
452 // Unfortunately, we still have to the dynamic test, since there may
453 // be cni calls to this routine.
454 // Note that on IA64 get_finalizer() returns the starting address of the
455 // function, not a function pointer. Thus this still works.
456 if (klass->vtable->get_finalizer ()
457 != java::lang::Object::class$.vtable->get_finalizer ())
458 _Jv_RegisterFinalizer (obj, _Jv_FinalizeObject);
459 return obj;
462 // Allocate a String, including variable length storage.
463 jstring
464 _Jv_AllocString(jsize len)
466 using namespace java::lang;
468 jsize sz = sizeof(java::lang::String) + len * sizeof(jchar);
470 // We assert that for strings allocated this way, the data field
471 // will always point to the object itself. Thus there is no reason
472 // for the garbage collector to scan any of it.
473 // Furthermore, we're about to overwrite the string data, so
474 // initialization of the object is not an issue.
476 // String needs no initialization, and there is no finalizer, so
477 // we can go directly to the collector's allocator interface.
478 jstring obj = (jstring) _Jv_AllocPtrFreeObj(sz, &String::class$);
480 obj->data = obj;
481 obj->boffset = sizeof(java::lang::String);
482 obj->count = len;
483 obj->cachedHashCode = 0;
485 JVMPI_NOTIFY_ALLOC (&String::class$, sz, obj);
487 return obj;
490 // A version of the above that assumes the object contains no pointers,
491 // and requires no finalization. This can't happen if we need pointers
492 // to locks.
493 #ifdef JV_HASH_SYNCHRONIZATION
494 jobject
495 _Jv_AllocPtrFreeObject (jclass klass)
497 _Jv_InitClass (klass);
498 jint size = klass->size ();
500 jobject obj = (jobject) _Jv_AllocPtrFreeObj (size, klass);
502 JVMPI_NOTIFY_ALLOC (klass, size, obj);
504 return obj;
506 #endif /* JV_HASH_SYNCHRONIZATION */
509 // Allocate a new array of Java objects. Each object is of type
510 // `elementClass'. `init' is used to initialize each slot in the
511 // array.
512 jobjectArray
513 _Jv_NewObjectArray (jsize count, jclass elementClass, jobject init)
515 if (__builtin_expect (count < 0, false))
516 throw new java::lang::NegativeArraySizeException;
518 JvAssert (! elementClass->isPrimitive ());
520 // Ensure that elements pointer is properly aligned.
521 jobjectArray obj = NULL;
522 size_t size = (size_t) elements (obj);
523 // Check for overflow.
524 if (__builtin_expect ((size_t) count >
525 (MAX_OBJECT_SIZE - 1 - size) / sizeof (jobject), false))
526 throw no_memory;
528 size += count * sizeof (jobject);
530 jclass klass = _Jv_GetArrayClass (elementClass,
531 elementClass->getClassLoaderInternal());
533 obj = (jobjectArray) _Jv_AllocArray (size, klass);
534 // Cast away const.
535 jsize *lp = const_cast<jsize *> (&obj->length);
536 *lp = count;
537 // We know the allocator returns zeroed memory. So don't bother
538 // zeroing it again.
539 if (init)
541 jobject *ptr = elements(obj);
542 while (--count >= 0)
543 *ptr++ = init;
545 return obj;
548 // Allocate a new array of primitives. ELTYPE is the type of the
549 // element, COUNT is the size of the array.
550 jobject
551 _Jv_NewPrimArray (jclass eltype, jint count)
553 int elsize = eltype->size();
554 if (__builtin_expect (count < 0, false))
555 throw new java::lang::NegativeArraySizeException;
557 JvAssert (eltype->isPrimitive ());
558 jobject dummy = NULL;
559 size_t size = (size_t) _Jv_GetArrayElementFromElementType (dummy, eltype);
561 // Check for overflow.
562 if (__builtin_expect ((size_t) count >
563 (MAX_OBJECT_SIZE - size) / elsize, false))
564 throw no_memory;
566 jclass klass = _Jv_GetArrayClass (eltype, 0);
568 # ifdef JV_HASH_SYNCHRONIZATION
569 // Since the vtable is always statically allocated,
570 // these are completely pointerfree! Make sure the GC doesn't touch them.
571 __JArray *arr =
572 (__JArray*) _Jv_AllocPtrFreeObj (size + elsize * count, klass);
573 memset((char *)arr + size, 0, elsize * count);
574 # else
575 __JArray *arr = (__JArray*) _Jv_AllocObj (size + elsize * count, klass);
576 // Note that we assume we are given zeroed memory by the allocator.
577 # endif
578 // Cast away const.
579 jsize *lp = const_cast<jsize *> (&arr->length);
580 *lp = count;
582 return arr;
585 jobject
586 _Jv_NewArray (jint type, jint size)
588 switch (type)
590 case 4: return JvNewBooleanArray (size);
591 case 5: return JvNewCharArray (size);
592 case 6: return JvNewFloatArray (size);
593 case 7: return JvNewDoubleArray (size);
594 case 8: return JvNewByteArray (size);
595 case 9: return JvNewShortArray (size);
596 case 10: return JvNewIntArray (size);
597 case 11: return JvNewLongArray (size);
599 throw new java::lang::InternalError
600 (JvNewStringLatin1 ("invalid type code in _Jv_NewArray"));
603 // Allocate a possibly multi-dimensional array but don't check that
604 // any array length is <0.
605 static jobject
606 _Jv_NewMultiArrayUnchecked (jclass type, jint dimensions, jint *sizes)
608 JvAssert (type->isArray());
609 jclass element_type = type->getComponentType();
610 jobject result;
611 if (element_type->isPrimitive())
612 result = _Jv_NewPrimArray (element_type, sizes[0]);
613 else
614 result = _Jv_NewObjectArray (sizes[0], element_type, NULL);
616 if (dimensions > 1)
618 JvAssert (! element_type->isPrimitive());
619 JvAssert (element_type->isArray());
620 jobject *contents = elements ((jobjectArray) result);
621 for (int i = 0; i < sizes[0]; ++i)
622 contents[i] = _Jv_NewMultiArrayUnchecked (element_type, dimensions - 1,
623 sizes + 1);
626 return result;
629 jobject
630 _Jv_NewMultiArray (jclass type, jint dimensions, jint *sizes)
632 for (int i = 0; i < dimensions; ++i)
633 if (sizes[i] < 0)
634 throw new java::lang::NegativeArraySizeException;
636 return _Jv_NewMultiArrayUnchecked (type, dimensions, sizes);
639 jobject
640 _Jv_NewMultiArray (jclass array_type, jint dimensions, ...)
642 va_list args;
643 jint sizes[dimensions];
644 va_start (args, dimensions);
645 for (int i = 0; i < dimensions; ++i)
647 jint size = va_arg (args, jint);
648 if (size < 0)
649 throw new java::lang::NegativeArraySizeException;
650 sizes[i] = size;
652 va_end (args);
654 return _Jv_NewMultiArrayUnchecked (array_type, dimensions, sizes);
659 // Ensure 8-byte alignment, for hash synchronization.
660 #define DECLARE_PRIM_TYPE(NAME) \
661 java::lang::Class _Jv_##NAME##Class __attribute__ ((aligned (8)));
663 DECLARE_PRIM_TYPE(byte)
664 DECLARE_PRIM_TYPE(short)
665 DECLARE_PRIM_TYPE(int)
666 DECLARE_PRIM_TYPE(long)
667 DECLARE_PRIM_TYPE(boolean)
668 DECLARE_PRIM_TYPE(char)
669 DECLARE_PRIM_TYPE(float)
670 DECLARE_PRIM_TYPE(double)
671 DECLARE_PRIM_TYPE(void)
673 void
674 _Jv_InitPrimClass (jclass cl, char *cname, char sig, int len)
676 using namespace java::lang::reflect;
678 // We must set the vtable for the class; the Java constructor
679 // doesn't do this.
680 (*(_Jv_VTable **) cl) = java::lang::Class::class$.vtable;
682 // Initialize the fields we care about. We do this in the same
683 // order they are declared in Class.h.
684 cl->name = _Jv_makeUtf8Const ((char *) cname, -1);
685 cl->accflags = Modifier::PUBLIC | Modifier::FINAL | Modifier::ABSTRACT;
686 cl->method_count = sig;
687 cl->size_in_bytes = len;
688 cl->vtable = JV_PRIMITIVE_VTABLE;
689 cl->state = JV_STATE_DONE;
690 cl->depth = -1;
693 jclass
694 _Jv_FindClassFromSignature (char *sig, java::lang::ClassLoader *loader,
695 char **endp)
697 // First count arrays.
698 int array_count = 0;
699 while (*sig == '[')
701 ++sig;
702 ++array_count;
705 jclass result = NULL;
706 switch (*sig)
708 case 'B':
709 result = JvPrimClass (byte);
710 break;
711 case 'S':
712 result = JvPrimClass (short);
713 break;
714 case 'I':
715 result = JvPrimClass (int);
716 break;
717 case 'J':
718 result = JvPrimClass (long);
719 break;
720 case 'Z':
721 result = JvPrimClass (boolean);
722 break;
723 case 'C':
724 result = JvPrimClass (char);
725 break;
726 case 'F':
727 result = JvPrimClass (float);
728 break;
729 case 'D':
730 result = JvPrimClass (double);
731 break;
732 case 'V':
733 result = JvPrimClass (void);
734 break;
735 case 'L':
737 char *save = ++sig;
738 while (*sig && *sig != ';')
739 ++sig;
740 // Do nothing if signature appears to be malformed.
741 if (*sig == ';')
743 _Jv_Utf8Const *name = _Jv_makeUtf8Const (save, sig - save);
744 result = _Jv_FindClass (name, loader);
746 break;
748 default:
749 // Do nothing -- bad signature.
750 break;
753 if (endp)
755 // Not really the "end", but the last valid character that we
756 // looked at.
757 *endp = sig;
760 if (! result)
761 return NULL;
763 // Find arrays.
764 while (array_count-- > 0)
765 result = _Jv_GetArrayClass (result, loader);
766 return result;
771 JArray<jstring> *
772 JvConvertArgv (int argc, const char **argv)
774 if (argc < 0)
775 argc = 0;
776 jobjectArray ar = JvNewObjectArray(argc, &java::lang::String::class$, NULL);
777 jobject *ptr = elements(ar);
778 jbyteArray bytes = NULL;
779 for (int i = 0; i < argc; i++)
781 const char *arg = argv[i];
782 int len = strlen (arg);
783 if (bytes == NULL || bytes->length < len)
784 bytes = JvNewByteArray (len);
785 jbyte *bytePtr = elements (bytes);
786 // We assume jbyte == char.
787 memcpy (bytePtr, arg, len);
789 // Now convert using the default encoding.
790 *ptr++ = new java::lang::String (bytes, 0, len);
792 return (JArray<jstring>*) ar;
795 // FIXME: These variables are static so that they will be
796 // automatically scanned by the Boehm collector. This is needed
797 // because with qthreads the collector won't scan the initial stack --
798 // it will only scan the qthreads stacks.
800 // Command line arguments.
801 static JArray<jstring> *arg_vec;
803 // The primary thread.
804 static java::lang::Thread *main_thread;
806 #ifndef DISABLE_GETENV_PROPERTIES
808 static char *
809 next_property_key (char *s, size_t *length)
811 size_t l = 0;
813 JvAssert (s);
815 // Skip over whitespace
816 while (isspace (*s))
817 s++;
819 // If we've reached the end, return NULL. Also return NULL if for
820 // some reason we've come across a malformed property string.
821 if (*s == 0
822 || *s == ':'
823 || *s == '=')
824 return NULL;
826 // Determine the length of the property key.
827 while (s[l] != 0
828 && ! isspace (s[l])
829 && s[l] != ':'
830 && s[l] != '=')
832 if (s[l] == '\\'
833 && s[l+1] != 0)
834 l++;
835 l++;
838 *length = l;
840 return s;
843 static char *
844 next_property_value (char *s, size_t *length)
846 size_t l = 0;
848 JvAssert (s);
850 while (isspace (*s))
851 s++;
853 if (*s == ':'
854 || *s == '=')
855 s++;
857 while (isspace (*s))
858 s++;
860 // If we've reached the end, return NULL.
861 if (*s == 0)
862 return NULL;
864 // Determine the length of the property value.
865 while (s[l] != 0
866 && ! isspace (s[l])
867 && s[l] != ':'
868 && s[l] != '=')
870 if (s[l] == '\\'
871 && s[l+1] != 0)
872 l += 2;
873 else
874 l++;
877 *length = l;
879 return s;
882 static void
883 process_gcj_properties ()
885 char *props = getenv("GCJ_PROPERTIES");
886 char *p = props;
887 size_t length;
888 size_t property_count = 0;
890 if (NULL == props)
891 return;
893 // Whip through props quickly in order to count the number of
894 // property values.
895 while (p && (p = next_property_key (p, &length)))
897 // Skip to the end of the key
898 p += length;
900 p = next_property_value (p, &length);
901 if (p)
902 p += length;
904 property_count++;
907 // Allocate an array of property value/key pairs.
908 _Jv_Environment_Properties =
909 (property_pair *) malloc (sizeof(property_pair)
910 * (property_count + 1));
912 // Go through the properties again, initializing _Jv_Properties
913 // along the way.
914 p = props;
915 property_count = 0;
916 while (p && (p = next_property_key (p, &length)))
918 _Jv_Environment_Properties[property_count].key = p;
919 _Jv_Environment_Properties[property_count].key_length = length;
921 // Skip to the end of the key
922 p += length;
924 p = next_property_value (p, &length);
926 _Jv_Environment_Properties[property_count].value = p;
927 _Jv_Environment_Properties[property_count].value_length = length;
929 if (p)
930 p += length;
932 property_count++;
934 memset ((void *) &_Jv_Environment_Properties[property_count],
935 0, sizeof (property_pair));
937 // Null terminate the strings.
938 for (property_pair *prop = &_Jv_Environment_Properties[0];
939 prop->key != NULL;
940 prop++)
942 prop->key[prop->key_length] = 0;
943 prop->value[prop->value_length] = 0;
946 #endif // DISABLE_GETENV_PROPERTIES
948 namespace gcj
950 _Jv_Utf8Const *void_signature;
951 _Jv_Utf8Const *clinit_name;
952 _Jv_Utf8Const *init_name;
953 _Jv_Utf8Const *finit_name;
955 bool runtimeInitialized = false;
957 // When true, print debugging information about class loading.
958 bool verbose_class_flag;
960 // When true, enable the bytecode verifier and BC-ABI type verification.
961 bool verifyClasses = true;
963 // Thread stack size specified by the -Xss runtime argument.
964 size_t stack_size = 0;
967 // We accept all non-standard options accepted by Sun's java command,
968 // for compatibility with existing application launch scripts.
969 static jint
970 parse_x_arg (char* option_string)
972 if (strlen (option_string) <= 0)
973 return -1;
975 if (! strcmp (option_string, "int"))
977 // FIXME: this should cause the vm to never load shared objects
979 else if (! strcmp (option_string, "mixed"))
981 // FIXME: allow interpreted and native code
983 else if (! strcmp (option_string, "batch"))
985 // FIXME: disable background JIT'ing
987 else if (! strcmp (option_string, "debug"))
989 // FIXME: add JDWP/JVMDI support
991 else if (! strncmp (option_string, "bootclasspath:", 14))
993 // FIXME: add a parse_bootclasspath_arg function
995 else if (! strncmp (option_string, "bootclasspath/a:", 16))
998 else if (! strncmp (option_string, "bootclasspath/p:", 16))
1001 else if (! strcmp (option_string, "check:jni"))
1003 // FIXME: enable strict JNI checking
1005 else if (! strcmp (option_string, "future"))
1007 // FIXME: enable strict class file format checks
1009 else if (! strcmp (option_string, "noclassgc"))
1011 // FIXME: disable garbage collection for classes
1013 else if (! strcmp (option_string, "incgc"))
1015 // FIXME: incremental garbage collection
1017 else if (! strncmp (option_string, "loggc:", 6))
1019 if (option_string[6] == '\0')
1021 fprintf (stderr,
1022 "libgcj: filename argument expected for loggc option\n");
1023 return -1;
1025 // FIXME: set gc logging filename
1027 else if (! strncmp (option_string, "ms", 2))
1029 // FIXME: ignore this option until PR 20699 is fixed.
1030 // _Jv_SetInitialHeapSize (option_string + 2);
1032 else if (! strncmp (option_string, "mx", 2))
1033 _Jv_SetMaximumHeapSize (option_string + 2);
1034 else if (! strcmp (option_string, "prof"))
1036 // FIXME: enable profiling of program running in vm
1038 else if (! strncmp (option_string, "runhprof:", 9))
1040 // FIXME: enable specific type of vm profiling. add a
1041 // parse_runhprof_arg function
1043 else if (! strcmp (option_string, "rs"))
1045 // FIXME: reduced system signal usage. disable thread dumps,
1046 // only terminate in response to user-initiated calls,
1047 // e.g. System.exit()
1049 else if (! strncmp (option_string, "ss", 2))
1051 _Jv_SetStackSize (option_string + 2);
1053 else if (! strcmp (option_string, "X:+UseAltSigs"))
1055 // FIXME: use signals other than SIGUSR1 and SIGUSR2
1057 else if (! strcmp (option_string, "share:off"))
1059 // FIXME: don't share class data
1061 else if (! strcmp (option_string, "share:auto"))
1063 // FIXME: share class data where possible
1065 else if (! strcmp (option_string, "share:on"))
1067 // FIXME: fail if impossible to share class data
1070 return 0;
1073 static jint
1074 parse_verbose_args (char* option_string,
1075 bool ignore_unrecognized)
1077 size_t len = sizeof ("-verbose") - 1;
1079 if (strlen (option_string) < len)
1080 return -1;
1082 if (option_string[len] == ':'
1083 && option_string[len + 1] != '\0')
1085 char* verbose_args = option_string + len + 1;
1089 if (! strncmp (verbose_args,
1090 "gc", sizeof ("gc") - 1))
1092 if (verbose_args[sizeof ("gc") - 1] == '\0'
1093 || verbose_args[sizeof ("gc") - 1] == ',')
1095 // FIXME: we should add functions to boehm-gc that
1096 // toggle GC_print_stats, GC_PRINT_ADDRESS_MAP and
1097 // GC_print_back_height.
1098 verbose_args += sizeof ("gc") - 1;
1100 else
1102 verbose_arg_err:
1103 fprintf (stderr, "libgcj: unknown verbose option: %s\n",
1104 option_string);
1105 return -1;
1108 else if (! strncmp (verbose_args,
1109 "class",
1110 sizeof ("class") - 1))
1112 if (verbose_args[sizeof ("class") - 1] == '\0'
1113 || verbose_args[sizeof ("class") - 1] == ',')
1115 gcj::verbose_class_flag = true;
1116 verbose_args += sizeof ("class") - 1;
1118 else
1119 goto verbose_arg_err;
1121 else if (! strncmp (verbose_args, "jni",
1122 sizeof ("jni") - 1))
1124 if (verbose_args[sizeof ("jni") - 1] == '\0'
1125 || verbose_args[sizeof ("jni") - 1] == ',')
1127 // FIXME: enable JNI messages.
1128 verbose_args += sizeof ("jni") - 1;
1130 else
1131 goto verbose_arg_err;
1133 else if (ignore_unrecognized
1134 && verbose_args[0] == 'X')
1136 // ignore unrecognized non-standard verbose option
1137 while (verbose_args[0] != '\0'
1138 && verbose_args[0] != ',')
1139 verbose_args++;
1141 else if (verbose_args[0] == ',')
1143 verbose_args++;
1145 else
1146 goto verbose_arg_err;
1148 if (verbose_args[0] == ',')
1149 verbose_args++;
1151 while (verbose_args[0] != '\0');
1153 else if (option_string[len] == 'g'
1154 && option_string[len + 1] == 'c'
1155 && option_string[len + 2] == '\0')
1157 // FIXME: we should add functions to boehm-gc that
1158 // toggle GC_print_stats, GC_PRINT_ADDRESS_MAP and
1159 // GC_print_back_height.
1160 return 0;
1162 else if (option_string[len] == '\0')
1164 gcj::verbose_class_flag = true;
1165 return 0;
1167 else
1169 // unrecognized option beginning with -verbose
1170 return -1;
1172 return 0;
1175 static jint
1176 parse_init_args (JvVMInitArgs* vm_args)
1178 // if _Jv_Compiler_Properties is non-NULL then it needs to be
1179 // re-allocated dynamically.
1180 if (_Jv_Compiler_Properties)
1182 const char** props = _Jv_Compiler_Properties;
1183 _Jv_Compiler_Properties = NULL;
1185 for (int i = 0; props[i]; i++)
1187 _Jv_Compiler_Properties = (const char**) _Jv_Realloc
1188 (_Jv_Compiler_Properties,
1189 (_Jv_Properties_Count + 1) * sizeof (const char*));
1190 _Jv_Compiler_Properties[_Jv_Properties_Count++] = props[i];
1194 if (vm_args == NULL)
1195 return 0;
1197 for (int i = 0; i < vm_args->nOptions; ++i)
1199 char* option_string = vm_args->options[i].optionString;
1200 if (! strcmp (option_string, "vfprintf")
1201 || ! strcmp (option_string, "exit")
1202 || ! strcmp (option_string, "abort"))
1204 // FIXME: we are required to recognize these, but for
1205 // now we don't handle them in any way.
1206 continue;
1208 else if (! strncmp (option_string,
1209 "-verbose", sizeof ("-verbose") - 1))
1211 jint result = parse_verbose_args (option_string,
1212 vm_args->ignoreUnrecognized);
1213 if (result < 0)
1214 return result;
1216 else if (! strncmp (option_string, "-D", 2))
1218 _Jv_Compiler_Properties = (const char**) _Jv_Realloc
1219 (_Jv_Compiler_Properties,
1220 (_Jv_Properties_Count + 1) * sizeof (char*));
1222 _Jv_Compiler_Properties[_Jv_Properties_Count++] =
1223 strdup (option_string + 2);
1225 continue;
1227 else if (vm_args->ignoreUnrecognized)
1229 if (option_string[0] == '_')
1230 parse_x_arg (option_string + 1);
1231 else if (! strncmp (option_string, "-X", 2))
1232 parse_x_arg (option_string + 2);
1233 else
1235 unknown_option:
1236 fprintf (stderr, "libgcj: unknown option: %s\n", option_string);
1237 return -1;
1240 else
1241 goto unknown_option;
1243 return 0;
1246 jint
1247 _Jv_CreateJavaVM (JvVMInitArgs* vm_args)
1249 using namespace gcj;
1251 if (runtimeInitialized)
1252 return -1;
1254 runtimeInitialized = true;
1256 jint result = parse_init_args (vm_args);
1257 if (result < 0)
1258 return -1;
1260 PROCESS_GCJ_PROPERTIES;
1262 /* Threads must be initialized before the GC, so that it inherits the
1263 signal mask. */
1264 _Jv_InitThreads ();
1265 _Jv_InitGC ();
1266 _Jv_InitializeSyncMutex ();
1268 #ifdef INTERPRETER
1269 _Jv_InitInterpreter ();
1270 #endif
1272 #ifdef HANDLE_SEGV
1273 INIT_SEGV;
1274 #endif
1276 #ifdef HANDLE_FPE
1277 INIT_FPE;
1278 #endif
1280 /* Initialize Utf8 constants declared in jvm.h. */
1281 void_signature = _Jv_makeUtf8Const ("()V", 3);
1282 clinit_name = _Jv_makeUtf8Const ("<clinit>", 8);
1283 init_name = _Jv_makeUtf8Const ("<init>", 6);
1284 finit_name = _Jv_makeUtf8Const ("finit$", 6);
1286 /* Initialize built-in classes to represent primitive TYPEs. */
1287 _Jv_InitPrimClass (&_Jv_byteClass, "byte", 'B', 1);
1288 _Jv_InitPrimClass (&_Jv_shortClass, "short", 'S', 2);
1289 _Jv_InitPrimClass (&_Jv_intClass, "int", 'I', 4);
1290 _Jv_InitPrimClass (&_Jv_longClass, "long", 'J', 8);
1291 _Jv_InitPrimClass (&_Jv_booleanClass, "boolean", 'Z', 1);
1292 _Jv_InitPrimClass (&_Jv_charClass, "char", 'C', 2);
1293 _Jv_InitPrimClass (&_Jv_floatClass, "float", 'F', 4);
1294 _Jv_InitPrimClass (&_Jv_doubleClass, "double", 'D', 8);
1295 _Jv_InitPrimClass (&_Jv_voidClass, "void", 'V', 0);
1297 // Turn stack trace generation off while creating exception objects.
1298 _Jv_InitClass (&java::lang::VMThrowable::class$);
1299 java::lang::VMThrowable::trace_enabled = 0;
1301 // We have to initialize this fairly early, to avoid circular class
1302 // initialization. In particular we want to start the
1303 // initialization of ClassLoader before we start the initialization
1304 // of VMClassLoader.
1305 _Jv_InitClass (&java::lang::ClassLoader::class$);
1307 // Set up the system class loader and the bootstrap class loader.
1308 gnu::gcj::runtime::ExtensionClassLoader::initialize();
1309 java::lang::VMClassLoader::initialize(JvNewStringLatin1(TOOLEXECLIBDIR));
1311 _Jv_RegisterBootstrapPackages();
1313 no_memory = new java::lang::OutOfMemoryError;
1315 java::lang::VMThrowable::trace_enabled = 1;
1317 #ifdef USE_LTDL
1318 LTDL_SET_PRELOADED_SYMBOLS ();
1319 #endif
1321 _Jv_platform_initialize ();
1323 _Jv_JNI_Init ();
1325 _Jv_GCInitializeFinalizers (&::gnu::gcj::runtime::FinalizerThread::finalizerReady);
1327 // Start the GC finalizer thread. A VirtualMachineError can be
1328 // thrown by the runtime if, say, threads aren't available.
1331 using namespace gnu::gcj::runtime;
1332 FinalizerThread *ft = new FinalizerThread ();
1333 ft->start ();
1335 catch (java::lang::VirtualMachineError *ignore)
1339 return 0;
1342 void
1343 _Jv_RunMain (JvVMInitArgs *vm_args, jclass klass, const char *name, int argc,
1344 const char **argv, bool is_jar)
1346 #ifndef DISABLE_MAIN_ARGS
1347 _Jv_SetArgs (argc, argv);
1348 #endif
1350 java::lang::Runtime *runtime = NULL;
1354 if (_Jv_CreateJavaVM (vm_args) < 0)
1356 fprintf (stderr, "libgcj: couldn't create virtual machine\n");
1357 exit (1);
1360 // Get the Runtime here. We want to initialize it before searching
1361 // for `main'; that way it will be set up if `main' is a JNI method.
1362 runtime = java::lang::Runtime::getRuntime ();
1364 #ifdef DISABLE_MAIN_ARGS
1365 arg_vec = JvConvertArgv (0, 0);
1366 #else
1367 arg_vec = JvConvertArgv (argc - 1, argv + 1);
1368 #endif
1370 using namespace gnu::java::lang;
1371 if (klass)
1372 main_thread = new MainThread (klass, arg_vec);
1373 else
1374 main_thread = new MainThread (JvNewStringLatin1 (name),
1375 arg_vec, is_jar);
1377 catch (java::lang::Throwable *t)
1379 java::lang::System::err->println (JvNewStringLatin1
1380 ("Exception during runtime initialization"));
1381 t->printStackTrace();
1382 if (runtime)
1383 runtime->exit (1);
1384 // In case the runtime creation failed.
1385 ::exit (1);
1388 _Jv_AttachCurrentThread (main_thread);
1389 _Jv_ThreadRun (main_thread);
1390 _Jv_ThreadWait ();
1392 int status = (int) java::lang::ThreadGroup::had_uncaught_exception;
1393 runtime->exit (status);
1396 void
1397 _Jv_RunMain (jclass klass, const char *name, int argc, const char **argv,
1398 bool is_jar)
1400 _Jv_RunMain (NULL, klass, name, argc, argv, is_jar);
1403 void
1404 JvRunMain (jclass klass, int argc, const char **argv)
1406 _Jv_RunMain (klass, NULL, argc, argv, false);
1411 // Parse a string and return a heap size.
1412 static size_t
1413 parse_memory_size (const char *spec)
1415 char *end;
1416 unsigned long val = strtoul (spec, &end, 10);
1417 if (*end == 'k' || *end == 'K')
1418 val *= 1024;
1419 else if (*end == 'm' || *end == 'M')
1420 val *= 1048576;
1421 return (size_t) val;
1424 // Set the initial heap size. This might be ignored by the GC layer.
1425 // This must be called before _Jv_RunMain.
1426 void
1427 _Jv_SetInitialHeapSize (const char *arg)
1429 size_t size = parse_memory_size (arg);
1430 _Jv_GCSetInitialHeapSize (size);
1433 // Set the maximum heap size. This might be ignored by the GC layer.
1434 // This must be called before _Jv_RunMain.
1435 void
1436 _Jv_SetMaximumHeapSize (const char *arg)
1438 size_t size = parse_memory_size (arg);
1439 _Jv_GCSetMaximumHeapSize (size);
1442 void
1443 _Jv_SetStackSize (const char *arg)
1445 size_t size = parse_memory_size (arg);
1446 gcj::stack_size = size;
1449 void *
1450 _Jv_Malloc (jsize size)
1452 if (__builtin_expect (size == 0, false))
1453 size = 1;
1454 void *ptr = malloc ((size_t) size);
1455 if (__builtin_expect (ptr == NULL, false))
1456 throw no_memory;
1457 return ptr;
1460 void *
1461 _Jv_Realloc (void *ptr, jsize size)
1463 if (__builtin_expect (size == 0, false))
1464 size = 1;
1465 ptr = realloc (ptr, (size_t) size);
1466 if (__builtin_expect (ptr == NULL, false))
1467 throw no_memory;
1468 return ptr;
1471 void *
1472 _Jv_MallocUnchecked (jsize size)
1474 if (__builtin_expect (size == 0, false))
1475 size = 1;
1476 return malloc ((size_t) size);
1479 void
1480 _Jv_Free (void* ptr)
1482 return free (ptr);
1487 // In theory, these routines can be #ifdef'd away on machines which
1488 // support divide overflow signals. However, we never know if some
1489 // code might have been compiled with "-fuse-divide-subroutine", so we
1490 // always include them in libgcj.
1492 jint
1493 _Jv_divI (jint dividend, jint divisor)
1495 if (__builtin_expect (divisor == 0, false))
1497 java::lang::ArithmeticException *arithexception
1498 = new java::lang::ArithmeticException (JvNewStringLatin1 ("/ by zero"));
1499 throw arithexception;
1502 if (dividend == (jint) 0x80000000L && divisor == -1)
1503 return dividend;
1505 return dividend / divisor;
1508 jint
1509 _Jv_remI (jint dividend, jint divisor)
1511 if (__builtin_expect (divisor == 0, false))
1513 java::lang::ArithmeticException *arithexception
1514 = new java::lang::ArithmeticException (JvNewStringLatin1 ("/ by zero"));
1515 throw arithexception;
1518 if (dividend == (jint) 0x80000000L && divisor == -1)
1519 return 0;
1521 return dividend % divisor;
1524 jlong
1525 _Jv_divJ (jlong dividend, jlong divisor)
1527 if (__builtin_expect (divisor == 0, false))
1529 java::lang::ArithmeticException *arithexception
1530 = new java::lang::ArithmeticException (JvNewStringLatin1 ("/ by zero"));
1531 throw arithexception;
1534 if (dividend == (jlong) 0x8000000000000000LL && divisor == -1)
1535 return dividend;
1537 return dividend / divisor;
1540 jlong
1541 _Jv_remJ (jlong dividend, jlong divisor)
1543 if (__builtin_expect (divisor == 0, false))
1545 java::lang::ArithmeticException *arithexception
1546 = new java::lang::ArithmeticException (JvNewStringLatin1 ("/ by zero"));
1547 throw arithexception;
1550 if (dividend == (jlong) 0x8000000000000000LL && divisor == -1)
1551 return 0;
1553 return dividend % divisor;
1558 // Return true if SELF_KLASS can access a field or method in
1559 // OTHER_KLASS. The field or method's access flags are specified in
1560 // FLAGS.
1561 jboolean
1562 _Jv_CheckAccess (jclass self_klass, jclass other_klass, jint flags)
1564 using namespace java::lang::reflect;
1565 return ((self_klass == other_klass)
1566 || ((flags & Modifier::PUBLIC) != 0)
1567 || (((flags & Modifier::PROTECTED) != 0)
1568 && _Jv_IsAssignableFromSlow (self_klass, other_klass))
1569 || (((flags & Modifier::PRIVATE) == 0)
1570 && _Jv_ClassNameSamePackage (self_klass->name,
1571 other_klass->name)));