// link.cc - Code for linking and resolving classes and pool entries.
|
// link.cc - Code for linking and resolving classes and pool entries.
|
|
|
/* Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
|
/* Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
|
Free Software Foundation
|
Free Software Foundation
|
|
|
This file is part of libgcj.
|
This file is part of libgcj.
|
|
|
This software is copyrighted work licensed under the terms of the
|
This software is copyrighted work licensed under the terms of the
|
Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
|
Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
|
details. */
|
details. */
|
|
|
/* Author: Kresten Krab Thorup <krab@gnu.org> */
|
/* Author: Kresten Krab Thorup <krab@gnu.org> */
|
|
|
#include <config.h>
|
#include <config.h>
|
#include <platform.h>
|
#include <platform.h>
|
|
|
#include <stdio.h>
|
#include <stdio.h>
|
|
|
#ifdef USE_LIBFFI
|
#ifdef USE_LIBFFI
|
#include <ffi.h>
|
#include <ffi.h>
|
#endif
|
#endif
|
|
|
#include <java-interp.h>
|
#include <java-interp.h>
|
|
|
// Set GC_DEBUG before including gc.h!
|
// Set GC_DEBUG before including gc.h!
|
#ifdef LIBGCJ_GC_DEBUG
|
#ifdef LIBGCJ_GC_DEBUG
|
# define GC_DEBUG
|
# define GC_DEBUG
|
#endif
|
#endif
|
#include <gc.h>
|
#include <gc.h>
|
|
|
#include <jvm.h>
|
#include <jvm.h>
|
#include <gcj/cni.h>
|
#include <gcj/cni.h>
|
#include <string.h>
|
#include <string.h>
|
#include <limits.h>
|
#include <limits.h>
|
#include <java-cpool.h>
|
#include <java-cpool.h>
|
#include <execution.h>
|
#include <execution.h>
|
#ifdef INTERPRETER
|
#ifdef INTERPRETER
|
#include <jvmti.h>
|
#include <jvmti.h>
|
#include "jvmti-int.h"
|
#include "jvmti-int.h"
|
#endif
|
#endif
|
#include <java/lang/Class.h>
|
#include <java/lang/Class.h>
|
#include <java/lang/String.h>
|
#include <java/lang/String.h>
|
#include <java/lang/StringBuffer.h>
|
#include <java/lang/StringBuffer.h>
|
#include <java/lang/Thread.h>
|
#include <java/lang/Thread.h>
|
#include <java/lang/InternalError.h>
|
#include <java/lang/InternalError.h>
|
#include <java/lang/VirtualMachineError.h>
|
#include <java/lang/VirtualMachineError.h>
|
#include <java/lang/VerifyError.h>
|
#include <java/lang/VerifyError.h>
|
#include <java/lang/NoSuchFieldError.h>
|
#include <java/lang/NoSuchFieldError.h>
|
#include <java/lang/NoSuchMethodError.h>
|
#include <java/lang/NoSuchMethodError.h>
|
#include <java/lang/ClassFormatError.h>
|
#include <java/lang/ClassFormatError.h>
|
#include <java/lang/IllegalAccessError.h>
|
#include <java/lang/IllegalAccessError.h>
|
#include <java/lang/InternalError.h>
|
#include <java/lang/InternalError.h>
|
#include <java/lang/AbstractMethodError.h>
|
#include <java/lang/AbstractMethodError.h>
|
#include <java/lang/NoClassDefFoundError.h>
|
#include <java/lang/NoClassDefFoundError.h>
|
#include <java/lang/IncompatibleClassChangeError.h>
|
#include <java/lang/IncompatibleClassChangeError.h>
|
#include <java/lang/VerifyError.h>
|
#include <java/lang/VerifyError.h>
|
#include <java/lang/VMClassLoader.h>
|
#include <java/lang/VMClassLoader.h>
|
#include <java/lang/reflect/Modifier.h>
|
#include <java/lang/reflect/Modifier.h>
|
#include <java/security/CodeSource.h>
|
#include <java/security/CodeSource.h>
|
|
|
using namespace gcj;
|
using namespace gcj;
|
|
|
template<typename T>
|
template<typename T>
|
struct aligner
|
struct aligner
|
{
|
{
|
char c;
|
char c;
|
T field;
|
T field;
|
};
|
};
|
|
|
#define ALIGNOF(TYPE) (offsetof (aligner<TYPE>, field))
|
#define ALIGNOF(TYPE) (offsetof (aligner<TYPE>, field))
|
|
|
// This returns the alignment of a type as it would appear in a
|
// This returns the alignment of a type as it would appear in a
|
// structure. This can be different from the alignment of the type
|
// structure. This can be different from the alignment of the type
|
// itself. For instance on x86 double is 8-aligned but struct{double}
|
// itself. For instance on x86 double is 8-aligned but struct{double}
|
// is 4-aligned.
|
// is 4-aligned.
|
int
|
int
|
_Jv_Linker::get_alignment_from_class (jclass klass)
|
_Jv_Linker::get_alignment_from_class (jclass klass)
|
{
|
{
|
if (klass == JvPrimClass (byte))
|
if (klass == JvPrimClass (byte))
|
return ALIGNOF (jbyte);
|
return ALIGNOF (jbyte);
|
else if (klass == JvPrimClass (short))
|
else if (klass == JvPrimClass (short))
|
return ALIGNOF (jshort);
|
return ALIGNOF (jshort);
|
else if (klass == JvPrimClass (int))
|
else if (klass == JvPrimClass (int))
|
return ALIGNOF (jint);
|
return ALIGNOF (jint);
|
else if (klass == JvPrimClass (long))
|
else if (klass == JvPrimClass (long))
|
return ALIGNOF (jlong);
|
return ALIGNOF (jlong);
|
else if (klass == JvPrimClass (boolean))
|
else if (klass == JvPrimClass (boolean))
|
return ALIGNOF (jboolean);
|
return ALIGNOF (jboolean);
|
else if (klass == JvPrimClass (char))
|
else if (klass == JvPrimClass (char))
|
return ALIGNOF (jchar);
|
return ALIGNOF (jchar);
|
else if (klass == JvPrimClass (float))
|
else if (klass == JvPrimClass (float))
|
return ALIGNOF (jfloat);
|
return ALIGNOF (jfloat);
|
else if (klass == JvPrimClass (double))
|
else if (klass == JvPrimClass (double))
|
return ALIGNOF (jdouble);
|
return ALIGNOF (jdouble);
|
else
|
else
|
return ALIGNOF (jobject);
|
return ALIGNOF (jobject);
|
}
|
}
|
|
|
void
|
void
|
_Jv_Linker::resolve_field (_Jv_Field *field, java::lang::ClassLoader *loader)
|
_Jv_Linker::resolve_field (_Jv_Field *field, java::lang::ClassLoader *loader)
|
{
|
{
|
if (! field->isResolved ())
|
if (! field->isResolved ())
|
{
|
{
|
_Jv_Utf8Const *sig = (_Jv_Utf8Const *) field->type;
|
_Jv_Utf8Const *sig = (_Jv_Utf8Const *) field->type;
|
jclass type = _Jv_FindClassFromSignature (sig->chars(), loader);
|
jclass type = _Jv_FindClassFromSignature (sig->chars(), loader);
|
if (type == NULL)
|
if (type == NULL)
|
throw new java::lang::NoClassDefFoundError(field->name->toString());
|
throw new java::lang::NoClassDefFoundError(field->name->toString());
|
field->type = type;
|
field->type = type;
|
field->flags &= ~_Jv_FIELD_UNRESOLVED_FLAG;
|
field->flags &= ~_Jv_FIELD_UNRESOLVED_FLAG;
|
}
|
}
|
}
|
}
|
|
|
// A helper for find_field that knows how to recursively search
|
// A helper for find_field that knows how to recursively search
|
// superclasses and interfaces.
|
// superclasses and interfaces.
|
_Jv_Field *
|
_Jv_Field *
|
_Jv_Linker::find_field_helper (jclass search, _Jv_Utf8Const *name,
|
_Jv_Linker::find_field_helper (jclass search, _Jv_Utf8Const *name,
|
_Jv_Utf8Const *type_name, jclass type,
|
_Jv_Utf8Const *type_name, jclass type,
|
jclass *declarer)
|
jclass *declarer)
|
{
|
{
|
while (search)
|
while (search)
|
{
|
{
|
// From 5.4.3.2. First search class itself.
|
// From 5.4.3.2. First search class itself.
|
for (int i = 0; i < search->field_count; ++i)
|
for (int i = 0; i < search->field_count; ++i)
|
{
|
{
|
_Jv_Field *field = &search->fields[i];
|
_Jv_Field *field = &search->fields[i];
|
if (! _Jv_equalUtf8Consts (field->name, name))
|
if (! _Jv_equalUtf8Consts (field->name, name))
|
continue;
|
continue;
|
|
|
// Checks for the odd situation where we were able to retrieve the
|
// Checks for the odd situation where we were able to retrieve the
|
// field's class from signature but the resolution of the field itself
|
// field's class from signature but the resolution of the field itself
|
// failed which means a different class was resolved.
|
// failed which means a different class was resolved.
|
if (type != NULL)
|
if (type != NULL)
|
{
|
{
|
try
|
try
|
{
|
{
|
resolve_field (field, search->loader);
|
resolve_field (field, search->loader);
|
}
|
}
|
catch (java::lang::Throwable *exc)
|
catch (java::lang::Throwable *exc)
|
{
|
{
|
java::lang::LinkageError *le = new java::lang::LinkageError
|
java::lang::LinkageError *le = new java::lang::LinkageError
|
(JvNewStringLatin1
|
(JvNewStringLatin1
|
("field type mismatch with different loaders"));
|
("field type mismatch with different loaders"));
|
|
|
le->initCause(exc);
|
le->initCause(exc);
|
|
|
throw le;
|
throw le;
|
}
|
}
|
}
|
}
|
|
|
// Note that we compare type names and not types. This is
|
// Note that we compare type names and not types. This is
|
// bizarre, but we do it because we want to find a field
|
// bizarre, but we do it because we want to find a field
|
// (and terminate the search) if it has the correct
|
// (and terminate the search) if it has the correct
|
// descriptor -- but then later reject it if the class
|
// descriptor -- but then later reject it if the class
|
// loader check results in different classes. We can't just
|
// loader check results in different classes. We can't just
|
// pass in the descriptor and check that way, because when
|
// pass in the descriptor and check that way, because when
|
// the field is already resolved there is no easy way to
|
// the field is already resolved there is no easy way to
|
// find its descriptor again.
|
// find its descriptor again.
|
if ((field->isResolved ()
|
if ((field->isResolved ()
|
? _Jv_equalUtf8Classnames (type_name, field->type->name)
|
? _Jv_equalUtf8Classnames (type_name, field->type->name)
|
: _Jv_equalUtf8Classnames (type_name,
|
: _Jv_equalUtf8Classnames (type_name,
|
(_Jv_Utf8Const *) field->type)))
|
(_Jv_Utf8Const *) field->type)))
|
{
|
{
|
*declarer = search;
|
*declarer = search;
|
return field;
|
return field;
|
}
|
}
|
}
|
}
|
|
|
// Next search direct interfaces.
|
// Next search direct interfaces.
|
for (int i = 0; i < search->interface_count; ++i)
|
for (int i = 0; i < search->interface_count; ++i)
|
{
|
{
|
_Jv_Field *result = find_field_helper (search->interfaces[i], name,
|
_Jv_Field *result = find_field_helper (search->interfaces[i], name,
|
type_name, type, declarer);
|
type_name, type, declarer);
|
if (result)
|
if (result)
|
return result;
|
return result;
|
}
|
}
|
|
|
// Now search superclass.
|
// Now search superclass.
|
search = search->superclass;
|
search = search->superclass;
|
}
|
}
|
|
|
return NULL;
|
return NULL;
|
}
|
}
|
|
|
bool
|
bool
|
_Jv_Linker::has_field_p (jclass search, _Jv_Utf8Const *field_name)
|
_Jv_Linker::has_field_p (jclass search, _Jv_Utf8Const *field_name)
|
{
|
{
|
for (int i = 0; i < search->field_count; ++i)
|
for (int i = 0; i < search->field_count; ++i)
|
{
|
{
|
_Jv_Field *field = &search->fields[i];
|
_Jv_Field *field = &search->fields[i];
|
if (_Jv_equalUtf8Consts (field->name, field_name))
|
if (_Jv_equalUtf8Consts (field->name, field_name))
|
return true;
|
return true;
|
}
|
}
|
return false;
|
return false;
|
}
|
}
|
|
|
// Find a field.
|
// Find a field.
|
// KLASS is the class that is requesting the field.
|
// KLASS is the class that is requesting the field.
|
// OWNER is the class in which the field should be found.
|
// OWNER is the class in which the field should be found.
|
// FIELD_TYPE_NAME is the type descriptor for the field.
|
// FIELD_TYPE_NAME is the type descriptor for the field.
|
// Fill FOUND_CLASS with the address of the class in which the field
|
// Fill FOUND_CLASS with the address of the class in which the field
|
// is actually declared.
|
// is actually declared.
|
// This function does the class loader type checks, and
|
// This function does the class loader type checks, and
|
// also access checks. Returns the field, or throws an
|
// also access checks. Returns the field, or throws an
|
// exception on error.
|
// exception on error.
|
_Jv_Field *
|
_Jv_Field *
|
_Jv_Linker::find_field (jclass klass, jclass owner,
|
_Jv_Linker::find_field (jclass klass, jclass owner,
|
jclass *found_class,
|
jclass *found_class,
|
_Jv_Utf8Const *field_name,
|
_Jv_Utf8Const *field_name,
|
_Jv_Utf8Const *field_type_name)
|
_Jv_Utf8Const *field_type_name)
|
{
|
{
|
// FIXME: this allocates a _Jv_Utf8Const each time. We should make
|
// FIXME: this allocates a _Jv_Utf8Const each time. We should make
|
// it cheaper.
|
// it cheaper.
|
// Note: This call will resolve the primitive type names ("Z", "B", ...) to
|
// Note: This call will resolve the primitive type names ("Z", "B", ...) to
|
// their Java counterparts ("boolean", "byte", ...) if accessed via
|
// their Java counterparts ("boolean", "byte", ...) if accessed via
|
// field_type->name later. Using these variants of the type name is in turn
|
// field_type->name later. Using these variants of the type name is in turn
|
// important for the find_field_helper function. However if the class
|
// important for the find_field_helper function. However if the class
|
// resolution failed then we can only use the already given type name.
|
// resolution failed then we can only use the already given type name.
|
jclass field_type
|
jclass field_type
|
= _Jv_FindClassFromSignatureNoException (field_type_name->chars(),
|
= _Jv_FindClassFromSignatureNoException (field_type_name->chars(),
|
klass->loader);
|
klass->loader);
|
|
|
_Jv_Field *the_field
|
_Jv_Field *the_field
|
= find_field_helper (owner, field_name,
|
= find_field_helper (owner, field_name,
|
(field_type
|
(field_type
|
? field_type->name :
|
? field_type->name :
|
field_type_name ),
|
field_type_name ),
|
field_type, found_class);
|
field_type, found_class);
|
|
|
if (the_field == 0)
|
if (the_field == 0)
|
{
|
{
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
sb->append(JvNewStringLatin1("field "));
|
sb->append(JvNewStringLatin1("field "));
|
sb->append(owner->getName());
|
sb->append(owner->getName());
|
sb->append(JvNewStringLatin1("."));
|
sb->append(JvNewStringLatin1("."));
|
sb->append(_Jv_NewStringUTF(field_name->chars()));
|
sb->append(_Jv_NewStringUTF(field_name->chars()));
|
sb->append(JvNewStringLatin1(" was not found."));
|
sb->append(JvNewStringLatin1(" was not found."));
|
throw new java::lang::NoSuchFieldError (sb->toString());
|
throw new java::lang::NoSuchFieldError (sb->toString());
|
}
|
}
|
|
|
// Accept it when the field's class could not be resolved.
|
// Accept it when the field's class could not be resolved.
|
if (field_type == NULL)
|
if (field_type == NULL)
|
// Silently ignore that we were not able to retrieve the type to make it
|
// Silently ignore that we were not able to retrieve the type to make it
|
// possible to run code which does not access this field.
|
// possible to run code which does not access this field.
|
return the_field;
|
return the_field;
|
|
|
if (_Jv_CheckAccess (klass, *found_class, the_field->flags))
|
if (_Jv_CheckAccess (klass, *found_class, the_field->flags))
|
{
|
{
|
// Note that the field returned by find_field_helper is always
|
// Note that the field returned by find_field_helper is always
|
// resolved. However, we still use the constraint mechanism
|
// resolved. However, we still use the constraint mechanism
|
// because this may affect other lookups.
|
// because this may affect other lookups.
|
_Jv_CheckOrCreateLoadingConstraint (field_type, (*found_class)->loader);
|
_Jv_CheckOrCreateLoadingConstraint (field_type, (*found_class)->loader);
|
}
|
}
|
else
|
else
|
{
|
{
|
java::lang::StringBuffer *sb
|
java::lang::StringBuffer *sb
|
= new java::lang::StringBuffer ();
|
= new java::lang::StringBuffer ();
|
sb->append(klass->getName());
|
sb->append(klass->getName());
|
sb->append(JvNewStringLatin1(": "));
|
sb->append(JvNewStringLatin1(": "));
|
sb->append((*found_class)->getName());
|
sb->append((*found_class)->getName());
|
sb->append(JvNewStringLatin1("."));
|
sb->append(JvNewStringLatin1("."));
|
sb->append(_Jv_NewStringUtf8Const (field_name));
|
sb->append(_Jv_NewStringUtf8Const (field_name));
|
throw new java::lang::IllegalAccessError(sb->toString());
|
throw new java::lang::IllegalAccessError(sb->toString());
|
}
|
}
|
|
|
return the_field;
|
return the_field;
|
}
|
}
|
|
|
// Check loading constraints for method.
|
// Check loading constraints for method.
|
void
|
void
|
_Jv_Linker::check_loading_constraints (_Jv_Method *method, jclass self_class,
|
_Jv_Linker::check_loading_constraints (_Jv_Method *method, jclass self_class,
|
jclass other_class)
|
jclass other_class)
|
{
|
{
|
JArray<jclass> *klass_args;
|
JArray<jclass> *klass_args;
|
jclass klass_return;
|
jclass klass_return;
|
|
|
_Jv_GetTypesFromSignature (method, self_class, &klass_args, &klass_return);
|
_Jv_GetTypesFromSignature (method, self_class, &klass_args, &klass_return);
|
jclass *klass_arg = elements (klass_args);
|
jclass *klass_arg = elements (klass_args);
|
java::lang::ClassLoader *found_loader = other_class->loader;
|
java::lang::ClassLoader *found_loader = other_class->loader;
|
|
|
_Jv_CheckOrCreateLoadingConstraint (klass_return, found_loader);
|
_Jv_CheckOrCreateLoadingConstraint (klass_return, found_loader);
|
for (int i = 0; i < klass_args->length; i++)
|
for (int i = 0; i < klass_args->length; i++)
|
_Jv_CheckOrCreateLoadingConstraint (*(klass_arg++), found_loader);
|
_Jv_CheckOrCreateLoadingConstraint (*(klass_arg++), found_loader);
|
}
|
}
|
|
|
_Jv_Method *
|
_Jv_Method *
|
_Jv_Linker::resolve_method_entry (jclass klass, jclass &found_class,
|
_Jv_Linker::resolve_method_entry (jclass klass, jclass &found_class,
|
int class_index, int name_and_type_index,
|
int class_index, int name_and_type_index,
|
bool init, bool is_iface)
|
bool init, bool is_iface)
|
{
|
{
|
_Jv_Constants *pool = &klass->constants;
|
_Jv_Constants *pool = &klass->constants;
|
jclass owner = resolve_pool_entry (klass, class_index).clazz;
|
jclass owner = resolve_pool_entry (klass, class_index).clazz;
|
|
|
if (init && owner != klass)
|
if (init && owner != klass)
|
_Jv_InitClass (owner);
|
_Jv_InitClass (owner);
|
|
|
_Jv_ushort name_index, type_index;
|
_Jv_ushort name_index, type_index;
|
_Jv_loadIndexes (&pool->data[name_and_type_index],
|
_Jv_loadIndexes (&pool->data[name_and_type_index],
|
name_index,
|
name_index,
|
type_index);
|
type_index);
|
|
|
_Jv_Utf8Const *method_name = pool->data[name_index].utf8;
|
_Jv_Utf8Const *method_name = pool->data[name_index].utf8;
|
_Jv_Utf8Const *method_signature = pool->data[type_index].utf8;
|
_Jv_Utf8Const *method_signature = pool->data[type_index].utf8;
|
|
|
_Jv_Method *the_method = 0;
|
_Jv_Method *the_method = 0;
|
found_class = 0;
|
found_class = 0;
|
|
|
// We're going to cache a pointer to the _Jv_Method object
|
// We're going to cache a pointer to the _Jv_Method object
|
// when we find it. So, to ensure this doesn't get moved from
|
// when we find it. So, to ensure this doesn't get moved from
|
// beneath us, we first put all the needed Miranda methods
|
// beneath us, we first put all the needed Miranda methods
|
// into the target class.
|
// into the target class.
|
wait_for_state (klass, JV_STATE_LOADED);
|
wait_for_state (klass, JV_STATE_LOADED);
|
|
|
// First search the class itself.
|
// First search the class itself.
|
the_method = search_method_in_class (owner, klass,
|
the_method = search_method_in_class (owner, klass,
|
method_name, method_signature);
|
method_name, method_signature);
|
|
|
if (the_method != 0)
|
if (the_method != 0)
|
{
|
{
|
found_class = owner;
|
found_class = owner;
|
goto end_of_method_search;
|
goto end_of_method_search;
|
}
|
}
|
|
|
// If we are resolving an interface method, search the
|
// If we are resolving an interface method, search the
|
// interface's superinterfaces (A superinterface is not an
|
// interface's superinterfaces (A superinterface is not an
|
// interface's superclass - a superinterface is implemented by
|
// interface's superclass - a superinterface is implemented by
|
// the interface).
|
// the interface).
|
if (is_iface)
|
if (is_iface)
|
{
|
{
|
_Jv_ifaces ifaces;
|
_Jv_ifaces ifaces;
|
ifaces.count = 0;
|
ifaces.count = 0;
|
ifaces.len = 4;
|
ifaces.len = 4;
|
ifaces.list = (jclass *) _Jv_Malloc (ifaces.len
|
ifaces.list = (jclass *) _Jv_Malloc (ifaces.len
|
* sizeof (jclass *));
|
* sizeof (jclass *));
|
|
|
get_interfaces (owner, &ifaces);
|
get_interfaces (owner, &ifaces);
|
|
|
for (int i = 0; i < ifaces.count; i++)
|
for (int i = 0; i < ifaces.count; i++)
|
{
|
{
|
jclass cls = ifaces.list[i];
|
jclass cls = ifaces.list[i];
|
the_method = search_method_in_class (cls, klass, method_name,
|
the_method = search_method_in_class (cls, klass, method_name,
|
method_signature);
|
method_signature);
|
if (the_method != 0)
|
if (the_method != 0)
|
{
|
{
|
found_class = cls;
|
found_class = cls;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
_Jv_Free (ifaces.list);
|
_Jv_Free (ifaces.list);
|
|
|
if (the_method != 0)
|
if (the_method != 0)
|
goto end_of_method_search;
|
goto end_of_method_search;
|
}
|
}
|
|
|
// Finally, search superclasses.
|
// Finally, search superclasses.
|
the_method = (search_method_in_superclasses
|
the_method = (search_method_in_superclasses
|
(owner->getSuperclass (), klass, method_name,
|
(owner->getSuperclass (), klass, method_name,
|
method_signature, &found_class));
|
method_signature, &found_class));
|
|
|
|
|
end_of_method_search:
|
end_of_method_search:
|
if (the_method == 0)
|
if (the_method == 0)
|
{
|
{
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
sb->append(JvNewStringLatin1("method "));
|
sb->append(JvNewStringLatin1("method "));
|
sb->append(owner->getName());
|
sb->append(owner->getName());
|
sb->append(JvNewStringLatin1("."));
|
sb->append(JvNewStringLatin1("."));
|
sb->append(_Jv_NewStringUTF(method_name->chars()));
|
sb->append(_Jv_NewStringUTF(method_name->chars()));
|
sb->append(JvNewStringLatin1(" with signature "));
|
sb->append(JvNewStringLatin1(" with signature "));
|
sb->append(_Jv_NewStringUTF(method_signature->chars()));
|
sb->append(_Jv_NewStringUTF(method_signature->chars()));
|
sb->append(JvNewStringLatin1(" was not found."));
|
sb->append(JvNewStringLatin1(" was not found."));
|
throw new java::lang::NoSuchMethodError (sb->toString());
|
throw new java::lang::NoSuchMethodError (sb->toString());
|
}
|
}
|
|
|
// if (found_class->loader != klass->loader), then we must actually
|
// if (found_class->loader != klass->loader), then we must actually
|
// check that the types of arguments correspond. JVMS 5.4.3.3.
|
// check that the types of arguments correspond. JVMS 5.4.3.3.
|
if (found_class->loader != klass->loader)
|
if (found_class->loader != klass->loader)
|
check_loading_constraints (the_method, klass, found_class);
|
check_loading_constraints (the_method, klass, found_class);
|
|
|
return the_method;
|
return the_method;
|
}
|
}
|
|
|
_Jv_Mutex_t _Jv_Linker::resolve_mutex;
|
_Jv_Mutex_t _Jv_Linker::resolve_mutex;
|
|
|
void
|
void
|
_Jv_Linker::init (void)
|
_Jv_Linker::init (void)
|
{
|
{
|
_Jv_MutexInit (&_Jv_Linker::resolve_mutex);
|
_Jv_MutexInit (&_Jv_Linker::resolve_mutex);
|
}
|
}
|
|
|
// Locking in resolve_pool_entry is somewhat subtle. Constant
|
// Locking in resolve_pool_entry is somewhat subtle. Constant
|
// resolution is idempotent, so it doesn't matter if two threads
|
// resolution is idempotent, so it doesn't matter if two threads
|
// resolve the same entry. However, it is important that we always
|
// resolve the same entry. However, it is important that we always
|
// write the resolved flag and the data together, atomically. It is
|
// write the resolved flag and the data together, atomically. It is
|
// also important that we read them atomically.
|
// also important that we read them atomically.
|
_Jv_word
|
_Jv_word
|
_Jv_Linker::resolve_pool_entry (jclass klass, int index, bool lazy)
|
_Jv_Linker::resolve_pool_entry (jclass klass, int index, bool lazy)
|
{
|
{
|
using namespace java::lang::reflect;
|
using namespace java::lang::reflect;
|
|
|
if (GC_base (klass) && klass->constants.data
|
if (GC_base (klass) && klass->constants.data
|
&& ! GC_base (klass->constants.data))
|
&& ! GC_base (klass->constants.data))
|
// If a class is heap-allocated but the constant pool is not this
|
// If a class is heap-allocated but the constant pool is not this
|
// is a "new ABI" class, i.e. one where the initial constant pool
|
// is a "new ABI" class, i.e. one where the initial constant pool
|
// is in the read-only data section of an object file. Copy the
|
// is in the read-only data section of an object file. Copy the
|
// initial constant pool from there to a new heap-allocated pool.
|
// initial constant pool from there to a new heap-allocated pool.
|
{
|
{
|
jsize count = klass->constants.size;
|
jsize count = klass->constants.size;
|
if (count)
|
if (count)
|
{
|
{
|
_Jv_word* constants
|
_Jv_word* constants
|
= (_Jv_word*) _Jv_AllocRawObj (count * sizeof (_Jv_word));
|
= (_Jv_word*) _Jv_AllocRawObj (count * sizeof (_Jv_word));
|
memcpy ((void*)constants,
|
memcpy ((void*)constants,
|
(void*)klass->constants.data,
|
(void*)klass->constants.data,
|
count * sizeof (_Jv_word));
|
count * sizeof (_Jv_word));
|
klass->constants.data = constants;
|
klass->constants.data = constants;
|
}
|
}
|
}
|
}
|
|
|
_Jv_Constants *pool = &klass->constants;
|
_Jv_Constants *pool = &klass->constants;
|
|
|
jbyte tags;
|
jbyte tags;
|
_Jv_word data;
|
_Jv_word data;
|
tags = read_cpool_entry (&data, pool, index);
|
tags = read_cpool_entry (&data, pool, index);
|
|
|
if ((tags & JV_CONSTANT_ResolvedFlag) != 0)
|
if ((tags & JV_CONSTANT_ResolvedFlag) != 0)
|
return data;
|
return data;
|
|
|
switch (tags & ~JV_CONSTANT_LazyFlag)
|
switch (tags & ~JV_CONSTANT_LazyFlag)
|
{
|
{
|
case JV_CONSTANT_Class:
|
case JV_CONSTANT_Class:
|
{
|
{
|
_Jv_Utf8Const *name = data.utf8;
|
_Jv_Utf8Const *name = data.utf8;
|
|
|
jclass found;
|
jclass found;
|
if (name->first() == '[')
|
if (name->first() == '[')
|
found = _Jv_FindClassFromSignatureNoException (name->chars(),
|
found = _Jv_FindClassFromSignatureNoException (name->chars(),
|
klass->loader);
|
klass->loader);
|
else
|
else
|
found = _Jv_FindClassNoException (name, klass->loader);
|
found = _Jv_FindClassNoException (name, klass->loader);
|
|
|
// If the class could not be loaded a phantom class is created. Any
|
// If the class could not be loaded a phantom class is created. Any
|
// function that deals with such a class but cannot do something useful
|
// function that deals with such a class but cannot do something useful
|
// with it should just throw a NoClassDefFoundError with the class'
|
// with it should just throw a NoClassDefFoundError with the class'
|
// name.
|
// name.
|
if (! found)
|
if (! found)
|
{
|
{
|
if (lazy)
|
if (lazy)
|
{
|
{
|
found = _Jv_NewClass(name, NULL, NULL);
|
found = _Jv_NewClass(name, NULL, NULL);
|
found->state = JV_STATE_PHANTOM;
|
found->state = JV_STATE_PHANTOM;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
data.clazz = found;
|
data.clazz = found;
|
break;
|
break;
|
}
|
}
|
else
|
else
|
throw new java::lang::NoClassDefFoundError (name->toString());
|
throw new java::lang::NoClassDefFoundError (name->toString());
|
}
|
}
|
|
|
// Check accessibility, but first strip array types as
|
// Check accessibility, but first strip array types as
|
// _Jv_ClassNameSamePackage can't handle arrays.
|
// _Jv_ClassNameSamePackage can't handle arrays.
|
jclass check;
|
jclass check;
|
for (check = found;
|
for (check = found;
|
check && check->isArray();
|
check && check->isArray();
|
check = check->getComponentType())
|
check = check->getComponentType())
|
;
|
;
|
if ((found->accflags & Modifier::PUBLIC) == Modifier::PUBLIC
|
if ((found->accflags & Modifier::PUBLIC) == Modifier::PUBLIC
|
|| (_Jv_ClassNameSamePackage (check->name,
|
|| (_Jv_ClassNameSamePackage (check->name,
|
klass->name)))
|
klass->name)))
|
{
|
{
|
data.clazz = found;
|
data.clazz = found;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
}
|
}
|
else
|
else
|
{
|
{
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer ();
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer ();
|
sb->append(klass->getName());
|
sb->append(klass->getName());
|
sb->append(JvNewStringLatin1(" can't access class "));
|
sb->append(JvNewStringLatin1(" can't access class "));
|
sb->append(found->getName());
|
sb->append(found->getName());
|
throw new java::lang::IllegalAccessError(sb->toString());
|
throw new java::lang::IllegalAccessError(sb->toString());
|
}
|
}
|
}
|
}
|
break;
|
break;
|
|
|
case JV_CONSTANT_String:
|
case JV_CONSTANT_String:
|
{
|
{
|
jstring str;
|
jstring str;
|
str = _Jv_NewStringUtf8Const (data.utf8);
|
str = _Jv_NewStringUtf8Const (data.utf8);
|
data.o = str;
|
data.o = str;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
}
|
}
|
break;
|
break;
|
|
|
case JV_CONSTANT_Fieldref:
|
case JV_CONSTANT_Fieldref:
|
{
|
{
|
_Jv_ushort class_index, name_and_type_index;
|
_Jv_ushort class_index, name_and_type_index;
|
_Jv_loadIndexes (&data,
|
_Jv_loadIndexes (&data,
|
class_index,
|
class_index,
|
name_and_type_index);
|
name_and_type_index);
|
jclass owner = (resolve_pool_entry (klass, class_index, true)).clazz;
|
jclass owner = (resolve_pool_entry (klass, class_index, true)).clazz;
|
|
|
// If a phantom class was resolved our field reference is
|
// If a phantom class was resolved our field reference is
|
// unusable because of the missing class.
|
// unusable because of the missing class.
|
if (owner->state == JV_STATE_PHANTOM)
|
if (owner->state == JV_STATE_PHANTOM)
|
throw new java::lang::NoClassDefFoundError(owner->getName());
|
throw new java::lang::NoClassDefFoundError(owner->getName());
|
|
|
// We don't initialize 'owner', but we do make sure that its
|
// We don't initialize 'owner', but we do make sure that its
|
// fields exist.
|
// fields exist.
|
wait_for_state (owner, JV_STATE_PREPARED);
|
wait_for_state (owner, JV_STATE_PREPARED);
|
|
|
_Jv_ushort name_index, type_index;
|
_Jv_ushort name_index, type_index;
|
_Jv_loadIndexes (&pool->data[name_and_type_index],
|
_Jv_loadIndexes (&pool->data[name_and_type_index],
|
name_index,
|
name_index,
|
type_index);
|
type_index);
|
|
|
_Jv_Utf8Const *field_name = pool->data[name_index].utf8;
|
_Jv_Utf8Const *field_name = pool->data[name_index].utf8;
|
_Jv_Utf8Const *field_type_name = pool->data[type_index].utf8;
|
_Jv_Utf8Const *field_type_name = pool->data[type_index].utf8;
|
|
|
jclass found_class = 0;
|
jclass found_class = 0;
|
_Jv_Field *the_field = find_field (klass, owner,
|
_Jv_Field *the_field = find_field (klass, owner,
|
&found_class,
|
&found_class,
|
field_name,
|
field_name,
|
field_type_name);
|
field_type_name);
|
// Initialize the field's declaring class, not its qualifying
|
// Initialize the field's declaring class, not its qualifying
|
// class.
|
// class.
|
_Jv_InitClass (found_class);
|
_Jv_InitClass (found_class);
|
data.field = the_field;
|
data.field = the_field;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
}
|
}
|
break;
|
break;
|
|
|
case JV_CONSTANT_Methodref:
|
case JV_CONSTANT_Methodref:
|
case JV_CONSTANT_InterfaceMethodref:
|
case JV_CONSTANT_InterfaceMethodref:
|
{
|
{
|
_Jv_ushort class_index, name_and_type_index;
|
_Jv_ushort class_index, name_and_type_index;
|
_Jv_loadIndexes (&data,
|
_Jv_loadIndexes (&data,
|
class_index,
|
class_index,
|
name_and_type_index);
|
name_and_type_index);
|
|
|
_Jv_Method *the_method;
|
_Jv_Method *the_method;
|
jclass found_class;
|
jclass found_class;
|
the_method = resolve_method_entry (klass, found_class,
|
the_method = resolve_method_entry (klass, found_class,
|
class_index, name_and_type_index,
|
class_index, name_and_type_index,
|
true,
|
true,
|
tags == JV_CONSTANT_InterfaceMethodref);
|
tags == JV_CONSTANT_InterfaceMethodref);
|
|
|
data.rmethod
|
data.rmethod
|
= klass->engine->resolve_method(the_method,
|
= klass->engine->resolve_method(the_method,
|
found_class,
|
found_class,
|
((the_method->accflags
|
((the_method->accflags
|
& Modifier::STATIC) != 0));
|
& Modifier::STATIC) != 0));
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
}
|
}
|
break;
|
break;
|
}
|
}
|
|
|
write_cpool_entry (data, tags, pool, index);
|
write_cpool_entry (data, tags, pool, index);
|
|
|
return data;
|
return data;
|
}
|
}
|
|
|
// This function is used to lazily locate superclasses and
|
// This function is used to lazily locate superclasses and
|
// superinterfaces. This must be called with the class lock held.
|
// superinterfaces. This must be called with the class lock held.
|
void
|
void
|
_Jv_Linker::resolve_class_ref (jclass klass, jclass *classref)
|
_Jv_Linker::resolve_class_ref (jclass klass, jclass *classref)
|
{
|
{
|
jclass ret = *classref;
|
jclass ret = *classref;
|
|
|
// If superclass looks like a constant pool entry, resolve it now.
|
// If superclass looks like a constant pool entry, resolve it now.
|
if (ret && (uaddr) ret < (uaddr) klass->constants.size)
|
if (ret && (uaddr) ret < (uaddr) klass->constants.size)
|
{
|
{
|
if (klass->state < JV_STATE_LINKED)
|
if (klass->state < JV_STATE_LINKED)
|
{
|
{
|
_Jv_Utf8Const *name = klass->constants.data[(uaddr) *classref].utf8;
|
_Jv_Utf8Const *name = klass->constants.data[(uaddr) *classref].utf8;
|
ret = _Jv_FindClass (name, klass->loader);
|
ret = _Jv_FindClass (name, klass->loader);
|
if (! ret)
|
if (! ret)
|
{
|
{
|
throw new java::lang::NoClassDefFoundError (name->toString());
|
throw new java::lang::NoClassDefFoundError (name->toString());
|
}
|
}
|
}
|
}
|
else
|
else
|
ret = klass->constants.data[(uaddr) classref].clazz;
|
ret = klass->constants.data[(uaddr) classref].clazz;
|
*classref = ret;
|
*classref = ret;
|
}
|
}
|
}
|
}
|
|
|
// Find a method declared in the cls that is referenced from klass and
|
// Find a method declared in the cls that is referenced from klass and
|
// perform access checks if CHECK_PERMS is true.
|
// perform access checks if CHECK_PERMS is true.
|
_Jv_Method *
|
_Jv_Method *
|
_Jv_Linker::search_method_in_class (jclass cls, jclass klass,
|
_Jv_Linker::search_method_in_class (jclass cls, jclass klass,
|
_Jv_Utf8Const *method_name,
|
_Jv_Utf8Const *method_name,
|
_Jv_Utf8Const *method_signature,
|
_Jv_Utf8Const *method_signature,
|
bool check_perms)
|
bool check_perms)
|
{
|
{
|
using namespace java::lang::reflect;
|
using namespace java::lang::reflect;
|
|
|
for (int i = 0; i < cls->method_count; i++)
|
for (int i = 0; i < cls->method_count; i++)
|
{
|
{
|
_Jv_Method *method = &cls->methods[i];
|
_Jv_Method *method = &cls->methods[i];
|
if ( (!_Jv_equalUtf8Consts (method->name,
|
if ( (!_Jv_equalUtf8Consts (method->name,
|
method_name))
|
method_name))
|
|| (!_Jv_equalUtf8Consts (method->signature,
|
|| (!_Jv_equalUtf8Consts (method->signature,
|
method_signature)))
|
method_signature)))
|
continue;
|
continue;
|
|
|
if (!check_perms || _Jv_CheckAccess (klass, cls, method->accflags))
|
if (!check_perms || _Jv_CheckAccess (klass, cls, method->accflags))
|
return method;
|
return method;
|
else
|
else
|
{
|
{
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
java::lang::StringBuffer *sb = new java::lang::StringBuffer();
|
sb->append(klass->getName());
|
sb->append(klass->getName());
|
sb->append(JvNewStringLatin1(": "));
|
sb->append(JvNewStringLatin1(": "));
|
sb->append(cls->getName());
|
sb->append(cls->getName());
|
sb->append(JvNewStringLatin1("."));
|
sb->append(JvNewStringLatin1("."));
|
sb->append(_Jv_NewStringUTF(method_name->chars()));
|
sb->append(_Jv_NewStringUTF(method_name->chars()));
|
sb->append(_Jv_NewStringUTF(method_signature->chars()));
|
sb->append(_Jv_NewStringUTF(method_signature->chars()));
|
throw new java::lang::IllegalAccessError (sb->toString());
|
throw new java::lang::IllegalAccessError (sb->toString());
|
}
|
}
|
}
|
}
|
return 0;
|
return 0;
|
}
|
}
|
|
|
// Like search_method_in_class, but work our way up the superclass
|
// Like search_method_in_class, but work our way up the superclass
|
// chain.
|
// chain.
|
_Jv_Method *
|
_Jv_Method *
|
_Jv_Linker::search_method_in_superclasses (jclass cls, jclass klass,
|
_Jv_Linker::search_method_in_superclasses (jclass cls, jclass klass,
|
_Jv_Utf8Const *method_name,
|
_Jv_Utf8Const *method_name,
|
_Jv_Utf8Const *method_signature,
|
_Jv_Utf8Const *method_signature,
|
jclass *found_class, bool check_perms)
|
jclass *found_class, bool check_perms)
|
{
|
{
|
_Jv_Method *the_method = NULL;
|
_Jv_Method *the_method = NULL;
|
|
|
for ( ; cls != 0; cls = cls->getSuperclass ())
|
for ( ; cls != 0; cls = cls->getSuperclass ())
|
{
|
{
|
the_method = search_method_in_class (cls, klass, method_name,
|
the_method = search_method_in_class (cls, klass, method_name,
|
method_signature, check_perms);
|
method_signature, check_perms);
|
if (the_method != 0)
|
if (the_method != 0)
|
{
|
{
|
if (found_class)
|
if (found_class)
|
*found_class = cls;
|
*found_class = cls;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
return the_method;
|
return the_method;
|
}
|
}
|
|
|
#define INITIAL_IOFFSETS_LEN 4
|
#define INITIAL_IOFFSETS_LEN 4
|
#define INITIAL_IFACES_LEN 4
|
#define INITIAL_IFACES_LEN 4
|
|
|
static _Jv_IDispatchTable null_idt = {SHRT_MAX, 0, {}};
|
static _Jv_IDispatchTable null_idt = {SHRT_MAX, 0, {}};
|
|
|
// Generate tables for constant-time assignment testing and interface
|
// Generate tables for constant-time assignment testing and interface
|
// method lookup. This implements the technique described by Per Bothner
|
// method lookup. This implements the technique described by Per Bothner
|
// <per@bothner.com> on the java-discuss mailing list on 1999-09-02:
|
// <per@bothner.com> on the java-discuss mailing list on 1999-09-02:
|
// http://gcc.gnu.org/ml/java/1999-q3/msg00377.html
|
// http://gcc.gnu.org/ml/java/1999-q3/msg00377.html
|
void
|
void
|
_Jv_Linker::prepare_constant_time_tables (jclass klass)
|
_Jv_Linker::prepare_constant_time_tables (jclass klass)
|
{
|
{
|
if (klass->isPrimitive () || klass->isInterface ())
|
if (klass->isPrimitive () || klass->isInterface ())
|
return;
|
return;
|
|
|
// Short-circuit in case we've been called already.
|
// Short-circuit in case we've been called already.
|
if ((klass->idt != NULL) || klass->depth != 0)
|
if ((klass->idt != NULL) || klass->depth != 0)
|
return;
|
return;
|
|
|
// Calculate the class depth and ancestor table. The depth of a class
|
// Calculate the class depth and ancestor table. The depth of a class
|
// is how many "extends" it is removed from Object. Thus the depth of
|
// is how many "extends" it is removed from Object. Thus the depth of
|
// java.lang.Object is 0, but the depth of java.io.FilterOutputStream
|
// java.lang.Object is 0, but the depth of java.io.FilterOutputStream
|
// is 2. Depth is defined for all regular and array classes, but not
|
// is 2. Depth is defined for all regular and array classes, but not
|
// interfaces or primitive types.
|
// interfaces or primitive types.
|
|
|
jclass klass0 = klass;
|
jclass klass0 = klass;
|
jboolean has_interfaces = false;
|
jboolean has_interfaces = false;
|
while (klass0 != &java::lang::Object::class$)
|
while (klass0 != &java::lang::Object::class$)
|
{
|
{
|
if (klass0->interface_count)
|
if (klass0->interface_count)
|
has_interfaces = true;
|
has_interfaces = true;
|
klass0 = klass0->superclass;
|
klass0 = klass0->superclass;
|
klass->depth++;
|
klass->depth++;
|
}
|
}
|
|
|
// We do class member testing in constant time by using a small table
|
// We do class member testing in constant time by using a small table
|
// of all the ancestor classes within each class. The first element is
|
// of all the ancestor classes within each class. The first element is
|
// a pointer to the current class, and the rest are pointers to the
|
// a pointer to the current class, and the rest are pointers to the
|
// classes ancestors, ordered from the current class down by decreasing
|
// classes ancestors, ordered from the current class down by decreasing
|
// depth. We do not include java.lang.Object in the table of ancestors,
|
// depth. We do not include java.lang.Object in the table of ancestors,
|
// since it is redundant. Note that the classes pointed to by
|
// since it is redundant. Note that the classes pointed to by
|
// 'ancestors' will always be reachable by other paths.
|
// 'ancestors' will always be reachable by other paths.
|
|
|
klass->ancestors = (jclass *) _Jv_AllocBytes (klass->depth
|
klass->ancestors = (jclass *) _Jv_AllocBytes (klass->depth
|
* sizeof (jclass));
|
* sizeof (jclass));
|
klass0 = klass;
|
klass0 = klass;
|
for (int index = 0; index < klass->depth; index++)
|
for (int index = 0; index < klass->depth; index++)
|
{
|
{
|
klass->ancestors[index] = klass0;
|
klass->ancestors[index] = klass0;
|
klass0 = klass0->superclass;
|
klass0 = klass0->superclass;
|
}
|
}
|
|
|
if ((klass->accflags & java::lang::reflect::Modifier::ABSTRACT) != 0)
|
if ((klass->accflags & java::lang::reflect::Modifier::ABSTRACT) != 0)
|
return;
|
return;
|
|
|
// Optimization: If class implements no interfaces, use a common
|
// Optimization: If class implements no interfaces, use a common
|
// predefined interface table.
|
// predefined interface table.
|
if (!has_interfaces)
|
if (!has_interfaces)
|
{
|
{
|
klass->idt = &null_idt;
|
klass->idt = &null_idt;
|
return;
|
return;
|
}
|
}
|
|
|
_Jv_ifaces ifaces;
|
_Jv_ifaces ifaces;
|
ifaces.count = 0;
|
ifaces.count = 0;
|
ifaces.len = INITIAL_IFACES_LEN;
|
ifaces.len = INITIAL_IFACES_LEN;
|
ifaces.list = (jclass *) _Jv_Malloc (ifaces.len * sizeof (jclass *));
|
ifaces.list = (jclass *) _Jv_Malloc (ifaces.len * sizeof (jclass *));
|
|
|
int itable_size = get_interfaces (klass, &ifaces);
|
int itable_size = get_interfaces (klass, &ifaces);
|
|
|
if (ifaces.count > 0)
|
if (ifaces.count > 0)
|
{
|
{
|
// The classes pointed to by the itable will always be reachable
|
// The classes pointed to by the itable will always be reachable
|
// via other paths.
|
// via other paths.
|
int idt_bytes = sizeof (_Jv_IDispatchTable) + (itable_size
|
int idt_bytes = sizeof (_Jv_IDispatchTable) + (itable_size
|
* sizeof (void *));
|
* sizeof (void *));
|
klass->idt = (_Jv_IDispatchTable *) _Jv_AllocBytes (idt_bytes);
|
klass->idt = (_Jv_IDispatchTable *) _Jv_AllocBytes (idt_bytes);
|
klass->idt->itable_length = itable_size;
|
klass->idt->itable_length = itable_size;
|
|
|
jshort *itable_offsets =
|
jshort *itable_offsets =
|
(jshort *) _Jv_Malloc (ifaces.count * sizeof (jshort));
|
(jshort *) _Jv_Malloc (ifaces.count * sizeof (jshort));
|
|
|
generate_itable (klass, &ifaces, itable_offsets);
|
generate_itable (klass, &ifaces, itable_offsets);
|
|
|
jshort cls_iindex = find_iindex (ifaces.list, itable_offsets,
|
jshort cls_iindex = find_iindex (ifaces.list, itable_offsets,
|
ifaces.count);
|
ifaces.count);
|
|
|
for (int i = 0; i < ifaces.count; i++)
|
for (int i = 0; i < ifaces.count; i++)
|
{
|
{
|
ifaces.list[i]->ioffsets[cls_iindex] = itable_offsets[i];
|
ifaces.list[i]->ioffsets[cls_iindex] = itable_offsets[i];
|
}
|
}
|
|
|
klass->idt->iindex = cls_iindex;
|
klass->idt->iindex = cls_iindex;
|
|
|
_Jv_Free (ifaces.list);
|
_Jv_Free (ifaces.list);
|
_Jv_Free (itable_offsets);
|
_Jv_Free (itable_offsets);
|
}
|
}
|
else
|
else
|
{
|
{
|
klass->idt->iindex = SHRT_MAX;
|
klass->idt->iindex = SHRT_MAX;
|
}
|
}
|
}
|
}
|
|
|
// Return index of item in list, or -1 if item is not present.
|
// Return index of item in list, or -1 if item is not present.
|
inline jshort
|
inline jshort
|
_Jv_Linker::indexof (void *item, void **list, jshort list_len)
|
_Jv_Linker::indexof (void *item, void **list, jshort list_len)
|
{
|
{
|
for (int i=0; i < list_len; i++)
|
for (int i=0; i < list_len; i++)
|
{
|
{
|
if (list[i] == item)
|
if (list[i] == item)
|
return i;
|
return i;
|
}
|
}
|
return -1;
|
return -1;
|
}
|
}
|
|
|
// Find all unique interfaces directly or indirectly implemented by klass.
|
// Find all unique interfaces directly or indirectly implemented by klass.
|
// Returns the size of the interface dispatch table (itable) for klass, which
|
// Returns the size of the interface dispatch table (itable) for klass, which
|
// is the number of unique interfaces plus the total number of methods that
|
// is the number of unique interfaces plus the total number of methods that
|
// those interfaces declare. May extend ifaces if required.
|
// those interfaces declare. May extend ifaces if required.
|
jshort
|
jshort
|
_Jv_Linker::get_interfaces (jclass klass, _Jv_ifaces *ifaces)
|
_Jv_Linker::get_interfaces (jclass klass, _Jv_ifaces *ifaces)
|
{
|
{
|
jshort result = 0;
|
jshort result = 0;
|
|
|
for (int i = 0; i < klass->interface_count; i++)
|
for (int i = 0; i < klass->interface_count; i++)
|
{
|
{
|
jclass iface = klass->interfaces[i];
|
jclass iface = klass->interfaces[i];
|
|
|
/* Make sure interface is linked. */
|
/* Make sure interface is linked. */
|
wait_for_state(iface, JV_STATE_LINKED);
|
wait_for_state(iface, JV_STATE_LINKED);
|
|
|
if (indexof (iface, (void **) ifaces->list, ifaces->count) == -1)
|
if (indexof (iface, (void **) ifaces->list, ifaces->count) == -1)
|
{
|
{
|
if (ifaces->count + 1 >= ifaces->len)
|
if (ifaces->count + 1 >= ifaces->len)
|
{
|
{
|
/* Resize ifaces list */
|
/* Resize ifaces list */
|
ifaces->len = ifaces->len * 2;
|
ifaces->len = ifaces->len * 2;
|
ifaces->list
|
ifaces->list
|
= (jclass *) _Jv_Realloc (ifaces->list,
|
= (jclass *) _Jv_Realloc (ifaces->list,
|
ifaces->len * sizeof(jclass));
|
ifaces->len * sizeof(jclass));
|
}
|
}
|
ifaces->list[ifaces->count] = iface;
|
ifaces->list[ifaces->count] = iface;
|
ifaces->count++;
|
ifaces->count++;
|
|
|
result += get_interfaces (klass->interfaces[i], ifaces);
|
result += get_interfaces (klass->interfaces[i], ifaces);
|
}
|
}
|
}
|
}
|
|
|
if (klass->isInterface())
|
if (klass->isInterface())
|
{
|
{
|
// We want to add 1 plus the number of interface methods here.
|
// We want to add 1 plus the number of interface methods here.
|
// But, we take special care to skip <clinit>.
|
// But, we take special care to skip <clinit>.
|
++result;
|
++result;
|
for (int i = 0; i < klass->method_count; ++i)
|
for (int i = 0; i < klass->method_count; ++i)
|
{
|
{
|
if (klass->methods[i].name->first() != '<')
|
if (klass->methods[i].name->first() != '<')
|
++result;
|
++result;
|
}
|
}
|
}
|
}
|
else if (klass->superclass)
|
else if (klass->superclass)
|
result += get_interfaces (klass->superclass, ifaces);
|
result += get_interfaces (klass->superclass, ifaces);
|
return result;
|
return result;
|
}
|
}
|
|
|
// Fill out itable in klass, resolving method declarations in each ifaces.
|
// Fill out itable in klass, resolving method declarations in each ifaces.
|
// itable_offsets is filled out with the position of each iface in itable,
|
// itable_offsets is filled out with the position of each iface in itable,
|
// such that itable[itable_offsets[n]] == ifaces.list[n].
|
// such that itable[itable_offsets[n]] == ifaces.list[n].
|
void
|
void
|
_Jv_Linker::generate_itable (jclass klass, _Jv_ifaces *ifaces,
|
_Jv_Linker::generate_itable (jclass klass, _Jv_ifaces *ifaces,
|
jshort *itable_offsets)
|
jshort *itable_offsets)
|
{
|
{
|
void **itable = klass->idt->itable;
|
void **itable = klass->idt->itable;
|
jshort itable_pos = 0;
|
jshort itable_pos = 0;
|
|
|
for (int i = 0; i < ifaces->count; i++)
|
for (int i = 0; i < ifaces->count; i++)
|
{
|
{
|
jclass iface = ifaces->list[i];
|
jclass iface = ifaces->list[i];
|
itable_offsets[i] = itable_pos;
|
itable_offsets[i] = itable_pos;
|
itable_pos = append_partial_itable (klass, iface, itable, itable_pos);
|
itable_pos = append_partial_itable (klass, iface, itable, itable_pos);
|
|
|
/* Create ioffsets table for iface */
|
/* Create ioffsets table for iface */
|
if (iface->ioffsets == NULL)
|
if (iface->ioffsets == NULL)
|
{
|
{
|
// The first element of ioffsets is its length (itself included).
|
// The first element of ioffsets is its length (itself included).
|
jshort *ioffsets = (jshort *) _Jv_AllocBytes (INITIAL_IOFFSETS_LEN
|
jshort *ioffsets = (jshort *) _Jv_AllocBytes (INITIAL_IOFFSETS_LEN
|
* sizeof (jshort));
|
* sizeof (jshort));
|
ioffsets[0] = INITIAL_IOFFSETS_LEN;
|
ioffsets[0] = INITIAL_IOFFSETS_LEN;
|
for (int i = 1; i < INITIAL_IOFFSETS_LEN; i++)
|
for (int i = 1; i < INITIAL_IOFFSETS_LEN; i++)
|
ioffsets[i] = -1;
|
ioffsets[i] = -1;
|
|
|
iface->ioffsets = ioffsets;
|
iface->ioffsets = ioffsets;
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
// Format method name for use in error messages.
|
// Format method name for use in error messages.
|
jstring
|
jstring
|
_Jv_GetMethodString (jclass klass, _Jv_Method *meth,
|
_Jv_GetMethodString (jclass klass, _Jv_Method *meth,
|
jclass derived)
|
jclass derived)
|
{
|
{
|
using namespace java::lang;
|
using namespace java::lang;
|
StringBuffer *buf = new StringBuffer (klass->name->toString());
|
StringBuffer *buf = new StringBuffer (klass->name->toString());
|
buf->append (jchar ('.'));
|
buf->append (jchar ('.'));
|
buf->append (meth->name->toString());
|
buf->append (meth->name->toString());
|
buf->append ((jchar) ' ');
|
buf->append ((jchar) ' ');
|
buf->append (meth->signature->toString());
|
buf->append (meth->signature->toString());
|
if (derived)
|
if (derived)
|
{
|
{
|
buf->append(JvNewStringLatin1(" in "));
|
buf->append(JvNewStringLatin1(" in "));
|
buf->append(derived->name->toString());
|
buf->append(derived->name->toString());
|
}
|
}
|
return buf->toString();
|
return buf->toString();
|
}
|
}
|
|
|
void
|
void
|
_Jv_ThrowNoSuchMethodError ()
|
_Jv_ThrowNoSuchMethodError ()
|
{
|
{
|
throw new java::lang::NoSuchMethodError;
|
throw new java::lang::NoSuchMethodError;
|
}
|
}
|
|
|
#if defined USE_LIBFFI && FFI_CLOSURES && defined(INTERPRETER)
|
#if defined USE_LIBFFI && FFI_CLOSURES && defined(INTERPRETER)
|
// A function whose invocation is prepared using libffi. It gets called
|
// A function whose invocation is prepared using libffi. It gets called
|
// whenever a static method of a missing class is invoked. The data argument
|
// whenever a static method of a missing class is invoked. The data argument
|
// holds a reference to a String denoting the missing class.
|
// holds a reference to a String denoting the missing class.
|
// The prepared function call is stored in a class' atable.
|
// The prepared function call is stored in a class' atable.
|
void
|
void
|
_Jv_ThrowNoClassDefFoundErrorTrampoline(ffi_cif *,
|
_Jv_ThrowNoClassDefFoundErrorTrampoline(ffi_cif *,
|
void *,
|
void *,
|
void **,
|
void **,
|
void *data)
|
void *data)
|
{
|
{
|
throw new java::lang::NoClassDefFoundError(
|
throw new java::lang::NoClassDefFoundError(
|
_Jv_NewStringUtf8Const((_Jv_Utf8Const *) data));
|
_Jv_NewStringUtf8Const((_Jv_Utf8Const *) data));
|
}
|
}
|
#else
|
#else
|
// A variant of the NoClassDefFoundError throwing method that can
|
// A variant of the NoClassDefFoundError throwing method that can
|
// be used without libffi.
|
// be used without libffi.
|
void
|
void
|
_Jv_ThrowNoClassDefFoundError()
|
_Jv_ThrowNoClassDefFoundError()
|
{
|
{
|
throw new java::lang::NoClassDefFoundError();
|
throw new java::lang::NoClassDefFoundError();
|
}
|
}
|
#endif
|
#endif
|
|
|
// Throw a NoSuchFieldError. Called by compiler-generated code when
|
// Throw a NoSuchFieldError. Called by compiler-generated code when
|
// an otable entry is zero. OTABLE_INDEX is the index in the caller's
|
// an otable entry is zero. OTABLE_INDEX is the index in the caller's
|
// otable that refers to the missing field. This index may be used to
|
// otable that refers to the missing field. This index may be used to
|
// print diagnostic information about the field.
|
// print diagnostic information about the field.
|
void
|
void
|
_Jv_ThrowNoSuchFieldError (int /* otable_index */)
|
_Jv_ThrowNoSuchFieldError (int /* otable_index */)
|
{
|
{
|
throw new java::lang::NoSuchFieldError;
|
throw new java::lang::NoSuchFieldError;
|
}
|
}
|
|
|
// This is put in empty vtable slots.
|
// This is put in empty vtable slots.
|
void
|
void
|
_Jv_ThrowAbstractMethodError ()
|
_Jv_ThrowAbstractMethodError ()
|
{
|
{
|
throw new java::lang::AbstractMethodError();
|
throw new java::lang::AbstractMethodError();
|
}
|
}
|
|
|
// Each superinterface of a class (i.e. each interface that the class
|
// Each superinterface of a class (i.e. each interface that the class
|
// directly or indirectly implements) has a corresponding "Partial
|
// directly or indirectly implements) has a corresponding "Partial
|
// Interface Dispatch Table" whose size is (number of methods + 1) words.
|
// Interface Dispatch Table" whose size is (number of methods + 1) words.
|
// The first word is a pointer to the interface (i.e. the java.lang.Class
|
// The first word is a pointer to the interface (i.e. the java.lang.Class
|
// instance for that interface). The remaining words are pointers to the
|
// instance for that interface). The remaining words are pointers to the
|
// actual methods that implement the methods declared in the interface,
|
// actual methods that implement the methods declared in the interface,
|
// in order of declaration.
|
// in order of declaration.
|
//
|
//
|
// Append partial interface dispatch table for "iface" to "itable", at
|
// Append partial interface dispatch table for "iface" to "itable", at
|
// position itable_pos.
|
// position itable_pos.
|
// Returns the offset at which the next partial ITable should be appended.
|
// Returns the offset at which the next partial ITable should be appended.
|
jshort
|
jshort
|
_Jv_Linker::append_partial_itable (jclass klass, jclass iface,
|
_Jv_Linker::append_partial_itable (jclass klass, jclass iface,
|
void **itable, jshort pos)
|
void **itable, jshort pos)
|
{
|
{
|
using namespace java::lang::reflect;
|
using namespace java::lang::reflect;
|
|
|
itable[pos++] = (void *) iface;
|
itable[pos++] = (void *) iface;
|
_Jv_Method *meth;
|
_Jv_Method *meth;
|
|
|
for (int j=0; j < iface->method_count; j++)
|
for (int j=0; j < iface->method_count; j++)
|
{
|
{
|
// Skip '<clinit>' here.
|
// Skip '<clinit>' here.
|
if (iface->methods[j].name->first() == '<')
|
if (iface->methods[j].name->first() == '<')
|
continue;
|
continue;
|
|
|
meth = NULL;
|
meth = NULL;
|
jclass cl;
|
jclass cl;
|
for (cl = klass; cl; cl = cl->getSuperclass())
|
for (cl = klass; cl; cl = cl->getSuperclass())
|
{
|
{
|
meth = _Jv_GetMethodLocal (cl, iface->methods[j].name,
|
meth = _Jv_GetMethodLocal (cl, iface->methods[j].name,
|
iface->methods[j].signature);
|
iface->methods[j].signature);
|
|
|
if (meth)
|
if (meth)
|
break;
|
break;
|
}
|
}
|
|
|
if (meth)
|
if (meth)
|
{
|
{
|
if ((meth->accflags & Modifier::STATIC) != 0)
|
if ((meth->accflags & Modifier::STATIC) != 0)
|
throw new java::lang::IncompatibleClassChangeError
|
throw new java::lang::IncompatibleClassChangeError
|
(_Jv_GetMethodString (klass, meth));
|
(_Jv_GetMethodString (klass, meth));
|
if ((meth->accflags & Modifier::PUBLIC) == 0)
|
if ((meth->accflags & Modifier::PUBLIC) == 0)
|
throw new java::lang::IllegalAccessError
|
throw new java::lang::IllegalAccessError
|
(_Jv_GetMethodString (klass, meth));
|
(_Jv_GetMethodString (klass, meth));
|
|
|
if ((meth->accflags & Modifier::ABSTRACT) != 0)
|
if ((meth->accflags & Modifier::ABSTRACT) != 0)
|
itable[pos] = (void *) &_Jv_ThrowAbstractMethodError;
|
itable[pos] = (void *) &_Jv_ThrowAbstractMethodError;
|
else
|
else
|
itable[pos] = meth->ncode;
|
itable[pos] = meth->ncode;
|
|
|
if (cl->loader != iface->loader)
|
if (cl->loader != iface->loader)
|
check_loading_constraints (meth, cl, iface);
|
check_loading_constraints (meth, cl, iface);
|
}
|
}
|
else
|
else
|
{
|
{
|
// The method doesn't exist in klass. Binary compatibility rules
|
// The method doesn't exist in klass. Binary compatibility rules
|
// permit this, so we delay the error until runtime using a pointer
|
// permit this, so we delay the error until runtime using a pointer
|
// to a method which throws an exception.
|
// to a method which throws an exception.
|
itable[pos] = (void *) _Jv_ThrowNoSuchMethodError;
|
itable[pos] = (void *) _Jv_ThrowNoSuchMethodError;
|
}
|
}
|
pos++;
|
pos++;
|
}
|
}
|
|
|
return pos;
|
return pos;
|
}
|
}
|
|
|
static _Jv_Mutex_t iindex_mutex;
|
static _Jv_Mutex_t iindex_mutex;
|
static bool iindex_mutex_initialized = false;
|
static bool iindex_mutex_initialized = false;
|
|
|
// We need to find the correct offset in the Class Interface Dispatch
|
// We need to find the correct offset in the Class Interface Dispatch
|
// Table for a given interface. Once we have that, invoking an interface
|
// Table for a given interface. Once we have that, invoking an interface
|
// method just requires combining the Method's index in the interface
|
// method just requires combining the Method's index in the interface
|
// (known at compile time) to get the correct method. Doing a type test
|
// (known at compile time) to get the correct method. Doing a type test
|
// (cast or instanceof) is the same problem: Once we have a possible Partial
|
// (cast or instanceof) is the same problem: Once we have a possible Partial
|
// Interface Dispatch Table, we just compare the first element to see if it
|
// Interface Dispatch Table, we just compare the first element to see if it
|
// matches the desired interface. So how can we find the correct offset?
|
// matches the desired interface. So how can we find the correct offset?
|
// Our solution is to keep a vector of candiate offsets in each interface
|
// Our solution is to keep a vector of candiate offsets in each interface
|
// (ioffsets), and in each class we have an index (idt->iindex) used to
|
// (ioffsets), and in each class we have an index (idt->iindex) used to
|
// select the correct offset from ioffsets.
|
// select the correct offset from ioffsets.
|
//
|
//
|
// Calculate and return iindex for a new class.
|
// Calculate and return iindex for a new class.
|
// ifaces is a vector of num interfaces that the class implements.
|
// ifaces is a vector of num interfaces that the class implements.
|
// offsets[j] is the offset in the interface dispatch table for the
|
// offsets[j] is the offset in the interface dispatch table for the
|
// interface corresponding to ifaces[j].
|
// interface corresponding to ifaces[j].
|
// May extend the interface ioffsets if required.
|
// May extend the interface ioffsets if required.
|
jshort
|
jshort
|
_Jv_Linker::find_iindex (jclass *ifaces, jshort *offsets, jshort num)
|
_Jv_Linker::find_iindex (jclass *ifaces, jshort *offsets, jshort num)
|
{
|
{
|
int i;
|
int i;
|
int j;
|
int j;
|
|
|
// Acquire a global lock to prevent itable corruption in case of multiple
|
// Acquire a global lock to prevent itable corruption in case of multiple
|
// classes that implement an intersecting set of interfaces being linked
|
// classes that implement an intersecting set of interfaces being linked
|
// simultaneously. We can assume that the mutex will be initialized
|
// simultaneously. We can assume that the mutex will be initialized
|
// single-threaded.
|
// single-threaded.
|
if (! iindex_mutex_initialized)
|
if (! iindex_mutex_initialized)
|
{
|
{
|
_Jv_MutexInit (&iindex_mutex);
|
_Jv_MutexInit (&iindex_mutex);
|
iindex_mutex_initialized = true;
|
iindex_mutex_initialized = true;
|
}
|
}
|
|
|
_Jv_MutexLock (&iindex_mutex);
|
_Jv_MutexLock (&iindex_mutex);
|
|
|
for (i=1;; i++) /* each potential position in ioffsets */
|
for (i=1;; i++) /* each potential position in ioffsets */
|
{
|
{
|
for (j=0;; j++) /* each iface */
|
for (j=0;; j++) /* each iface */
|
{
|
{
|
if (j >= num)
|
if (j >= num)
|
goto found;
|
goto found;
|
if (i >= ifaces[j]->ioffsets[0])
|
if (i >= ifaces[j]->ioffsets[0])
|
continue;
|
continue;
|
int ioffset = ifaces[j]->ioffsets[i];
|
int ioffset = ifaces[j]->ioffsets[i];
|
/* We can potentially share this position with another class. */
|
/* We can potentially share this position with another class. */
|
if (ioffset >= 0 && ioffset != offsets[j])
|
if (ioffset >= 0 && ioffset != offsets[j])
|
break; /* Nope. Try next i. */
|
break; /* Nope. Try next i. */
|
}
|
}
|
}
|
}
|
found:
|
found:
|
for (j = 0; j < num; j++)
|
for (j = 0; j < num; j++)
|
{
|
{
|
int len = ifaces[j]->ioffsets[0];
|
int len = ifaces[j]->ioffsets[0];
|
if (i >= len)
|
if (i >= len)
|
{
|
{
|
// Resize ioffsets.
|
// Resize ioffsets.
|
int newlen = 2 * len;
|
int newlen = 2 * len;
|
if (i >= newlen)
|
if (i >= newlen)
|
newlen = i + 3;
|
newlen = i + 3;
|
|
|
jshort *old_ioffsets = ifaces[j]->ioffsets;
|
jshort *old_ioffsets = ifaces[j]->ioffsets;
|
jshort *new_ioffsets = (jshort *) _Jv_AllocBytes (newlen
|
jshort *new_ioffsets = (jshort *) _Jv_AllocBytes (newlen
|
* sizeof(jshort));
|
* sizeof(jshort));
|
memcpy (&new_ioffsets[1], &old_ioffsets[1],
|
memcpy (&new_ioffsets[1], &old_ioffsets[1],
|
(len - 1) * sizeof (jshort));
|
(len - 1) * sizeof (jshort));
|
new_ioffsets[0] = newlen;
|
new_ioffsets[0] = newlen;
|
|
|
while (len < newlen)
|
while (len < newlen)
|
new_ioffsets[len++] = -1;
|
new_ioffsets[len++] = -1;
|
|
|
ifaces[j]->ioffsets = new_ioffsets;
|
ifaces[j]->ioffsets = new_ioffsets;
|
}
|
}
|
ifaces[j]->ioffsets[i] = offsets[j];
|
ifaces[j]->ioffsets[i] = offsets[j];
|
}
|
}
|
|
|
_Jv_MutexUnlock (&iindex_mutex);
|
_Jv_MutexUnlock (&iindex_mutex);
|
|
|
return i;
|
return i;
|
}
|
}
|
|
|
#if defined USE_LIBFFI && FFI_CLOSURES && defined(INTERPRETER)
|
#if defined USE_LIBFFI && FFI_CLOSURES && defined(INTERPRETER)
|
// We use a structure of this type to store the closure that
|
// We use a structure of this type to store the closure that
|
// represents a missing method.
|
// represents a missing method.
|
struct method_closure
|
struct method_closure
|
{
|
{
|
// This field must come first, since the address of this field will
|
// This field must come first, since the address of this field will
|
// be the same as the address of the overall structure. This is due
|
// be the same as the address of the overall structure. This is due
|
// to disabling interior pointers in the GC.
|
// to disabling interior pointers in the GC.
|
ffi_closure closure;
|
ffi_closure closure;
|
_Jv_ClosureList list;
|
_Jv_ClosureList list;
|
ffi_cif cif;
|
ffi_cif cif;
|
ffi_type *arg_types[1];
|
ffi_type *arg_types[1];
|
};
|
};
|
|
|
void *
|
void *
|
_Jv_Linker::create_error_method (_Jv_Utf8Const *class_name, jclass klass)
|
_Jv_Linker::create_error_method (_Jv_Utf8Const *class_name, jclass klass)
|
{
|
{
|
void *code;
|
void *code;
|
method_closure *closure
|
method_closure *closure
|
= (method_closure *)ffi_closure_alloc (sizeof (method_closure), &code);
|
= (method_closure *)ffi_closure_alloc (sizeof (method_closure), &code);
|
|
|
closure->arg_types[0] = &ffi_type_void;
|
closure->arg_types[0] = &ffi_type_void;
|
|
|
// Initializes the cif and the closure. If that worked the closure
|
// Initializes the cif and the closure. If that worked the closure
|
// is returned and can be used as a function pointer in a class'
|
// is returned and can be used as a function pointer in a class'
|
// atable.
|
// atable.
|
if ( ffi_prep_cif (&closure->cif,
|
if ( ffi_prep_cif (&closure->cif,
|
FFI_DEFAULT_ABI,
|
FFI_DEFAULT_ABI,
|
1,
|
1,
|
&ffi_type_void,
|
&ffi_type_void,
|
closure->arg_types) == FFI_OK
|
closure->arg_types) == FFI_OK
|
&& ffi_prep_closure_loc (&closure->closure,
|
&& ffi_prep_closure_loc (&closure->closure,
|
&closure->cif,
|
&closure->cif,
|
_Jv_ThrowNoClassDefFoundErrorTrampoline,
|
_Jv_ThrowNoClassDefFoundErrorTrampoline,
|
class_name,
|
class_name,
|
code) == FFI_OK)
|
code) == FFI_OK)
|
{
|
{
|
closure->list.registerClosure (klass, closure);
|
closure->list.registerClosure (klass, closure);
|
return code;
|
return code;
|
}
|
}
|
else
|
else
|
{
|
{
|
ffi_closure_free (closure);
|
ffi_closure_free (closure);
|
java::lang::StringBuffer *buffer = new java::lang::StringBuffer();
|
java::lang::StringBuffer *buffer = new java::lang::StringBuffer();
|
buffer->append(JvNewStringLatin1("Error setting up FFI closure"
|
buffer->append(JvNewStringLatin1("Error setting up FFI closure"
|
" for static method of"
|
" for static method of"
|
" missing class: "));
|
" missing class: "));
|
buffer->append (_Jv_NewStringUtf8Const(class_name));
|
buffer->append (_Jv_NewStringUtf8Const(class_name));
|
throw new java::lang::InternalError(buffer->toString());
|
throw new java::lang::InternalError(buffer->toString());
|
}
|
}
|
}
|
}
|
#else
|
#else
|
void *
|
void *
|
_Jv_Linker::create_error_method (_Jv_Utf8Const *, jclass)
|
_Jv_Linker::create_error_method (_Jv_Utf8Const *, jclass)
|
{
|
{
|
// Codepath for platforms which do not support (or want) libffi.
|
// Codepath for platforms which do not support (or want) libffi.
|
// You have to accept that it is impossible to provide the name
|
// You have to accept that it is impossible to provide the name
|
// of the missing class then.
|
// of the missing class then.
|
return (void *) _Jv_ThrowNoClassDefFoundError;
|
return (void *) _Jv_ThrowNoClassDefFoundError;
|
}
|
}
|
#endif // USE_LIBFFI && FFI_CLOSURES
|
#endif // USE_LIBFFI && FFI_CLOSURES
|
|
|
// Functions for indirect dispatch (symbolic virtual binding) support.
|
// Functions for indirect dispatch (symbolic virtual binding) support.
|
|
|
// There are three tables, atable otable and itable. atable is an
|
// There are three tables, atable otable and itable. atable is an
|
// array of addresses, and otable is an array of offsets, and these
|
// array of addresses, and otable is an array of offsets, and these
|
// are used for static and virtual members respectively. itable is an
|
// are used for static and virtual members respectively. itable is an
|
// array of pairs {address, index} where each address is a pointer to
|
// array of pairs {address, index} where each address is a pointer to
|
// an interface.
|
// an interface.
|
|
|
// {a,o,i}table_syms is an array of _Jv_MethodSymbols. Each such
|
// {a,o,i}table_syms is an array of _Jv_MethodSymbols. Each such
|
// symbol is a tuple of {classname, member name, signature}.
|
// symbol is a tuple of {classname, member name, signature}.
|
|
|
// Set this to true to enable debugging of indirect dispatch tables/linking.
|
// Set this to true to enable debugging of indirect dispatch tables/linking.
|
static bool debug_link = false;
|
static bool debug_link = false;
|
|
|
// link_symbol_table() scans these two arrays and fills in the
|
// link_symbol_table() scans these two arrays and fills in the
|
// corresponding atable and otable with the addresses of static
|
// corresponding atable and otable with the addresses of static
|
// members and the offsets of virtual members.
|
// members and the offsets of virtual members.
|
|
|
// The offset (in bytes) for each resolved method or field is placed
|
// The offset (in bytes) for each resolved method or field is placed
|
// at the corresponding position in the virtual method offset table
|
// at the corresponding position in the virtual method offset table
|
// (klass->otable).
|
// (klass->otable).
|
|
|
// This must be called while holding the class lock.
|
// This must be called while holding the class lock.
|
|
|
void
|
void
|
_Jv_Linker::link_symbol_table (jclass klass)
|
_Jv_Linker::link_symbol_table (jclass klass)
|
{
|
{
|
int index = 0;
|
int index = 0;
|
_Jv_MethodSymbol sym;
|
_Jv_MethodSymbol sym;
|
if (klass->otable == NULL
|
if (klass->otable == NULL
|
|| klass->otable->state != 0)
|
|| klass->otable->state != 0)
|
goto atable;
|
goto atable;
|
|
|
klass->otable->state = 1;
|
klass->otable->state = 1;
|
|
|
if (debug_link)
|
if (debug_link)
|
fprintf (stderr, "Fixing up otable in %s:\n", klass->name->chars());
|
fprintf (stderr, "Fixing up otable in %s:\n", klass->name->chars());
|
for (index = 0;
|
for (index = 0;
|
(sym = klass->otable_syms[index]).class_name != NULL;
|
(sym = klass->otable_syms[index]).class_name != NULL;
|
++index)
|
++index)
|
{
|
{
|
jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
|
jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
|
_Jv_Method *meth = NULL;
|
_Jv_Method *meth = NULL;
|
|
|
_Jv_Utf8Const *signature = sym.signature;
|
_Jv_Utf8Const *signature = sym.signature;
|
uaddr special;
|
uaddr special;
|
maybe_adjust_signature (signature, special);
|
maybe_adjust_signature (signature, special);
|
|
|
if (target_class == NULL)
|
if (target_class == NULL)
|
throw new java::lang::NoClassDefFoundError
|
throw new java::lang::NoClassDefFoundError
|
(_Jv_NewStringUTF (sym.class_name->chars()));
|
(_Jv_NewStringUTF (sym.class_name->chars()));
|
|
|
// We're looking for a field or a method, and we can tell
|
// We're looking for a field or a method, and we can tell
|
// which is needed by looking at the signature.
|
// which is needed by looking at the signature.
|
if (signature->first() == '(' && signature->len() >= 2)
|
if (signature->first() == '(' && signature->len() >= 2)
|
{
|
{
|
// Looks like someone is trying to invoke an interface method
|
// Looks like someone is trying to invoke an interface method
|
if (target_class->isInterface())
|
if (target_class->isInterface())
|
{
|
{
|
using namespace java::lang;
|
using namespace java::lang;
|
StringBuffer *sb = new StringBuffer();
|
StringBuffer *sb = new StringBuffer();
|
sb->append(JvNewStringLatin1("found interface "));
|
sb->append(JvNewStringLatin1("found interface "));
|
sb->append(target_class->getName());
|
sb->append(target_class->getName());
|
sb->append(JvNewStringLatin1(" when searching for a class"));
|
sb->append(JvNewStringLatin1(" when searching for a class"));
|
throw new VerifyError(sb->toString());
|
throw new VerifyError(sb->toString());
|
}
|
}
|
|
|
// If the target class does not have a vtable_method_count yet,
|
// If the target class does not have a vtable_method_count yet,
|
// then we can't tell the offsets for its methods, so we must lay
|
// then we can't tell the offsets for its methods, so we must lay
|
// it out now.
|
// it out now.
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
|
|
try
|
try
|
{
|
{
|
meth = (search_method_in_superclasses
|
meth = (search_method_in_superclasses
|
(target_class, klass, sym.name, signature,
|
(target_class, klass, sym.name, signature,
|
NULL, special == 0));
|
NULL, special == 0));
|
}
|
}
|
catch (::java::lang::IllegalAccessError *e)
|
catch (::java::lang::IllegalAccessError *e)
|
{
|
{
|
}
|
}
|
|
|
// Every class has a throwNoSuchMethodErrorIndex method that
|
// Every class has a throwNoSuchMethodErrorIndex method that
|
// it inherits from java.lang.Object. Find its vtable
|
// it inherits from java.lang.Object. Find its vtable
|
// offset.
|
// offset.
|
static int throwNoSuchMethodErrorIndex;
|
static int throwNoSuchMethodErrorIndex;
|
if (throwNoSuchMethodErrorIndex == 0)
|
if (throwNoSuchMethodErrorIndex == 0)
|
{
|
{
|
Utf8Const* name
|
Utf8Const* name
|
= _Jv_makeUtf8Const ("throwNoSuchMethodError",
|
= _Jv_makeUtf8Const ("throwNoSuchMethodError",
|
strlen ("throwNoSuchMethodError"));
|
strlen ("throwNoSuchMethodError"));
|
_Jv_Method* meth
|
_Jv_Method* meth
|
= _Jv_LookupDeclaredMethod (&java::lang::Object::class$,
|
= _Jv_LookupDeclaredMethod (&java::lang::Object::class$,
|
name, gcj::void_signature);
|
name, gcj::void_signature);
|
throwNoSuchMethodErrorIndex
|
throwNoSuchMethodErrorIndex
|
= _Jv_VTable::idx_to_offset (meth->index);
|
= _Jv_VTable::idx_to_offset (meth->index);
|
}
|
}
|
|
|
// If we don't find a nonstatic method, insert the
|
// If we don't find a nonstatic method, insert the
|
// vtable index of Object.throwNoSuchMethodError().
|
// vtable index of Object.throwNoSuchMethodError().
|
// This defers the missing method error until an attempt
|
// This defers the missing method error until an attempt
|
// is made to execute it.
|
// is made to execute it.
|
{
|
{
|
int offset;
|
int offset;
|
|
|
if (meth != NULL)
|
if (meth != NULL)
|
offset = _Jv_VTable::idx_to_offset (meth->index);
|
offset = _Jv_VTable::idx_to_offset (meth->index);
|
else
|
else
|
offset = throwNoSuchMethodErrorIndex;
|
offset = throwNoSuchMethodErrorIndex;
|
|
|
if (offset == -1)
|
if (offset == -1)
|
JvFail ("Bad method index");
|
JvFail ("Bad method index");
|
JvAssert (meth->index < target_class->vtable_method_count);
|
JvAssert (meth->index < target_class->vtable_method_count);
|
|
|
klass->otable->offsets[index] = offset;
|
klass->otable->offsets[index] = offset;
|
}
|
}
|
|
|
if (debug_link)
|
if (debug_link)
|
fprintf (stderr, " offsets[%d] = %d (class %s@%p : %s(%s))\n",
|
fprintf (stderr, " offsets[%d] = %d (class %s@%p : %s(%s))\n",
|
(int)index,
|
(int)index,
|
(int)klass->otable->offsets[index],
|
(int)klass->otable->offsets[index],
|
(const char*)target_class->name->chars(),
|
(const char*)target_class->name->chars(),
|
target_class,
|
target_class,
|
(const char*)sym.name->chars(),
|
(const char*)sym.name->chars(),
|
(const char*)signature->chars());
|
(const char*)signature->chars());
|
continue;
|
continue;
|
}
|
}
|
|
|
// Try fields.
|
// Try fields.
|
{
|
{
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
jclass found_class;
|
jclass found_class;
|
_Jv_Field *the_field = NULL;
|
_Jv_Field *the_field = NULL;
|
try
|
try
|
{
|
{
|
the_field = find_field (klass, target_class, &found_class,
|
the_field = find_field (klass, target_class, &found_class,
|
sym.name, signature);
|
sym.name, signature);
|
if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
|
if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
|
throw new java::lang::IncompatibleClassChangeError;
|
throw new java::lang::IncompatibleClassChangeError;
|
else
|
else
|
klass->otable->offsets[index] = the_field->u.boffset;
|
klass->otable->offsets[index] = the_field->u.boffset;
|
}
|
}
|
catch (java::lang::NoSuchFieldError *err)
|
catch (java::lang::NoSuchFieldError *err)
|
{
|
{
|
klass->otable->offsets[index] = 0;
|
klass->otable->offsets[index] = 0;
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
atable:
|
atable:
|
if (klass->atable == NULL || klass->atable->state != 0)
|
if (klass->atable == NULL || klass->atable->state != 0)
|
goto itable;
|
goto itable;
|
|
|
klass->atable->state = 1;
|
klass->atable->state = 1;
|
|
|
for (index = 0;
|
for (index = 0;
|
(sym = klass->atable_syms[index]).class_name != NULL;
|
(sym = klass->atable_syms[index]).class_name != NULL;
|
++index)
|
++index)
|
{
|
{
|
jclass target_class =
|
jclass target_class =
|
_Jv_FindClassNoException (sym.class_name, klass->loader);
|
_Jv_FindClassNoException (sym.class_name, klass->loader);
|
|
|
_Jv_Method *meth = NULL;
|
_Jv_Method *meth = NULL;
|
|
|
_Jv_Utf8Const *signature = sym.signature;
|
_Jv_Utf8Const *signature = sym.signature;
|
uaddr special;
|
uaddr special;
|
maybe_adjust_signature (signature, special);
|
maybe_adjust_signature (signature, special);
|
|
|
// ??? Setting this pointer to null will at least get us a
|
// ??? Setting this pointer to null will at least get us a
|
// NullPointerException
|
// NullPointerException
|
klass->atable->addresses[index] = NULL;
|
klass->atable->addresses[index] = NULL;
|
|
|
bool use_error_method = false;
|
bool use_error_method = false;
|
|
|
// If the target class is missing we prepare a function call
|
// If the target class is missing we prepare a function call
|
// that throws a NoClassDefFoundError and store the address of
|
// that throws a NoClassDefFoundError and store the address of
|
// that newly prepared method in the atable. The user can run
|
// that newly prepared method in the atable. The user can run
|
// code in classes where the missing class is part of the
|
// code in classes where the missing class is part of the
|
// execution environment as long as it is never referenced.
|
// execution environment as long as it is never referenced.
|
if (target_class == NULL)
|
if (target_class == NULL)
|
use_error_method = true;
|
use_error_method = true;
|
// We're looking for a static field or a static method, and we
|
// We're looking for a static field or a static method, and we
|
// can tell which is needed by looking at the signature.
|
// can tell which is needed by looking at the signature.
|
else if (signature->first() == '(' && signature->len() >= 2)
|
else if (signature->first() == '(' && signature->len() >= 2)
|
{
|
{
|
// If the target class does not have a vtable_method_count yet,
|
// If the target class does not have a vtable_method_count yet,
|
// then we can't tell the offsets for its methods, so we must lay
|
// then we can't tell the offsets for its methods, so we must lay
|
// it out now.
|
// it out now.
|
wait_for_state (target_class, JV_STATE_PREPARED);
|
wait_for_state (target_class, JV_STATE_PREPARED);
|
|
|
// Interface methods cannot have bodies.
|
// Interface methods cannot have bodies.
|
if (target_class->isInterface())
|
if (target_class->isInterface())
|
{
|
{
|
using namespace java::lang;
|
using namespace java::lang;
|
StringBuffer *sb = new StringBuffer();
|
StringBuffer *sb = new StringBuffer();
|
sb->append(JvNewStringLatin1("class "));
|
sb->append(JvNewStringLatin1("class "));
|
sb->append(target_class->getName());
|
sb->append(target_class->getName());
|
sb->append(JvNewStringLatin1(" is an interface: "
|
sb->append(JvNewStringLatin1(" is an interface: "
|
"class expected"));
|
"class expected"));
|
throw new VerifyError(sb->toString());
|
throw new VerifyError(sb->toString());
|
}
|
}
|
|
|
try
|
try
|
{
|
{
|
meth = (search_method_in_superclasses
|
meth = (search_method_in_superclasses
|
(target_class, klass, sym.name, signature,
|
(target_class, klass, sym.name, signature,
|
NULL, special == 0));
|
NULL, special == 0));
|
}
|
}
|
catch (::java::lang::IllegalAccessError *e)
|
catch (::java::lang::IllegalAccessError *e)
|
{
|
{
|
}
|
}
|
|
|
if (meth != NULL)
|
if (meth != NULL)
|
{
|
{
|
if (meth->ncode) // Maybe abstract?
|
if (meth->ncode) // Maybe abstract?
|
{
|
{
|
klass->atable->addresses[index] = meth->ncode;
|
klass->atable->addresses[index] = meth->ncode;
|
if (debug_link)
|
if (debug_link)
|
fprintf (stderr, " addresses[%d] = %p (class %s@%p : %s(%s))\n",
|
fprintf (stderr, " addresses[%d] = %p (class %s@%p : %s(%s))\n",
|
index,
|
index,
|
&klass->atable->addresses[index],
|
&klass->atable->addresses[index],
|
(const char*)target_class->name->chars(),
|
(const char*)target_class->name->chars(),
|
klass,
|
klass,
|
(const char*)sym.name->chars(),
|
(const char*)sym.name->chars(),
|
(const char*)signature->chars());
|
(const char*)signature->chars());
|
}
|
}
|
}
|
}
|
else
|
else
|
use_error_method = true;
|
use_error_method = true;
|
|
|
if (use_error_method)
|
if (use_error_method)
|
klass->atable->addresses[index]
|
klass->atable->addresses[index]
|
= create_error_method(sym.class_name, klass);
|
= create_error_method(sym.class_name, klass);
|
|
|
continue;
|
continue;
|
}
|
}
|
|
|
|
|
// Try fields only if the target class exists.
|
// Try fields only if the target class exists.
|
if (target_class != NULL)
|
if (target_class != NULL)
|
{
|
{
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
wait_for_state(target_class, JV_STATE_PREPARED);
|
jclass found_class;
|
jclass found_class;
|
_Jv_Field *the_field = find_field (klass, target_class, &found_class,
|
_Jv_Field *the_field = find_field (klass, target_class, &found_class,
|
sym.name, signature);
|
sym.name, signature);
|
if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
|
if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
|
klass->atable->addresses[index] = the_field->u.addr;
|
klass->atable->addresses[index] = the_field->u.addr;
|
else
|
else
|
throw new java::lang::IncompatibleClassChangeError;
|
throw new java::lang::IncompatibleClassChangeError;
|
}
|
}
|
}
|
}
|
|
|
itable:
|
itable:
|
if (klass->itable == NULL
|
if (klass->itable == NULL
|
|| klass->itable->state != 0)
|
|| klass->itable->state != 0)
|
return;
|
return;
|
|
|
klass->itable->state = 1;
|
klass->itable->state = 1;
|
|
|
for (index = 0;
|
for (index = 0;
|
(sym = klass->itable_syms[index]).class_name != NULL;
|
(sym = klass->itable_syms[index]).class_name != NULL;
|
++index)
|
++index)
|
{
|
{
|
jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
|
jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
|
|
|
_Jv_Utf8Const *signature = sym.signature;
|
_Jv_Utf8Const *signature = sym.signature;
|
uaddr special;
|
uaddr special;
|
maybe_adjust_signature (signature, special);
|
maybe_adjust_signature (signature, special);
|
|
|
jclass cls;
|
jclass cls;
|
int i;
|
int i;
|
|
|
wait_for_state(target_class, JV_STATE_LOADED);
|
wait_for_state(target_class, JV_STATE_LOADED);
|
bool found = _Jv_getInterfaceMethod (target_class, cls, i,
|
bool found = _Jv_getInterfaceMethod (target_class, cls, i,
|
sym.name, signature);
|
sym.name, signature);
|
|
|
if (found)
|
if (found)
|
{
|
{
|
klass->itable->addresses[index * 2] = cls;
|
klass->itable->addresses[index * 2] = cls;
|
klass->itable->addresses[index * 2 + 1] = (void *)(unsigned long) i;
|
klass->itable->addresses[index * 2 + 1] = (void *)(unsigned long) i;
|
if (debug_link)
|
if (debug_link)
|
{
|
{
|
fprintf (stderr, " interfaces[%d] = %p (interface %s@%p : %s(%s))\n",
|
fprintf (stderr, " interfaces[%d] = %p (interface %s@%p : %s(%s))\n",
|
index,
|
index,
|
klass->itable->addresses[index * 2],
|
klass->itable->addresses[index * 2],
|
(const char*)cls->name->chars(),
|
(const char*)cls->name->chars(),
|
cls,
|
cls,
|
(const char*)sym.name->chars(),
|
(const char*)sym.name->chars(),
|
(const char*)signature->chars());
|
(const char*)signature->chars());
|
fprintf (stderr, " [%d] = offset %d\n",
|
fprintf (stderr, " [%d] = offset %d\n",
|
index + 1,
|
index + 1,
|
(int)(unsigned long)klass->itable->addresses[index * 2 + 1]);
|
(int)(unsigned long)klass->itable->addresses[index * 2 + 1]);
|
}
|
}
|
|
|
}
|
}
|
else
|
else
|
throw new java::lang::IncompatibleClassChangeError;
|
throw new java::lang::IncompatibleClassChangeError;
|
}
|
}
|
|
|
}
|
}
|
|
|
// For each catch_record in the list of caught classes, fill in the
|
// For each catch_record in the list of caught classes, fill in the
|
// address field.
|
// address field.
|
void
|
void
|
_Jv_Linker::link_exception_table (jclass self)
|
_Jv_Linker::link_exception_table (jclass self)
|
{
|
{
|
struct _Jv_CatchClass *catch_record = self->catch_classes;
|
struct _Jv_CatchClass *catch_record = self->catch_classes;
|
if (!catch_record || catch_record->classname)
|
if (!catch_record || catch_record->classname)
|
return;
|
return;
|
catch_record++;
|
catch_record++;
|
while (catch_record->classname)
|
while (catch_record->classname)
|
{
|
{
|
try
|
try
|
{
|
{
|
jclass target_class
|
jclass target_class
|
= _Jv_FindClass (catch_record->classname,
|
= _Jv_FindClass (catch_record->classname,
|
self->getClassLoaderInternal ());
|
self->getClassLoaderInternal ());
|
*catch_record->address = target_class;
|
*catch_record->address = target_class;
|
}
|
}
|
catch (::java::lang::Throwable *t)
|
catch (::java::lang::Throwable *t)
|
{
|
{
|
// FIXME: We need to do something better here.
|
// FIXME: We need to do something better here.
|
*catch_record->address = 0;
|
*catch_record->address = 0;
|
}
|
}
|
catch_record++;
|
catch_record++;
|
}
|
}
|
self->catch_classes->classname = (_Jv_Utf8Const *)-1;
|
self->catch_classes->classname = (_Jv_Utf8Const *)-1;
|
}
|
}
|
|
|
// Set itable method indexes for members of interface IFACE.
|
// Set itable method indexes for members of interface IFACE.
|
void
|
void
|
_Jv_Linker::layout_interface_methods (jclass iface)
|
_Jv_Linker::layout_interface_methods (jclass iface)
|
{
|
{
|
if (! iface->isInterface())
|
if (! iface->isInterface())
|
return;
|
return;
|
|
|
// itable indexes start at 1.
|
// itable indexes start at 1.
|
// FIXME: Static initalizers currently get a NULL placeholder entry in the
|
// FIXME: Static initalizers currently get a NULL placeholder entry in the
|
// itable so they are also assigned an index here.
|
// itable so they are also assigned an index here.
|
for (int i = 0; i < iface->method_count; i++)
|
for (int i = 0; i < iface->method_count; i++)
|
iface->methods[i].index = i + 1;
|
iface->methods[i].index = i + 1;
|
}
|
}
|
|
|
// Prepare virtual method declarations in KLASS, and any superclasses
|
// Prepare virtual method declarations in KLASS, and any superclasses
|
// as required, by determining their vtable index, setting
|
// as required, by determining their vtable index, setting
|
// method->index, and finally setting the class's vtable_method_count.
|
// method->index, and finally setting the class's vtable_method_count.
|
// Must be called with the lock for KLASS held.
|
// Must be called with the lock for KLASS held.
|
void
|
void
|
_Jv_Linker::layout_vtable_methods (jclass klass)
|
_Jv_Linker::layout_vtable_methods (jclass klass)
|
{
|
{
|
if (klass->vtable != NULL || klass->isInterface()
|
if (klass->vtable != NULL || klass->isInterface()
|
|| klass->vtable_method_count != -1)
|
|| klass->vtable_method_count != -1)
|
return;
|
return;
|
|
|
jclass superclass = klass->getSuperclass();
|
jclass superclass = klass->getSuperclass();
|
|
|
if (superclass != NULL && superclass->vtable_method_count == -1)
|
if (superclass != NULL && superclass->vtable_method_count == -1)
|
{
|
{
|
JvSynchronize sync (superclass);
|
JvSynchronize sync (superclass);
|
layout_vtable_methods (superclass);
|
layout_vtable_methods (superclass);
|
}
|
}
|
|
|
int index = (superclass == NULL ? 0 : superclass->vtable_method_count);
|
int index = (superclass == NULL ? 0 : superclass->vtable_method_count);
|
|
|
for (int i = 0; i < klass->method_count; ++i)
|
for (int i = 0; i < klass->method_count; ++i)
|
{
|
{
|
_Jv_Method *meth = &klass->methods[i];
|
_Jv_Method *meth = &klass->methods[i];
|
_Jv_Method *super_meth = NULL;
|
_Jv_Method *super_meth = NULL;
|
|
|
if (! _Jv_isVirtualMethod (meth))
|
if (! _Jv_isVirtualMethod (meth))
|
continue;
|
continue;
|
|
|
if (superclass != NULL)
|
if (superclass != NULL)
|
{
|
{
|
jclass declarer;
|
jclass declarer;
|
super_meth = _Jv_LookupDeclaredMethod (superclass, meth->name,
|
super_meth = _Jv_LookupDeclaredMethod (superclass, meth->name,
|
meth->signature, &declarer);
|
meth->signature, &declarer);
|
// See if this method actually overrides the other method
|
// See if this method actually overrides the other method
|
// we've found.
|
// we've found.
|
if (super_meth)
|
if (super_meth)
|
{
|
{
|
if (! _Jv_isVirtualMethod (super_meth)
|
if (! _Jv_isVirtualMethod (super_meth)
|
|| ! _Jv_CheckAccess (klass, declarer,
|
|| ! _Jv_CheckAccess (klass, declarer,
|
super_meth->accflags))
|
super_meth->accflags))
|
super_meth = NULL;
|
super_meth = NULL;
|
else if ((super_meth->accflags
|
else if ((super_meth->accflags
|
& java::lang::reflect::Modifier::FINAL) != 0)
|
& java::lang::reflect::Modifier::FINAL) != 0)
|
{
|
{
|
using namespace java::lang;
|
using namespace java::lang;
|
StringBuffer *sb = new StringBuffer();
|
StringBuffer *sb = new StringBuffer();
|
sb->append(JvNewStringLatin1("method "));
|
sb->append(JvNewStringLatin1("method "));
|
sb->append(_Jv_GetMethodString(klass, meth));
|
sb->append(_Jv_GetMethodString(klass, meth));
|
sb->append(JvNewStringLatin1(" overrides final method "));
|
sb->append(JvNewStringLatin1(" overrides final method "));
|
sb->append(_Jv_GetMethodString(declarer, super_meth));
|
sb->append(_Jv_GetMethodString(declarer, super_meth));
|
throw new VerifyError(sb->toString());
|
throw new VerifyError(sb->toString());
|
}
|
}
|
else if (declarer->loader != klass->loader)
|
else if (declarer->loader != klass->loader)
|
{
|
{
|
// JVMS 5.4.2.
|
// JVMS 5.4.2.
|
check_loading_constraints (meth, klass, declarer);
|
check_loading_constraints (meth, klass, declarer);
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
if (super_meth)
|
if (super_meth)
|
meth->index = super_meth->index;
|
meth->index = super_meth->index;
|
else
|
else
|
meth->index = index++;
|
meth->index = index++;
|
}
|
}
|
|
|
klass->vtable_method_count = index;
|
klass->vtable_method_count = index;
|
}
|
}
|
|
|
// Set entries in VTABLE for virtual methods declared in KLASS.
|
// Set entries in VTABLE for virtual methods declared in KLASS.
|
void
|
void
|
_Jv_Linker::set_vtable_entries (jclass klass, _Jv_VTable *vtable)
|
_Jv_Linker::set_vtable_entries (jclass klass, _Jv_VTable *vtable)
|
{
|
{
|
for (int i = klass->method_count - 1; i >= 0; i--)
|
for (int i = klass->method_count - 1; i >= 0; i--)
|
{
|
{
|
using namespace java::lang::reflect;
|
using namespace java::lang::reflect;
|
|
|
_Jv_Method *meth = &klass->methods[i];
|
_Jv_Method *meth = &klass->methods[i];
|
if (meth->index == (_Jv_ushort) -1)
|
if (meth->index == (_Jv_ushort) -1)
|
continue;
|
continue;
|
if ((meth->accflags & Modifier::ABSTRACT))
|
if ((meth->accflags & Modifier::ABSTRACT))
|
// FIXME: it might be nice to have a libffi trampoline here,
|
// FIXME: it might be nice to have a libffi trampoline here,
|
// so we could pass in the method name and other information.
|
// so we could pass in the method name and other information.
|
vtable->set_method(meth->index,
|
vtable->set_method(meth->index,
|
(void *) &_Jv_ThrowAbstractMethodError);
|
(void *) &_Jv_ThrowAbstractMethodError);
|
else
|
else
|
vtable->set_method(meth->index, meth->ncode);
|
vtable->set_method(meth->index, meth->ncode);
|
}
|
}
|
}
|
}
|
|
|
// Allocate and lay out the virtual method table for KLASS. This will
|
// Allocate and lay out the virtual method table for KLASS. This will
|
// also cause vtables to be generated for any non-abstract
|
// also cause vtables to be generated for any non-abstract
|
// superclasses, and virtual method layout to occur for any abstract
|
// superclasses, and virtual method layout to occur for any abstract
|
// superclasses. Must be called with monitor lock for KLASS held.
|
// superclasses. Must be called with monitor lock for KLASS held.
|
void
|
void
|
_Jv_Linker::make_vtable (jclass klass)
|
_Jv_Linker::make_vtable (jclass klass)
|
{
|
{
|
using namespace java::lang::reflect;
|
using namespace java::lang::reflect;
|
|
|
// If the vtable exists, or for interface classes, do nothing. All
|
// If the vtable exists, or for interface classes, do nothing. All
|
// other classes, including abstract classes, need a vtable.
|
// other classes, including abstract classes, need a vtable.
|
if (klass->vtable != NULL || klass->isInterface())
|
if (klass->vtable != NULL || klass->isInterface())
|
return;
|
return;
|
|
|
// Ensure all the `ncode' entries are set.
|
// Ensure all the `ncode' entries are set.
|
klass->engine->create_ncode(klass);
|
klass->engine->create_ncode(klass);
|
|
|
// Class must be laid out before we can create a vtable.
|
// Class must be laid out before we can create a vtable.
|
if (klass->vtable_method_count == -1)
|
if (klass->vtable_method_count == -1)
|
layout_vtable_methods (klass);
|
layout_vtable_methods (klass);
|
|
|
// Allocate the new vtable.
|
// Allocate the new vtable.
|
_Jv_VTable *vtable = _Jv_VTable::new_vtable (klass->vtable_method_count);
|
_Jv_VTable *vtable = _Jv_VTable::new_vtable (klass->vtable_method_count);
|
klass->vtable = vtable;
|
klass->vtable = vtable;
|
|
|
// Copy the vtable of the closest superclass.
|
// Copy the vtable of the closest superclass.
|
jclass superclass = klass->superclass;
|
jclass superclass = klass->superclass;
|
{
|
{
|
JvSynchronize sync (superclass);
|
JvSynchronize sync (superclass);
|
make_vtable (superclass);
|
make_vtable (superclass);
|
}
|
}
|
for (int i = 0; i < superclass->vtable_method_count; ++i)
|
for (int i = 0; i < superclass->vtable_method_count; ++i)
|
vtable->set_method (i, superclass->vtable->get_method (i));
|
vtable->set_method (i, superclass->vtable->get_method (i));
|
|
|
// Set the class pointer and GC descriptor.
|
// Set the class pointer and GC descriptor.
|
vtable->clas = klass;
|
vtable->clas = klass;
|
vtable->gc_descr = _Jv_BuildGCDescr (klass);
|
vtable->gc_descr = _Jv_BuildGCDescr (klass);
|
|
|
// For each virtual declared in klass, set new vtable entry or
|
// For each virtual declared in klass, set new vtable entry or
|
// override an old one.
|
// override an old one.
|
set_vtable_entries (klass, vtable);
|
set_vtable_entries (klass, vtable);
|
|
|
// Note that we don't check for abstract methods here. We used to,
|
// Note that we don't check for abstract methods here. We used to,
|
// but there is a JVMS clarification that indicates that a check
|
// but there is a JVMS clarification that indicates that a check
|
// here would be too eager. And, a simple test case confirms this.
|
// here would be too eager. And, a simple test case confirms this.
|
}
|
}
|
|
|
// Lay out the class, allocating space for static fields and computing
|
// Lay out the class, allocating space for static fields and computing
|
// offsets of instance fields. The class lock must be held by the
|
// offsets of instance fields. The class lock must be held by the
|
// caller.
|
// caller.
|
void
|
void
|
_Jv_Linker::ensure_fields_laid_out (jclass klass)
|
_Jv_Linker::ensure_fields_laid_out (jclass klass)
|
{
|
{
|
if (klass->size_in_bytes != -1)
|
if (klass->size_in_bytes != -1)
|
return;
|
return;
|
|
|
// Compute the alignment for this type by searching through the
|
// Compute the alignment for this type by searching through the
|
// superclasses and finding the maximum required alignment. We
|
// superclasses and finding the maximum required alignment. We
|
// could consider caching this in the Class.
|
// could consider caching this in the Class.
|
int max_align = __alignof__ (java::lang::Object);
|
int max_align = __alignof__ (java::lang::Object);
|
jclass super = klass->getSuperclass();
|
jclass super = klass->getSuperclass();
|
while (super != NULL)
|
while (super != NULL)
|
{
|
{
|
// Ensure that our super has its super installed before
|
// Ensure that our super has its super installed before
|
// recursing.
|
// recursing.
|
wait_for_state(super, JV_STATE_LOADING);
|
wait_for_state(super, JV_STATE_LOADING);
|
ensure_fields_laid_out(super);
|
ensure_fields_laid_out(super);
|
int num = JvNumInstanceFields (super);
|
int num = JvNumInstanceFields (super);
|
_Jv_Field *field = JvGetFirstInstanceField (super);
|
_Jv_Field *field = JvGetFirstInstanceField (super);
|
while (num > 0)
|
while (num > 0)
|
{
|
{
|
int field_align = get_alignment_from_class (field->type);
|
int field_align = get_alignment_from_class (field->type);
|
if (field_align > max_align)
|
if (field_align > max_align)
|
max_align = field_align;
|
max_align = field_align;
|
++field;
|
++field;
|
--num;
|
--num;
|
}
|
}
|
super = super->getSuperclass();
|
super = super->getSuperclass();
|
}
|
}
|
|
|
int instance_size;
|
int instance_size;
|
// This is the size of the 'static' non-reference fields.
|
// This is the size of the 'static' non-reference fields.
|
int non_reference_size = 0;
|
int non_reference_size = 0;
|
// This is the size of the 'static' reference fields. We count
|
// This is the size of the 'static' reference fields. We count
|
// these separately to make it simpler for the GC to scan them.
|
// these separately to make it simpler for the GC to scan them.
|
int reference_size = 0;
|
int reference_size = 0;
|
|
|
// Although java.lang.Object is never interpreted, an interface can
|
// Although java.lang.Object is never interpreted, an interface can
|
// have a null superclass. Note that we have to lay out an
|
// have a null superclass. Note that we have to lay out an
|
// interface because it might have static fields.
|
// interface because it might have static fields.
|
if (klass->superclass)
|
if (klass->superclass)
|
instance_size = klass->superclass->size();
|
instance_size = klass->superclass->size();
|
else
|
else
|
instance_size = java::lang::Object::class$.size();
|
instance_size = java::lang::Object::class$.size();
|
|
|
klass->engine->allocate_field_initializers (klass);
|
klass->engine->allocate_field_initializers (klass);
|
|
|
for (int i = 0; i < klass->field_count; i++)
|
for (int i = 0; i < klass->field_count; i++)
|
{
|
{
|
int field_size;
|
int field_size;
|
int field_align;
|
int field_align;
|
|
|
_Jv_Field *field = &klass->fields[i];
|
_Jv_Field *field = &klass->fields[i];
|
|
|
if (! field->isRef ())
|
if (! field->isRef ())
|
{
|
{
|
// It is safe to resolve the field here, since it's a
|
// It is safe to resolve the field here, since it's a
|
// primitive class, which does not cause loading to happen.
|
// primitive class, which does not cause loading to happen.
|
resolve_field (field, klass->loader);
|
resolve_field (field, klass->loader);
|
field_size = field->type->size ();
|
field_size = field->type->size ();
|
field_align = get_alignment_from_class (field->type);
|
field_align = get_alignment_from_class (field->type);
|
}
|
}
|
else
|
else
|
{
|
{
|
field_size = sizeof (jobject);
|
field_size = sizeof (jobject);
|
field_align = __alignof__ (jobject);
|
field_align = __alignof__ (jobject);
|
}
|
}
|
|
|
field->bsize = field_size;
|
field->bsize = field_size;
|
|
|
if ((field->flags & java::lang::reflect::Modifier::STATIC))
|
if ((field->flags & java::lang::reflect::Modifier::STATIC))
|
{
|
{
|
if (field->u.addr == NULL)
|
if (field->u.addr == NULL)
|
{
|
{
|
// This computes an offset into a region we'll allocate
|
// This computes an offset into a region we'll allocate
|
// shortly, and then adds this offset to the start
|
// shortly, and then adds this offset to the start
|
// address.
|
// address.
|
if (field->isRef())
|
if (field->isRef())
|
{
|
{
|
reference_size = ROUND (reference_size, field_align);
|
reference_size = ROUND (reference_size, field_align);
|
field->u.boffset = reference_size;
|
field->u.boffset = reference_size;
|
reference_size += field_size;
|
reference_size += field_size;
|
}
|
}
|
else
|
else
|
{
|
{
|
non_reference_size = ROUND (non_reference_size, field_align);
|
non_reference_size = ROUND (non_reference_size, field_align);
|
field->u.boffset = non_reference_size;
|
field->u.boffset = non_reference_size;
|
non_reference_size += field_size;
|
non_reference_size += field_size;
|
}
|
}
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
instance_size = ROUND (instance_size, field_align);
|
instance_size = ROUND (instance_size, field_align);
|
field->u.boffset = instance_size;
|
field->u.boffset = instance_size;
|
instance_size += field_size;
|
instance_size += field_size;
|
if (field_align > max_align)
|
if (field_align > max_align)
|
max_align = field_align;
|
max_align = field_align;
|
}
|
}
|
}
|
}
|
|
|
if (reference_size != 0 || non_reference_size != 0)
|
if (reference_size != 0 || non_reference_size != 0)
|
klass->engine->allocate_static_fields (klass, reference_size,
|
klass->engine->allocate_static_fields (klass, reference_size,
|
non_reference_size);
|
non_reference_size);
|
|
|
// Set the instance size for the class. Note that first we round it
|
// Set the instance size for the class. Note that first we round it
|
// to the alignment required for this object; this keeps us in sync
|
// to the alignment required for this object; this keeps us in sync
|
// with our current ABI.
|
// with our current ABI.
|
instance_size = ROUND (instance_size, max_align);
|
instance_size = ROUND (instance_size, max_align);
|
klass->size_in_bytes = instance_size;
|
klass->size_in_bytes = instance_size;
|
}
|
}
|
|
|
// This takes the class to state JV_STATE_LINKED. The class lock must
|
// This takes the class to state JV_STATE_LINKED. The class lock must
|
// be held when calling this.
|
// be held when calling this.
|
void
|
void
|
_Jv_Linker::ensure_class_linked (jclass klass)
|
_Jv_Linker::ensure_class_linked (jclass klass)
|
{
|
{
|
if (klass->state >= JV_STATE_LINKED)
|
if (klass->state >= JV_STATE_LINKED)
|
return;
|
return;
|
|
|
int state = klass->state;
|
int state = klass->state;
|
try
|
try
|
{
|
{
|
// Short-circuit, so that mutually dependent classes are ok.
|
// Short-circuit, so that mutually dependent classes are ok.
|
klass->state = JV_STATE_LINKED;
|
klass->state = JV_STATE_LINKED;
|
|
|
_Jv_Constants *pool = &klass->constants;
|
_Jv_Constants *pool = &klass->constants;
|
|
|
// Compiled classes require that their class constants be
|
// Compiled classes require that their class constants be
|
// resolved here. However, interpreted classes need their
|
// resolved here. However, interpreted classes need their
|
// constants to be resolved lazily. If we resolve an
|
// constants to be resolved lazily. If we resolve an
|
// interpreted class' constants eagerly, we can end up with
|
// interpreted class' constants eagerly, we can end up with
|
// spurious IllegalAccessErrors when the constant pool contains
|
// spurious IllegalAccessErrors when the constant pool contains
|
// a reference to a class we can't access. This can validly
|
// a reference to a class we can't access. This can validly
|
// occur in an obscure case involving the InnerClasses
|
// occur in an obscure case involving the InnerClasses
|
// attribute.
|
// attribute.
|
if (! _Jv_IsInterpretedClass (klass))
|
if (! _Jv_IsInterpretedClass (klass))
|
{
|
{
|
// Resolve class constants first, since other constant pool
|
// Resolve class constants first, since other constant pool
|
// entries may rely on these.
|
// entries may rely on these.
|
for (int index = 1; index < pool->size; ++index)
|
for (int index = 1; index < pool->size; ++index)
|
{
|
{
|
if (pool->tags[index] == JV_CONSTANT_Class)
|
if (pool->tags[index] == JV_CONSTANT_Class)
|
// Lazily resolve the entries.
|
// Lazily resolve the entries.
|
resolve_pool_entry (klass, index, true);
|
resolve_pool_entry (klass, index, true);
|
}
|
}
|
}
|
}
|
|
|
// Resolve the remaining constant pool entries.
|
// Resolve the remaining constant pool entries.
|
for (int index = 1; index < pool->size; ++index)
|
for (int index = 1; index < pool->size; ++index)
|
{
|
{
|
jbyte tags;
|
jbyte tags;
|
_Jv_word data;
|
_Jv_word data;
|
|
|
tags = read_cpool_entry (&data, pool, index);
|
tags = read_cpool_entry (&data, pool, index);
|
if (tags == JV_CONSTANT_String)
|
if (tags == JV_CONSTANT_String)
|
{
|
{
|
data.o = _Jv_NewStringUtf8Const (data.utf8);
|
data.o = _Jv_NewStringUtf8Const (data.utf8);
|
tags |= JV_CONSTANT_ResolvedFlag;
|
tags |= JV_CONSTANT_ResolvedFlag;
|
write_cpool_entry (data, tags, pool, index);
|
write_cpool_entry (data, tags, pool, index);
|
}
|
}
|
}
|
}
|
|
|
if (klass->engine->need_resolve_string_fields())
|
if (klass->engine->need_resolve_string_fields())
|
{
|
{
|
jfieldID f = JvGetFirstStaticField (klass);
|
jfieldID f = JvGetFirstStaticField (klass);
|
for (int n = JvNumStaticFields (klass); n > 0; --n)
|
for (int n = JvNumStaticFields (klass); n > 0; --n)
|
{
|
{
|
int mod = f->getModifiers ();
|
int mod = f->getModifiers ();
|
// If we have a static String field with a non-null initial
|
// If we have a static String field with a non-null initial
|
// value, we know it points to a Utf8Const.
|
// value, we know it points to a Utf8Const.
|
|
|
// Finds out whether we have to initialize a String without the
|
// Finds out whether we have to initialize a String without the
|
// need to resolve the field.
|
// need to resolve the field.
|
if ((f->isResolved()
|
if ((f->isResolved()
|
? (f->type == &java::lang::String::class$)
|
? (f->type == &java::lang::String::class$)
|
: _Jv_equalUtf8Classnames((_Jv_Utf8Const *) f->type,
|
: _Jv_equalUtf8Classnames((_Jv_Utf8Const *) f->type,
|
java::lang::String::class$.name))
|
java::lang::String::class$.name))
|
&& (mod & java::lang::reflect::Modifier::STATIC) != 0)
|
&& (mod & java::lang::reflect::Modifier::STATIC) != 0)
|
{
|
{
|
jstring *strp = (jstring *) f->u.addr;
|
jstring *strp = (jstring *) f->u.addr;
|
if (*strp)
|
if (*strp)
|
*strp = _Jv_NewStringUtf8Const ((_Jv_Utf8Const *) *strp);
|
*strp = _Jv_NewStringUtf8Const ((_Jv_Utf8Const *) *strp);
|
}
|
}
|
f = f->getNextField ();
|
f = f->getNextField ();
|
}
|
}
|
}
|
}
|
|
|
klass->notifyAll ();
|
klass->notifyAll ();
|
|
|
_Jv_PushClass (klass);
|
_Jv_PushClass (klass);
|
}
|
}
|
catch (java::lang::Throwable *t)
|
catch (java::lang::Throwable *t)
|
{
|
{
|
klass->state = state;
|
klass->state = state;
|
throw t;
|
throw t;
|
}
|
}
|
}
|
}
|
|
|
// This ensures that symbolic superclass and superinterface references
|
// This ensures that symbolic superclass and superinterface references
|
// are resolved for the indicated class. This must be called with the
|
// are resolved for the indicated class. This must be called with the
|
// class lock held.
|
// class lock held.
|
void
|
void
|
_Jv_Linker::ensure_supers_installed (jclass klass)
|
_Jv_Linker::ensure_supers_installed (jclass klass)
|
{
|
{
|
resolve_class_ref (klass, &klass->superclass);
|
resolve_class_ref (klass, &klass->superclass);
|
// An interface won't have a superclass.
|
// An interface won't have a superclass.
|
if (klass->superclass)
|
if (klass->superclass)
|
wait_for_state (klass->superclass, JV_STATE_LOADING);
|
wait_for_state (klass->superclass, JV_STATE_LOADING);
|
|
|
for (int i = 0; i < klass->interface_count; ++i)
|
for (int i = 0; i < klass->interface_count; ++i)
|
{
|
{
|
resolve_class_ref (klass, &klass->interfaces[i]);
|
resolve_class_ref (klass, &klass->interfaces[i]);
|
wait_for_state (klass->interfaces[i], JV_STATE_LOADING);
|
wait_for_state (klass->interfaces[i], JV_STATE_LOADING);
|
}
|
}
|
}
|
}
|
|
|
// This adds missing `Miranda methods' to a class.
|
// This adds missing `Miranda methods' to a class.
|
void
|
void
|
_Jv_Linker::add_miranda_methods (jclass base, jclass iface_class)
|
_Jv_Linker::add_miranda_methods (jclass base, jclass iface_class)
|
{
|
{
|
// Note that at this point, all our supers, and the supers of all
|
// Note that at this point, all our supers, and the supers of all
|
// our superclasses and superinterfaces, will have been installed.
|
// our superclasses and superinterfaces, will have been installed.
|
|
|
for (int i = 0; i < iface_class->interface_count; ++i)
|
for (int i = 0; i < iface_class->interface_count; ++i)
|
{
|
{
|
jclass interface = iface_class->interfaces[i];
|
jclass interface = iface_class->interfaces[i];
|
|
|
for (int j = 0; j < interface->method_count; ++j)
|
for (int j = 0; j < interface->method_count; ++j)
|
{
|
{
|
_Jv_Method *meth = &interface->methods[j];
|
_Jv_Method *meth = &interface->methods[j];
|
// Don't bother with <clinit>.
|
// Don't bother with <clinit>.
|
if (meth->name->first() == '<')
|
if (meth->name->first() == '<')
|
continue;
|
continue;
|
_Jv_Method *new_meth = _Jv_LookupDeclaredMethod (base, meth->name,
|
_Jv_Method *new_meth = _Jv_LookupDeclaredMethod (base, meth->name,
|
meth->signature);
|
meth->signature);
|
if (! new_meth)
|
if (! new_meth)
|
{
|
{
|
// We assume that such methods are very unlikely, so we
|
// We assume that such methods are very unlikely, so we
|
// just reallocate the method array each time one is
|
// just reallocate the method array each time one is
|
// found. This greatly simplifies the searching --
|
// found. This greatly simplifies the searching --
|
// otherwise we have to make sure that each such method
|
// otherwise we have to make sure that each such method
|
// found is really unique among all superinterfaces.
|
// found is really unique among all superinterfaces.
|
int new_count = base->method_count + 1;
|
int new_count = base->method_count + 1;
|
_Jv_Method *new_m
|
_Jv_Method *new_m
|
= (_Jv_Method *) _Jv_AllocRawObj (sizeof (_Jv_Method)
|
= (_Jv_Method *) _Jv_AllocRawObj (sizeof (_Jv_Method)
|
* new_count);
|
* new_count);
|
memcpy (new_m, base->methods,
|
memcpy (new_m, base->methods,
|
sizeof (_Jv_Method) * base->method_count);
|
sizeof (_Jv_Method) * base->method_count);
|
|
|
// Add new method.
|
// Add new method.
|
new_m[base->method_count] = *meth;
|
new_m[base->method_count] = *meth;
|
new_m[base->method_count].index = (_Jv_ushort) -1;
|
new_m[base->method_count].index = (_Jv_ushort) -1;
|
new_m[base->method_count].accflags
|
new_m[base->method_count].accflags
|
|= java::lang::reflect::Modifier::INVISIBLE;
|
|= java::lang::reflect::Modifier::INVISIBLE;
|
|
|
base->methods = new_m;
|
base->methods = new_m;
|
base->method_count = new_count;
|
base->method_count = new_count;
|
}
|
}
|
}
|
}
|
|
|
wait_for_state (interface, JV_STATE_LOADED);
|
wait_for_state (interface, JV_STATE_LOADED);
|
add_miranda_methods (base, interface);
|
add_miranda_methods (base, interface);
|
}
|
}
|
}
|
}
|
|
|
// This ensures that the class' method table is "complete". This must
|
// This ensures that the class' method table is "complete". This must
|
// be called with the class lock held.
|
// be called with the class lock held.
|
void
|
void
|
_Jv_Linker::ensure_method_table_complete (jclass klass)
|
_Jv_Linker::ensure_method_table_complete (jclass klass)
|
{
|
{
|
if (klass->vtable != NULL)
|
if (klass->vtable != NULL)
|
return;
|
return;
|
|
|
// We need our superclass to have its own Miranda methods installed.
|
// We need our superclass to have its own Miranda methods installed.
|
if (! klass->isInterface())
|
if (! klass->isInterface())
|
wait_for_state (klass->getSuperclass (), JV_STATE_LOADED);
|
wait_for_state (klass->getSuperclass (), JV_STATE_LOADED);
|
|
|
// A class might have so-called "Miranda methods". This is a method
|
// A class might have so-called "Miranda methods". This is a method
|
// that is declared in an interface and not re-declared in an
|
// that is declared in an interface and not re-declared in an
|
// abstract class. Some compilers don't emit declarations for such
|
// abstract class. Some compilers don't emit declarations for such
|
// methods in the class; this will give us problems since we expect
|
// methods in the class; this will give us problems since we expect
|
// a declaration for any method requiring a vtable entry. We handle
|
// a declaration for any method requiring a vtable entry. We handle
|
// this here by searching for such methods and constructing new
|
// this here by searching for such methods and constructing new
|
// internal declarations for them. Note that we do this
|
// internal declarations for them. Note that we do this
|
// unconditionally, and not just for abstract classes, to correctly
|
// unconditionally, and not just for abstract classes, to correctly
|
// account for cases where a class is modified to be concrete and
|
// account for cases where a class is modified to be concrete and
|
// still incorrectly inherits an abstract method.
|
// still incorrectly inherits an abstract method.
|
int pre_count = klass->method_count;
|
int pre_count = klass->method_count;
|
add_miranda_methods (klass, klass);
|
add_miranda_methods (klass, klass);
|
|
|
// Let the execution engine know that we've added methods.
|
// Let the execution engine know that we've added methods.
|
if (klass->method_count != pre_count)
|
if (klass->method_count != pre_count)
|
klass->engine->post_miranda_hook(klass);
|
klass->engine->post_miranda_hook(klass);
|
}
|
}
|
|
|
// Verify a class. Must be called with class lock held.
|
// Verify a class. Must be called with class lock held.
|
void
|
void
|
_Jv_Linker::verify_class (jclass klass)
|
_Jv_Linker::verify_class (jclass klass)
|
{
|
{
|
klass->engine->verify(klass);
|
klass->engine->verify(klass);
|
}
|
}
|
|
|
// Check the assertions contained in the type assertion table for KLASS.
|
// Check the assertions contained in the type assertion table for KLASS.
|
// This is the equivilent of bytecode verification for native, BC-ABI code.
|
// This is the equivilent of bytecode verification for native, BC-ABI code.
|
void
|
void
|
_Jv_Linker::verify_type_assertions (jclass klass)
|
_Jv_Linker::verify_type_assertions (jclass klass)
|
{
|
{
|
if (debug_link)
|
if (debug_link)
|
fprintf (stderr, "Evaluating type assertions for %s:\n",
|
fprintf (stderr, "Evaluating type assertions for %s:\n",
|
klass->name->chars());
|
klass->name->chars());
|
|
|
if (klass->assertion_table == NULL)
|
if (klass->assertion_table == NULL)
|
return;
|
return;
|
|
|
for (int i = 0;; i++)
|
for (int i = 0;; i++)
|
{
|
{
|
int assertion_code = klass->assertion_table[i].assertion_code;
|
int assertion_code = klass->assertion_table[i].assertion_code;
|
_Jv_Utf8Const *op1 = klass->assertion_table[i].op1;
|
_Jv_Utf8Const *op1 = klass->assertion_table[i].op1;
|
_Jv_Utf8Const *op2 = klass->assertion_table[i].op2;
|
_Jv_Utf8Const *op2 = klass->assertion_table[i].op2;
|
|
|
if (assertion_code == JV_ASSERT_END_OF_TABLE)
|
if (assertion_code == JV_ASSERT_END_OF_TABLE)
|
return;
|
return;
|
else if (assertion_code == JV_ASSERT_TYPES_COMPATIBLE)
|
else if (assertion_code == JV_ASSERT_TYPES_COMPATIBLE)
|
{
|
{
|
if (debug_link)
|
if (debug_link)
|
{
|
{
|
fprintf (stderr, " code=%i, operand A=%s B=%s\n",
|
fprintf (stderr, " code=%i, operand A=%s B=%s\n",
|
assertion_code, op1->chars(), op2->chars());
|
assertion_code, op1->chars(), op2->chars());
|
}
|
}
|
|
|
// The operands are class signatures. op1 is the source,
|
// The operands are class signatures. op1 is the source,
|
// op2 is the target.
|
// op2 is the target.
|
jclass cl1 = _Jv_FindClassFromSignature (op1->chars(),
|
jclass cl1 = _Jv_FindClassFromSignature (op1->chars(),
|
klass->getClassLoaderInternal());
|
klass->getClassLoaderInternal());
|
jclass cl2 = _Jv_FindClassFromSignature (op2->chars(),
|
jclass cl2 = _Jv_FindClassFromSignature (op2->chars(),
|
klass->getClassLoaderInternal());
|
klass->getClassLoaderInternal());
|
|
|
// If the class doesn't exist, ignore the assertion. An exception
|
// If the class doesn't exist, ignore the assertion. An exception
|
// will be thrown later if an attempt is made to actually
|
// will be thrown later if an attempt is made to actually
|
// instantiate the class.
|
// instantiate the class.
|
if (cl1 == NULL || cl2 == NULL)
|
if (cl1 == NULL || cl2 == NULL)
|
continue;
|
continue;
|
|
|
if (! _Jv_IsAssignableFromSlow (cl1, cl2))
|
if (! _Jv_IsAssignableFromSlow (cl1, cl2))
|
{
|
{
|
jstring s = JvNewStringUTF ("Incompatible types: In class ");
|
jstring s = JvNewStringUTF ("Incompatible types: In class ");
|
s = s->concat (klass->getName());
|
s = s->concat (klass->getName());
|
s = s->concat (JvNewStringUTF (": "));
|
s = s->concat (JvNewStringUTF (": "));
|
s = s->concat (cl1->getName());
|
s = s->concat (cl1->getName());
|
s = s->concat (JvNewStringUTF (" is not assignable to "));
|
s = s->concat (JvNewStringUTF (" is not assignable to "));
|
s = s->concat (cl2->getName());
|
s = s->concat (cl2->getName());
|
throw new java::lang::VerifyError (s);
|
throw new java::lang::VerifyError (s);
|
}
|
}
|
}
|
}
|
else if (assertion_code == JV_ASSERT_IS_INSTANTIABLE)
|
else if (assertion_code == JV_ASSERT_IS_INSTANTIABLE)
|
{
|
{
|
// TODO: Implement this.
|
// TODO: Implement this.
|
}
|
}
|
// Unknown assertion codes are ignored, for forwards-compatibility.
|
// Unknown assertion codes are ignored, for forwards-compatibility.
|
}
|
}
|
}
|
}
|
|
|
void
|
void
|
_Jv_Linker::print_class_loaded (jclass klass)
|
_Jv_Linker::print_class_loaded (jclass klass)
|
{
|
{
|
char *codesource = NULL;
|
char *codesource = NULL;
|
if (klass->protectionDomain != NULL)
|
if (klass->protectionDomain != NULL)
|
{
|
{
|
java::security::CodeSource *cs
|
java::security::CodeSource *cs
|
= klass->protectionDomain->getCodeSource();
|
= klass->protectionDomain->getCodeSource();
|
if (cs != NULL)
|
if (cs != NULL)
|
{
|
{
|
jstring css = cs->toString();
|
jstring css = cs->toString();
|
int len = JvGetStringUTFLength(css);
|
int len = JvGetStringUTFLength(css);
|
codesource = (char *) _Jv_AllocBytes(len + 1);
|
codesource = (char *) _Jv_AllocBytes(len + 1);
|
JvGetStringUTFRegion(css, 0, css->length(), codesource);
|
JvGetStringUTFRegion(css, 0, css->length(), codesource);
|
codesource[len] = '\0';
|
codesource[len] = '\0';
|
}
|
}
|
}
|
}
|
if (codesource == NULL)
|
if (codesource == NULL)
|
codesource = (char *) "<no code source>";
|
codesource = (char *) "<no code source>";
|
|
|
const char *abi;
|
const char *abi;
|
if (_Jv_IsInterpretedClass (klass))
|
if (_Jv_IsInterpretedClass (klass))
|
abi = "bytecode";
|
abi = "bytecode";
|
else if (_Jv_IsBinaryCompatibilityABI (klass))
|
else if (_Jv_IsBinaryCompatibilityABI (klass))
|
abi = "BC-compiled";
|
abi = "BC-compiled";
|
else
|
else
|
abi = "pre-compiled";
|
abi = "pre-compiled";
|
|
|
fprintf (stderr, "[Loaded (%s) %s from %s]\n", abi, klass->name->chars(),
|
fprintf (stderr, "[Loaded (%s) %s from %s]\n", abi, klass->name->chars(),
|
codesource);
|
codesource);
|
}
|
}
|
|
|
// FIXME: mention invariants and stuff.
|
// FIXME: mention invariants and stuff.
|
void
|
void
|
_Jv_Linker::wait_for_state (jclass klass, int state)
|
_Jv_Linker::wait_for_state (jclass klass, int state)
|
{
|
{
|
if (klass->state >= state)
|
if (klass->state >= state)
|
return;
|
return;
|
|
|
java::lang::Thread *self = java::lang::Thread::currentThread();
|
java::lang::Thread *self = java::lang::Thread::currentThread();
|
|
|
{
|
{
|
JvSynchronize sync (klass);
|
JvSynchronize sync (klass);
|
|
|
// This is similar to the strategy for class initialization. If we
|
// This is similar to the strategy for class initialization. If we
|
// already hold the lock, just leave.
|
// already hold the lock, just leave.
|
while (klass->state <= state
|
while (klass->state <= state
|
&& klass->thread
|
&& klass->thread
|
&& klass->thread != self)
|
&& klass->thread != self)
|
klass->wait ();
|
klass->wait ();
|
|
|
java::lang::Thread *save = klass->thread;
|
java::lang::Thread *save = klass->thread;
|
klass->thread = self;
|
klass->thread = self;
|
|
|
// Allocate memory for static fields and constants.
|
// Allocate memory for static fields and constants.
|
if (GC_base (klass) && klass->fields && ! GC_base (klass->fields))
|
if (GC_base (klass) && klass->fields && ! GC_base (klass->fields))
|
{
|
{
|
jsize count = klass->field_count;
|
jsize count = klass->field_count;
|
if (count)
|
if (count)
|
{
|
{
|
_Jv_Field* fields
|
_Jv_Field* fields
|
= (_Jv_Field*) _Jv_AllocRawObj (count * sizeof (_Jv_Field));
|
= (_Jv_Field*) _Jv_AllocRawObj (count * sizeof (_Jv_Field));
|
memcpy ((void*)fields,
|
memcpy ((void*)fields,
|
(void*)klass->fields,
|
(void*)klass->fields,
|
count * sizeof (_Jv_Field));
|
count * sizeof (_Jv_Field));
|
klass->fields = fields;
|
klass->fields = fields;
|
}
|
}
|
}
|
}
|
|
|
// Print some debugging info if requested. Interpreted classes are
|
// Print some debugging info if requested. Interpreted classes are
|
// handled in defineclass, so we only need to handle the two
|
// handled in defineclass, so we only need to handle the two
|
// pre-compiled cases here.
|
// pre-compiled cases here.
|
if ((klass->state == JV_STATE_COMPILED
|
if ((klass->state == JV_STATE_COMPILED
|
|| klass->state == JV_STATE_PRELOADING)
|
|| klass->state == JV_STATE_PRELOADING)
|
&& ! _Jv_IsInterpretedClass (klass))
|
&& ! _Jv_IsInterpretedClass (klass))
|
{
|
{
|
if (gcj::verbose_class_flag)
|
if (gcj::verbose_class_flag)
|
print_class_loaded (klass);
|
print_class_loaded (klass);
|
++gcj::loadedClasses;
|
++gcj::loadedClasses;
|
}
|
}
|
|
|
try
|
try
|
{
|
{
|
if (state >= JV_STATE_LOADING && klass->state < JV_STATE_LOADING)
|
if (state >= JV_STATE_LOADING && klass->state < JV_STATE_LOADING)
|
{
|
{
|
ensure_supers_installed (klass);
|
ensure_supers_installed (klass);
|
klass->set_state(JV_STATE_LOADING);
|
klass->set_state(JV_STATE_LOADING);
|
}
|
}
|
|
|
if (state >= JV_STATE_LOADED && klass->state < JV_STATE_LOADED)
|
if (state >= JV_STATE_LOADED && klass->state < JV_STATE_LOADED)
|
{
|
{
|
ensure_method_table_complete (klass);
|
ensure_method_table_complete (klass);
|
klass->set_state(JV_STATE_LOADED);
|
klass->set_state(JV_STATE_LOADED);
|
}
|
}
|
|
|
if (state >= JV_STATE_PREPARED && klass->state < JV_STATE_PREPARED)
|
if (state >= JV_STATE_PREPARED && klass->state < JV_STATE_PREPARED)
|
{
|
{
|
ensure_fields_laid_out (klass);
|
ensure_fields_laid_out (klass);
|
make_vtable (klass);
|
make_vtable (klass);
|
layout_interface_methods (klass);
|
layout_interface_methods (klass);
|
prepare_constant_time_tables (klass);
|
prepare_constant_time_tables (klass);
|
klass->set_state(JV_STATE_PREPARED);
|
klass->set_state(JV_STATE_PREPARED);
|
}
|
}
|
|
|
if (state >= JV_STATE_LINKED && klass->state < JV_STATE_LINKED)
|
if (state >= JV_STATE_LINKED && klass->state < JV_STATE_LINKED)
|
{
|
{
|
if (gcj::verifyClasses)
|
if (gcj::verifyClasses)
|
verify_class (klass);
|
verify_class (klass);
|
|
|
ensure_class_linked (klass);
|
ensure_class_linked (klass);
|
link_exception_table (klass);
|
link_exception_table (klass);
|
link_symbol_table (klass);
|
link_symbol_table (klass);
|
klass->set_state(JV_STATE_LINKED);
|
klass->set_state(JV_STATE_LINKED);
|
}
|
}
|
}
|
}
|
catch (java::lang::Throwable *exc)
|
catch (java::lang::Throwable *exc)
|
{
|
{
|
klass->thread = save;
|
klass->thread = save;
|
klass->set_state(JV_STATE_ERROR);
|
klass->set_state(JV_STATE_ERROR);
|
throw exc;
|
throw exc;
|
}
|
}
|
|
|
klass->thread = save;
|
klass->thread = save;
|
|
|
if (klass->state == JV_STATE_ERROR)
|
if (klass->state == JV_STATE_ERROR)
|
throw new java::lang::LinkageError;
|
throw new java::lang::LinkageError;
|
}
|
}
|
|
|
#ifdef INTERPRETER
|
#ifdef INTERPRETER
|
if (__builtin_expect (klass->state == JV_STATE_LINKED, false)
|
if (__builtin_expect (klass->state == JV_STATE_LINKED, false)
|
&& state >= JV_STATE_LINKED
|
&& state >= JV_STATE_LINKED
|
&& JVMTI_REQUESTED_EVENT (ClassPrepare))
|
&& JVMTI_REQUESTED_EVENT (ClassPrepare))
|
{
|
{
|
JNIEnv *jni_env = _Jv_GetCurrentJNIEnv ();
|
JNIEnv *jni_env = _Jv_GetCurrentJNIEnv ();
|
_Jv_JVMTI_PostEvent (JVMTI_EVENT_CLASS_PREPARE, self, jni_env,
|
_Jv_JVMTI_PostEvent (JVMTI_EVENT_CLASS_PREPARE, self, jni_env,
|
klass);
|
klass);
|
}
|
}
|
#endif
|
#endif
|
}
|
}
|
|
|
