blob: 59a636513d95ae4b2154b7b392001757ed73a9f9 [file] [log] [blame]
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08001/*
2 * Copyright (C) 2008 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17/*
18 * Class loading, including bootstrap class loader, linking, and
19 * initialization.
20 */
21
22#define LOG_CLASS_LOADING 0
23
24#include "Dalvik.h"
25#include "libdex/DexClass.h"
26
27#include <stdlib.h>
28#include <stddef.h>
29#include <sys/stat.h>
30
31#if LOG_CLASS_LOADING
32#include <unistd.h>
33#include <pthread.h>
34#include <cutils/process_name.h>
35#include <sys/types.h>
36#endif
37
38/*
39Notes on Linking and Verification
40
41The basic way to retrieve a class is to load it, make sure its superclass
42and interfaces are available, prepare its fields, and return it. This gets
43a little more complicated when multiple threads can be trying to retrieve
44the class simultaneously, requiring that we use the class object's monitor
45to keep things orderly.
46
47The linking (preparing, resolving) of a class can cause us to recursively
48load superclasses and interfaces. Barring circular references (e.g. two
49classes that are superclasses of each other), this will complete without
50the loader attempting to access the partially-linked class.
51
52With verification, the situation is different. If we try to verify
53every class as we load it, we quickly run into trouble. Even the lowly
54java.lang.Object requires CloneNotSupportedException; follow the list
55of referenced classes and you can head down quite a trail. The trail
56eventually leads back to Object, which is officially not fully-formed yet.
57
58The VM spec (specifically, v2 5.4.1) notes that classes pulled in during
59verification do not need to be prepared or verified. This means that we
60are allowed to have loaded but unverified classes. It further notes that
61the class must be verified before it is initialized, which allows us to
62defer verification for all classes until class init. You can't execute
63code or access fields in an uninitialized class, so this is safe.
64
65It also allows a more peaceful coexistence between verified and
66unverifiable code. If class A refers to B, and B has a method that
67refers to a bogus class C, should we allow class A to be verified?
68If A only exercises parts of B that don't use class C, then there is
69nothing wrong with running code in A. We can fully verify both A and B,
70and allow execution to continue until B causes initialization of C. The
71VerifyError is thrown close to the point of use.
72
73This gets a little weird with java.lang.Class, which is the only class
74that can be instantiated before it is initialized. We have to force
75initialization right after the class is created, because by definition we
76have instances of it on the heap, and somebody might get a class object and
77start making virtual calls on it. We can end up going recursive during
78verification of java.lang.Class, but we avoid that by checking to see if
79verification is already in progress before we try to initialize it.
80*/
81
82/*
83Notes on class loaders and interaction with optimization / verification
84
85In what follows, "pre-verification" and "optimization" are the steps
86performed by the dexopt command, which attempts to verify and optimize
87classes as part of unpacking jar files and storing the DEX data in the
88dalvik-cache directory. These steps are performed by loading the DEX
89files directly, without any assistance from ClassLoader instances.
90
91When we pre-verify and optimize a class in a DEX file, we make some
92assumptions about where the class loader will go to look for classes.
93If we can't guarantee those assumptions, e.g. because a class ("AppClass")
94references something not defined in the bootstrap jars or the AppClass jar,
95we can't pre-verify or optimize the class.
96
97The VM doesn't define the behavior of user-defined class loaders.
98For example, suppose application class AppClass, loaded by UserLoader,
99has a method that creates a java.lang.String. The first time
100AppClass.stringyMethod tries to do something with java.lang.String, it
101asks UserLoader to find it. UserLoader is expected to defer to its parent
102loader, but isn't required to. UserLoader might provide a replacement
103for String.
104
105We can run into trouble if we pre-verify AppClass with the assumption that
106java.lang.String will come from core.jar, and don't verify this assumption
107at runtime. There are two places that an alternate implementation of
108java.lang.String can come from: the AppClass jar, or from some other jar
109that UserLoader knows about. (Someday UserLoader will be able to generate
110some bytecode and call DefineClass, but not yet.)
111
112To handle the first situation, the pre-verifier will explicitly check for
113conflicts between the class being optimized/verified and the bootstrap
114classes. If an app jar contains a class that has the same package and
115class name as a class in a bootstrap jar, the verification resolver refuses
116to find either, which will block pre-verification and optimization on
117classes that reference ambiguity. The VM will postpone verification of
118the app class until first load.
119
120For the second situation, we need to ensure that all references from a
121pre-verified class are satisified by the class' jar or earlier bootstrap
122jars. In concrete terms: when resolving a reference to NewClass,
123which was caused by a reference in class AppClass, we check to see if
124AppClass was pre-verified. If so, we require that NewClass comes out
125of either the AppClass jar or one of the jars in the bootstrap path.
126(We may not control the class loaders, but we do manage the DEX files.
127We can verify that it's either (loader==null && dexFile==a_boot_dex)
128or (loader==UserLoader && dexFile==AppClass.dexFile). Classes from
129DefineClass can't be pre-verified, so this doesn't apply.)
130
131This should ensure that you can't "fake out" the pre-verifier by creating
132a user-defined class loader that replaces system classes. It should
133also ensure that you can write such a loader and have it work in the
134expected fashion; all you lose is some performance due to "just-in-time
135verification" and the lack of DEX optimizations.
136
137There is a "back door" of sorts in the class resolution check, due to
138the fact that the "class ref" entries are shared between the bytecode
139and meta-data references (e.g. annotations and exception handler lists).
140The class references in annotations have no bearing on class verification,
141so when a class does an annotation query that causes a class reference
142index to be resolved, we don't want to fail just because the calling
143class was pre-verified and the resolved class is in some random DEX file.
144The successful resolution adds the class to the "resolved classes" table,
145so when optimized bytecode references it we don't repeat the resolve-time
146check. We can avoid this by not updating the "resolved classes" table
147when the class reference doesn't come out of something that has been
148checked by the verifier, but that has a nonzero performance impact.
149Since the ultimate goal of this test is to catch an unusual situation
150(user-defined class loaders redefining core classes), the added caution
151may not be worth the performance hit.
152*/
153
Andy McFadden7ccb7a62009-05-15 13:44:29 -0700154/*
155 * Class serial numbers start at this value. We use a nonzero initial
156 * value so they stand out in binary dumps (e.g. hprof output).
157 */
Barry Hayes2c987472009-04-06 10:03:48 -0700158#define INITIAL_CLASS_SERIAL_NUMBER 0x50000000
Andy McFadden7ccb7a62009-05-15 13:44:29 -0700159
160/*
161 * Constant used to size an auxillary class object data structure.
162 * For optimum memory use this should be equal to or slightly larger than
163 * the number of classes loaded when the zygote finishes initializing.
164 */
165#define ZYGOTE_CLASS_CUTOFF 2304
Barry Hayes2c987472009-04-06 10:03:48 -0700166
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800167static ClassPathEntry* processClassPath(const char* pathStr, bool isBootstrap);
168static void freeCpeArray(ClassPathEntry* cpe);
169
170static ClassObject* findClassFromLoaderNoInit(
171 const char* descriptor, Object* loader);
172static ClassObject* findClassNoInit(const char* descriptor, Object* loader,\
173 DvmDex* pDvmDex);
174static ClassObject* loadClassFromDex(DvmDex* pDvmDex,
175 const DexClassDef* pClassDef, Object* loader);
176static void loadMethodFromDex(ClassObject* clazz, const DexMethod* pDexMethod,\
177 Method* meth);
178static int computeJniArgInfo(const DexProto* proto);
179static void loadSFieldFromDex(ClassObject* clazz,
180 const DexField* pDexSField, StaticField* sfield);
181static void loadIFieldFromDex(ClassObject* clazz,
182 const DexField* pDexIField, InstField* field);
183static void freeMethodInnards(Method* meth);
184static bool createVtable(ClassObject* clazz);
185static bool createIftable(ClassObject* clazz);
186static bool insertMethodStubs(ClassObject* clazz);
187static bool computeFieldOffsets(ClassObject* clazz);
188static void throwEarlierClassFailure(ClassObject* clazz);
189
190#if LOG_CLASS_LOADING
191/*
192 * Logs information about a class loading with given timestamp.
193 *
194 * TODO: In the case where we fail in dvmLinkClass() and log the class as closing (type='<'),
195 * it would probably be better to use a new type code to indicate the failure. This change would
196 * require a matching change in the parser and analysis code in frameworks/base/tools/preload.
197 */
198static void logClassLoadWithTime(char type, ClassObject* clazz, u8 time) {
199 pid_t ppid = getppid();
200 pid_t pid = getpid();
201 unsigned int tid = (unsigned int) pthread_self();
202
203 LOG(LOG_INFO, "PRELOAD", "%c%d:%d:%d:%s:%d:%s:%lld\n", type, ppid, pid, tid,
204 get_process_name(), (int) clazz->classLoader, clazz->descriptor,
205 time);
206}
207
208/*
209 * Logs information about a class loading.
210 */
211static void logClassLoad(char type, ClassObject* clazz) {
212 logClassLoadWithTime(type, clazz, dvmGetThreadCpuTimeNsec());
213}
214#endif
215
216/*
217 * Some LinearAlloc unit tests.
218 */
219static void linearAllocTests()
220{
221 char* fiddle;
222 int try = 1;
223
224 switch (try) {
225 case 0:
226 fiddle = dvmLinearAlloc(NULL, 3200-28);
227 dvmLinearReadOnly(NULL, fiddle);
228 break;
229 case 1:
230 fiddle = dvmLinearAlloc(NULL, 3200-24);
231 dvmLinearReadOnly(NULL, fiddle);
232 break;
233 case 2:
234 fiddle = dvmLinearAlloc(NULL, 3200-20);
235 dvmLinearReadOnly(NULL, fiddle);
236 break;
237 case 3:
238 fiddle = dvmLinearAlloc(NULL, 3200-16);
239 dvmLinearReadOnly(NULL, fiddle);
240 break;
241 case 4:
242 fiddle = dvmLinearAlloc(NULL, 3200-12);
243 dvmLinearReadOnly(NULL, fiddle);
244 break;
245 }
246 fiddle = dvmLinearAlloc(NULL, 896);
247 dvmLinearReadOnly(NULL, fiddle);
248 fiddle = dvmLinearAlloc(NULL, 20); // watch addr of this alloc
249 dvmLinearReadOnly(NULL, fiddle);
250
251 fiddle = dvmLinearAlloc(NULL, 1);
252 fiddle[0] = 'q';
253 dvmLinearReadOnly(NULL, fiddle);
254 fiddle = dvmLinearAlloc(NULL, 4096);
255 fiddle[0] = 'x';
256 fiddle[4095] = 'y';
257 dvmLinearReadOnly(NULL, fiddle);
258 dvmLinearFree(NULL, fiddle);
259 fiddle = dvmLinearAlloc(NULL, 0);
260 dvmLinearReadOnly(NULL, fiddle);
261 fiddle = dvmLinearRealloc(NULL, fiddle, 12);
262 fiddle[11] = 'z';
263 dvmLinearReadOnly(NULL, fiddle);
264 fiddle = dvmLinearRealloc(NULL, fiddle, 5);
265 dvmLinearReadOnly(NULL, fiddle);
266 fiddle = dvmLinearAlloc(NULL, 17001);
267 fiddle[0] = 'x';
268 fiddle[17000] = 'y';
269 dvmLinearReadOnly(NULL, fiddle);
270
271 char* str = dvmLinearStrdup(NULL, "This is a test!");
272 LOGI("GOT: '%s'\n", str);
273
274 dvmLinearAllocDump(NULL);
275 dvmLinearFree(NULL, str);
276}
277
278/*
279 * Initialize the bootstrap class loader.
280 *
281 * Call this after the bootclasspath string has been finalized.
282 */
283bool dvmClassStartup(void)
284{
285 ClassObject* unlinkedClass;
286
287 /* make this a requirement -- don't currently support dirs in path */
288 if (strcmp(gDvm.bootClassPathStr, ".") == 0) {
289 LOGE("ERROR: must specify non-'.' bootclasspath\n");
290 return false;
291 }
292
293 gDvm.loadedClasses =
294 dvmHashTableCreate(256, (HashFreeFunc) dvmFreeClassInnards);
295
296 gDvm.pBootLoaderAlloc = dvmLinearAllocCreate(NULL);
297 if (gDvm.pBootLoaderAlloc == NULL)
298 return false;
299
300 if (false) {
301 linearAllocTests();
302 exit(0);
303 }
304
305 /*
306 * Class serial number. We start with a high value to make it distinct
307 * in binary dumps (e.g. hprof).
308 */
Barry Hayes2c987472009-04-06 10:03:48 -0700309 gDvm.classSerialNumber = INITIAL_CLASS_SERIAL_NUMBER;
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800310
Barry Hayes2c987472009-04-06 10:03:48 -0700311 /* Set up the table we'll use for tracking initiating loaders for
312 * early classes.
313 * If it's NULL, we just fall back to the InitiatingLoaderList in the
314 * ClassObject, so it's not fatal to fail this allocation.
315 */
316 gDvm.initiatingLoaderList =
317 calloc(ZYGOTE_CLASS_CUTOFF, sizeof(InitiatingLoaderList));
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800318
319 /* This placeholder class is used while a ClassObject is
320 * loading/linking so those not in the know can still say
321 * "obj->clazz->...".
322 */
323 unlinkedClass = &gDvm.unlinkedJavaLangClassObject;
324
325 memset(unlinkedClass, 0, sizeof(*unlinkedClass));
326
327 /* Set obj->clazz to NULL so anyone who gets too interested
328 * in the fake class will crash.
329 */
330 DVM_OBJECT_INIT(&unlinkedClass->obj, NULL);
331 unlinkedClass->descriptor = "!unlinkedClass";
332 dvmSetClassSerialNumber(unlinkedClass);
333
334 gDvm.unlinkedJavaLangClass = unlinkedClass;
335
336 /*
337 * Process the bootstrap class path. This means opening the specified
338 * DEX or Jar files and possibly running them through the optimizer.
339 */
340 assert(gDvm.bootClassPath == NULL);
341 processClassPath(gDvm.bootClassPathStr, true);
342
343 if (gDvm.bootClassPath == NULL)
344 return false;
345
346 return true;
347}
348
349/*
350 * Clean up.
351 */
352void dvmClassShutdown(void)
353{
354 int i;
355
356 /* discard all system-loaded classes */
357 dvmHashTableFree(gDvm.loadedClasses);
358 gDvm.loadedClasses = NULL;
359
360 /* discard primitive classes created for arrays */
361 for (i = 0; i < PRIM_MAX; i++)
362 dvmFreeClassInnards(gDvm.primitiveClass[i]);
363
364 /* this closes DEX files, JAR files, etc. */
365 freeCpeArray(gDvm.bootClassPath);
366 gDvm.bootClassPath = NULL;
367
368 dvmLinearAllocDestroy(NULL);
Barry Hayes2c987472009-04-06 10:03:48 -0700369
370 free(gDvm.initiatingLoaderList);
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800371}
372
373
374/*
375 * ===========================================================================
376 * Bootstrap class loader
377 * ===========================================================================
378 */
379
380/*
381 * Dump the contents of a ClassPathEntry array.
382 */
383static void dumpClassPath(const ClassPathEntry* cpe)
384{
385 int idx = 0;
386
387 while (cpe->kind != kCpeLastEntry) {
388 const char* kindStr;
389
390 switch (cpe->kind) {
391 case kCpeDir: kindStr = "dir"; break;
392 case kCpeJar: kindStr = "jar"; break;
393 case kCpeDex: kindStr = "dex"; break;
394 default: kindStr = "???"; break;
395 }
396
397 LOGI(" %2d: type=%s %s %p\n", idx, kindStr, cpe->fileName, cpe->ptr);
398 if (CALC_CACHE_STATS && cpe->kind == kCpeJar) {
399 JarFile* pJarFile = (JarFile*) cpe->ptr;
400 DvmDex* pDvmDex = dvmGetJarFileDex(pJarFile);
401 dvmDumpAtomicCacheStats(pDvmDex->pInterfaceCache);
402 }
403
404 cpe++;
405 idx++;
406 }
407}
408
409/*
410 * Dump the contents of the bootstrap class path.
411 */
412void dvmDumpBootClassPath(void)
413{
414 dumpClassPath(gDvm.bootClassPath);
415}
416
417/*
418 * Returns "true" if the class path contains the specified path.
419 */
420bool dvmClassPathContains(const ClassPathEntry* cpe, const char* path)
421{
422 while (cpe->kind != kCpeLastEntry) {
423 if (strcmp(cpe->fileName, path) == 0)
424 return true;
425
426 cpe++;
427 }
428 return false;
429}
430
431/*
432 * Free an array of ClassPathEntry structs.
433 *
434 * We release the contents of each entry, then free the array itself.
435 */
436static void freeCpeArray(ClassPathEntry* cpe)
437{
438 ClassPathEntry* cpeStart = cpe;
439
440 if (cpe == NULL)
441 return;
442
443 while (cpe->kind != kCpeLastEntry) {
444 switch (cpe->kind) {
445 case kCpeJar:
446 /* free JarFile */
447 dvmJarFileFree((JarFile*) cpe->ptr);
448 break;
449 case kCpeDex:
450 /* free RawDexFile */
451 dvmRawDexFileFree((RawDexFile*) cpe->ptr);
452 break;
453 default:
454 /* e.g. kCpeDir */
455 assert(cpe->ptr == NULL);
456 break;
457 }
458
459 free(cpe->fileName);
460 cpe++;
461 }
462
463 free(cpeStart);
464}
465
466/*
467 * Prepare a ClassPathEntry struct, which at this point only has a valid
468 * filename. We need to figure out what kind of file it is, and for
469 * everything other than directories we need to open it up and see
470 * what's inside.
471 */
472static bool prepareCpe(ClassPathEntry* cpe, bool isBootstrap)
473{
474 JarFile* pJarFile = NULL;
475 RawDexFile* pRawDexFile = NULL;
476 struct stat sb;
477 int cc;
478
479 cc = stat(cpe->fileName, &sb);
480 if (cc < 0) {
481 LOGW("Unable to stat classpath element '%s'\n", cpe->fileName);
482 return false;
483 }
484 if (S_ISDIR(sb.st_mode)) {
485 /*
486 * The directory will usually have .class files in subdirectories,
487 * which may be a few levels down. Doing a recursive scan and
488 * caching the results would help us avoid hitting the filesystem
489 * on misses. Whether or not this is of measureable benefit
490 * depends on a number of factors, but most likely it is not
491 * worth the effort (especially since most of our stuff will be
492 * in DEX or JAR).
493 */
494 cpe->kind = kCpeDir;
495 assert(cpe->ptr == NULL);
496 return true;
497 }
498
499 if (dvmJarFileOpen(cpe->fileName, NULL, &pJarFile, isBootstrap) == 0) {
500 cpe->kind = kCpeJar;
501 cpe->ptr = pJarFile;
502 return true;
503 }
504
505 // TODO: do we still want to support "raw" DEX files in the classpath?
506 if (dvmRawDexFileOpen(cpe->fileName, NULL, &pRawDexFile, isBootstrap) == 0)
507 {
508 cpe->kind = kCpeDex;
509 cpe->ptr = pRawDexFile;
510 return true;
511 }
512
513 return false;
514}
515
516/*
517 * Convert a colon-separated list of directories, Zip files, and DEX files
518 * into an array of ClassPathEntry structs.
519 *
520 * If we're unable to load a bootstrap class path entry, we fail. This
521 * is necessary to preserve the dependencies implied by optimized DEX files
522 * (e.g. if the same class appears in multiple places).
523 *
524 * During normal startup we fail if there are no entries, because we won't
525 * get very far without the basic language support classes, but if we're
526 * optimizing a DEX file we allow it.
527 */
528static ClassPathEntry* processClassPath(const char* pathStr, bool isBootstrap)
529{
530 ClassPathEntry* cpe = NULL;
531 char* mangle;
532 char* cp;
533 const char* end;
534 int idx, count;
535
536 assert(pathStr != NULL);
537
538 mangle = strdup(pathStr);
539
540 /*
541 * Run through and essentially strtok() the string. Get a count of
542 * the #of elements while we're at it.
543 *
544 * If the path was constructed strangely (e.g. ":foo::bar:") this will
545 * over-allocate, which isn't ideal but is mostly harmless.
546 */
547 count = 1;
548 for (cp = mangle; *cp != '\0'; cp++) {
549 if (*cp == ':') { /* separates two entries */
550 count++;
551 *cp = '\0';
552 }
553 }
554 end = cp;
555
556 /*
557 * Allocate storage. We over-alloc by one so we can set an "end" marker.
558 */
559 cpe = (ClassPathEntry*) calloc(count+1, sizeof(ClassPathEntry));
560
561 /*
562 * Set the global pointer so the DEX file dependency stuff can find it.
563 */
564 gDvm.bootClassPath = cpe;
565
566 /*
567 * Go through a second time, pulling stuff out.
568 */
569 cp = mangle;
570 idx = 0;
571 while (cp < end) {
572 if (*cp == '\0') {
573 /* leading, trailing, or doubled ':'; ignore it */
574 } else {
575 ClassPathEntry tmp;
576 tmp.kind = kCpeUnknown;
577 tmp.fileName = strdup(cp);
578 tmp.ptr = NULL;
579
580 /* drop an end marker here so DEX loader can walk unfinished list */
581 cpe[idx].kind = kCpeLastEntry;
582 cpe[idx].fileName = NULL;
583 cpe[idx].ptr = NULL;
584
585 if (!prepareCpe(&tmp, isBootstrap)) {
586 LOGD("Failed on '%s' (boot=%d)\n", tmp.fileName, isBootstrap);
587 /* drop from list and continue on */
588 free(tmp.fileName);
589
590 if (isBootstrap || gDvm.optimizing) {
591 /* if boot path entry or we're optimizing, this is fatal */
592 free(cpe);
593 cpe = NULL;
594 goto bail;
595 }
596 } else {
597 /* copy over, pointers and all */
598 if (tmp.fileName[0] != '/')
599 LOGW("Non-absolute bootclasspath entry '%s'\n",
600 tmp.fileName);
601 cpe[idx] = tmp;
602 idx++;
603 }
604 }
605
606 cp += strlen(cp) +1;
607 }
608 assert(idx <= count);
609 if (idx == 0 && !gDvm.optimizing) {
610 LOGE("ERROR: no valid entries found in bootclasspath '%s'\n", pathStr);
611 free(cpe);
612 cpe = NULL;
613 goto bail;
614 }
615
616 LOGVV(" (filled %d of %d slots)\n", idx, count);
617
618 /* put end marker in over-alloc slot */
619 cpe[idx].kind = kCpeLastEntry;
620 cpe[idx].fileName = NULL;
621 cpe[idx].ptr = NULL;
622
623 //dumpClassPath(cpe);
624
625bail:
626 free(mangle);
627 gDvm.bootClassPath = cpe;
628 return cpe;
629}
630
631/*
632 * Search the DEX files we loaded from the bootstrap class path for a DEX
633 * file that has the class with the matching descriptor.
634 *
635 * Returns the matching DEX file and DexClassDef entry if found, otherwise
636 * returns NULL.
637 */
638static DvmDex* searchBootPathForClass(const char* descriptor,
639 const DexClassDef** ppClassDef)
640{
641 const ClassPathEntry* cpe = gDvm.bootClassPath;
642 const DexClassDef* pFoundDef = NULL;
643 DvmDex* pFoundFile = NULL;
644
645 LOGVV("+++ class '%s' not yet loaded, scanning bootclasspath...\n",
646 descriptor);
647
648 while (cpe->kind != kCpeLastEntry) {
649 //LOGV("+++ checking '%s' (%d)\n", cpe->fileName, cpe->kind);
650
651 switch (cpe->kind) {
652 case kCpeDir:
653 LOGW("Directory entries ('%s') not supported in bootclasspath\n",
654 cpe->fileName);
655 break;
656 case kCpeJar:
657 {
658 JarFile* pJarFile = (JarFile*) cpe->ptr;
659 const DexClassDef* pClassDef;
660 DvmDex* pDvmDex;
661
662 pDvmDex = dvmGetJarFileDex(pJarFile);
663 pClassDef = dexFindClass(pDvmDex->pDexFile, descriptor);
664 if (pClassDef != NULL) {
665 /* found */
666 pFoundDef = pClassDef;
667 pFoundFile = pDvmDex;
668 goto found;
669 }
670 }
671 break;
672 case kCpeDex:
673 {
674 RawDexFile* pRawDexFile = (RawDexFile*) cpe->ptr;
675 const DexClassDef* pClassDef;
676 DvmDex* pDvmDex;
677
678 pDvmDex = dvmGetRawDexFileDex(pRawDexFile);
679 pClassDef = dexFindClass(pDvmDex->pDexFile, descriptor);
680 if (pClassDef != NULL) {
681 /* found */
682 pFoundDef = pClassDef;
683 pFoundFile = pDvmDex;
684 goto found;
685 }
686 }
687 break;
688 default:
689 LOGE("Unknown kind %d\n", cpe->kind);
690 assert(false);
691 break;
692 }
693
694 cpe++;
695 }
696
697 /*
698 * Special handling during verification + optimization.
699 *
700 * The DEX optimizer needs to load classes from the DEX file it's working
701 * on. Rather than trying to insert it into the bootstrap class path
702 * or synthesizing a class loader to manage it, we just make it available
703 * here. It logically comes after all existing entries in the bootstrap
704 * class path.
705 */
706 if (gDvm.bootClassPathOptExtra != NULL) {
707 const DexClassDef* pClassDef;
708
709 pClassDef =
710 dexFindClass(gDvm.bootClassPathOptExtra->pDexFile, descriptor);
711 if (pClassDef != NULL) {
712 /* found */
713 pFoundDef = pClassDef;
714 pFoundFile = gDvm.bootClassPathOptExtra;
715 }
716 }
717
718found:
719 *ppClassDef = pFoundDef;
720 return pFoundFile;
721}
722
723/*
724 * Set the "extra" DEX, which becomes a de facto member of the bootstrap
725 * class set.
726 */
727void dvmSetBootPathExtraDex(DvmDex* pDvmDex)
728{
729 gDvm.bootClassPathOptExtra = pDvmDex;
730}
731
732
733/*
734 * Return the #of entries in the bootstrap class path.
735 *
736 * (Used for ClassLoader.getResources().)
737 */
738int dvmGetBootPathSize(void)
739{
740 const ClassPathEntry* cpe = gDvm.bootClassPath;
741
742 while (cpe->kind != kCpeLastEntry)
743 cpe++;
744
745 return cpe - gDvm.bootClassPath;
746}
747
748/*
749 * Find a resource with the specified name in entry N of the boot class path.
750 *
751 * We return a newly-allocated String of one of these forms:
752 * file://path/name
753 * jar:file://path!/name
754 * Where "path" is the bootstrap class path entry and "name" is the string
755 * passed into this method. "path" needs to be an absolute path (starting
756 * with '/'); if it's not we'd need to "absolutify" it as part of forming
757 * the URL string.
758 */
759StringObject* dvmGetBootPathResource(const char* name, int idx)
760{
761 const int kUrlOverhead = 13; // worst case for Jar URL
762 const ClassPathEntry* cpe = gDvm.bootClassPath;
763 StringObject* urlObj = NULL;
764
765 LOGV("+++ searching for resource '%s' in %d(%s)\n",
766 name, idx, cpe[idx].fileName);
767
768 /* we could use direct array index, but I don't entirely trust "idx" */
769 while (idx-- && cpe->kind != kCpeLastEntry)
770 cpe++;
771 if (cpe->kind == kCpeLastEntry) {
772 assert(false);
773 return NULL;
774 }
775
776 char urlBuf[strlen(name) + strlen(cpe->fileName) + kUrlOverhead +1];
777
778 switch (cpe->kind) {
779 case kCpeDir:
780 sprintf(urlBuf, "file://%s/%s", cpe->fileName, name);
781 if (access(urlBuf+7, F_OK) != 0)
782 goto bail;
783 break;
784 case kCpeJar:
785 {
786 JarFile* pJarFile = (JarFile*) cpe->ptr;
787 if (dexZipFindEntry(&pJarFile->archive, name) == NULL)
788 goto bail;
789 sprintf(urlBuf, "jar:file://%s!/%s", cpe->fileName, name);
790 }
791 break;
792 case kCpeDex:
793 LOGV("No resources in DEX files\n");
794 goto bail;
795 default:
796 assert(false);
797 goto bail;
798 }
799
800 LOGV("+++ using URL='%s'\n", urlBuf);
801 urlObj = dvmCreateStringFromCstr(urlBuf, ALLOC_DEFAULT);
802
803bail:
804 return urlObj;
805}
806
807
808/*
809 * ===========================================================================
810 * Class list management
811 * ===========================================================================
812 */
813
814/* search for these criteria in the Class hash table */
815typedef struct ClassMatchCriteria {
816 const char* descriptor;
817 Object* loader;
818} ClassMatchCriteria;
819
820#define kInitLoaderInc 4 /* must be power of 2 */
821
Barry Hayes2c987472009-04-06 10:03:48 -0700822static InitiatingLoaderList *dvmGetInitiatingLoaderList(ClassObject* clazz)
823{
824 assert(clazz->serialNumber > INITIAL_CLASS_SERIAL_NUMBER);
825 int classIndex = clazz->serialNumber-INITIAL_CLASS_SERIAL_NUMBER;
826 if (gDvm.initiatingLoaderList != NULL &&
827 classIndex < ZYGOTE_CLASS_CUTOFF) {
828 return &(gDvm.initiatingLoaderList[classIndex]);
829 } else {
830 return &(clazz->initiatingLoaderList);
831 }
832}
833
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800834/*
835 * Determine if "loader" appears in clazz' initiating loader list.
836 *
837 * The class hash table lock must be held when calling here, since
838 * it's also used when updating a class' initiating loader list.
839 *
840 * TODO: switch to some sort of lock-free data structure so we don't have
841 * to grab the lock to do a lookup. Among other things, this would improve
842 * the speed of compareDescriptorClasses().
843 */
844bool dvmLoaderInInitiatingList(const ClassObject* clazz, const Object* loader)
845{
846 /*
847 * The bootstrap class loader can't be just an initiating loader for
848 * anything (it's always the defining loader if the class is visible
849 * to it). We don't put defining loaders in the initiating list.
850 */
851 if (loader == NULL)
852 return false;
853
854 /*
855 * Scan the list for a match. The list is expected to be short.
856 */
Barry Hayes2c987472009-04-06 10:03:48 -0700857 /* Cast to remove the const from clazz, but use const loaderList */
858 ClassObject* nonConstClazz = (ClassObject*) clazz;
859 const InitiatingLoaderList *loaderList =
860 dvmGetInitiatingLoaderList(nonConstClazz);
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800861 int i;
Barry Hayes2c987472009-04-06 10:03:48 -0700862 for (i = loaderList->initiatingLoaderCount-1; i >= 0; --i) {
863 if (loaderList->initiatingLoaders[i] == loader) {
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800864 //LOGI("+++ found initiating match %p in %s\n",
865 // loader, clazz->descriptor);
866 return true;
867 }
868 }
869 return false;
870}
871
872/*
873 * Add "loader" to clazz's initiating loader set, unless it's the defining
874 * class loader.
875 *
876 * In the common case this will be a short list, so we don't need to do
877 * anything too fancy here.
878 *
879 * This locks gDvm.loadedClasses for synchronization, so don't hold it
880 * when calling here.
881 */
882void dvmAddInitiatingLoader(ClassObject* clazz, Object* loader)
883{
884 if (loader != clazz->classLoader) {
885 assert(loader != NULL);
886
887 LOGVV("Adding %p to '%s' init list\n", loader, clazz->descriptor);
888 dvmHashTableLock(gDvm.loadedClasses);
889
890 /*
891 * Make sure nobody snuck in. The penalty for adding twice is
892 * pretty minor, and probably outweighs the O(n^2) hit for
893 * checking before every add, so we may not want to do this.
894 */
Barry Hayes2c987472009-04-06 10:03:48 -0700895 //if (dvmLoaderInInitiatingList(clazz, loader)) {
896 // LOGW("WOW: simultaneous add of initiating class loader\n");
897 // goto bail_unlock;
898 //}
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800899
900 /*
901 * The list never shrinks, so we just keep a count of the
902 * number of elements in it, and reallocate the buffer when
903 * we run off the end.
904 *
905 * The pointer is initially NULL, so we *do* want to call realloc
906 * when count==0.
907 */
Barry Hayes2c987472009-04-06 10:03:48 -0700908 InitiatingLoaderList *loaderList = dvmGetInitiatingLoaderList(clazz);
909 if ((loaderList->initiatingLoaderCount & (kInitLoaderInc-1)) == 0) {
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800910 Object** newList;
911
Barry Hayes2c987472009-04-06 10:03:48 -0700912 newList = (Object**) realloc(loaderList->initiatingLoaders,
913 (loaderList->initiatingLoaderCount + kInitLoaderInc)
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800914 * sizeof(Object*));
915 if (newList == NULL) {
916 /* this is mainly a cache, so it's not the EotW */
917 assert(false);
918 goto bail_unlock;
919 }
Barry Hayes2c987472009-04-06 10:03:48 -0700920 loaderList->initiatingLoaders = newList;
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800921
922 //LOGI("Expanded init list to %d (%s)\n",
Barry Hayes2c987472009-04-06 10:03:48 -0700923 // loaderList->initiatingLoaderCount+kInitLoaderInc,
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800924 // clazz->descriptor);
925 }
Barry Hayes2c987472009-04-06 10:03:48 -0700926 loaderList->initiatingLoaders[loaderList->initiatingLoaderCount++] =
927 loader;
The Android Open Source Projectf6c38712009-03-03 19:28:47 -0800928
929bail_unlock:
930 dvmHashTableUnlock(gDvm.loadedClasses);
931 }
932}
933
934/*
935 * (This is a dvmHashTableLookup callback.)
936 *
937 * Entries in the class hash table are stored as { descriptor, d-loader }
938 * tuples. If the hashed class descriptor matches the requested descriptor,
939 * and the hashed defining class loader matches the requested class
940 * loader, we're good. If only the descriptor matches, we check to see if the
941 * loader is in the hashed class' initiating loader list. If so, we
942 * can return "true" immediately and skip some of the loadClass melodrama.
943 *
944 * The caller must lock the hash table before calling here.
945 *
946 * Returns 0 if a matching entry is found, nonzero otherwise.
947 */
948static int hashcmpClassByCrit(const void* vclazz, const void* vcrit)
949{
950 const ClassObject* clazz = (const ClassObject*) vclazz;
951 const ClassMatchCriteria* pCrit = (const ClassMatchCriteria*) vcrit;
952 bool match;
953
954 match = (strcmp(clazz->descriptor, pCrit->descriptor) == 0 &&
955 (clazz->classLoader == pCrit->loader ||
956 (pCrit->loader != NULL &&
957 dvmLoaderInInitiatingList(clazz, pCrit->loader)) ));
958 //if (match)
959 // LOGI("+++ %s %p matches existing %s %p\n",
960 // pCrit->descriptor, pCrit->loader,
961 // clazz->descriptor, clazz->classLoader);
962 return !match;
963}
964
965/*
966 * Like hashcmpClassByCrit, but passing in a fully-formed ClassObject
967 * instead of a ClassMatchCriteria.
968 */
969static int hashcmpClassByClass(const void* vclazz, const void* vaddclazz)
970{
971 const ClassObject* clazz = (const ClassObject*) vclazz;
972 const ClassObject* addClazz = (const ClassObject*) vaddclazz;
973 bool match;
974
975 match = (strcmp(clazz->descriptor, addClazz->descriptor) == 0 &&
976 (clazz->classLoader == addClazz->classLoader ||
977 (addClazz->classLoader != NULL &&
978 dvmLoaderInInitiatingList(clazz, addClazz->classLoader)) ));
979 return !match;
980}
981
982/*
983 * Search through the hash table to find an entry with a matching descriptor
984 * and an initiating class loader that matches "loader".
985 *
986 * The table entries are hashed on descriptor only, because they're unique
987 * on *defining* class loader, not *initiating* class loader. This isn't
988 * great, because it guarantees we will have to probe when multiple
989 * class loaders are used.
990 *
991 * Note this does NOT try to load a class; it just finds a class that
992 * has already been loaded.
993 *
994 * If "unprepOkay" is set, this will return classes that have been added
995 * to the hash table but are not yet fully loaded and linked. Otherwise,
996 * such classes are ignored. (The only place that should set "unprepOkay"
997 * is findClassNoInit(), which will wait for the prep to finish.)
998 *
999 * Returns NULL if not found.
1000 */
1001ClassObject* dvmLookupClass(const char* descriptor, Object* loader,
1002 bool unprepOkay)
1003{
1004 ClassMatchCriteria crit;
1005 void* found;
1006 u4 hash;
1007
1008 crit.descriptor = descriptor;
1009 crit.loader = loader;
1010 hash = dvmComputeUtf8Hash(descriptor);
1011
1012 LOGVV("threadid=%d: dvmLookupClass searching for '%s' %p\n",
1013 dvmThreadSelf()->threadId, descriptor, loader);
1014
1015 dvmHashTableLock(gDvm.loadedClasses);
1016 found = dvmHashTableLookup(gDvm.loadedClasses, hash, &crit,
1017 hashcmpClassByCrit, false);
1018 dvmHashTableUnlock(gDvm.loadedClasses);
1019
1020 /*
1021 * The class has been added to the hash table but isn't ready for use.
1022 * We're going to act like we didn't see it, so that the caller will
1023 * go through the full "find class" path, which includes locking the
1024 * object and waiting until it's ready. We could do that lock/wait
1025 * here, but this is an extremely rare case, and it's simpler to have
1026 * the wait-for-class code centralized.
1027 */
1028 if (found != NULL && !unprepOkay && !dvmIsClassLinked(found)) {
1029 LOGV("Ignoring not-yet-ready %s, using slow path\n",
1030 ((ClassObject*)found)->descriptor);
1031 found = NULL;
1032 }
1033
1034 return (ClassObject*) found;
1035}
1036
1037/*
1038 * Add a new class to the hash table.
1039 *
1040 * The class is considered "new" if it doesn't match on both the class
1041 * descriptor and the defining class loader.
1042 *
1043 * TODO: we should probably have separate hash tables for each
1044 * ClassLoader. This could speed up dvmLookupClass and
1045 * other common operations. It does imply a VM-visible data structure
1046 * for each ClassLoader object with loaded classes, which we don't
1047 * have yet.
1048 */
1049bool dvmAddClassToHash(ClassObject* clazz)
1050{
1051 void* found;
1052 u4 hash;
1053
1054 hash = dvmComputeUtf8Hash(clazz->descriptor);
1055
1056 dvmHashTableLock(gDvm.loadedClasses);
1057 found = dvmHashTableLookup(gDvm.loadedClasses, hash, clazz,
1058 hashcmpClassByClass, true);
1059 dvmHashTableUnlock(gDvm.loadedClasses);
1060
1061 LOGV("+++ dvmAddClassToHash '%s' %p (isnew=%d) --> %p\n",
1062 clazz->descriptor, clazz->classLoader,
1063 (found == (void*) clazz), clazz);
1064
1065 //dvmCheckClassTablePerf();
1066
1067 /* can happen if two threads load the same class simultaneously */
1068 return (found == (void*) clazz);
1069}
1070
1071#if 0
1072/*
1073 * Compute hash value for a class.
1074 */
1075u4 hashcalcClass(const void* item)
1076{
1077 return dvmComputeUtf8Hash(((const ClassObject*) item)->descriptor);
1078}
1079
1080/*
1081 * Check the performance of the "loadedClasses" hash table.
1082 */
1083void dvmCheckClassTablePerf(void)
1084{
1085 dvmHashTableLock(gDvm.loadedClasses);
1086 dvmHashTableProbeCount(gDvm.loadedClasses, hashcalcClass,
1087 hashcmpClassByClass);
1088 dvmHashTableUnlock(gDvm.loadedClasses);
1089}
1090#endif
1091
1092/*
1093 * Remove a class object from the hash table.
1094 */
1095static void removeClassFromHash(ClassObject* clazz)
1096{
1097 LOGV("+++ removeClassFromHash '%s'\n", clazz->descriptor);
1098
1099 u4 hash = dvmComputeUtf8Hash(clazz->descriptor);
1100
1101 dvmHashTableLock(gDvm.loadedClasses);
1102 if (!dvmHashTableRemove(gDvm.loadedClasses, hash, clazz))
1103 LOGW("Hash table remove failed on class '%s'\n", clazz->descriptor);
1104 dvmHashTableUnlock(gDvm.loadedClasses);
1105}
1106
1107
1108/*
1109 * ===========================================================================
1110 * Class creation
1111 * ===========================================================================
1112 */
1113
1114/*
1115 * Set clazz->serialNumber to the next available value.
1116 *
1117 * This usually happens *very* early in class creation, so don't expect
1118 * anything else in the class to be ready.
1119 */
1120void dvmSetClassSerialNumber(ClassObject* clazz)
1121{
1122 u4 oldValue, newValue;
1123
1124 assert(clazz->serialNumber == 0);
1125
1126 do {
1127 oldValue = gDvm.classSerialNumber;
1128 newValue = oldValue + 1;
1129 } while (!ATOMIC_CMP_SWAP(&gDvm.classSerialNumber, oldValue, newValue));
1130
1131 clazz->serialNumber = (u4) oldValue;
1132}
1133
1134
1135/*
1136 * Find the named class (by descriptor), using the specified
1137 * initiating ClassLoader.
1138 *
1139 * The class will be loaded and initialized if it has not already been.
1140 * If necessary, the superclass will be loaded.
1141 *
1142 * If the class can't be found, returns NULL with an appropriate exception
1143 * raised.
1144 */
1145ClassObject* dvmFindClass(const char* descriptor, Object* loader)
1146{
1147 ClassObject* clazz;
1148
1149 clazz = dvmFindClassNoInit(descriptor, loader);
1150 if (clazz != NULL && clazz->status < CLASS_INITIALIZED) {
1151 /* initialize class */
1152 if (!dvmInitClass(clazz)) {
1153 /* init failed; leave it in the list, marked as bad */
1154 assert(dvmCheckException(dvmThreadSelf()));
1155 assert(clazz->status == CLASS_ERROR);
1156 return NULL;
1157 }
1158 }
1159
1160 return clazz;
1161}
1162
1163/*
1164 * Find the named class (by descriptor), using the specified
1165 * initiating ClassLoader.
1166 *
1167 * The class will be loaded if it has not already been, as will its
1168 * superclass. It will not be initialized.
1169 *
1170 * If the class can't be found, returns NULL with an appropriate exception
1171 * raised.
1172 */
1173ClassObject* dvmFindClassNoInit(const char* descriptor,
1174 Object* loader)
1175{
1176 assert(descriptor != NULL);
1177 //assert(loader != NULL);
1178
1179 LOGVV("FindClassNoInit '%s' %p\n", descriptor, loader);
1180
1181 if (*descriptor == '[') {
1182 /*
1183 * Array class. Find in table, generate if not found.
1184 */
1185 return dvmFindArrayClass(descriptor, loader);
1186 } else {
1187 /*
1188 * Regular class. Find in table, load if not found.
1189 */
1190 if (loader != NULL) {
1191 return findClassFromLoaderNoInit(descriptor, loader);
1192 } else {
1193 return dvmFindSystemClassNoInit(descriptor);
1194 }
1195 }
1196}
1197
1198/*
1199 * Load the named class (by descriptor) from the specified class
1200 * loader. This calls out to let the ClassLoader object do its thing.
1201 *
1202 * Returns with NULL and an exception raised on error.
1203 */
1204static ClassObject* findClassFromLoaderNoInit(const char* descriptor,
1205 Object* loader)
1206{
1207 //LOGI("##### findClassFromLoaderNoInit (%s,%p)\n",
1208 // descriptor, loader);
1209
1210 Thread* self = dvmThreadSelf();
1211 ClassObject* clazz;
1212
1213 assert(loader != NULL);
1214
1215 /*
1216 * Do we already have it?
1217 *
1218 * The class loader code does the "is it already loaded" check as
1219 * well. However, this call is much faster than calling through
1220 * interpreted code. Doing this does mean that in the common case
1221 * (365 out of 420 calls booting the sim) we're doing the
1222 * lookup-by-descriptor twice. It appears this is still a win, so
1223 * I'm keeping it in.
1224 */
1225 clazz = dvmLookupClass(descriptor, loader, false);
1226 if (clazz != NULL) {
1227 LOGVV("Already loaded: %s %p\n", descriptor, loader);
1228 return clazz;
1229 } else {
1230 LOGVV("Not already loaded: %s %p\n", descriptor, loader);
1231 }
1232
1233 char* dotName = NULL;
1234 StringObject* nameObj = NULL;
1235 Object* excep;
1236 Method* loadClass;
1237
1238 /* convert "Landroid/debug/Stuff;" to "android.debug.Stuff" */
1239 dotName = dvmDescriptorToDot(descriptor);
1240 if (dotName == NULL) {
1241 dvmThrowException("Ljava/lang/OutOfMemoryError;", NULL);
1242 goto bail;
1243 }
1244 nameObj = dvmCreateStringFromCstr(dotName, ALLOC_DEFAULT);
1245 if (nameObj == NULL) {
1246 assert(dvmCheckException(self));
1247 goto bail;
1248 }
1249
1250 // TODO: cache the vtable offset
1251 loadClass = dvmFindVirtualMethodHierByDescriptor(loader->clazz, "loadClass",
1252 "(Ljava/lang/String;)Ljava/lang/Class;");
1253 if (loadClass == NULL) {
1254 LOGW("Couldn't find loadClass in ClassLoader\n");
1255 goto bail;
1256 }
1257
1258#ifdef WITH_PROFILER
1259 dvmMethodTraceClassPrepBegin();
1260#endif
1261
1262 /*
1263 * Invoke loadClass(). This will probably result in a couple of
1264 * exceptions being thrown, because the ClassLoader.loadClass()
1265 * implementation eventually calls VMClassLoader.loadClass to see if
1266 * the bootstrap class loader can find it before doing its own load.
1267 */
1268 LOGVV("--- Invoking loadClass(%s, %p)\n", dotName, loader);
1269 JValue result;
1270 dvmCallMethod(self, loadClass, loader, &result, nameObj);
1271 clazz = (ClassObject*) result.l;
1272
1273#ifdef WITH_PROFILER
1274 dvmMethodTraceClassPrepEnd();
1275#endif
1276
1277 excep = dvmGetException(self);
1278 if (excep != NULL) {
1279#if DVM_SHOW_EXCEPTION >= 2
1280 LOGD("NOTE: loadClass '%s' %p threw exception %s\n",
1281 dotName, loader, excep->clazz->descriptor);
1282#endif
1283 dvmAddTrackedAlloc(excep, self);
1284 dvmClearException(self);
1285 dvmThrowChainedExceptionWithClassMessage(
1286 "Ljava/lang/NoClassDefFoundError;", descriptor, excep);
1287 dvmReleaseTrackedAlloc(excep, self);
1288 clazz = NULL;
1289 goto bail;
1290 } else {
1291 assert(clazz != NULL);
1292 }
1293
1294 dvmAddInitiatingLoader(clazz, loader);
1295
1296 LOGVV("--- Successfully loaded %s %p (thisldr=%p clazz=%p)\n",
1297 descriptor, clazz->classLoader, loader, clazz);
1298
1299bail:
1300 dvmReleaseTrackedAlloc((Object*)nameObj, NULL);
1301 free(dotName);
1302 return clazz;
1303}
1304
1305/*
1306 * Load the named class (by descriptor) from the specified DEX file.
1307 * Used by class loaders to instantiate a class object from a
1308 * VM-managed DEX.
1309 */
1310ClassObject* dvmDefineClass(DvmDex* pDvmDex, const char* descriptor,
1311 Object* classLoader)
1312{
1313 assert(pDvmDex != NULL);
1314
1315 return findClassNoInit(descriptor, classLoader, pDvmDex);
1316}
1317
1318
1319/*
1320 * Find the named class (by descriptor), scanning through the
1321 * bootclasspath if it hasn't already been loaded.
1322 *
1323 * "descriptor" looks like "Landroid/debug/Stuff;".
1324 *
1325 * Uses NULL as the defining class loader.
1326 */
1327ClassObject* dvmFindSystemClass(const char* descriptor)
1328{
1329 ClassObject* clazz;
1330
1331 clazz = dvmFindSystemClassNoInit(descriptor);
1332 if (clazz != NULL && clazz->status < CLASS_INITIALIZED) {
1333 /* initialize class */
1334 if (!dvmInitClass(clazz)) {
1335 /* init failed; leave it in the list, marked as bad */
1336 assert(dvmCheckException(dvmThreadSelf()));
1337 assert(clazz->status == CLASS_ERROR);
1338 return NULL;
1339 }
1340 }
1341
1342 return clazz;
1343}
1344
1345/*
1346 * Find the named class (by descriptor), searching for it in the
1347 * bootclasspath.
1348 *
1349 * On failure, this returns NULL with an exception raised.
1350 */
1351ClassObject* dvmFindSystemClassNoInit(const char* descriptor)
1352{
1353 return findClassNoInit(descriptor, NULL, NULL);
1354}
1355
1356/*
1357 * Find the named class (by descriptor). If it's not already loaded,
1358 * we load it and link it, but don't execute <clinit>. (The VM has
1359 * specific limitations on which events can cause initialization.)
1360 *
1361 * If "pDexFile" is NULL, we will search the bootclasspath for an entry.
1362 *
1363 * On failure, this returns NULL with an exception raised.
1364 *
1365 * TODO: we need to return an indication of whether we loaded the class or
1366 * used an existing definition. If somebody deliberately tries to load a
1367 * class twice in the same class loader, they should get a LinkageError,
1368 * but inadvertent simultaneous class references should "just work".
1369 */
1370static ClassObject* findClassNoInit(const char* descriptor, Object* loader,
1371 DvmDex* pDvmDex)
1372{
1373 Thread* self = dvmThreadSelf();
1374 ClassObject* clazz;
1375#ifdef WITH_PROFILER
1376 bool profilerNotified = false;
1377#endif
1378
1379 if (loader != NULL) {
1380 LOGVV("#### findClassNoInit(%s,%p,%p)\n", descriptor, loader,
1381 pDvmDex->pDexFile);
1382 }
1383
1384 /*
1385 * We don't expect an exception to be raised at this point. The
1386 * exception handling code is good about managing this. This *can*
1387 * happen if a JNI lookup fails and the JNI code doesn't do any
1388 * error checking before doing another class lookup, so we may just
1389 * want to clear this and restore it on exit. If we don't, some kinds
1390 * of failures can't be detected without rearranging other stuff.
1391 *
1392 * Most often when we hit this situation it means that something is
1393 * broken in the VM or in JNI code, so I'm keeping it in place (and
1394 * making it an informative abort rather than an assert).
1395 */
1396 if (dvmCheckException(self)) {
1397 LOGE("Class lookup %s attemped while exception %s pending\n",
1398 descriptor, dvmGetException(self)->clazz->descriptor);
1399 dvmDumpAllThreads(false);
1400 dvmAbort();
1401 }
1402
1403 clazz = dvmLookupClass(descriptor, loader, true);
1404 if (clazz == NULL) {
1405 const DexClassDef* pClassDef;
1406
1407#ifdef WITH_PROFILER
1408 dvmMethodTraceClassPrepBegin();
1409 profilerNotified = true;
1410#endif
1411
1412#if LOG_CLASS_LOADING
1413 u8 startTime = dvmGetThreadCpuTimeNsec();
1414#endif
1415
1416 if (pDvmDex == NULL) {
1417 assert(loader == NULL); /* shouldn't be here otherwise */
1418 pDvmDex = searchBootPathForClass(descriptor, &pClassDef);
1419 } else {
1420 pClassDef = dexFindClass(pDvmDex->pDexFile, descriptor);
1421 }
1422
1423 if (pDvmDex == NULL || pClassDef == NULL) {
1424 dvmThrowExceptionWithClassMessage(
1425 "Ljava/lang/NoClassDefFoundError;", descriptor);
1426 goto bail;
1427 }
1428
1429 /* found a match, try to load it */
1430 clazz = loadClassFromDex(pDvmDex, pClassDef, loader);
1431 if (dvmCheckException(self)) {
1432 /* class was found but had issues */
1433 dvmReleaseTrackedAlloc((Object*) clazz, NULL);
1434 goto bail;
1435 }
1436
1437 /*
1438 * Lock the class while we link it so other threads must wait for us
1439 * to finish. Set the "initThreadId" so we can identify recursive
1440 * invocation.
1441 */
1442 dvmLockObject(self, (Object*) clazz);
1443 clazz->initThreadId = self->threadId;
1444
1445 /*
1446 * Add to hash table so lookups succeed.
1447 *
1448 * [Are circular references possible when linking a class?]
1449 */
1450 assert(clazz->classLoader == loader);
1451 if (!dvmAddClassToHash(clazz)) {
1452 /*
1453 * Another thread must have loaded the class after we
1454 * started but before we finished. Discard what we've
1455 * done and leave some hints for the GC.
1456 *
1457 * (Yes, this happens.)
1458 */
1459 //LOGW("WOW: somebody loaded %s simultaneously\n", descriptor);
1460 clazz->initThreadId = 0;
1461 dvmUnlockObject(self, (Object*) clazz);
1462
1463 /* Let the GC free the class.
1464 */
1465 assert(clazz->obj.clazz == gDvm.unlinkedJavaLangClass);
1466 dvmReleaseTrackedAlloc((Object*) clazz, NULL);
1467
1468 /* Grab the winning class.
1469 */
1470 clazz = dvmLookupClass(descriptor, loader, true);
1471 assert(clazz != NULL);
1472 goto got_class;
1473 }
1474 dvmReleaseTrackedAlloc((Object*) clazz, NULL);
1475
1476#if LOG_CLASS_LOADING
1477 logClassLoadWithTime('>', clazz, startTime);
1478#endif
1479 /*
1480 * Prepare and resolve.
1481 */
1482 if (!dvmLinkClass(clazz, false)) {
1483 assert(dvmCheckException(self));
1484
1485 /* Make note of the error and clean up the class.
1486 */
1487 removeClassFromHash(clazz);
1488 clazz->status = CLASS_ERROR;
1489 dvmFreeClassInnards(clazz);
1490
1491 /* Let any waiters know.
1492 */
1493 clazz->initThreadId = 0;
1494 dvmObjectNotifyAll(self, (Object*) clazz);
1495 dvmUnlockObject(self, (Object*) clazz);
1496
1497#if LOG_CLASS_LOADING
1498 LOG(LOG_INFO, "DVMLINK FAILED FOR CLASS ", "%s in %s\n",
1499 clazz->descriptor, get_process_name());
1500
1501 /*
1502 * TODO: It would probably be better to use a new type code here (instead of '<') to
1503 * indicate the failure. This change would require a matching change in the parser
1504 * and analysis code in frameworks/base/tools/preload.
1505 */
1506 logClassLoad('<', clazz);
1507#endif
1508 clazz = NULL;
1509 if (gDvm.optimizing) {
1510 /* happens with "external" libs */
1511 LOGV("Link of class '%s' failed\n", descriptor);
1512 } else {
1513 LOGW("Link of class '%s' failed\n", descriptor);
1514 }
1515 goto bail;
1516 }
1517 dvmObjectNotifyAll(self, (Object*) clazz);
1518 dvmUnlockObject(self, (Object*) clazz);
1519
1520 /*
1521 * Add class stats to global counters.
1522 *
1523 * TODO: these should probably be atomic ops.
1524 */
1525 gDvm.numLoadedClasses++;
1526 gDvm.numDeclaredMethods +=
1527 clazz->virtualMethodCount + clazz->directMethodCount;
1528 gDvm.numDeclaredInstFields += clazz->ifieldCount;
1529 gDvm.numDeclaredStaticFields += clazz->sfieldCount;
1530
1531 /*
1532 * Cache pointers to basic classes. We want to use these in
1533 * various places, and it's easiest to initialize them on first
1534 * use rather than trying to force them to initialize (startup
1535 * ordering makes it weird).
1536 */
1537 if (gDvm.classJavaLangObject == NULL &&
1538 strcmp(descriptor, "Ljava/lang/Object;") == 0)
1539 {
1540 /* It should be impossible to get here with anything
1541 * but the bootclasspath loader.
1542 */
1543 assert(loader == NULL);
1544 gDvm.classJavaLangObject = clazz;
1545 }
1546
1547#if LOG_CLASS_LOADING
1548 logClassLoad('<', clazz);
1549#endif
1550
1551 } else {
1552got_class:
1553 if (!dvmIsClassLinked(clazz) && clazz->status != CLASS_ERROR) {
1554 /*
1555 * We can race with other threads for class linking. We should
1556 * never get here recursively; doing so indicates that two
1557 * classes have circular dependencies.
1558 *
1559 * One exception: we force discovery of java.lang.Class in
1560 * dvmLinkClass(), and Class has Object as its superclass. So
1561 * if the first thing we ever load is Object, we will init
1562 * Object->Class->Object. The easiest way to avoid this is to
1563 * ensure that Object is never the first thing we look up, so
1564 * we get Foo->Class->Object instead.
1565 */
1566 dvmLockObject(self, (Object*) clazz);
1567 if (!dvmIsClassLinked(clazz) &&
1568 clazz->initThreadId == self->threadId)
1569 {
1570 LOGW("Recursive link on class %s\n", clazz->descriptor);
1571 dvmUnlockObject(self, (Object*) clazz);
1572 dvmThrowExceptionWithClassMessage(
1573 "Ljava/lang/ClassCircularityError;", clazz->descriptor);
1574 clazz = NULL;
1575 goto bail;
1576 }
1577 //LOGI("WAITING for '%s' (owner=%d)\n",
1578 // clazz->descriptor, clazz->initThreadId);
1579 while (!dvmIsClassLinked(clazz) && clazz->status != CLASS_ERROR) {
1580 dvmObjectWait(self, (Object*) clazz, 0, 0, false);
1581 }
1582 dvmUnlockObject(self, (Object*) clazz);
1583 }
1584 if (clazz->status == CLASS_ERROR) {
1585 /*
1586 * Somebody else tried to load this and failed. We need to raise
1587 * an exception and report failure.
1588 */
1589 throwEarlierClassFailure(clazz);
1590 clazz = NULL;
1591 goto bail;
1592 }
1593 }
1594
1595 /* check some invariants */
1596 assert(dvmIsClassLinked(clazz));
1597 assert(gDvm.classJavaLangClass != NULL);
1598 assert(clazz->obj.clazz == gDvm.classJavaLangClass);
1599 if (clazz != gDvm.classJavaLangObject) {
1600 if (clazz->super == NULL) {
1601 LOGE("Non-Object has no superclass (gDvm.classJavaLangObject=%p)\n",
1602 gDvm.classJavaLangObject);
1603 dvmAbort();
1604 }
1605 }
1606 if (!dvmIsInterfaceClass(clazz)) {
1607 //LOGI("class=%s vtableCount=%d, virtualMeth=%d\n",
1608 // clazz->descriptor, clazz->vtableCount,
1609 // clazz->virtualMethodCount);
1610 assert(clazz->vtableCount >= clazz->virtualMethodCount);
1611 }
1612
1613 /*
1614 * Normally class objects are initialized before we instantiate them,
1615 * but we can't do that with java.lang.Class (chicken, meet egg). We
1616 * do it explicitly here.
1617 *
1618 * The verifier could call here to find Class while verifying Class,
1619 * so we need to check for CLASS_VERIFYING as well as !initialized.
1620 */
1621 if (clazz == gDvm.classJavaLangClass && !dvmIsClassInitialized(clazz) &&
1622 !(clazz->status == CLASS_VERIFYING))
1623 {
1624 LOGV("+++ explicitly initializing %s\n", clazz->descriptor);
1625 dvmInitClass(clazz);
1626 }
1627
1628bail:
1629#ifdef WITH_PROFILER
1630 if (profilerNotified)
1631 dvmMethodTraceClassPrepEnd();
1632#endif
1633 assert(clazz != NULL || dvmCheckException(self));
1634 return clazz;
1635}
1636
1637/*
1638 * Helper for loadClassFromDex, which takes a DexClassDataHeader and
1639 * encoded data pointer in addition to the other arguments.
1640 */
1641static ClassObject* loadClassFromDex0(DvmDex* pDvmDex,
1642 const DexClassDef* pClassDef, const DexClassDataHeader* pHeader,
1643 const u1* pEncodedData, Object* classLoader)
1644{
1645 ClassObject* newClass = NULL;
1646 const DexFile* pDexFile;
1647 const char* descriptor;
1648 int i;
1649
1650 pDexFile = pDvmDex->pDexFile;
1651 descriptor = dexGetClassDescriptor(pDexFile, pClassDef);
1652
1653 /*
1654 * Make sure the aren't any "bonus" flags set, since we use them for
1655 * runtime state.
1656 */
1657 if ((pClassDef->accessFlags & ~EXPECTED_FILE_FLAGS) != 0) {
1658 LOGW("Invalid file flags in class %s: %04x\n",
1659 descriptor, pClassDef->accessFlags);
1660 return NULL;
1661 }
1662
1663 /*
1664 * Allocate storage for the class object on the GC heap, so that other
1665 * objects can have references to it. We bypass the usual mechanism
1666 * (allocObject), because we don't have all the bits and pieces yet.
1667 *
1668 * Note that we assume that java.lang.Class does not override
1669 * finalize().
1670 */
1671 newClass = (ClassObject*) dvmMalloc(sizeof(*newClass), ALLOC_DEFAULT);
1672 if (newClass == NULL)
1673 return NULL;
1674
1675 /* Until the class is loaded and linked, use a placeholder
1676 * obj->clazz value as a hint to the GC. We don't want
1677 * the GC trying to scan the object while it's full of Idx
1678 * values. Also, the real java.lang.Class may not exist
1679 * yet.
1680 */
1681 DVM_OBJECT_INIT(&newClass->obj, gDvm.unlinkedJavaLangClass);
1682
1683 dvmSetClassSerialNumber(newClass);
1684 newClass->descriptor = descriptor;
1685 assert(newClass->descriptorAlloc == NULL);
1686 newClass->accessFlags = pClassDef->accessFlags;
1687 newClass->classLoader = classLoader;
1688 newClass->pDvmDex = pDvmDex;
1689 newClass->primitiveType = PRIM_NOT;
1690
1691 /*
1692 * Stuff the superclass index into the object pointer field. The linker
1693 * pulls it out and replaces it with a resolved ClassObject pointer.
1694 * I'm doing it this way (rather than having a dedicated superclassIdx
1695 * field) to save a few bytes of overhead per class.
1696 *
1697 * newClass->super is not traversed or freed by dvmFreeClassInnards, so
1698 * this is safe.
1699 */
1700 assert(sizeof(u4) == sizeof(ClassObject*));
1701 newClass->super = (ClassObject*) pClassDef->superclassIdx;
1702
1703 /*
1704 * Stuff class reference indices into the pointer fields.
1705 *
1706 * The elements of newClass->interfaces are not traversed or freed by
1707 * dvmFreeClassInnards, so this is GC-safe.
1708 */
1709 const DexTypeList* pInterfacesList;
1710 pInterfacesList = dexGetInterfacesList(pDexFile, pClassDef);
1711 if (pInterfacesList != NULL) {
1712 newClass->interfaceCount = pInterfacesList->size;
1713 newClass->interfaces = (ClassObject**) dvmLinearAlloc(classLoader,
1714 newClass->interfaceCount * sizeof(ClassObject*));
1715
1716 for (i = 0; i < newClass->interfaceCount; i++) {
1717 const DexTypeItem* pType = dexGetTypeItem(pInterfacesList, i);
1718 newClass->interfaces[i] = (ClassObject*)(u4) pType->typeIdx;
1719 }
1720 dvmLinearReadOnly(classLoader, newClass->interfaces);
1721 }
1722
1723 /* load field definitions */
1724
1725 /*
1726 * TODO: consider over-allocating the class object and appending the
1727 * static field info onto the end. It's fixed-size and known at alloc
1728 * time. This would save a couple of native heap allocations, but it
1729 * would also make heap compaction more difficult because we pass Field
1730 * pointers around internally.
1731 */
1732
1733 if (pHeader->staticFieldsSize != 0) {
1734 /* static fields stay on system heap; field data isn't "write once" */
1735 int count = (int) pHeader->staticFieldsSize;
1736 u4 lastIndex = 0;
1737 DexField field;
1738
1739 newClass->sfieldCount = count;
1740 newClass->sfields =
1741 (StaticField*) calloc(count, sizeof(StaticField));
1742 for (i = 0; i < count; i++) {
1743 dexReadClassDataField(&pEncodedData, &field, &lastIndex);
1744 loadSFieldFromDex(newClass, &field, &newClass->sfields[i]);
1745 }
1746 }
1747
1748 if (pHeader->instanceFieldsSize != 0) {
1749 int count = (int) pHeader->instanceFieldsSize;
1750 u4 lastIndex = 0;
1751 DexField field;
1752
1753 newClass->ifieldCount = count;
1754 newClass->ifields = (InstField*) dvmLinearAlloc(classLoader,
1755 count * sizeof(InstField));
1756 for (i = 0; i < count; i++) {
1757 dexReadClassDataField(&pEncodedData, &field, &lastIndex);
1758 loadIFieldFromDex(newClass, &field, &newClass->ifields[i]);
1759 }
1760 dvmLinearReadOnly(classLoader, newClass->ifields);
1761 }
1762
The Android Open Source Project99409882009-03-18 22:20:24 -07001763 /*
1764 * Load method definitions. We do this in two batches, direct then
1765 * virtual.
1766 *
1767 * If register maps have already been generated for this class, and
1768 * precise GC is enabled, we pull out pointers to them. We know that
1769 * they were streamed to the DEX file in the same order in which the
1770 * methods appear.
1771 *
1772 * If the class wasn't pre-verified, the maps will be generated when
1773 * the class is verified during class initialization.
1774 */
1775 u4 classDefIdx = dexGetIndexForClassDef(pDexFile, pClassDef);
1776 const void* classMapData;
1777 u4 numMethods;
1778
1779 if (gDvm.preciseGc) {
1780 classMapData =
Andy McFaddend45a8872009-03-24 20:41:52 -07001781 dvmRegisterMapGetClassData(pDexFile, classDefIdx, &numMethods);
The Android Open Source Project99409882009-03-18 22:20:24 -07001782
1783 /* sanity check */
1784 if (classMapData != NULL &&
1785 pHeader->directMethodsSize + pHeader->virtualMethodsSize != numMethods)
1786 {
1787 LOGE("ERROR: in %s, direct=%d virtual=%d, maps have %d\n",
1788 newClass->descriptor, pHeader->directMethodsSize,
1789 pHeader->virtualMethodsSize, numMethods);
1790 assert(false);
1791 classMapData = NULL; /* abandon */
1792 }
1793 } else {
1794 classMapData = NULL;
1795 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08001796
1797 if (pHeader->directMethodsSize != 0) {
1798 int count = (int) pHeader->directMethodsSize;
1799 u4 lastIndex = 0;
1800 DexMethod method;
1801
1802 newClass->directMethodCount = count;
1803 newClass->directMethods = (Method*) dvmLinearAlloc(classLoader,
1804 count * sizeof(Method));
1805 for (i = 0; i < count; i++) {
1806 dexReadClassDataMethod(&pEncodedData, &method, &lastIndex);
1807 loadMethodFromDex(newClass, &method, &newClass->directMethods[i]);
The Android Open Source Project99409882009-03-18 22:20:24 -07001808 if (classMapData != NULL) {
Andy McFaddend45a8872009-03-24 20:41:52 -07001809 const RegisterMap* pMap = dvmRegisterMapGetNext(&classMapData);
1810 if (dvmRegisterMapGetFormat(pMap) != kRegMapFormatNone) {
The Android Open Source Project99409882009-03-18 22:20:24 -07001811 newClass->directMethods[i].registerMap = pMap;
1812 /* TODO: add rigorous checks */
1813 assert((newClass->directMethods[i].registersSize+7) / 8 ==
1814 newClass->directMethods[i].registerMap->regWidth);
1815 }
1816 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08001817 }
1818 dvmLinearReadOnly(classLoader, newClass->directMethods);
1819 }
1820
1821 if (pHeader->virtualMethodsSize != 0) {
1822 int count = (int) pHeader->virtualMethodsSize;
1823 u4 lastIndex = 0;
1824 DexMethod method;
1825
1826 newClass->virtualMethodCount = count;
1827 newClass->virtualMethods = (Method*) dvmLinearAlloc(classLoader,
1828 count * sizeof(Method));
1829 for (i = 0; i < count; i++) {
1830 dexReadClassDataMethod(&pEncodedData, &method, &lastIndex);
1831 loadMethodFromDex(newClass, &method, &newClass->virtualMethods[i]);
The Android Open Source Project99409882009-03-18 22:20:24 -07001832 if (classMapData != NULL) {
Andy McFaddend45a8872009-03-24 20:41:52 -07001833 const RegisterMap* pMap = dvmRegisterMapGetNext(&classMapData);
1834 if (dvmRegisterMapGetFormat(pMap) != kRegMapFormatNone) {
The Android Open Source Project99409882009-03-18 22:20:24 -07001835 newClass->virtualMethods[i].registerMap = pMap;
1836 /* TODO: add rigorous checks */
1837 assert((newClass->virtualMethods[i].registersSize+7) / 8 ==
1838 newClass->virtualMethods[i].registerMap->regWidth);
1839 }
1840 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08001841 }
1842 dvmLinearReadOnly(classLoader, newClass->virtualMethods);
1843 }
1844
1845 newClass->sourceFile = dexGetSourceFile(pDexFile, pClassDef);
1846 newClass->status = CLASS_LOADED;
1847
1848 /* caller must call dvmReleaseTrackedAlloc */
1849 return newClass;
1850}
1851
1852/*
1853 * Try to load the indicated class from the specified DEX file.
1854 *
1855 * This is effectively loadClass()+defineClass() for a DexClassDef. The
1856 * loading was largely done when we crunched through the DEX.
1857 *
1858 * Returns NULL on failure. If we locate the class but encounter an error
1859 * while processing it, an appropriate exception is thrown.
1860 */
1861static ClassObject* loadClassFromDex(DvmDex* pDvmDex,
1862 const DexClassDef* pClassDef, Object* classLoader)
1863{
1864 ClassObject* result;
1865 DexClassDataHeader header;
1866 const u1* pEncodedData;
1867 const DexFile* pDexFile;
1868
1869 assert((pDvmDex != NULL) && (pClassDef != NULL));
1870 pDexFile = pDvmDex->pDexFile;
1871
1872 if (gDvm.verboseClass) {
1873 LOGV("CLASS: loading '%s'...\n",
1874 dexGetClassDescriptor(pDexFile, pClassDef));
1875 }
1876
1877 pEncodedData = dexGetClassData(pDexFile, pClassDef);
1878
1879 if (pEncodedData != NULL) {
1880 dexReadClassDataHeader(&pEncodedData, &header);
1881 } else {
1882 // Provide an all-zeroes header for the rest of the loading.
1883 memset(&header, 0, sizeof(header));
1884 }
1885
1886 result = loadClassFromDex0(pDvmDex, pClassDef, &header, pEncodedData,
1887 classLoader);
1888
1889 if (gDvm.verboseClass && (result != NULL)) {
1890 LOGI("[Loaded %s from DEX %p (cl=%p)]\n",
1891 result->descriptor, pDvmDex, classLoader);
1892 }
1893
1894 return result;
1895}
1896
1897/*
1898 * Free anything in a ClassObject that was allocated on the system heap.
1899 *
1900 * The ClassObject itself is allocated on the GC heap, so we leave it for
1901 * the garbage collector.
1902 *
1903 * NOTE: this may be called with a partially-constructed object.
1904 * NOTE: there is no particular ordering imposed, so don't go poking at
1905 * superclasses.
1906 */
1907void dvmFreeClassInnards(ClassObject* clazz)
1908{
1909 void *tp;
1910 int i;
1911
1912 if (clazz == NULL)
1913 return;
1914
1915 assert(clazz->obj.clazz == gDvm.classJavaLangClass ||
1916 clazz->obj.clazz == gDvm.unlinkedJavaLangClass);
1917
1918 /* Guarantee that dvmFreeClassInnards can be called on a given
1919 * class multiple times by clearing things out as we free them.
1920 * We don't make any attempt at real atomicity here; higher
1921 * levels need to make sure that no two threads can free the
1922 * same ClassObject at the same time.
1923 *
1924 * TODO: maybe just make it so the GC will never free the
1925 * innards of an already-freed class.
1926 *
1927 * TODO: this #define isn't MT-safe -- the compiler could rearrange it.
1928 */
1929#define NULL_AND_FREE(p) \
1930 do { \
1931 if ((p) != NULL) { \
1932 tp = (p); \
1933 (p) = NULL; \
1934 free(tp); \
1935 } \
1936 } while (0)
1937#define NULL_AND_LINEAR_FREE(p) \
1938 do { \
1939 if ((p) != NULL) { \
1940 tp = (p); \
1941 (p) = NULL; \
1942 dvmLinearFree(clazz->classLoader, tp); \
1943 } \
1944 } while (0)
1945
1946 /* arrays just point at Object's vtable; don't free vtable in this case.
1947 * dvmIsArrayClass() checks clazz->descriptor, so we have to do this check
1948 * before freeing the name.
1949 */
1950 clazz->vtableCount = -1;
1951 if (dvmIsArrayClass(clazz)) {
1952 clazz->vtable = NULL;
1953 } else {
1954 NULL_AND_LINEAR_FREE(clazz->vtable);
1955 }
1956
1957 clazz->descriptor = NULL;
1958 NULL_AND_FREE(clazz->descriptorAlloc);
1959
1960 if (clazz->directMethods != NULL) {
1961 Method *directMethods = clazz->directMethods;
1962 int directMethodCount = clazz->directMethodCount;
1963 clazz->directMethods = NULL;
1964 clazz->directMethodCount = -1;
1965 for (i = 0; i < directMethodCount; i++) {
1966 freeMethodInnards(&directMethods[i]);
1967 }
1968 dvmLinearFree(clazz->classLoader, directMethods);
1969 }
1970 if (clazz->virtualMethods != NULL) {
1971 Method *virtualMethods = clazz->virtualMethods;
1972 int virtualMethodCount = clazz->virtualMethodCount;
1973 clazz->virtualMethodCount = -1;
1974 clazz->virtualMethods = NULL;
1975 for (i = 0; i < virtualMethodCount; i++) {
1976 freeMethodInnards(&virtualMethods[i]);
1977 }
1978 dvmLinearFree(clazz->classLoader, virtualMethods);
1979 }
1980
Barry Hayes2c987472009-04-06 10:03:48 -07001981 InitiatingLoaderList *loaderList = dvmGetInitiatingLoaderList(clazz);
1982 loaderList->initiatingLoaderCount = -1;
1983 NULL_AND_FREE(loaderList->initiatingLoaders);
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08001984
1985 clazz->interfaceCount = -1;
1986 NULL_AND_LINEAR_FREE(clazz->interfaces);
1987
1988 clazz->iftableCount = -1;
1989 NULL_AND_LINEAR_FREE(clazz->iftable);
1990
1991 clazz->ifviPoolCount = -1;
1992 NULL_AND_LINEAR_FREE(clazz->ifviPool);
1993
1994 clazz->sfieldCount = -1;
1995 NULL_AND_FREE(clazz->sfields);
1996
1997 clazz->ifieldCount = -1;
1998 NULL_AND_LINEAR_FREE(clazz->ifields);
1999
2000#undef NULL_AND_FREE
2001#undef NULL_AND_LINEAR_FREE
2002}
2003
2004/*
2005 * Free anything in a Method that was allocated on the system heap.
The Android Open Source Project99409882009-03-18 22:20:24 -07002006 *
2007 * The containing class is largely torn down by this point.
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002008 */
2009static void freeMethodInnards(Method* meth)
2010{
2011#if 0
2012 free(meth->exceptions);
2013 free(meth->lines);
2014 free(meth->locals);
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002015#endif
The Android Open Source Project99409882009-03-18 22:20:24 -07002016
2017 /*
2018 * Some register maps are allocated on the heap, either because of late
2019 * verification or because we're caching an uncompressed form.
2020 */
2021 const RegisterMap* pMap = meth->registerMap;
Andy McFaddend45a8872009-03-24 20:41:52 -07002022 if (pMap != NULL && dvmRegisterMapGetOnHeap(pMap)) {
The Android Open Source Project99409882009-03-18 22:20:24 -07002023 dvmFreeRegisterMap((RegisterMap*) pMap);
2024 meth->registerMap = NULL;
2025 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002026}
2027
2028/*
2029 * Clone a Method, making new copies of anything that will be freed up
The Android Open Source Project99409882009-03-18 22:20:24 -07002030 * by freeMethodInnards(). This is used for "miranda" methods.
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002031 */
2032static void cloneMethod(Method* dst, const Method* src)
2033{
The Android Open Source Project99409882009-03-18 22:20:24 -07002034 if (src->registerMap != NULL) {
2035 LOGE("GLITCH: only expected abstract methods here\n");
2036 LOGE(" cloning %s.%s\n", src->clazz->descriptor, src->name);
2037 dvmAbort();
2038 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002039 memcpy(dst, src, sizeof(Method));
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08002040}
2041
2042/*
2043 * Pull the interesting pieces out of a DexMethod.
2044 *
2045 * The DEX file isn't going anywhere, so we don't need to make copies of
2046 * the code area.
2047 */
2048static void loadMethodFromDex(ClassObject* clazz, const DexMethod* pDexMethod,
2049 Method* meth)
2050{
2051 DexFile* pDexFile = clazz->pDvmDex->pDexFile;
2052 const DexMethodId* pMethodId;
2053 const DexCode* pDexCode;
2054
2055 pMethodId = dexGetMethodId(pDexFile, pDexMethod->methodIdx);
2056
2057 meth->name = dexStringById(pDexFile, pMethodId->nameIdx);
2058 dexProtoSetFromMethodId(&meth->prototype, pDexFile, pMethodId);
2059 meth->shorty = dexProtoGetShorty(&meth->prototype);
2060 meth->accessFlags = pDexMethod->accessFlags;
2061 meth->clazz = clazz;
2062 meth->jniArgInfo = 0;
2063
2064 if (dvmCompareNameDescriptorAndMethod("finalize", "()V", meth) == 0) {
2065 SET_CLASS_FLAG(clazz, CLASS_ISFINALIZABLE);
2066 }
2067
2068 pDexCode = dexGetCode(pDexFile, pDexMethod);
2069 if (pDexCode != NULL) {
2070 /* integer constants, copy over for faster access */
2071 meth->registersSize = pDexCode->registersSize;
2072 meth->insSize = pDexCode->insSize;
2073 meth->outsSize = pDexCode->outsSize;
2074
2075 /* pointer to code area */
2076 meth->insns = pDexCode->insns;
2077 } else {
2078 /*
2079 * We don't have a DexCode block, but we still want to know how
2080 * much space is needed for the arguments (so we don't have to
2081 * compute it later). We also take this opportunity to compute
2082 * JNI argument info.
2083 *
2084 * We do this for abstract methods as well, because we want to
2085 * be able to substitute our exception-throwing "stub" in.
2086 */
2087 int argsSize = dvmComputeMethodArgsSize(meth);
2088 if (!dvmIsStaticMethod(meth))
2089 argsSize++;
2090 meth->registersSize = meth->insSize = argsSize;
2091 assert(meth->outsSize == 0);
2092 assert(meth->insns == NULL);
2093
2094 if (dvmIsNativeMethod(meth)) {
2095 meth->nativeFunc = dvmResolveNativeMethod;
2096 meth->jniArgInfo = computeJniArgInfo(&meth->prototype);
2097 }
2098 }
2099}
2100
2101/*
2102 * jniArgInfo (32-bit int) layout:
2103 * SRRRHHHH HHHHHHHH HHHHHHHH HHHHHHHH
2104 *
2105 * S - if set, do things the hard way (scan the signature)
2106 * R - return-type enumeration
2107 * H - target-specific hints
2108 *
2109 * This info is used at invocation time by dvmPlatformInvoke. In most
2110 * cases, the target-specific hints allow dvmPlatformInvoke to avoid
2111 * having to fully parse the signature.
2112 *
2113 * The return-type bits are always set, even if target-specific hint bits
2114 * are unavailable.
2115 */
2116static int computeJniArgInfo(const DexProto* proto)
2117{
2118 const char* sig = dexProtoGetShorty(proto);
2119 int returnType, padFlags, jniArgInfo;
2120 char sigByte;
2121 int stackOffset, padMask;
2122 u4 hints;
2123
2124 /* The first shorty character is the return type. */
2125 switch (*(sig++)) {
2126 case 'V':
2127 returnType = DALVIK_JNI_RETURN_VOID;
2128 break;
2129 case 'F':
2130 returnType = DALVIK_JNI_RETURN_FLOAT;
2131 break;
2132 case 'D':
2133 returnType = DALVIK_JNI_RETURN_DOUBLE;
2134 break;
2135 case 'J':
2136 returnType = DALVIK_JNI_RETURN_S8;
2137 break;
2138 default:
2139 returnType = DALVIK_JNI_RETURN_S4;
2140 break;
2141 }
2142
2143 jniArgInfo = returnType << DALVIK_JNI_RETURN_SHIFT;
2144
2145 hints = dvmPlatformInvokeHints(proto);
2146
2147 if (hints & DALVIK_JNI_NO_ARG_INFO) {
2148 jniArgInfo |= DALVIK_JNI_NO_ARG_INFO;
2149 } else {
2150 assert((hints & DALVIK_JNI_RETURN_MASK) == 0);
2151 jniArgInfo |= hints;
2152 }
2153
2154 return jniArgInfo;
2155}
2156
2157/*
2158 * Load information about a static field.
2159 *
2160 * This also "prepares" static fields by initializing them
2161 * to their "standard default values".
2162 */
2163static void loadSFieldFromDex(ClassObject* clazz,
2164 const DexField* pDexSField, StaticField* sfield)
2165{
2166 DexFile* pDexFile = clazz->pDvmDex->pDexFile;
2167 const DexFieldId* pFieldId;
2168
2169 pFieldId = dexGetFieldId(pDexFile, pDexSField->fieldIdx);
2170
2171 sfield->field.clazz = clazz;
2172 sfield->field.name = dexStringById(pDexFile, pFieldId->nameIdx);
2173 sfield->field.signature = dexStringByTypeIdx(pDexFile, pFieldId->typeIdx);
2174 sfield->field.accessFlags = pDexSField->accessFlags;
2175
2176 /* Static object field values are set to "standard default values"
2177 * (null or 0) until the class is initialized. We delay loading
2178 * constant values from the class until that time.
2179 */
2180 //sfield->value.j = 0;
2181 assert(sfield->value.j == 0LL); // cleared earlier with calloc
2182
2183#ifdef PROFILE_FIELD_ACCESS
2184 sfield->field.gets = sfield->field.puts = 0;
2185#endif
2186}
2187
2188/*
2189 * Load information about an instance field.
2190 */
2191static void loadIFieldFromDex(ClassObject* clazz,
2192 const DexField* pDexIField, InstField* ifield)
2193{
2194 DexFile* pDexFile = clazz->pDvmDex->pDexFile;
2195 const DexFieldId* pFieldId;
2196
2197 pFieldId = dexGetFieldId(pDexFile, pDexIField->fieldIdx);
2198
2199 ifield->field.clazz = clazz;
2200 ifield->field.name = dexStringById(pDexFile, pFieldId->nameIdx);
2201 ifield->field.signature = dexStringByTypeIdx(pDexFile, pFieldId->typeIdx);
2202 ifield->field.accessFlags = pDexIField->accessFlags;
2203#ifndef NDEBUG
2204 assert(ifield->byteOffset == 0); // cleared earlier with calloc
2205 ifield->byteOffset = -1; // make it obvious if we fail to set later
2206#endif
2207
2208#ifdef PROFILE_FIELD_ACCESS
2209 ifield->field.gets = ifield->field.puts = 0;
2210#endif
2211}
2212
2213/*
2214 * Cache java.lang.ref.Reference fields and methods.
2215 */
2216static bool precacheReferenceOffsets(ClassObject *clazz)
2217{
2218 Method *meth;
2219 int i;
2220
2221 /* We trick the GC object scanner by not counting
2222 * java.lang.ref.Reference.referent as an object
2223 * field. It will get explicitly scanned as part
2224 * of the reference-walking process.
2225 *
2226 * Find the object field named "referent" and put it
2227 * just after the list of object reference fields.
2228 */
2229 dvmLinearReadWrite(clazz->classLoader, clazz->ifields);
2230 for (i = 0; i < clazz->ifieldRefCount; i++) {
2231 InstField *pField = &clazz->ifields[i];
2232 if (strcmp(pField->field.name, "referent") == 0) {
2233 int targetIndex;
2234
2235 /* Swap this field with the last object field.
2236 */
2237 targetIndex = clazz->ifieldRefCount - 1;
2238 if (i != targetIndex) {
2239 InstField *swapField = &clazz->ifields[targetIndex];
2240 InstField tmpField;
2241 int tmpByteOffset;
2242
2243 /* It's not currently strictly necessary
2244 * for the fields to be in byteOffset order,
2245 * but it's more predictable that way.
2246 */
2247 tmpByteOffset = swapField->byteOffset;
2248 swapField->byteOffset = pField->byteOffset;
2249 pField->byteOffset = tmpByteOffset;
2250
2251 tmpField = *swapField;
2252 *swapField = *pField;
2253 *pField = tmpField;
2254 }
2255
2256 /* One fewer object field (wink wink).
2257 */
2258 clazz->ifieldRefCount--;
2259 i--; /* don't trip "didn't find it" test if field was last */
2260 break;
2261 }
2262 }
2263 dvmLinearReadOnly(clazz->classLoader, clazz->ifields);
2264 if (i == clazz->ifieldRefCount) {
2265 LOGE("Unable to reorder 'referent' in %s\n", clazz->descriptor);
2266 return false;
2267 }
2268
2269 /* Cache pretty much everything about Reference so that
2270 * we don't need to call interpreted code when clearing/enqueueing
2271 * references. This is fragile, so we'll be paranoid.
2272 */
2273 gDvm.classJavaLangRefReference = clazz;
2274
2275 gDvm.offJavaLangRefReference_referent =
2276 dvmFindFieldOffset(gDvm.classJavaLangRefReference,
2277 "referent", "Ljava/lang/Object;");
2278 assert(gDvm.offJavaLangRefReference_referent >= 0);
2279
2280 gDvm.offJavaLangRefReference_queue =
2281 dvmFindFieldOffset(gDvm.classJavaLangRefReference,
2282 "queue", "Ljava/lang/ref/ReferenceQueue;");
2283 assert(gDvm.offJavaLangRefReference_queue >= 0);
2284
2285 gDvm.offJavaLangRefReference_queueNext =
2286 dvmFindFieldOffset(gDvm.classJavaLangRefReference,
2287 "queueNext", "Ljava/lang/ref/Reference;");
2288 assert(gDvm.offJavaLangRefReference_queueNext >= 0);
2289
2290 gDvm.offJavaLangRefReference_vmData =
2291 dvmFindFieldOffset(gDvm.classJavaLangRefReference,
2292 "vmData", "I");
2293 assert(gDvm.offJavaLangRefReference_vmData >= 0);
2294
2295#if FANCY_REFERENCE_SUBCLASS
2296 meth = dvmFindVirtualMethodByDescriptor(clazz, "clear", "()V");
2297 assert(meth != NULL);
2298 gDvm.voffJavaLangRefReference_clear = meth->methodIndex;
2299
2300 meth = dvmFindVirtualMethodByDescriptor(clazz, "enqueue", "()Z");
2301 assert(meth != NULL);
2302 gDvm.voffJavaLangRefReference_enqueue = meth->methodIndex;
2303#else
2304 /* enqueueInternal() is private and thus a direct method. */
2305 meth = dvmFindDirectMethodByDescriptor(clazz, "enqueueInternal", "()Z");
2306 assert(meth != NULL);
2307 gDvm.methJavaLangRefReference_enqueueInternal = meth;
2308#endif
2309
2310 return true;
2311}
2312
2313
2314/*
2315 * Link (prepare and resolve). Verification is deferred until later.
2316 *
2317 * This converts symbolic references into pointers. It's independent of
2318 * the source file format.
2319 *
2320 * If "classesResolved" is false, we assume that superclassIdx and
2321 * interfaces[] are holding class reference indices rather than pointers.
2322 * The class references will be resolved during link. (This is done when
2323 * loading from DEX to avoid having to create additional storage to pass
2324 * the indices around.)
2325 *
2326 * Returns "false" with an exception pending on failure.
2327 */
2328bool dvmLinkClass(ClassObject* clazz, bool classesResolved)
2329{
2330 u4 superclassIdx = 0;
2331 bool okay = false;
2332 bool resolve_okay;
2333 int numInterfacesResolved = 0;
2334 int i;
2335
2336 if (gDvm.verboseClass)
2337 LOGV("CLASS: linking '%s'...\n", clazz->descriptor);
2338
2339 /* "Resolve" the class.
2340 *
2341 * At this point, clazz's reference fields contain Dex
2342 * file indices instead of direct object references.
2343 * We need to translate those indices into real references,
2344 * while making sure that the GC doesn't sweep any of
2345 * the referenced objects.
2346 *
2347 * The GC will avoid scanning this object as long as
2348 * clazz->obj.clazz is gDvm.unlinkedJavaLangClass.
2349 * Once clazz is ready, we'll replace clazz->obj.clazz
2350 * with gDvm.classJavaLangClass to let the GC know
2351 * to look at it.
2352 */
2353 assert(clazz->obj.clazz == gDvm.unlinkedJavaLangClass);
2354
2355 /* It's important that we take care of java.lang.Class
2356 * first. If we were to do this after looking up the
2357 * superclass (below), Class wouldn't be ready when
2358 * java.lang.Object needed it.
2359 *
2360 * Note that we don't set clazz->obj.clazz yet.
2361 */
2362 if (gDvm.classJavaLangClass == NULL) {
2363 if (clazz->classLoader == NULL &&
2364 strcmp(clazz->descriptor, "Ljava/lang/Class;") == 0)
2365 {
2366 gDvm.classJavaLangClass = clazz;
2367 } else {
2368 gDvm.classJavaLangClass =
2369 dvmFindSystemClassNoInit("Ljava/lang/Class;");
2370 if (gDvm.classJavaLangClass == NULL) {
2371 /* should have thrown one */
2372 assert(dvmCheckException(dvmThreadSelf()));
2373 goto bail;
2374 }
2375 }
2376 }
2377 assert(gDvm.classJavaLangClass != NULL);
2378
2379 /*
2380 * Resolve all Dex indices so we can hand the ClassObject
2381 * over to the GC. If we fail at any point, we need to remove
2382 * any tracked references to avoid leaking memory.
2383 */
2384
2385 /*
2386 * All classes have a direct superclass, except for java/lang/Object.
2387 */
2388 if (!classesResolved) {
2389 superclassIdx = (u4) clazz->super; /* unpack temp store */
2390 clazz->super = NULL;
2391 }
2392 if (strcmp(clazz->descriptor, "Ljava/lang/Object;") == 0) {
2393 assert(!classesResolved);
2394 if (superclassIdx != kDexNoIndex) {
2395 /* TODO: is this invariant true for all java/lang/Objects,
2396 * regardless of the class loader? For now, assume it is.
2397 */
2398 dvmThrowException("Ljava/lang/ClassFormatError;",
2399 "java.lang.Object has a superclass");
2400 goto bail;
2401 }
2402
2403 /* Don't finalize objects whose classes use the
2404 * default (empty) Object.finalize().
2405 */
2406 CLEAR_CLASS_FLAG(clazz, CLASS_ISFINALIZABLE);
2407 } else {
2408 if (!classesResolved) {
2409 if (superclassIdx == kDexNoIndex) {
2410 dvmThrowException("Ljava/lang/LinkageError;",
2411 "no superclass defined");
2412 goto bail;
2413 }
2414 clazz->super = dvmResolveClass(clazz, superclassIdx, false);
2415 if (clazz->super == NULL) {
2416 assert(dvmCheckException(dvmThreadSelf()));
2417 if (gDvm.optimizing) {
2418 /* happens with "external" libs */
2419 LOGV("Unable to resolve superclass of %s (%d)\n",
2420 clazz->descriptor, superclassIdx);
2421 } else {
2422 LOGW("Unable to resolve superclass of %s (%d)\n",
2423 clazz->descriptor, superclassIdx);
2424 }
2425 goto bail;
2426 }
2427 }
2428 /* verify */
2429 if (dvmIsFinalClass(clazz->super)) {
2430 LOGW("Superclass of '%s' is final '%s'\n",
2431 clazz->descriptor, clazz->super->descriptor);
2432 dvmThrowException("Ljava/lang/IncompatibleClassChangeError;",
2433 "superclass is final");
2434 goto bail;
2435 } else if (dvmIsInterfaceClass(clazz->super)) {
2436 LOGW("Superclass of '%s' is interface '%s'\n",
2437 clazz->descriptor, clazz->super->descriptor);
2438 dvmThrowException("Ljava/lang/IncompatibleClassChangeError;",
2439 "superclass is an interface");
2440 goto bail;
2441 } else if (!dvmCheckClassAccess(clazz, clazz->super)) {
2442 LOGW("Superclass of '%s' (%s) is not accessible\n",
2443 clazz->descriptor, clazz->super->descriptor);
2444 dvmThrowException("Ljava/lang/IllegalAccessError;",
2445 "superclass not accessible");
2446 goto bail;
2447 }
2448
2449 /* Don't let the GC reclaim the superclass.
2450 * TODO: shouldn't be needed; remove when things stabilize
2451 */
2452 dvmAddTrackedAlloc((Object *)clazz->super, NULL);
2453
2454 /* Inherit finalizability from the superclass. If this
2455 * class also overrides finalize(), its CLASS_ISFINALIZABLE
2456 * bit will already be set.
2457 */
2458 if (IS_CLASS_FLAG_SET(clazz->super, CLASS_ISFINALIZABLE)) {
2459 SET_CLASS_FLAG(clazz, CLASS_ISFINALIZABLE);
2460 }
2461
2462 /* See if this class descends from java.lang.Reference
2463 * and set the class flags appropriately.
2464 */
2465 if (IS_CLASS_FLAG_SET(clazz->super, CLASS_ISREFERENCE)) {
2466 u4 superRefFlags;
2467
2468 /* We've already determined the reference type of this
2469 * inheritance chain. Inherit reference-ness from the superclass.
2470 */
2471 superRefFlags = GET_CLASS_FLAG_GROUP(clazz->super,
2472 CLASS_ISREFERENCE |
2473 CLASS_ISWEAKREFERENCE |
2474 CLASS_ISPHANTOMREFERENCE);
2475 SET_CLASS_FLAG(clazz, superRefFlags);
2476 } else if (clazz->classLoader == NULL &&
2477 clazz->super->classLoader == NULL &&
2478 strcmp(clazz->super->descriptor,
2479 "Ljava/lang/ref/Reference;") == 0)
2480 {
2481 u4 refFlags;
2482
2483 /* This class extends Reference, which means it should
2484 * be one of the magic Soft/Weak/PhantomReference classes.
2485 */
2486 refFlags = CLASS_ISREFERENCE;
2487 if (strcmp(clazz->descriptor,
2488 "Ljava/lang/ref/SoftReference;") == 0)
2489 {
2490 /* Only CLASS_ISREFERENCE is set for soft references.
2491 */
2492 } else if (strcmp(clazz->descriptor,
2493 "Ljava/lang/ref/WeakReference;") == 0)
2494 {
2495 refFlags |= CLASS_ISWEAKREFERENCE;
2496 } else if (strcmp(clazz->descriptor,
2497 "Ljava/lang/ref/PhantomReference;") == 0)
2498 {
2499 refFlags |= CLASS_ISPHANTOMREFERENCE;
2500 } else {
2501 /* No-one else is allowed to inherit directly
2502 * from Reference.
2503 */
2504//xxx is this the right exception? better than an assertion.
2505 dvmThrowException("Ljava/lang/LinkageError;",
2506 "illegal inheritance from Reference");
2507 goto bail;
2508 }
2509
2510 /* The class should not have any reference bits set yet.
2511 */
2512 assert(GET_CLASS_FLAG_GROUP(clazz,
2513 CLASS_ISREFERENCE |
2514 CLASS_ISWEAKREFERENCE |
2515 CLASS_ISPHANTOMREFERENCE) == 0);
2516
2517 SET_CLASS_FLAG(clazz, refFlags);
2518 }
2519 }
2520
2521 if (!classesResolved && clazz->interfaceCount > 0) {
2522 /*
2523 * Resolve the interfaces implemented directly by this class. We
2524 * stuffed the class index into the interface pointer slot.
2525 */
2526 dvmLinearReadWrite(clazz->classLoader, clazz->interfaces);
2527 for (i = 0; i < clazz->interfaceCount; i++) {
2528 u4 interfaceIdx;
2529
2530 interfaceIdx = (u4) clazz->interfaces[i]; /* unpack temp store */
2531 assert(interfaceIdx != kDexNoIndex);
2532
2533 clazz->interfaces[i] = dvmResolveClass(clazz, interfaceIdx, false);
2534 if (clazz->interfaces[i] == NULL) {
2535 const DexFile* pDexFile = clazz->pDvmDex->pDexFile;
2536
2537 assert(dvmCheckException(dvmThreadSelf()));
2538 dvmLinearReadOnly(clazz->classLoader, clazz->interfaces);
2539
2540 const char* classDescriptor;
2541 classDescriptor = dexStringByTypeIdx(pDexFile, interfaceIdx);
2542 if (gDvm.optimizing) {
2543 /* happens with "external" libs */
2544 LOGV("Failed resolving %s interface %d '%s'\n",
2545 clazz->descriptor, interfaceIdx, classDescriptor);
2546 } else {
2547 LOGI("Failed resolving %s interface %d '%s'\n",
2548 clazz->descriptor, interfaceIdx, classDescriptor);
2549 }
2550 goto bail_during_resolve;
2551 }
2552
2553 /* are we allowed to implement this interface? */
2554 if (!dvmCheckClassAccess(clazz, clazz->interfaces[i])) {
2555 dvmLinearReadOnly(clazz->classLoader, clazz->interfaces);
2556 LOGW("Interface '%s' is not accessible to '%s'\n",
2557 clazz->interfaces[i]->descriptor, clazz->descriptor);
2558 dvmThrowException("Ljava/lang/IllegalAccessError;",
2559 "interface not accessible");
2560 goto bail_during_resolve;
2561 }
2562
2563 /* Don't let the GC reclaim the interface class.
2564 * TODO: shouldn't be needed; remove when things stabilize
2565 */
2566 dvmAddTrackedAlloc((Object *)clazz->interfaces[i], NULL);
2567 numInterfacesResolved++;
2568
2569 LOGVV("+++ found interface '%s'\n",
2570 clazz->interfaces[i]->descriptor);
2571 }
2572 dvmLinearReadOnly(clazz->classLoader, clazz->interfaces);
2573 }
2574
2575 /*
2576 * The ClassObject is now in a GC-able state. We let the GC
2577 * realize this by punching in the real class type, which is
2578 * always java.lang.Class.
2579 *
2580 * After this line, clazz will be fair game for the GC.
2581 * Every field that the GC will look at must now be valid:
2582 * - clazz->super
2583 * - class->classLoader
2584 * - clazz->sfields
2585 * - clazz->interfaces
2586 */
2587 clazz->obj.clazz = gDvm.classJavaLangClass;
2588
2589 if (false) {
2590bail_during_resolve:
2591 resolve_okay = false;
2592 } else {
2593 resolve_okay = true;
2594 }
2595
2596 /*
2597 * Now that the GC can scan the ClassObject, we can let
2598 * go of the explicit references we were holding onto.
2599 *
2600 * Either that or we failed, in which case we need to
2601 * release the references so we don't leak memory.
2602 */
2603 if (clazz->super != NULL) {
2604 dvmReleaseTrackedAlloc((Object *)clazz->super, NULL);
2605 }
2606 for (i = 0; i < numInterfacesResolved; i++) {
2607 dvmReleaseTrackedAlloc((Object *)clazz->interfaces[i], NULL);
2608 }
2609
2610 if (!resolve_okay) {
2611 //LOGW("resolve_okay is false\n");
2612 goto bail;
2613 }
2614
2615 /*
2616 * Populate vtable.
2617 */
2618 if (dvmIsInterfaceClass(clazz)) {
2619 /* no vtable; just set the method indices */
2620 int count = clazz->virtualMethodCount;
2621
2622 if (count != (u2) count) {
2623 LOGE("Too many methods (%d) in interface '%s'\n", count,
2624 clazz->descriptor);
2625 goto bail;
2626 }
2627
2628 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
2629
2630 for (i = 0; i < count; i++)
2631 clazz->virtualMethods[i].methodIndex = (u2) i;
2632
2633 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
2634 } else {
2635 if (!createVtable(clazz)) {
2636 LOGW("failed creating vtable\n");
2637 goto bail;
2638 }
2639 }
2640
2641 /*
2642 * Populate interface method tables. Can alter the vtable.
2643 */
2644 if (!createIftable(clazz))
2645 goto bail;
2646
2647 /*
2648 * Insert special-purpose "stub" method implementations.
2649 */
2650 if (!insertMethodStubs(clazz))
2651 goto bail;
2652
2653 /*
2654 * Compute instance field offsets and, hence, the size of the object.
2655 */
2656 if (!computeFieldOffsets(clazz))
2657 goto bail;
2658
2659 /*
2660 * Cache fields and methods from java/lang/ref/Reference and
2661 * java/lang/Class. This has to happen after computeFieldOffsets().
2662 */
2663 if (clazz->classLoader == NULL) {
2664 if (strcmp(clazz->descriptor, "Ljava/lang/ref/Reference;") == 0) {
2665 if (!precacheReferenceOffsets(clazz)) {
2666 LOGE("failed pre-caching Reference offsets\n");
2667 dvmThrowException("Ljava/lang/InternalError;", NULL);
2668 goto bail;
2669 }
2670 } else if (clazz == gDvm.classJavaLangClass) {
2671 gDvm.offJavaLangClass_pd = dvmFindFieldOffset(clazz, "pd",
2672 "Ljava/security/ProtectionDomain;");
2673 if (gDvm.offJavaLangClass_pd <= 0) {
2674 LOGE("ERROR: unable to find 'pd' field in Class\n");
2675 dvmAbort(); /* we're not going to get much farther */
2676 //goto bail;
2677 }
2678 }
2679 }
2680
2681 /*
2682 * Done!
2683 */
2684 if (IS_CLASS_FLAG_SET(clazz, CLASS_ISPREVERIFIED))
2685 clazz->status = CLASS_VERIFIED;
2686 else
2687 clazz->status = CLASS_RESOLVED;
2688 okay = true;
2689 if (gDvm.verboseClass)
2690 LOGV("CLASS: linked '%s'\n", clazz->descriptor);
2691
2692 /*
2693 * We send CLASS_PREPARE events to the debugger from here. The
2694 * definition of "preparation" is creating the static fields for a
2695 * class and initializing them to the standard default values, but not
2696 * executing any code (that comes later, during "initialization").
2697 *
2698 * We did the static prep in loadSFieldFromDex() while loading the class.
2699 *
2700 * The class has been prepared and resolved but possibly not yet verified
2701 * at this point.
2702 */
2703 if (gDvm.debuggerActive) {
2704 dvmDbgPostClassPrepare(clazz);
2705 }
2706
2707bail:
2708 if (!okay) {
2709 clazz->status = CLASS_ERROR;
2710 if (!dvmCheckException(dvmThreadSelf())) {
2711 dvmThrowException("Ljava/lang/VirtualMachineError;", NULL);
2712 }
2713 }
2714 return okay;
2715}
2716
2717/*
2718 * Create the virtual method table.
2719 *
2720 * The top part of the table is a copy of the table from our superclass,
2721 * with our local methods overriding theirs. The bottom part of the table
2722 * has any new methods we defined.
2723 */
2724static bool createVtable(ClassObject* clazz)
2725{
2726 bool result = false;
2727 int maxCount;
2728 int i;
2729
2730 if (clazz->super != NULL) {
2731 //LOGI("SUPER METHODS %d %s->%s\n", clazz->super->vtableCount,
2732 // clazz->descriptor, clazz->super->descriptor);
2733 }
2734
2735 /* the virtual methods we define, plus the superclass vtable size */
2736 maxCount = clazz->virtualMethodCount;
2737 if (clazz->super != NULL) {
2738 maxCount += clazz->super->vtableCount;
2739 } else {
2740 /* TODO: is this invariant true for all java/lang/Objects,
2741 * regardless of the class loader? For now, assume it is.
2742 */
2743 assert(strcmp(clazz->descriptor, "Ljava/lang/Object;") == 0);
2744 }
2745 //LOGD("+++ max vmethods for '%s' is %d\n", clazz->descriptor, maxCount);
2746
2747 /*
2748 * Over-allocate the table, then realloc it down if necessary. So
2749 * long as we don't allocate anything in between we won't cause
2750 * fragmentation, and reducing the size should be unlikely to cause
2751 * a buffer copy.
2752 */
2753 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
2754 clazz->vtable = (Method**) dvmLinearAlloc(clazz->classLoader,
2755 sizeof(Method*) * maxCount);
2756 if (clazz->vtable == NULL)
2757 goto bail;
2758
2759 if (clazz->super != NULL) {
2760 int actualCount;
2761
2762 memcpy(clazz->vtable, clazz->super->vtable,
2763 sizeof(*(clazz->vtable)) * clazz->super->vtableCount);
2764 actualCount = clazz->super->vtableCount;
2765
2766 /*
2767 * See if any of our virtual methods override the superclass.
2768 */
2769 for (i = 0; i < clazz->virtualMethodCount; i++) {
2770 Method* localMeth = &clazz->virtualMethods[i];
2771 int si;
2772
2773 for (si = 0; si < clazz->super->vtableCount; si++) {
2774 Method* superMeth = clazz->vtable[si];
2775
2776 if (dvmCompareMethodNamesAndProtos(localMeth, superMeth) == 0)
2777 {
2778 /* verify */
2779 if (dvmIsFinalMethod(superMeth)) {
2780 LOGW("Method %s.%s overrides final %s.%s\n",
2781 localMeth->clazz->descriptor, localMeth->name,
2782 superMeth->clazz->descriptor, superMeth->name);
2783 goto bail;
2784 }
2785 clazz->vtable[si] = localMeth;
2786 localMeth->methodIndex = (u2) si;
2787 //LOGV("+++ override %s.%s (slot %d)\n",
2788 // clazz->descriptor, localMeth->name, si);
2789 break;
2790 }
2791 }
2792
2793 if (si == clazz->super->vtableCount) {
2794 /* not an override, add to end */
2795 clazz->vtable[actualCount] = localMeth;
2796 localMeth->methodIndex = (u2) actualCount;
2797 actualCount++;
2798
2799 //LOGV("+++ add method %s.%s\n",
2800 // clazz->descriptor, localMeth->name);
2801 }
2802 }
2803
2804 if (actualCount != (u2) actualCount) {
2805 LOGE("Too many methods (%d) in class '%s'\n", actualCount,
2806 clazz->descriptor);
2807 goto bail;
2808 }
2809
2810 assert(actualCount <= maxCount);
2811
2812 if (actualCount < maxCount) {
2813 assert(clazz->vtable != NULL);
2814 dvmLinearReadOnly(clazz->classLoader, clazz->vtable);
2815 clazz->vtable = dvmLinearRealloc(clazz->classLoader, clazz->vtable,
2816 sizeof(*(clazz->vtable)) * actualCount);
2817 if (clazz->vtable == NULL) {
2818 LOGE("vtable realloc failed\n");
2819 goto bail;
2820 } else {
2821 LOGVV("+++ reduced vtable from %d to %d\n",
2822 maxCount, actualCount);
2823 }
2824 }
2825
2826 clazz->vtableCount = actualCount;
2827 } else {
2828 /* java/lang/Object case */
2829 int count = clazz->virtualMethodCount;
2830 if (count != (u2) count) {
2831 LOGE("Too many methods (%d) in base class '%s'\n", count,
2832 clazz->descriptor);
2833 goto bail;
2834 }
2835
2836 for (i = 0; i < count; i++) {
2837 clazz->vtable[i] = &clazz->virtualMethods[i];
2838 clazz->virtualMethods[i].methodIndex = (u2) i;
2839 }
2840 clazz->vtableCount = clazz->virtualMethodCount;
2841 }
2842
2843 result = true;
2844
2845bail:
2846 dvmLinearReadOnly(clazz->classLoader, clazz->vtable);
2847 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
2848 return result;
2849}
2850
2851/*
2852 * Create and populate "iftable".
2853 *
2854 * The set of interfaces we support is the combination of the interfaces
2855 * we implement directly and those implemented by our superclass. Each
2856 * interface can have one or more "superinterfaces", which we must also
2857 * support. For speed we flatten the tree out.
2858 *
2859 * We might be able to speed this up when there are lots of interfaces
2860 * by merge-sorting the class pointers and binary-searching when removing
2861 * duplicates. We could also drop the duplicate removal -- it's only
2862 * there to reduce the memory footprint.
2863 *
2864 * Because of "Miranda methods", this may reallocate clazz->virtualMethods.
2865 *
2866 * Returns "true" on success.
2867 */
2868static bool createIftable(ClassObject* clazz)
2869{
2870 bool result = false;
2871 bool zapIftable = false;
2872 bool zapVtable = false;
2873 bool zapIfvipool = false;
2874 int ifCount, superIfCount, idx;
2875 int i;
2876
2877 if (clazz->super != NULL)
2878 superIfCount = clazz->super->iftableCount;
2879 else
2880 superIfCount = 0;
2881
2882 ifCount = superIfCount;
2883 ifCount += clazz->interfaceCount;
2884 for (i = 0; i < clazz->interfaceCount; i++)
2885 ifCount += clazz->interfaces[i]->iftableCount;
2886
2887 LOGVV("INTF: class '%s' direct w/supra=%d super=%d total=%d\n",
2888 clazz->descriptor, ifCount - superIfCount, superIfCount, ifCount);
2889
2890 if (ifCount == 0) {
2891 assert(clazz->iftableCount == 0);
2892 assert(clazz->iftable == NULL);
2893 result = true;
2894 goto bail;
2895 }
2896
2897 /*
2898 * Create a table with enough space for all interfaces, and copy the
2899 * superclass' table in.
2900 */
2901 clazz->iftable = (InterfaceEntry*) dvmLinearAlloc(clazz->classLoader,
2902 sizeof(InterfaceEntry) * ifCount);
2903 zapIftable = true;
2904 memset(clazz->iftable, 0x00, sizeof(InterfaceEntry) * ifCount);
2905 if (superIfCount != 0) {
2906 memcpy(clazz->iftable, clazz->super->iftable,
2907 sizeof(InterfaceEntry) * superIfCount);
2908 }
2909
2910 /*
2911 * Create a flattened interface hierarchy of our immediate interfaces.
2912 */
2913 idx = superIfCount;
2914
2915 for (i = 0; i < clazz->interfaceCount; i++) {
2916 ClassObject* interf;
2917 int j;
2918
2919 interf = clazz->interfaces[i];
2920 assert(interf != NULL);
2921
2922 /* make sure this is still an interface class */
2923 if (!dvmIsInterfaceClass(interf)) {
2924 LOGW("Class '%s' implements non-interface '%s'\n",
2925 clazz->descriptor, interf->descriptor);
2926 dvmThrowExceptionWithClassMessage(
2927 "Ljava/lang/IncompatibleClassChangeError;",
2928 clazz->descriptor);
2929 goto bail;
2930 }
2931
2932 /* add entry for this interface */
2933 clazz->iftable[idx++].clazz = interf;
2934
2935 /* add entries for the interface's superinterfaces */
2936 for (j = 0; j < interf->iftableCount; j++) {
2937 clazz->iftable[idx++].clazz = interf->iftable[j].clazz;
2938 }
2939 }
2940
2941 assert(idx == ifCount);
2942
2943 if (false) {
2944 /*
2945 * Remove anything redundant from our recent additions. Note we have
2946 * to traverse the recent adds when looking for duplicates, because
2947 * it's possible the recent additions are self-redundant. This
2948 * reduces the memory footprint of classes with lots of inherited
2949 * interfaces.
2950 *
2951 * (I don't know if this will cause problems later on when we're trying
2952 * to find a static field. It looks like the proper search order is
2953 * (1) current class, (2) interfaces implemented by current class,
2954 * (3) repeat with superclass. A field implemented by an interface
2955 * and by a superclass might come out wrong if the superclass also
2956 * implements the interface. The javac compiler will reject the
2957 * situation as ambiguous, so the concern is somewhat artificial.)
2958 *
2959 * UPDATE: this makes ReferenceType.Interfaces difficult to implement,
2960 * because it wants to return just the interfaces declared to be
2961 * implemented directly by the class. I'm excluding this code for now.
2962 */
2963 for (i = superIfCount; i < ifCount; i++) {
2964 int j;
2965
2966 for (j = 0; j < ifCount; j++) {
2967 if (i == j)
2968 continue;
2969 if (clazz->iftable[i].clazz == clazz->iftable[j].clazz) {
2970 LOGVV("INTF: redundant interface %s in %s\n",
2971 clazz->iftable[i].clazz->descriptor,
2972 clazz->descriptor);
2973
2974 if (i != ifCount-1)
2975 memmove(&clazz->iftable[i], &clazz->iftable[i+1],
2976 (ifCount - i -1) * sizeof(InterfaceEntry));
2977 ifCount--;
2978 i--; // adjust for i++ above
2979 break;
2980 }
2981 }
2982 }
2983 LOGVV("INTF: class '%s' nodupes=%d\n", clazz->descriptor, ifCount);
2984 } // if (false)
2985
2986 clazz->iftableCount = ifCount;
2987
2988 /*
2989 * If we're an interface, we don't need the vtable pointers, so
2990 * we're done. If this class doesn't implement an interface that our
2991 * superclass doesn't have, then we again have nothing to do.
2992 */
2993 if (dvmIsInterfaceClass(clazz) || superIfCount == ifCount) {
2994 //dvmDumpClass(clazz, kDumpClassFullDetail);
2995 result = true;
2996 goto bail;
2997 }
2998
2999 /*
3000 * When we're handling invokeinterface, we probably have an object
3001 * whose type is an interface class rather than a concrete class. We
3002 * need to convert the method reference into a vtable index. So, for
3003 * every entry in "iftable", we create a list of vtable indices.
3004 *
3005 * Because our vtable encompasses the superclass vtable, we can use
3006 * the vtable indices from our superclass for all of the interfaces
3007 * that weren't directly implemented by us.
3008 *
3009 * Each entry in "iftable" has a pointer to the start of its set of
3010 * vtable offsets. The iftable entries in the superclass point to
3011 * storage allocated in the superclass, and the iftable entries added
3012 * for this class point to storage allocated in this class. "iftable"
3013 * is flat for fast access in a class and all of its subclasses, but
3014 * "ifviPool" is only created for the topmost implementor.
3015 */
3016 int poolSize = 0;
3017 for (i = superIfCount; i < ifCount; i++) {
3018 /*
3019 * Note it's valid for an interface to have no methods (e.g.
3020 * java/io/Serializable).
3021 */
3022 LOGVV("INTF: pool: %d from %s\n",
3023 clazz->iftable[i].clazz->virtualMethodCount,
3024 clazz->iftable[i].clazz->descriptor);
3025 poolSize += clazz->iftable[i].clazz->virtualMethodCount;
3026 }
3027
3028 if (poolSize == 0) {
3029 LOGVV("INTF: didn't find any new interfaces with methods\n");
3030 result = true;
3031 goto bail;
3032 }
3033
3034 clazz->ifviPoolCount = poolSize;
3035 clazz->ifviPool = (int*) dvmLinearAlloc(clazz->classLoader,
3036 poolSize * sizeof(int*));
3037 zapIfvipool = true;
3038
3039 /*
3040 * Fill in the vtable offsets for the interfaces that weren't part of
3041 * our superclass.
3042 */
3043 int poolOffset = 0;
3044 Method** mirandaList = NULL;
3045 int mirandaCount = 0, mirandaAlloc = 0;
3046
3047 for (i = superIfCount; i < ifCount; i++) {
3048 ClassObject* interface;
3049 int methIdx;
3050
3051 clazz->iftable[i].methodIndexArray = clazz->ifviPool + poolOffset;
3052 interface = clazz->iftable[i].clazz;
3053 poolOffset += interface->virtualMethodCount; // end here
3054
3055 /*
3056 * For each method listed in the interface's method list, find the
3057 * matching method in our class's method list. We want to favor the
3058 * subclass over the superclass, which just requires walking
3059 * back from the end of the vtable. (This only matters if the
3060 * superclass defines a private method and this class redefines
3061 * it -- otherwise it would use the same vtable slot. In Dalvik
3062 * those don't end up in the virtual method table, so it shouldn't
3063 * matter which direction we go. We walk it backward anyway.)
3064 *
3065 *
3066 * Suppose we have the following arrangement:
3067 * public interface MyInterface
3068 * public boolean inInterface();
3069 * public abstract class MirandaAbstract implements MirandaInterface
3070 * //public abstract boolean inInterface(); // not declared!
3071 * public boolean inAbstract() { stuff } // in vtable
3072 * public class MirandClass extends MirandaAbstract
3073 * public boolean inInterface() { stuff }
3074 * public boolean inAbstract() { stuff } // in vtable
3075 *
3076 * The javac compiler happily compiles MirandaAbstract even though
3077 * it doesn't declare all methods from its interface. When we try
3078 * to set up a vtable for MirandaAbstract, we find that we don't
3079 * have an slot for inInterface. To prevent this, we synthesize
3080 * abstract method declarations in MirandaAbstract.
3081 *
3082 * We have to expand vtable and update some things that point at it,
3083 * so we accumulate the method list and do it all at once below.
3084 */
3085 for (methIdx = 0; methIdx < interface->virtualMethodCount; methIdx++) {
3086 Method* imeth = &interface->virtualMethods[methIdx];
3087 int j;
3088
3089 IF_LOGVV() {
3090 char* desc = dexProtoCopyMethodDescriptor(&imeth->prototype);
3091 LOGVV("INTF: matching '%s' '%s'\n", imeth->name, desc);
3092 free(desc);
3093 }
3094
3095 for (j = clazz->vtableCount-1; j >= 0; j--) {
3096 if (dvmCompareMethodNamesAndProtos(imeth, clazz->vtable[j])
3097 == 0)
3098 {
3099 LOGVV("INTF: matched at %d\n", j);
3100 if (!dvmIsPublicMethod(clazz->vtable[j])) {
3101 LOGW("Implementation of %s.%s is not public\n",
3102 clazz->descriptor, clazz->vtable[j]->name);
3103 dvmThrowException("Ljava/lang/IllegalAccessError;",
3104 "interface implementation not public");
3105 goto bail;
3106 }
3107 clazz->iftable[i].methodIndexArray[methIdx] = j;
3108 break;
3109 }
3110 }
3111 if (j < 0) {
3112 IF_LOGV() {
3113 char* desc =
3114 dexProtoCopyMethodDescriptor(&imeth->prototype);
3115 LOGV("No match for '%s' '%s' in '%s' (creating miranda)\n",
3116 imeth->name, desc, clazz->descriptor);
3117 free(desc);
3118 }
3119 //dvmThrowException("Ljava/lang/RuntimeException;", "Miranda!");
3120 //return false;
3121
3122 if (mirandaCount == mirandaAlloc) {
3123 mirandaAlloc += 8;
3124 if (mirandaList == NULL) {
3125 mirandaList = dvmLinearAlloc(clazz->classLoader,
3126 mirandaAlloc * sizeof(Method*));
3127 } else {
3128 dvmLinearReadOnly(clazz->classLoader, mirandaList);
3129 mirandaList = dvmLinearRealloc(clazz->classLoader,
3130 mirandaList, mirandaAlloc * sizeof(Method*));
3131 }
3132 assert(mirandaList != NULL); // mem failed + we leaked
3133 }
3134
3135 /*
3136 * These may be redundant (e.g. method with same name and
3137 * signature declared in two interfaces implemented by the
3138 * same abstract class). We can squeeze the duplicates
3139 * out here.
3140 */
3141 int mir;
3142 for (mir = 0; mir < mirandaCount; mir++) {
3143 if (dvmCompareMethodNamesAndProtos(
3144 mirandaList[mir], imeth) == 0)
3145 {
3146 IF_LOGVV() {
3147 char* desc = dexProtoCopyMethodDescriptor(
3148 &imeth->prototype);
3149 LOGVV("MIRANDA dupe: %s and %s %s%s\n",
3150 mirandaList[mir]->clazz->descriptor,
3151 imeth->clazz->descriptor,
3152 imeth->name, desc);
3153 free(desc);
3154 }
3155 break;
3156 }
3157 }
3158
3159 /* point the iftable at a phantom slot index */
3160 clazz->iftable[i].methodIndexArray[methIdx] =
3161 clazz->vtableCount + mir;
3162 LOGVV("MIRANDA: %s points at slot %d\n",
3163 imeth->name, clazz->vtableCount + mir);
3164
3165 /* if non-duplicate among Mirandas, add to Miranda list */
3166 if (mir == mirandaCount) {
3167 //LOGV("MIRANDA: holding '%s' in slot %d\n",
3168 // imeth->name, mir);
3169 mirandaList[mirandaCount++] = imeth;
3170 }
3171 }
3172 }
3173 }
3174
3175 if (mirandaCount != 0) {
Andy McFadden68825972009-05-08 11:25:35 -07003176 static const int kManyMirandas = 150; /* arbitrary */
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08003177 Method* newVirtualMethods;
3178 Method* meth;
3179 int oldMethodCount, oldVtableCount;
3180
3181 for (i = 0; i < mirandaCount; i++) {
3182 LOGVV("MIRANDA %d: %s.%s\n", i,
3183 mirandaList[i]->clazz->descriptor, mirandaList[i]->name);
3184 }
Andy McFadden68825972009-05-08 11:25:35 -07003185 if (mirandaCount > kManyMirandas) {
3186 /*
3187 * Some obfuscators like to create an interface with a huge
3188 * pile of methods, declare classes as implementing it, and then
3189 * only define a couple of methods. This leads to a rather
3190 * massive collection of Miranda methods and a lot of wasted
3191 * space, sometimes enough to blow out the LinearAlloc cap.
3192 */
3193 LOGD("Note: class %s has %d unimplemented (abstract) methods\n",
3194 clazz->descriptor, mirandaCount);
3195 }
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08003196
3197 /*
3198 * We found methods in one or more interfaces for which we do not
3199 * have vtable entries. We have to expand our virtualMethods
3200 * table (which might be empty) to hold some new entries.
3201 */
3202 if (clazz->virtualMethods == NULL) {
3203 newVirtualMethods = (Method*) dvmLinearAlloc(clazz->classLoader,
3204 sizeof(Method) * (clazz->virtualMethodCount + mirandaCount));
3205 } else {
3206 //dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
3207 newVirtualMethods = (Method*) dvmLinearRealloc(clazz->classLoader,
3208 clazz->virtualMethods,
3209 sizeof(Method) * (clazz->virtualMethodCount + mirandaCount));
3210 }
3211 if (newVirtualMethods != clazz->virtualMethods) {
3212 /*
3213 * Table was moved in memory. We have to run through the
3214 * vtable and fix the pointers. The vtable entries might be
3215 * pointing at superclasses, so we flip it around: run through
3216 * all locally-defined virtual methods, and fix their entries
3217 * in the vtable. (This would get really messy if sub-classes
3218 * had already been loaded.)
3219 *
3220 * Reminder: clazz->virtualMethods and clazz->virtualMethodCount
3221 * hold the virtual methods declared by this class. The
3222 * method's methodIndex is the vtable index, and is the same
3223 * for all sub-classes (and all super classes in which it is
3224 * defined). We're messing with these because the Miranda
3225 * stuff makes it look like the class actually has an abstract
3226 * method declaration in it.
3227 */
3228 LOGVV("MIRANDA fixing vtable pointers\n");
3229 dvmLinearReadWrite(clazz->classLoader, clazz->vtable);
3230 Method* meth = newVirtualMethods;
3231 for (i = 0; i < clazz->virtualMethodCount; i++, meth++)
3232 clazz->vtable[meth->methodIndex] = meth;
3233 dvmLinearReadOnly(clazz->classLoader, clazz->vtable);
3234 }
3235
3236 oldMethodCount = clazz->virtualMethodCount;
3237 clazz->virtualMethods = newVirtualMethods;
3238 clazz->virtualMethodCount += mirandaCount;
3239
3240 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
3241
3242 /*
3243 * We also have to expand the vtable.
3244 */
3245 assert(clazz->vtable != NULL);
3246 clazz->vtable = (Method**) dvmLinearRealloc(clazz->classLoader,
3247 clazz->vtable,
3248 sizeof(Method*) * (clazz->vtableCount + mirandaCount));
3249 if (clazz->vtable == NULL) {
3250 assert(false);
3251 goto bail;
3252 }
3253 zapVtable = true;
3254
3255 oldVtableCount = clazz->vtableCount;
3256 clazz->vtableCount += mirandaCount;
3257
3258 /*
3259 * Now we need to create the fake methods. We clone the abstract
3260 * method definition from the interface and then replace a few
3261 * things.
Andy McFadden68825972009-05-08 11:25:35 -07003262 *
3263 * The Method will be an "abstract native", with nativeFunc set to
3264 * dvmAbstractMethodStub().
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08003265 */
3266 meth = clazz->virtualMethods + oldMethodCount;
3267 for (i = 0; i < mirandaCount; i++, meth++) {
3268 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
3269 cloneMethod(meth, mirandaList[i]);
3270 meth->clazz = clazz;
3271 meth->accessFlags |= ACC_MIRANDA;
3272 meth->methodIndex = (u2) (oldVtableCount + i);
3273 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
3274
3275 /* point the new vtable entry at the new method */
3276 clazz->vtable[oldVtableCount + i] = meth;
3277 }
3278
3279 dvmLinearReadOnly(clazz->classLoader, mirandaList);
3280 dvmLinearFree(clazz->classLoader, mirandaList);
3281
3282 }
3283
3284 /*
3285 * TODO?
3286 * Sort the interfaces by number of declared methods. All we really
3287 * want is to get the interfaces with zero methods at the end of the
3288 * list, so that when we walk through the list during invoke-interface
3289 * we don't examine interfaces that can't possibly be useful.
3290 *
3291 * The set will usually be small, so a simple insertion sort works.
3292 *
3293 * We have to be careful not to change the order of two interfaces
3294 * that define the same method. (Not a problem if we only move the
3295 * zero-method interfaces to the end.)
3296 *
3297 * PROBLEM:
3298 * If we do this, we will no longer be able to identify super vs.
3299 * current class interfaces by comparing clazz->super->iftableCount. This
3300 * breaks anything that only wants to find interfaces declared directly
3301 * by the class (dvmFindStaticFieldHier, ReferenceType.Interfaces,
3302 * dvmDbgOutputAllInterfaces, etc). Need to provide a workaround.
3303 *
3304 * We can sort just the interfaces implemented directly by this class,
3305 * but that doesn't seem like it would provide much of an advantage. I'm
3306 * not sure this is worthwhile.
3307 *
3308 * (This has been made largely obsolete by the interface cache mechanism.)
3309 */
3310
3311 //dvmDumpClass(clazz);
3312
3313 result = true;
3314
3315bail:
3316 if (zapIftable)
3317 dvmLinearReadOnly(clazz->classLoader, clazz->iftable);
3318 if (zapVtable)
3319 dvmLinearReadOnly(clazz->classLoader, clazz->vtable);
3320 if (zapIfvipool)
3321 dvmLinearReadOnly(clazz->classLoader, clazz->ifviPool);
3322 return result;
3323}
3324
3325
3326/*
3327 * Provide "stub" implementations for methods without them.
3328 *
3329 * Currently we provide an implementation for all abstract methods that
3330 * throws an AbstractMethodError exception. This allows us to avoid an
3331 * explicit check for abstract methods in every virtual call.
3332 *
3333 * NOTE: for Miranda methods, the method declaration is a clone of what
3334 * was found in the interface class. That copy may already have had the
3335 * function pointer filled in, so don't be surprised if it's not NULL.
3336 *
3337 * NOTE: this sets the "native" flag, giving us an "abstract native" method,
3338 * which is nonsensical. Need to make sure that this doesn't escape the
3339 * VM. We can either mask it out in reflection calls, or copy "native"
3340 * into the high 16 bits of accessFlags and check that internally.
3341 */
3342static bool insertMethodStubs(ClassObject* clazz)
3343{
3344 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
3345
3346 Method* meth;
3347 int i;
3348
3349 meth = clazz->virtualMethods;
3350 for (i = 0; i < clazz->virtualMethodCount; i++, meth++) {
3351 if (dvmIsAbstractMethod(meth)) {
3352 assert(meth->insns == NULL);
3353 assert(meth->nativeFunc == NULL ||
3354 meth->nativeFunc == (DalvikBridgeFunc)dvmAbstractMethodStub);
3355
3356 meth->accessFlags |= ACC_NATIVE;
3357 meth->nativeFunc = (DalvikBridgeFunc) dvmAbstractMethodStub;
3358 }
3359 }
3360
3361 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
3362 return true;
3363}
3364
3365
3366/*
3367 * Swap two instance fields.
3368 */
3369static inline void swapField(InstField* pOne, InstField* pTwo)
3370{
3371 InstField swap;
3372
3373 LOGVV(" --- swap '%s' and '%s'\n", pOne->field.name, pTwo->field.name);
3374 swap = *pOne;
3375 *pOne = *pTwo;
3376 *pTwo = swap;
3377}
3378
3379/*
3380 * Assign instance fields to u4 slots.
3381 *
3382 * The top portion of the instance field area is occupied by the superclass
3383 * fields, the bottom by the fields for this class.
3384 *
3385 * "long" and "double" fields occupy two adjacent slots. On some
3386 * architectures, 64-bit quantities must be 64-bit aligned, so we need to
3387 * arrange fields (or introduce padding) to ensure this. We assume the
3388 * fields of the topmost superclass (i.e. Object) are 64-bit aligned, so
3389 * we can just ensure that the offset is "even". To avoid wasting space,
3390 * we want to move non-reference 32-bit fields into gaps rather than
3391 * creating pad words.
3392 *
3393 * In the worst case we will waste 4 bytes, but because objects are
3394 * allocated on >= 64-bit boundaries, those bytes may well be wasted anyway
3395 * (assuming this is the most-derived class).
3396 *
3397 * Pad words are not represented in the field table, so the field table
3398 * itself does not change size.
3399 *
3400 * The number of field slots determines the size of the object, so we
3401 * set that here too.
3402 *
3403 * This function feels a little more complicated than I'd like, but it
3404 * has the property of moving the smallest possible set of fields, which
3405 * should reduce the time required to load a class.
3406 *
3407 * NOTE: reference fields *must* come first, or precacheReferenceOffsets()
3408 * will break.
3409 */
3410static bool computeFieldOffsets(ClassObject* clazz)
3411{
3412 int fieldOffset;
3413 int i, j;
3414
3415 dvmLinearReadWrite(clazz->classLoader, clazz->ifields);
3416
3417 if (clazz->super != NULL)
3418 fieldOffset = clazz->super->objectSize;
3419 else
3420 fieldOffset = offsetof(DataObject, instanceData);
3421
3422 LOGVV("--- computeFieldOffsets '%s'\n", clazz->descriptor);
3423
3424 //LOGI("OFFSETS fieldCount=%d\n", clazz->ifieldCount);
3425 //LOGI("dataobj, instance: %d\n", offsetof(DataObject, instanceData));
3426 //LOGI("classobj, access: %d\n", offsetof(ClassObject, accessFlags));
3427 //LOGI("super=%p, fieldOffset=%d\n", clazz->super, fieldOffset);
3428
3429 /*
3430 * Start by moving all reference fields to the front.
3431 */
3432 clazz->ifieldRefCount = 0;
3433 j = clazz->ifieldCount - 1;
3434 for (i = 0; i < clazz->ifieldCount; i++) {
3435 InstField* pField = &clazz->ifields[i];
3436 char c = pField->field.signature[0];
3437
3438 if (c != '[' && c != 'L') {
3439 /* This isn't a reference field; see if any reference fields
3440 * follow this one. If so, we'll move it to this position.
3441 * (quicksort-style partitioning)
3442 */
3443 while (j > i) {
3444 InstField* refField = &clazz->ifields[j--];
3445 char rc = refField->field.signature[0];
3446
3447 if (rc == '[' || rc == 'L') {
3448 /* Here's a reference field that follows at least one
3449 * non-reference field. Swap it with the current field.
3450 * (When this returns, "pField" points to the reference
3451 * field, and "refField" points to the non-ref field.)
3452 */
3453 swapField(pField, refField);
3454
3455 /* Fix the signature.
3456 */
3457 c = rc;
3458
3459 clazz->ifieldRefCount++;
3460 break;
3461 }
3462 }
3463 /* We may or may not have swapped a field.
3464 */
3465 } else {
3466 /* This is a reference field.
3467 */
3468 clazz->ifieldRefCount++;
3469 }
3470
3471 /*
3472 * If we've hit the end of the reference fields, break.
3473 */
3474 if (c != '[' && c != 'L')
3475 break;
3476
3477 pField->byteOffset = fieldOffset;
3478 fieldOffset += sizeof(u4);
3479 LOGVV(" --- offset1 '%s'=%d\n", pField->field.name,pField->byteOffset);
3480 }
3481
3482 /*
3483 * Now we want to pack all of the double-wide fields together. If we're
3484 * not aligned, though, we want to shuffle one 32-bit field into place.
3485 * If we can't find one, we'll have to pad it.
3486 */
3487 if (i != clazz->ifieldCount && (fieldOffset & 0x04) != 0) {
3488 LOGVV(" +++ not aligned\n");
3489
3490 InstField* pField = &clazz->ifields[i];
3491 char c = pField->field.signature[0];
3492
3493 if (c != 'J' && c != 'D') {
3494 /*
3495 * The field that comes next is 32-bit, so just advance past it.
3496 */
3497 assert(c != '[' && c != 'L');
3498 pField->byteOffset = fieldOffset;
3499 fieldOffset += sizeof(u4);
3500 i++;
3501 LOGVV(" --- offset2 '%s'=%d\n",
3502 pField->field.name, pField->byteOffset);
3503 } else {
3504 /*
3505 * Next field is 64-bit, so search for a 32-bit field we can
3506 * swap into it.
3507 */
3508 bool found = false;
3509 j = clazz->ifieldCount - 1;
3510 while (j > i) {
3511 InstField* singleField = &clazz->ifields[j--];
3512 char rc = singleField->field.signature[0];
3513
3514 if (rc != 'J' && rc != 'D') {
3515 swapField(pField, singleField);
3516 //c = rc;
3517 LOGVV(" +++ swapped '%s' for alignment\n",
3518 pField->field.name);
3519 pField->byteOffset = fieldOffset;
3520 fieldOffset += sizeof(u4);
3521 LOGVV(" --- offset3 '%s'=%d\n",
3522 pField->field.name, pField->byteOffset);
3523 found = true;
3524 i++;
3525 break;
3526 }
3527 }
3528 if (!found) {
3529 LOGV(" +++ inserting pad field in '%s'\n", clazz->descriptor);
3530 fieldOffset += sizeof(u4);
3531 }
3532 }
3533 }
3534
3535 /*
3536 * Alignment is good, shuffle any double-wide fields forward, and
3537 * finish assigning field offsets to all fields.
3538 */
3539 assert(i == clazz->ifieldCount || (fieldOffset & 0x04) == 0);
3540 j = clazz->ifieldCount - 1;
3541 for ( ; i < clazz->ifieldCount; i++) {
3542 InstField* pField = &clazz->ifields[i];
3543 char c = pField->field.signature[0];
3544
3545 if (c != 'D' && c != 'J') {
3546 /* This isn't a double-wide field; see if any double fields
3547 * follow this one. If so, we'll move it to this position.
3548 * (quicksort-style partitioning)
3549 */
3550 while (j > i) {
3551 InstField* doubleField = &clazz->ifields[j--];
3552 char rc = doubleField->field.signature[0];
3553
3554 if (rc == 'D' || rc == 'J') {
3555 /* Here's a double-wide field that follows at least one
3556 * non-double field. Swap it with the current field.
3557 * (When this returns, "pField" points to the reference
3558 * field, and "doubleField" points to the non-double field.)
3559 */
3560 swapField(pField, doubleField);
3561 c = rc;
3562
3563 break;
3564 }
3565 }
3566 /* We may or may not have swapped a field.
3567 */
3568 } else {
3569 /* This is a double-wide field, leave it be.
3570 */
3571 }
3572
3573 pField->byteOffset = fieldOffset;
3574 LOGVV(" --- offset4 '%s'=%d\n", pField->field.name,pField->byteOffset);
3575 fieldOffset += sizeof(u4);
3576 if (c == 'J' || c == 'D')
3577 fieldOffset += sizeof(u4);
3578 }
3579
3580#ifndef NDEBUG
3581 /* Make sure that all reference fields appear before
3582 * non-reference fields, and all double-wide fields are aligned.
3583 */
3584 j = 0; // seen non-ref
3585 for (i = 0; i < clazz->ifieldCount; i++) {
3586 InstField *pField = &clazz->ifields[i];
3587 char c = pField->field.signature[0];
3588
3589 if (c == 'D' || c == 'J') {
3590 assert((pField->byteOffset & 0x07) == 0);
3591 }
3592
3593 if (c != '[' && c != 'L') {
3594 if (!j) {
3595 assert(i == clazz->ifieldRefCount);
3596 j = 1;
3597 }
3598 } else if (j) {
3599 assert(false);
3600 }
3601 }
3602 if (!j) {
3603 assert(clazz->ifieldRefCount == clazz->ifieldCount);
3604 }
3605#endif
3606
3607 /*
3608 * We map a C struct directly on top of java/lang/Class objects. Make
3609 * sure we left enough room for the instance fields.
3610 */
3611 assert(clazz != gDvm.classJavaLangClass || (size_t)fieldOffset <
3612 offsetof(ClassObject, instanceData) + sizeof(clazz->instanceData));
3613
3614 clazz->objectSize = fieldOffset;
3615
3616 dvmLinearReadOnly(clazz->classLoader, clazz->ifields);
3617 return true;
3618}
3619
3620/*
3621 * Throw the VM-spec-mandated error when an exception is thrown during
3622 * class initialization.
3623 *
3624 * The safest way to do this is to call the ExceptionInInitializerError
3625 * constructor that takes a Throwable.
3626 *
3627 * [Do we want to wrap it if the original is an Error rather than
3628 * an Exception?]
3629 */
3630static void throwClinitError(void)
3631{
3632 Thread* self = dvmThreadSelf();
3633 Object* exception;
3634 Object* eiie;
3635
3636 exception = dvmGetException(self);
3637 dvmAddTrackedAlloc(exception, self);
3638 dvmClearException(self);
3639
3640 if (gDvm.classJavaLangExceptionInInitializerError == NULL) {
3641 /*
3642 * Always resolves to same thing -- no race condition.
3643 */
3644 gDvm.classJavaLangExceptionInInitializerError =
3645 dvmFindSystemClass(
3646 "Ljava/lang/ExceptionInInitializerError;");
3647 if (gDvm.classJavaLangExceptionInInitializerError == NULL) {
3648 LOGE("Unable to prep java/lang/ExceptionInInitializerError\n");
3649 goto fail;
3650 }
3651
3652 gDvm.methJavaLangExceptionInInitializerError_init =
3653 dvmFindDirectMethodByDescriptor(gDvm.classJavaLangExceptionInInitializerError,
3654 "<init>", "(Ljava/lang/Throwable;)V");
3655 if (gDvm.methJavaLangExceptionInInitializerError_init == NULL) {
3656 LOGE("Unable to prep java/lang/ExceptionInInitializerError\n");
3657 goto fail;
3658 }
3659 }
3660
3661 eiie = dvmAllocObject(gDvm.classJavaLangExceptionInInitializerError,
3662 ALLOC_DEFAULT);
3663 if (eiie == NULL)
3664 goto fail;
3665
3666 /*
3667 * Construct the new object, and replace the exception with it.
3668 */
3669 JValue unused;
3670 dvmCallMethod(self, gDvm.methJavaLangExceptionInInitializerError_init,
3671 eiie, &unused, exception);
3672 dvmSetException(self, eiie);
3673 dvmReleaseTrackedAlloc(eiie, NULL);
3674 dvmReleaseTrackedAlloc(exception, self);
3675 return;
3676
3677fail: /* restore original exception */
3678 dvmSetException(self, exception);
3679 dvmReleaseTrackedAlloc(exception, self);
3680 return;
3681}
3682
3683/*
3684 * The class failed to initialize on a previous attempt, so we want to throw
3685 * a NoClassDefFoundError (v2 2.17.5). The exception to this rule is if we
3686 * failed in verification, in which case v2 5.4.1 says we need to re-throw
3687 * the previous error.
3688 */
3689static void throwEarlierClassFailure(ClassObject* clazz)
3690{
3691 LOGI("Rejecting re-init on previously-failed class %s v=%p\n",
3692 clazz->descriptor, clazz->verifyErrorClass);
3693
3694 if (clazz->verifyErrorClass == NULL) {
3695 dvmThrowExceptionWithClassMessage("Ljava/lang/NoClassDefFoundError;",
3696 clazz->descriptor);
3697 } else {
3698 dvmThrowExceptionByClassWithClassMessage(clazz->verifyErrorClass,
3699 clazz->descriptor);
3700 }
3701}
3702
3703/*
3704 * Initialize any static fields whose values are stored in
3705 * the DEX file. This must be done during class initialization.
3706 */
3707static void initSFields(ClassObject* clazz)
3708{
3709 Thread* self = dvmThreadSelf(); /* for dvmReleaseTrackedAlloc() */
3710 DexFile* pDexFile;
3711 const DexClassDef* pClassDef;
3712 const DexEncodedArray* pValueList;
3713 EncodedArrayIterator iterator;
3714 int i;
3715
3716 if (clazz->sfieldCount == 0) {
3717 return;
3718 }
3719 if (clazz->pDvmDex == NULL) {
3720 /* generated class; any static fields should already be set up */
3721 LOGV("Not initializing static fields in %s\n", clazz->descriptor);
3722 return;
3723 }
3724 pDexFile = clazz->pDvmDex->pDexFile;
3725
3726 pClassDef = dexFindClass(pDexFile, clazz->descriptor);
3727 assert(pClassDef != NULL);
3728
3729 pValueList = dexGetStaticValuesList(pDexFile, pClassDef);
3730 if (pValueList == NULL) {
3731 return;
3732 }
3733
3734 dvmEncodedArrayIteratorInitialize(&iterator, pValueList, clazz);
3735
3736 /*
3737 * Iterate over the initial values array, setting the corresponding
3738 * static field for each array element.
3739 */
3740
3741 for (i = 0; dvmEncodedArrayIteratorHasNext(&iterator); i++) {
3742 AnnotationValue value;
3743 bool parsed = dvmEncodedArrayIteratorGetNext(&iterator, &value);
3744 StaticField* sfield = &clazz->sfields[i];
3745 const char* descriptor = sfield->field.signature;
3746 bool needRelease = false;
3747
3748 if (! parsed) {
3749 /*
3750 * TODO: Eventually verification should attempt to ensure
3751 * that this can't happen at least due to a data integrity
3752 * problem.
3753 */
3754 LOGE("Static initializer parse failed for %s at index %d",
3755 clazz->descriptor, i);
3756 dvmAbort();
3757 }
3758
3759 /* Verify that the value we got was of a valid type. */
3760
3761 switch (descriptor[0]) {
3762 case 'Z': parsed = (value.type == kDexAnnotationBoolean); break;
3763 case 'B': parsed = (value.type == kDexAnnotationByte); break;
3764 case 'C': parsed = (value.type == kDexAnnotationChar); break;
3765 case 'S': parsed = (value.type == kDexAnnotationShort); break;
3766 case 'I': parsed = (value.type == kDexAnnotationInt); break;
3767 case 'J': parsed = (value.type == kDexAnnotationLong); break;
3768 case 'F': parsed = (value.type == kDexAnnotationFloat); break;
3769 case 'D': parsed = (value.type == kDexAnnotationDouble); break;
3770 case '[': parsed = (value.type == kDexAnnotationNull); break;
3771 case 'L': {
3772 switch (value.type) {
3773 case kDexAnnotationNull: {
3774 /* No need for further tests. */
3775 break;
3776 }
3777 case kDexAnnotationString: {
3778 parsed =
3779 (strcmp(descriptor, "Ljava/lang/String;") == 0);
3780 needRelease = true;
3781 break;
3782 }
3783 case kDexAnnotationType: {
3784 parsed =
3785 (strcmp(descriptor, "Ljava/lang/Class;") == 0);
3786 needRelease = true;
3787 break;
3788 }
3789 default: {
3790 parsed = false;
3791 break;
3792 }
3793 }
3794 break;
3795 }
3796 default: {
3797 parsed = false;
3798 break;
3799 }
3800 }
3801
3802 if (parsed) {
3803 /*
3804 * All's well, so store the value. Note: This always
3805 * stores the full width of a JValue, even though most of
3806 * the time only the first word is needed.
3807 */
3808 sfield->value = value.value;
3809 if (needRelease) {
3810 dvmReleaseTrackedAlloc(value.value.l, self);
3811 }
3812 } else {
3813 /*
3814 * Something up above had a problem. TODO: See comment
3815 * above the switch about verfication.
3816 */
3817 LOGE("Bogus static initialization: value type %d in field type "
3818 "%s for %s at index %d",
3819 value.type, descriptor, clazz->descriptor, i);
3820 dvmAbort();
3821 }
3822 }
3823}
3824
3825
3826/*
3827 * Determine whether "descriptor" yields the same class object in the
3828 * context of clazz1 and clazz2.
3829 *
3830 * The caller must hold gDvm.loadedClasses.
3831 *
3832 * Returns "true" if they match.
3833 */
3834static bool compareDescriptorClasses(const char* descriptor,
3835 const ClassObject* clazz1, const ClassObject* clazz2)
3836{
3837 ClassObject* result1;
3838 ClassObject* result2;
3839
3840 /*
3841 * Do the first lookup by name.
3842 */
3843 result1 = dvmFindClassNoInit(descriptor, clazz1->classLoader);
3844
3845 /*
3846 * We can skip a second lookup by name if the second class loader is
3847 * in the initiating loader list of the class object we retrieved.
3848 * (This means that somebody already did a lookup of this class through
3849 * the second loader, and it resolved to the same class.) If it's not
3850 * there, we may simply not have had an opportunity to add it yet, so
3851 * we do the full lookup.
3852 *
3853 * The initiating loader test should catch the majority of cases
3854 * (in particular, the zillions of references to String/Object).
3855 *
3856 * Unfortunately we're still stuck grabbing a mutex to do the lookup.
3857 *
3858 * For this to work, the superclass/interface should be the first
3859 * argument, so that way if it's from the bootstrap loader this test
3860 * will work. (The bootstrap loader, by definition, never shows up
3861 * as the initiating loader of a class defined by some other loader.)
3862 */
3863 dvmHashTableLock(gDvm.loadedClasses);
3864 bool isInit = dvmLoaderInInitiatingList(result1, clazz2->classLoader);
3865 dvmHashTableUnlock(gDvm.loadedClasses);
3866
3867 if (isInit) {
3868 //printf("%s(obj=%p) / %s(cl=%p): initiating\n",
3869 // result1->descriptor, result1,
3870 // clazz2->descriptor, clazz2->classLoader);
3871 return true;
3872 } else {
3873 //printf("%s(obj=%p) / %s(cl=%p): RAW\n",
3874 // result1->descriptor, result1,
3875 // clazz2->descriptor, clazz2->classLoader);
3876 result2 = dvmFindClassNoInit(descriptor, clazz2->classLoader);
3877 }
3878
3879 if (result1 == NULL || result2 == NULL) {
3880 dvmClearException(dvmThreadSelf());
3881 if (result1 == result2) {
3882 /*
3883 * Neither class loader could find this class. Apparently it
3884 * doesn't exist.
3885 *
3886 * We can either throw some sort of exception now, or just
3887 * assume that it'll fail later when something actually tries
3888 * to use the class. For strict handling we should throw now,
3889 * because a "tricky" class loader could start returning
3890 * something later, and a pair of "tricky" loaders could set
3891 * us up for confusion.
3892 *
3893 * I'm not sure if we're allowed to complain about nonexistent
3894 * classes in method signatures during class init, so for now
3895 * this will just return "true" and let nature take its course.
3896 */
3897 return true;
3898 } else {
3899 /* only one was found, so clearly they're not the same */
3900 return false;
3901 }
3902 }
3903
3904 return result1 == result2;
3905}
3906
3907/*
3908 * For every component in the method descriptor, resolve the class in the
3909 * context of the two classes and compare the results.
3910 *
3911 * For best results, the "superclass" class should be first.
3912 *
3913 * Returns "true" if the classes match, "false" otherwise.
3914 */
3915static bool checkMethodDescriptorClasses(const Method* meth,
3916 const ClassObject* clazz1, const ClassObject* clazz2)
3917{
3918 DexParameterIterator iterator;
3919 const char* descriptor;
3920
3921 /* walk through the list of parameters */
3922 dexParameterIteratorInit(&iterator, &meth->prototype);
3923 while (true) {
3924 descriptor = dexParameterIteratorNextDescriptor(&iterator);
3925
3926 if (descriptor == NULL)
3927 break;
3928
3929 if (descriptor[0] == 'L' || descriptor[0] == '[') {
3930 /* non-primitive type */
3931 if (!compareDescriptorClasses(descriptor, clazz1, clazz2))
3932 return false;
3933 }
3934 }
3935
3936 /* check the return type */
3937 descriptor = dexProtoGetReturnType(&meth->prototype);
3938 if (descriptor[0] == 'L' || descriptor[0] == '[') {
3939 if (!compareDescriptorClasses(descriptor, clazz1, clazz2))
3940 return false;
3941 }
3942 return true;
3943}
3944
3945/*
3946 * Validate the descriptors in the superclass and interfaces.
3947 *
3948 * What we need to do is ensure that the classes named in the method
3949 * descriptors in our ancestors and ourselves resolve to the same class
3950 * objects. The only time this matters is when the classes come from
3951 * different class loaders, and the resolver might come up with a
3952 * different answer for the same class name depending on context.
3953 *
3954 * We don't need to check to see if an interface's methods match with
3955 * its superinterface's methods, because you can't instantiate an
3956 * interface and do something inappropriate with it. If interface I1
3957 * extends I2 and is implemented by C, and I1 and I2 are in separate
3958 * class loaders and have conflicting views of other classes, we will
3959 * catch the conflict when we process C. Anything that implements I1 is
3960 * doomed to failure, but we don't need to catch that while processing I1.
3961 *
3962 * On failure, throws an exception and returns "false".
3963 */
3964static bool validateSuperDescriptors(const ClassObject* clazz)
3965{
3966 int i;
3967
3968 if (dvmIsInterfaceClass(clazz))
3969 return true;
3970
3971 /*
3972 * Start with the superclass-declared methods.
3973 */
3974 if (clazz->super != NULL &&
3975 clazz->classLoader != clazz->super->classLoader)
3976 {
3977 /*
3978 * Walk through every method declared in the superclass, and
3979 * compare resolved descriptor components. We pull the Method
3980 * structs out of the vtable. It doesn't matter whether we get
3981 * the struct from the parent or child, since we just need the
3982 * UTF-8 descriptor, which must match.
3983 *
3984 * We need to do this even for the stuff inherited from Object,
3985 * because it's possible that the new class loader has redefined
3986 * a basic class like String.
3987 */
3988 const Method* meth;
3989
3990 //printf("Checking %s %p vs %s %p\n",
3991 // clazz->descriptor, clazz->classLoader,
3992 // clazz->super->descriptor, clazz->super->classLoader);
3993 for (i = clazz->super->vtableCount - 1; i >= 0; i--) {
3994 meth = clazz->vtable[i];
3995 if (!checkMethodDescriptorClasses(meth, clazz->super, clazz)) {
3996 LOGW("Method mismatch: %s in %s (cl=%p) and super %s (cl=%p)\n",
3997 meth->name, clazz->descriptor, clazz->classLoader,
3998 clazz->super->descriptor, clazz->super->classLoader);
3999 dvmThrowException("Ljava/lang/LinkageError;",
4000 "Classes resolve differently in superclass");
4001 return false;
4002 }
4003 }
4004 }
4005
4006 /*
4007 * Check all interfaces we implement.
4008 */
4009 for (i = 0; i < clazz->iftableCount; i++) {
4010 const InterfaceEntry* iftable = &clazz->iftable[i];
4011
4012 if (clazz->classLoader != iftable->clazz->classLoader) {
4013 const ClassObject* iface = iftable->clazz;
4014 int j;
4015
4016 for (j = 0; j < iface->virtualMethodCount; j++) {
4017 const Method* meth;
4018 int vtableIndex;
4019
4020 vtableIndex = iftable->methodIndexArray[j];
4021 meth = clazz->vtable[vtableIndex];
4022
4023 if (!checkMethodDescriptorClasses(meth, iface, clazz)) {
4024 LOGW("Method mismatch: %s in %s (cl=%p) and "
4025 "iface %s (cl=%p)\n",
4026 meth->name, clazz->descriptor, clazz->classLoader,
4027 iface->descriptor, iface->classLoader);
4028 dvmThrowException("Ljava/lang/LinkageError;",
4029 "Classes resolve differently in interface");
4030 return false;
4031 }
4032 }
4033 }
4034 }
4035
4036 return true;
4037}
4038
4039/*
4040 * Returns true if the class is being initialized by us (which means that
4041 * calling dvmInitClass will return immediately after fiddling with locks).
4042 *
4043 * There isn't a race here, because either clazz->initThreadId won't match
4044 * us, or it will and it was set in the same thread.
4045 */
4046bool dvmIsClassInitializing(const ClassObject* clazz)
4047{
4048 return (clazz->status == CLASS_INITIALIZING &&
4049 clazz->initThreadId == dvmThreadSelf()->threadId);
4050}
4051
4052/*
4053 * If a class has not been initialized, do so by executing the code in
4054 * <clinit>. The sequence is described in the VM spec v2 2.17.5.
4055 *
4056 * It is possible for multiple threads to arrive here simultaneously, so
4057 * we need to lock the class while we check stuff. We know that no
4058 * interpreted code has access to the class yet, so we can use the class's
4059 * monitor lock.
4060 *
4061 * We will often be called recursively, e.g. when the <clinit> code resolves
4062 * one of its fields, the field resolution will try to initialize the class.
4063 *
4064 * This can get very interesting if a class has a static field initialized
4065 * to a new instance of itself. <clinit> will end up calling <init> on
4066 * the members it is initializing, which is fine unless it uses the contents
4067 * of static fields to initialize instance fields. This will leave the
4068 * static-referenced objects in a partially initialized state. This is
4069 * reasonably rare and can sometimes be cured with proper field ordering.
4070 *
4071 * On failure, returns "false" with an exception raised.
4072 *
4073 * -----
4074 *
4075 * It is possible to cause a deadlock by having a situation like this:
4076 * class A { static { sleep(10000); new B(); } }
4077 * class B { static { sleep(10000); new A(); } }
4078 * new Thread() { public void run() { new A(); } }.start();
4079 * new Thread() { public void run() { new B(); } }.start();
4080 * This appears to be expected under the spec.
4081 *
4082 * The interesting question is what to do if somebody calls Thread.interrupt()
4083 * on one of the deadlocked threads. According to the VM spec, they're both
4084 * sitting in "wait". Should the interrupt code quietly raise the
4085 * "interrupted" flag, or should the "wait" return immediately with an
4086 * exception raised?
4087 *
4088 * This gets a little murky. The VM spec says we call "wait", and the
4089 * spec for Thread.interrupt says Object.wait is interruptible. So it
4090 * seems that, if we get unlucky and interrupt class initialization, we
4091 * are expected to throw (which gets converted to ExceptionInInitializerError
4092 * since InterruptedException is checked).
4093 *
4094 * There are a couple of problems here. First, all threads are expected to
4095 * present a consistent view of class initialization, so we can't have it
4096 * fail in one thread and succeed in another. Second, once a class fails
4097 * to initialize, it must *always* fail. This means that a stray interrupt()
4098 * call could render a class unusable for the lifetime of the VM.
4099 *
4100 * In most cases -- the deadlock example above being a counter-example --
4101 * the interrupting thread can't tell whether the target thread handled
4102 * the initialization itself or had to wait while another thread did the
4103 * work. Refusing to interrupt class initialization is, in most cases,
4104 * not something that a program can reliably detect.
4105 *
4106 * On the assumption that interrupting class initialization is highly
4107 * undesirable in most circumstances, and that failing to do so does not
4108 * deviate from the spec in a meaningful way, we don't allow class init
4109 * to be interrupted by Thread.interrupt().
4110 */
4111bool dvmInitClass(ClassObject* clazz)
4112{
4113#if LOG_CLASS_LOADING
4114 bool initializedByUs = false;
4115#endif
4116
4117 Thread* self = dvmThreadSelf();
4118 const Method* method;
4119
4120 dvmLockObject(self, (Object*) clazz);
4121 assert(dvmIsClassLinked(clazz) || clazz->status == CLASS_ERROR);
4122
4123 /*
4124 * If the class hasn't been verified yet, do so now.
4125 */
4126 if (clazz->status < CLASS_VERIFIED) {
4127 /*
4128 * If we're in an "erroneous" state, throw an exception and bail.
4129 */
4130 if (clazz->status == CLASS_ERROR) {
4131 throwEarlierClassFailure(clazz);
4132 goto bail_unlock;
4133 }
4134
4135 assert(clazz->status == CLASS_RESOLVED);
4136 assert(!IS_CLASS_FLAG_SET(clazz, CLASS_ISPREVERIFIED));
4137
4138 if (gDvm.classVerifyMode == VERIFY_MODE_NONE ||
4139 (gDvm.classVerifyMode == VERIFY_MODE_REMOTE &&
4140 clazz->classLoader == NULL))
4141 {
4142 LOGV("+++ not verifying class %s (cl=%p)\n",
4143 clazz->descriptor, clazz->classLoader);
4144 goto noverify;
4145 }
4146
4147 if (!gDvm.optimizing)
4148 LOGV("+++ late verify on %s\n", clazz->descriptor);
4149
4150 /*
4151 * We're not supposed to optimize an unverified class, but during
4152 * development this mode was useful. We can't verify an optimized
4153 * class because the optimization process discards information.
4154 */
4155 if (IS_CLASS_FLAG_SET(clazz, CLASS_ISOPTIMIZED)) {
4156 LOGW("Class '%s' was optimized without verification; "
4157 "not verifying now\n",
4158 clazz->descriptor);
4159 LOGW(" ('rm /data/dalvik-cache/*' and restart to fix this)");
4160 goto verify_failed;
4161 }
4162
4163 clazz->status = CLASS_VERIFYING;
4164 if (!dvmVerifyClass(clazz, VERIFY_DEFAULT)) {
4165verify_failed:
4166 dvmThrowExceptionWithClassMessage("Ljava/lang/VerifyError;",
4167 clazz->descriptor);
4168 clazz->verifyErrorClass = dvmGetException(self)->clazz;
4169 clazz->status = CLASS_ERROR;
4170 goto bail_unlock;
4171 }
4172
4173 clazz->status = CLASS_VERIFIED;
4174 }
4175noverify:
4176
4177 if (clazz->status == CLASS_INITIALIZED)
4178 goto bail_unlock;
4179
4180 while (clazz->status == CLASS_INITIALIZING) {
4181 /* we caught somebody else in the act; was it us? */
4182 if (clazz->initThreadId == self->threadId) {
4183 //LOGV("HEY: found a recursive <clinit>\n");
4184 goto bail_unlock;
4185 }
4186
4187 if (dvmCheckException(self)) {
4188 LOGW("GLITCH: exception pending at start of class init\n");
4189 dvmAbort();
4190 }
4191
4192 /*
4193 * Wait for the other thread to finish initialization. We pass
4194 * "false" for the "interruptShouldThrow" arg so it doesn't throw
4195 * an exception on interrupt.
4196 */
4197 dvmObjectWait(self, (Object*) clazz, 0, 0, false);
4198
4199 /*
4200 * When we wake up, repeat the test for init-in-progress. If there's
4201 * an exception pending (only possible if "interruptShouldThrow"
4202 * was set), bail out.
4203 */
4204 if (dvmCheckException(self)) {
4205 LOGI("Class init of '%s' failing with wait() exception\n",
4206 clazz->descriptor);
4207 /*
4208 * TODO: this is bogus, because it means the two threads have a
4209 * different idea of the class status. We need to flag the
4210 * class as bad and ensure that the initializer thread respects
4211 * our notice. If we get lucky and wake up after the class has
4212 * finished initialization but before being woken, we have to
4213 * swallow the exception, perhaps raising thread->interrupted
4214 * to preserve semantics.
4215 *
4216 * Since we're not currently allowing interrupts, this should
4217 * never happen and we don't need to fix this.
4218 */
4219 assert(false);
4220 throwClinitError();
4221 clazz->status = CLASS_ERROR;
4222 goto bail_unlock;
4223 }
4224 if (clazz->status == CLASS_INITIALIZING) {
4225 LOGI("Waiting again for class init\n");
4226 continue;
4227 }
4228 assert(clazz->status == CLASS_INITIALIZED ||
4229 clazz->status == CLASS_ERROR);
4230 if (clazz->status == CLASS_ERROR) {
4231 /*
4232 * The caller wants an exception, but it was thrown in a
4233 * different thread. Synthesize one here.
4234 */
4235 dvmThrowException("Ljava/lang/UnsatisfiedLinkError;",
4236 "(<clinit> failed, see exception in other thread)");
4237 }
4238 goto bail_unlock;
4239 }
4240
4241 /* see if we failed previously */
4242 if (clazz->status == CLASS_ERROR) {
4243 // might be wise to unlock before throwing; depends on which class
4244 // it is that we have locked
4245 dvmUnlockObject(self, (Object*) clazz);
4246 throwEarlierClassFailure(clazz);
4247 return false;
4248 }
4249
4250 /*
4251 * We're ready to go, and have exclusive access to the class.
4252 *
4253 * Before we start initialization, we need to do one extra bit of
4254 * validation: make sure that the methods declared here match up
4255 * with our superclass and interfaces. We know that the UTF-8
4256 * descriptors match, but classes from different class loaders can
4257 * have the same name.
4258 *
4259 * We do this now, rather than at load/link time, for the same reason
4260 * that we defer verification.
4261 *
4262 * It's unfortunate that we need to do this at all, but we risk
4263 * mixing reference types with identical names (see Dalvik test 068).
4264 */
4265 if (!validateSuperDescriptors(clazz)) {
4266 assert(dvmCheckException(self));
4267 clazz->status = CLASS_ERROR;
4268 goto bail_unlock;
4269 }
4270
4271 /*
4272 * Let's initialize this thing.
4273 *
4274 * We unlock the object so that other threads can politely sleep on
4275 * our mutex with Object.wait(), instead of hanging or spinning trying
4276 * to grab our mutex.
4277 */
4278 assert(clazz->status < CLASS_INITIALIZING);
4279
4280#if LOG_CLASS_LOADING
4281 // We started initializing.
4282 logClassLoad('+', clazz);
4283 initializedByUs = true;
4284#endif
4285
4286 clazz->status = CLASS_INITIALIZING;
4287 clazz->initThreadId = self->threadId;
4288 dvmUnlockObject(self, (Object*) clazz);
4289
4290 /* init our superclass */
4291 if (clazz->super != NULL && clazz->super->status != CLASS_INITIALIZED) {
4292 assert(!dvmIsInterfaceClass(clazz));
4293 if (!dvmInitClass(clazz->super)) {
4294 assert(dvmCheckException(self));
4295 clazz->status = CLASS_ERROR;
4296 /* wake up anybody who started waiting while we were unlocked */
4297 dvmLockObject(self, (Object*) clazz);
4298 goto bail_notify;
4299 }
4300 }
4301
4302 /* Initialize any static fields whose values are
4303 * stored in the Dex file. This should include all of the
4304 * simple "final static" fields, which are required to
4305 * be initialized first. (vmspec 2 sec 2.17.5 item 8)
4306 * More-complicated final static fields should be set
4307 * at the beginning of <clinit>; all we can do is trust
4308 * that the compiler did the right thing.
4309 */
4310 initSFields(clazz);
4311
4312 /* Execute any static initialization code.
4313 */
4314 method = dvmFindDirectMethodByDescriptor(clazz, "<clinit>", "()V");
4315 if (method == NULL) {
4316 LOGVV("No <clinit> found for %s\n", clazz->descriptor);
4317 } else {
4318 LOGVV("Invoking %s.<clinit>\n", clazz->descriptor);
4319 JValue unused;
4320 dvmCallMethod(self, method, NULL, &unused);
4321 }
4322
4323 if (dvmCheckException(self)) {
4324 /*
4325 * We've had an exception thrown during static initialization. We
4326 * need to throw an ExceptionInInitializerError, but we want to
4327 * tuck the original exception into the "cause" field.
4328 */
4329 LOGW("Exception %s thrown during %s.<clinit>\n",
4330 (dvmGetException(self)->clazz)->descriptor, clazz->descriptor);
4331 throwClinitError();
4332 //LOGW("+++ replaced\n");
4333
4334 dvmLockObject(self, (Object*) clazz);
4335 clazz->status = CLASS_ERROR;
4336 } else {
4337 /* success! */
4338 dvmLockObject(self, (Object*) clazz);
4339 clazz->status = CLASS_INITIALIZED;
4340 LOGVV("Initialized class: %s\n", clazz->descriptor);
4341 }
4342
4343bail_notify:
4344 /*
4345 * Notify anybody waiting on the object.
4346 */
4347 dvmObjectNotifyAll(self, (Object*) clazz);
4348
4349bail_unlock:
4350
4351#if LOG_CLASS_LOADING
4352 if (initializedByUs) {
4353 // We finished initializing.
4354 logClassLoad('-', clazz);
4355 }
4356#endif
4357
4358 dvmUnlockObject(self, (Object*) clazz);
4359
4360 return (clazz->status != CLASS_ERROR);
4361}
4362
4363/*
4364 * Replace method->nativeFunc and method->insns with new values. This is
4365 * performed on resolution of a native method.
4366 */
4367void dvmSetNativeFunc(const Method* method, DalvikBridgeFunc func,
4368 const u2* insns)
4369{
4370 ClassObject* clazz = method->clazz;
4371
4372 /* just open up both; easier that way */
4373 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
4374 dvmLinearReadWrite(clazz->classLoader, clazz->directMethods);
4375
4376 ((Method*)method)->nativeFunc = func;
4377 ((Method*)method)->insns = insns;
4378
4379 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
4380 dvmLinearReadOnly(clazz->classLoader, clazz->directMethods);
4381}
4382
4383/*
4384 * Add a RegisterMap to a Method. This is done when we verify the class
The Android Open Source Project99409882009-03-18 22:20:24 -07004385 * and compute the register maps at class initialization time (i.e. when
4386 * we don't have a pre-generated map). This means "pMap" is on the heap
4387 * and should be freed when the Method is discarded.
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08004388 */
4389void dvmSetRegisterMap(Method* method, const RegisterMap* pMap)
4390{
4391 ClassObject* clazz = method->clazz;
4392
4393 if (method->registerMap != NULL) {
Andy McFaddend45a8872009-03-24 20:41:52 -07004394 /* unexpected during class loading, okay on first use (uncompress) */
Andy McFadden9faa9e62009-04-08 00:35:55 -07004395 LOGV("NOTE: registerMap already set for %s.%s\n",
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08004396 method->clazz->descriptor, method->name);
4397 /* keep going */
4398 }
The Android Open Source Project99409882009-03-18 22:20:24 -07004399 assert(!dvmIsNativeMethod(method) && !dvmIsAbstractMethod(method));
The Android Open Source Projectf6c38712009-03-03 19:28:47 -08004400
4401 /* might be virtual or direct */
4402 dvmLinearReadWrite(clazz->classLoader, clazz->virtualMethods);
4403 dvmLinearReadWrite(clazz->classLoader, clazz->directMethods);
4404
4405 method->registerMap = pMap;
4406
4407 dvmLinearReadOnly(clazz->classLoader, clazz->virtualMethods);
4408 dvmLinearReadOnly(clazz->classLoader, clazz->directMethods);
4409}
4410
4411/*
4412 * dvmHashForeach callback. A nonzero return value causes foreach to
4413 * bail out.
4414 */
4415static int findClassCallback(void* vclazz, void* arg)
4416{
4417 ClassObject* clazz = vclazz;
4418 const char* descriptor = (const char*) arg;
4419
4420 if (strcmp(clazz->descriptor, descriptor) == 0)
4421 return (int) clazz;
4422 return 0;
4423}
4424
4425/*
4426 * Find a loaded class by descriptor. Returns the first one found.
4427 * Because there can be more than one if class loaders are involved,
4428 * this is not an especially good API. (Currently only used by the
4429 * debugger and "checking" JNI.)
4430 *
4431 * "descriptor" should have the form "Ljava/lang/Class;" or
4432 * "[Ljava/lang/Class;", i.e. a descriptor and not an internal-form
4433 * class name.
4434 */
4435ClassObject* dvmFindLoadedClass(const char* descriptor)
4436{
4437 int result;
4438
4439 dvmHashTableLock(gDvm.loadedClasses);
4440 result = dvmHashForeach(gDvm.loadedClasses, findClassCallback,
4441 (void*) descriptor);
4442 dvmHashTableUnlock(gDvm.loadedClasses);
4443
4444 return (ClassObject*) result;
4445}
4446
4447/*
4448 * Retrieve the system (a/k/a application) class loader.
4449 */
4450Object* dvmGetSystemClassLoader(void)
4451{
4452 ClassObject* clazz;
4453 Method* getSysMeth;
4454 Object* loader;
4455
4456 clazz = dvmFindSystemClass("Ljava/lang/ClassLoader;");
4457 if (clazz == NULL)
4458 return NULL;
4459
4460 getSysMeth = dvmFindDirectMethodByDescriptor(clazz, "getSystemClassLoader",
4461 "()Ljava/lang/ClassLoader;");
4462 if (getSysMeth == NULL)
4463 return NULL;
4464
4465 JValue result;
4466 dvmCallMethod(dvmThreadSelf(), getSysMeth, NULL, &result);
4467 loader = (Object*)result.l;
4468 return loader;
4469}
4470
4471
4472/*
4473 * This is a dvmHashForeach callback.
4474 */
4475static int dumpClass(void* vclazz, void* varg)
4476{
4477 const ClassObject* clazz = (const ClassObject*) vclazz;
4478 const ClassObject* super;
4479 int flags = (int) varg;
4480 char* desc;
4481 int i;
4482
4483 if (clazz == NULL) {
4484 LOGI("dumpClass: ignoring request to dump null class\n");
4485 return 0;
4486 }
4487
4488 if ((flags & kDumpClassFullDetail) == 0) {
4489 bool showInit = (flags & kDumpClassInitialized) != 0;
4490 bool showLoader = (flags & kDumpClassClassLoader) != 0;
4491 const char* initStr;
4492
4493 initStr = dvmIsClassInitialized(clazz) ? "true" : "false";
4494
4495 if (showInit && showLoader)
4496 LOGI("%s %p %s\n", clazz->descriptor, clazz->classLoader, initStr);
4497 else if (showInit)
4498 LOGI("%s %s\n", clazz->descriptor, initStr);
4499 else if (showLoader)
4500 LOGI("%s %p\n", clazz->descriptor, clazz->classLoader);
4501 else
4502 LOGI("%s\n", clazz->descriptor);
4503
4504 return 0;
4505 }
4506
4507 /* clazz->super briefly holds the superclass index during class prep */
4508 if ((u4)clazz->super > 0x10000 && (u4) clazz->super != (u4)-1)
4509 super = clazz->super;
4510 else
4511 super = NULL;
4512
4513 LOGI("----- %s '%s' cl=%p ser=0x%08x -----\n",
4514 dvmIsInterfaceClass(clazz) ? "interface" : "class",
4515 clazz->descriptor, clazz->classLoader, clazz->serialNumber);
4516 LOGI(" objectSize=%d (%d from super)\n", (int) clazz->objectSize,
4517 super != NULL ? (int) super->objectSize : -1);
4518 LOGI(" access=0x%04x.%04x\n", clazz->accessFlags >> 16,
4519 clazz->accessFlags & JAVA_FLAGS_MASK);
4520 if (super != NULL)
4521 LOGI(" super='%s' (cl=%p)\n", super->descriptor, super->classLoader);
4522 if (dvmIsArrayClass(clazz)) {
4523 LOGI(" dimensions=%d elementClass=%s\n",
4524 clazz->arrayDim, clazz->elementClass->descriptor);
4525 }
4526 if (clazz->iftableCount > 0) {
4527 LOGI(" interfaces (%d):\n", clazz->iftableCount);
4528 for (i = 0; i < clazz->iftableCount; i++) {
4529 InterfaceEntry* ent = &clazz->iftable[i];
4530 int j;
4531
4532 LOGI(" %2d: %s (cl=%p)\n",
4533 i, ent->clazz->descriptor, ent->clazz->classLoader);
4534
4535 /* enable when needed */
4536 if (false && ent->methodIndexArray != NULL) {
4537 for (j = 0; j < ent->clazz->virtualMethodCount; j++)
4538 LOGI(" %2d: %d %s %s\n",
4539 j, ent->methodIndexArray[j],
4540 ent->clazz->virtualMethods[j].name,
4541 clazz->vtable[ent->methodIndexArray[j]]->name);
4542 }
4543 }
4544 }
4545 if (!dvmIsInterfaceClass(clazz)) {
4546 LOGI(" vtable (%d entries, %d in super):\n", clazz->vtableCount,
4547 super != NULL ? super->vtableCount : 0);
4548 for (i = 0; i < clazz->vtableCount; i++) {
4549 desc = dexProtoCopyMethodDescriptor(&clazz->vtable[i]->prototype);
4550 LOGI(" %s%2d: %p %20s %s\n",
4551 (i != clazz->vtable[i]->methodIndex) ? "*** " : "",
4552 (u4) clazz->vtable[i]->methodIndex, clazz->vtable[i],
4553 clazz->vtable[i]->name, desc);
4554 free(desc);
4555 }
4556 LOGI(" direct methods (%d entries):\n", clazz->directMethodCount);
4557 for (i = 0; i < clazz->directMethodCount; i++) {
4558 desc = dexProtoCopyMethodDescriptor(
4559 &clazz->directMethods[i].prototype);
4560 LOGI(" %2d: %20s %s\n", i, clazz->directMethods[i].name,
4561 desc);
4562 free(desc);
4563 }
4564 } else {
4565 LOGI(" interface methods (%d):\n", clazz->virtualMethodCount);
4566 for (i = 0; i < clazz->virtualMethodCount; i++) {
4567 desc = dexProtoCopyMethodDescriptor(
4568 &clazz->virtualMethods[i].prototype);
4569 LOGI(" %2d: %2d %20s %s\n", i,
4570 (u4) clazz->virtualMethods[i].methodIndex,
4571 clazz->virtualMethods[i].name,
4572 desc);
4573 free(desc);
4574 }
4575 }
4576 if (clazz->sfieldCount > 0) {
4577 LOGI(" static fields (%d entries):\n", clazz->sfieldCount);
4578 for (i = 0; i < clazz->sfieldCount; i++) {
4579 LOGI(" %2d: %20s %s\n", i, clazz->sfields[i].field.name,
4580 clazz->sfields[i].field.signature);
4581 }
4582 }
4583 if (clazz->ifieldCount > 0) {
4584 LOGI(" instance fields (%d entries):\n", clazz->ifieldCount);
4585 for (i = 0; i < clazz->ifieldCount; i++) {
4586 LOGI(" %2d: %20s %s\n", i, clazz->ifields[i].field.name,
4587 clazz->ifields[i].field.signature);
4588 }
4589 }
4590 return 0;
4591}
4592
4593/*
4594 * Dump the contents of a single class.
4595 *
4596 * Pass kDumpClassFullDetail into "flags" to get lots of detail.
4597 */
4598void dvmDumpClass(const ClassObject* clazz, int flags)
4599{
4600 dumpClass((void*) clazz, (void*) flags);
4601}
4602
4603/*
4604 * Dump the contents of all classes.
4605 */
4606void dvmDumpAllClasses(int flags)
4607{
4608 dvmHashTableLock(gDvm.loadedClasses);
4609 dvmHashForeach(gDvm.loadedClasses, dumpClass, (void*) flags);
4610 dvmHashTableUnlock(gDvm.loadedClasses);
4611}
4612
4613/*
4614 * Get the number of loaded classes
4615 */
4616int dvmGetNumLoadedClasses()
4617{
4618 int count;
4619 dvmHashTableLock(gDvm.loadedClasses);
4620 count = dvmHashTableNumEntries(gDvm.loadedClasses);
4621 dvmHashTableUnlock(gDvm.loadedClasses);
4622 return count;
4623}
4624
4625/*
4626 * Write some statistics to the log file.
4627 */
4628void dvmDumpLoaderStats(const char* msg)
4629{
4630 LOGV("VM stats (%s): cls=%d/%d meth=%d ifld=%d sfld=%d linear=%d\n",
4631 msg, gDvm.numLoadedClasses, dvmHashTableNumEntries(gDvm.loadedClasses),
4632 gDvm.numDeclaredMethods, gDvm.numDeclaredInstFields,
4633 gDvm.numDeclaredStaticFields, gDvm.pBootLoaderAlloc->curOffset);
4634#ifdef COUNT_PRECISE_METHODS
4635 LOGI("GC precise methods: %d\n",
4636 dvmPointerSetGetCount(gDvm.preciseMethods));
4637#endif
4638}
4639
4640#ifdef PROFILE_FIELD_ACCESS
4641/*
4642 * Dump the field access counts for all fields in this method.
4643 */
4644static int dumpAccessCounts(void* vclazz, void* varg)
4645{
4646 const ClassObject* clazz = (const ClassObject*) vclazz;
4647 int i;
4648
4649 for (i = 0; i < clazz->ifieldCount; i++) {
4650 Field* field = &clazz->ifields[i].field;
4651
4652 if (field->gets != 0)
4653 printf("GI %d %s.%s\n", field->gets,
4654 field->clazz->descriptor, field->name);
4655 if (field->puts != 0)
4656 printf("PI %d %s.%s\n", field->puts,
4657 field->clazz->descriptor, field->name);
4658 }
4659 for (i = 0; i < clazz->sfieldCount; i++) {
4660 Field* field = &clazz->sfields[i].field;
4661
4662 if (field->gets != 0)
4663 printf("GS %d %s.%s\n", field->gets,
4664 field->clazz->descriptor, field->name);
4665 if (field->puts != 0)
4666 printf("PS %d %s.%s\n", field->puts,
4667 field->clazz->descriptor, field->name);
4668 }
4669
4670 return 0;
4671}
4672
4673/*
4674 * Dump the field access counts for all loaded classes.
4675 */
4676void dvmDumpFieldAccessCounts(void)
4677{
4678 dvmHashTableLock(gDvm.loadedClasses);
4679 dvmHashForeach(gDvm.loadedClasses, dumpAccessCounts, NULL);
4680 dvmHashTableUnlock(gDvm.loadedClasses);
4681}
4682#endif
4683
4684
4685/*
4686 * Mark all classes associated with the built-in loader.
4687 */
4688static int markClassObject(void *clazz, void *arg)
4689{
4690 UNUSED_PARAMETER(arg);
4691
4692 dvmMarkObjectNonNull((Object *)clazz);
4693 return 0;
4694}
4695
4696/*
4697 * The garbage collector calls this to mark the class objects for all
4698 * loaded classes.
4699 */
4700void dvmGcScanRootClassLoader()
4701{
4702 /* dvmClassStartup() may not have been called before the first GC.
4703 */
4704 if (gDvm.loadedClasses != NULL) {
4705 dvmHashTableLock(gDvm.loadedClasses);
4706 dvmHashForeach(gDvm.loadedClasses, markClassObject, NULL);
4707 dvmHashTableUnlock(gDvm.loadedClasses);
4708 }
4709}
4710
4711
4712/*
4713 * ===========================================================================
4714 * Method Prototypes and Descriptors
4715 * ===========================================================================
4716 */
4717
4718/*
4719 * Compare the two method names and prototypes, a la strcmp(). The
4720 * name is considered the "major" order and the prototype the "minor"
4721 * order. The prototypes are compared as if by dvmCompareMethodProtos().
4722 */
4723int dvmCompareMethodNamesAndProtos(const Method* method1,
4724 const Method* method2)
4725{
4726 int result = strcmp(method1->name, method2->name);
4727
4728 if (result != 0) {
4729 return result;
4730 }
4731
4732 return dvmCompareMethodProtos(method1, method2);
4733}
4734
4735/*
4736 * Compare the two method names and prototypes, a la strcmp(), ignoring
4737 * the return value. The name is considered the "major" order and the
4738 * prototype the "minor" order. The prototypes are compared as if by
4739 * dvmCompareMethodArgProtos().
4740 */
4741int dvmCompareMethodNamesAndParameterProtos(const Method* method1,
4742 const Method* method2)
4743{
4744 int result = strcmp(method1->name, method2->name);
4745
4746 if (result != 0) {
4747 return result;
4748 }
4749
4750 return dvmCompareMethodParameterProtos(method1, method2);
4751}
4752
4753/*
4754 * Compare a (name, prototype) pair with the (name, prototype) of
4755 * a method, a la strcmp(). The name is considered the "major" order and
4756 * the prototype the "minor" order. The descriptor and prototype are
4757 * compared as if by dvmCompareDescriptorAndMethodProto().
4758 */
4759int dvmCompareNameProtoAndMethod(const char* name,
4760 const DexProto* proto, const Method* method)
4761{
4762 int result = strcmp(name, method->name);
4763
4764 if (result != 0) {
4765 return result;
4766 }
4767
4768 return dexProtoCompare(proto, &method->prototype);
4769}
4770
4771/*
4772 * Compare a (name, method descriptor) pair with the (name, prototype) of
4773 * a method, a la strcmp(). The name is considered the "major" order and
4774 * the prototype the "minor" order. The descriptor and prototype are
4775 * compared as if by dvmCompareDescriptorAndMethodProto().
4776 */
4777int dvmCompareNameDescriptorAndMethod(const char* name,
4778 const char* descriptor, const Method* method)
4779{
4780 int result = strcmp(name, method->name);
4781
4782 if (result != 0) {
4783 return result;
4784 }
4785
4786 return dvmCompareDescriptorAndMethodProto(descriptor, method);
4787}