blob: c1b4b7044aebd61e14c66e70ce8c43d3e00b003d [file] [log] [blame]
Carl Shapirod28668c2010-04-15 16:10:00 -07001/*
2 * Copyright (C) 2009 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#include <errno.h>
18#include <limits.h>
19#include <sys/mman.h>
20
21#include "Dalvik.h"
22#include "alloc/Heap.h"
23#include "alloc/HeapBitmap.h"
24#include "alloc/HeapInternal.h"
25#include "alloc/HeapSource.h"
26#include "alloc/Verify.h"
27#include "alloc/clz.h"
28
29/*
30 * A "mostly copying", generational, garbage collector.
31 *
32 * TODO: we allocate our own contiguous tract of page frames to back
33 * object allocations. To cooperate with other heaps active in the
34 * virtual machine we need to move the responsibility of allocating
35 * pages someplace outside of this code.
36 *
37 * The other major data structures that maintain the state of the heap
38 * are the block space table and the block queue.
39 *
40 * The block space table records the state of a block. We must track
41 * whether a block is:
42 *
43 * - Free or allocated in some space.
44 *
45 * - If the block holds part of a large object allocation, whether the
46 * block is the initial or a continued block of the allocation.
47 *
48 * - Whether the block is pinned, that is to say whether at least one
49 * object in the block must remain stationary. Only needed during a
50 * GC.
51 *
52 * - Which space the object belongs to. At present this means
53 * from-space or to-space.
54 *
55 * The block queue is used during garbage collection. Unlike Cheney's
56 * algorithm, from-space and to-space are not contiguous. Therefore,
57 * one cannot maintain the state of the copy with just two pointers.
58 * The block queue exists to thread lists of blocks from the various
59 * spaces together.
60 *
61 * Additionally, we record the free space frontier of the heap, as
62 * well as the address of the first object within a block, which is
63 * required to copy objects following a large object (not currently
64 * implemented). This is stored in the heap source structure. This
65 * should be moved elsewhere to support in-line allocations from Java
66 * threads.
67 *
68 * Allocation requests are satisfied by reserving storage from one or
69 * more contiguous blocks. Objects that are small enough to fit
70 * inside a block are packed together within a block. Objects that
71 * are larger than a block are allocated from contiguous sequences of
72 * blocks. When half the available blocks are filled, a garbage
73 * collection occurs. We "flip" spaces (exchange from- and to-space),
74 * copy live objects into to space, and perform pointer adjustment.
75 *
76 * Copying is made more complicated by the requirement that some
77 * objects must not be moved. This property is known as "pinning".
78 * These objects must be dealt with specially. We use Bartlett's
79 * scheme; blocks containing such objects are grayed (promoted) at the
Carl Shapiro952e84a2010-05-06 14:35:29 -070080 * start of a garbage collection. By virtue of this trick, tracing
Carl Shapirod28668c2010-04-15 16:10:00 -070081 * from the roots proceeds as usual but all objects on those pages are
82 * considered promoted and therefore not moved.
83 *
84 * TODO: there is sufficient information within the garbage collector
85 * to implement Attardi's scheme for evacuating unpinned objects from
86 * a page that is otherwise pinned. This would eliminate false
87 * retention caused by the large pinning granularity.
88 *
89 * We need a scheme for medium and large objects. Ignore that for
90 * now, we can return to this later.
91 *
92 * Eventually we need to worry about promoting objects out of the
93 * copy-collected heap (tenuring) into a less volatile space. Copying
94 * may not always be the best policy for such spaces. We should
95 * consider a variant of mark, sweep, compact.
96 *
97 * The block scheme allows us to use VM page faults to maintain a
98 * write barrier. Consider having a special leaf state for a page.
99 *
100 * Bibliography:
101 *
102 * C. J. Cheney. 1970. A non-recursive list compacting
103 * algorithm. CACM. 13-11 pp677--678.
104 *
105 * Joel F. Bartlett. 1988. Compacting Garbage Collection with
106 * Ambiguous Roots. Digital Equipment Corporation.
107 *
108 * Joel F. Bartlett. 1989. Mostly-Copying Garbage Collection Picks Up
109 * Generations and C++. Digital Equipment Corporation.
110 *
111 * G. May Yip. 1991. Incremental, Generational Mostly-Copying Garbage
112 * Collection in Uncooperative Environments. Digital Equipment
113 * Corporation.
114 *
115 * Giuseppe Attardi, Tito Flagella. 1994. A Customisable Memory
116 * Management Framework. TR-94-010
117 *
118 * Giuseppe Attardi, Tito Flagella, Pietro Iglio. 1998. A customisable
119 * memory management framework for C++. Software -- Practice and
120 * Experience. 28(11), 1143-1183.
121 *
122 */
123
124#define ARRAYSIZE(x) (sizeof(x) / sizeof(x[0]))
125
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700126#if 0
Carl Shapirod28668c2010-04-15 16:10:00 -0700127#define LOG_ALLOC LOGI
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700128#define LOG_PIN LOGI
129#define LOG_PROM LOGI
130#define LOG_REF LOGI
131#define LOG_SCAV LOGI
132#define LOG_TRAN LOGI
133#define LOG_VER LOGI
Carl Shapirod28668c2010-04-15 16:10:00 -0700134#else
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700135#define LOG_ALLOC(...) ((void)0)
136#define LOG_PIN(...) ((void)0)
137#define LOG_PROM(...) ((void)0)
138#define LOG_REF(...) ((void)0)
139#define LOG_SCAV(...) ((void)0)
140#define LOG_TRAN(...) ((void)0)
141#define LOG_VER(...) ((void)0)
Carl Shapirod28668c2010-04-15 16:10:00 -0700142#endif
143
144static void enqueueBlock(HeapSource *heapSource, size_t block);
Carl Shapiro2396fda2010-05-03 20:14:14 -0700145static void scavengeReference(Object **obj);
Carl Shapiro952e84a2010-05-06 14:35:29 -0700146static bool toSpaceContains(const void *addr);
147static bool fromSpaceContains(const void *addr);
Carl Shapirod28668c2010-04-15 16:10:00 -0700148static size_t sumHeapBitmap(const HeapBitmap *bitmap);
Carl Shapiro2396fda2010-05-03 20:14:14 -0700149static size_t objectSize(const Object *obj);
Carl Shapiro952e84a2010-05-06 14:35:29 -0700150static void scavengeDataObject(Object *obj);
151static void scavengeBlockQueue(void);
Carl Shapirod28668c2010-04-15 16:10:00 -0700152
153/*
154 * We use 512-byte blocks.
155 */
156enum { BLOCK_SHIFT = 9 };
157enum { BLOCK_SIZE = 1 << BLOCK_SHIFT };
158
159/*
160 * Space identifiers, stored into the blockSpace array.
161 */
162enum {
163 BLOCK_FREE = 0,
164 BLOCK_FROM_SPACE = 1,
165 BLOCK_TO_SPACE = 2,
166 BLOCK_CONTINUED = 7
167};
168
169/*
170 * Alignment for all allocations, in bytes.
171 */
172enum { ALLOC_ALIGNMENT = 8 };
173
174/*
175 * Sentinel value for the queue end.
176 */
177#define QUEUE_TAIL (~(size_t)0)
178
179struct HeapSource {
180
181 /* The base address of backing store. */
182 u1 *blockBase;
183
184 /* Total number of blocks available for allocation. */
185 size_t totalBlocks;
186 size_t allocBlocks;
187
188 /*
189 * The scavenger work queue. Implemented as an array of index
190 * values into the queue.
191 */
192 size_t *blockQueue;
193
194 /*
195 * Base and limit blocks. Basically the shifted start address of
196 * the block. We convert blocks to a relative number when
197 * indexing in the block queue. TODO: make the block queue base
198 * relative rather than the index into the block queue.
199 */
200 size_t baseBlock, limitBlock;
201
202 size_t queueHead;
203 size_t queueTail;
204 size_t queueSize;
205
206 /* The space of the current block 0 (free), 1 or 2. */
207 char *blockSpace;
208
209 /* Start of free space in the current block. */
210 u1 *allocPtr;
211 /* Exclusive limit of free space in the current block. */
212 u1 *allocLimit;
213
214 HeapBitmap allocBits;
215
216 /*
Carl Shapirod28668c2010-04-15 16:10:00 -0700217 * The starting size of the heap. This value is the same as the
218 * value provided to the -Xms flag.
219 */
220 size_t minimumSize;
221
222 /*
223 * The maximum size of the heap. This value is the same as the
224 * -Xmx flag.
225 */
226 size_t maximumSize;
227
228 /*
229 * The current, committed size of the heap. At present, this is
230 * equivalent to the maximumSize.
231 */
232 size_t currentSize;
233
234 size_t bytesAllocated;
235};
236
237static unsigned long alignDown(unsigned long x, unsigned long n)
238{
239 return x & -n;
240}
241
242static unsigned long alignUp(unsigned long x, unsigned long n)
243{
244 return alignDown(x + (n - 1), n);
245}
246
247static void describeBlocks(const HeapSource *heapSource)
248{
249 size_t i;
250
251 for (i = 0; i < heapSource->totalBlocks; ++i) {
252 if ((i % 32) == 0) putchar('\n');
253 printf("%d ", heapSource->blockSpace[i]);
254 }
255 putchar('\n');
256}
257
258/*
259 * Virtual memory interface.
260 */
261
262static void *virtualAlloc(size_t length)
263{
264 void *addr;
265 int flags, prot;
266
267 flags = MAP_PRIVATE | MAP_ANONYMOUS;
268 prot = PROT_READ | PROT_WRITE;
269 addr = mmap(NULL, length, prot, flags, -1, 0);
270 if (addr == MAP_FAILED) {
271 LOGE_HEAP("mmap: %s", strerror(errno));
272 addr = NULL;
273 }
274 return addr;
275}
276
277static void virtualFree(void *addr, size_t length)
278{
279 int res;
280
281 assert(addr != NULL);
282 assert((uintptr_t)addr % SYSTEM_PAGE_SIZE == 0);
283 res = munmap(addr, length);
284 if (res == -1) {
285 LOGE_HEAP("munmap: %s", strerror(errno));
286 }
287}
288
289static int isValidAddress(const HeapSource *heapSource, const u1 *addr)
290{
291 size_t block;
292
293 block = (uintptr_t)addr >> BLOCK_SHIFT;
294 return heapSource->baseBlock <= block &&
295 heapSource->limitBlock > block;
296}
297
298/*
299 * Iterate over the block map looking for a contiguous run of free
300 * blocks.
301 */
302static void *allocateBlocks(HeapSource *heapSource, size_t blocks)
303{
304 void *addr;
305 size_t allocBlocks, totalBlocks;
306 size_t i, j;
307
308 allocBlocks = heapSource->allocBlocks;
309 totalBlocks = heapSource->totalBlocks;
310 /* Check underflow. */
311 assert(blocks != 0);
312 /* Check overflow. */
313 if (allocBlocks + blocks > totalBlocks / 2) {
314 return NULL;
315 }
316 /* Scan block map. */
317 for (i = 0; i < totalBlocks; ++i) {
318 /* Check fit. */
319 for (j = 0; j < blocks; ++j) { /* runs over totalBlocks */
320 if (heapSource->blockSpace[i+j] != BLOCK_FREE) {
321 break;
322 }
323 }
324 /* No fit? */
325 if (j != blocks) {
326 i += j;
327 continue;
328 }
329 /* Fit, allocate. */
330 heapSource->blockSpace[i] = BLOCK_TO_SPACE; /* why to-space? */
331 for (j = 1; j < blocks; ++j) {
332 heapSource->blockSpace[i+j] = BLOCK_CONTINUED;
333 }
334 heapSource->allocBlocks += blocks;
335 addr = &heapSource->blockBase[i*BLOCK_SIZE];
336 memset(addr, 0, blocks*BLOCK_SIZE);
337 /* Collecting? */
338 if (heapSource->queueHead != QUEUE_TAIL) {
339 LOG_ALLOC("allocateBlocks allocBlocks=%zu,block#=%zu", heapSource->allocBlocks, i);
340 /*
341 * This allocated was on behalf of the transporter when it
342 * shaded a white object gray. We enqueue the block so
343 * the scavenger can further shade the gray objects black.
344 */
345 enqueueBlock(heapSource, i);
346 }
347
348 return addr;
349 }
350 /* Insufficient space, fail. */
351 LOGE("Insufficient space, %zu blocks, %zu blocks allocated and %zu bytes allocated",
352 heapSource->totalBlocks,
353 heapSource->allocBlocks,
354 heapSource->bytesAllocated);
355 return NULL;
356}
357
358/* Converts an absolute address to a relative block number. */
359static size_t addressToBlock(const HeapSource *heapSource, const void *addr)
360{
361 assert(heapSource != NULL);
362 assert(isValidAddress(heapSource, addr));
363 return (((uintptr_t)addr) >> BLOCK_SHIFT) - heapSource->baseBlock;
364}
365
366/* Converts a relative block number to an absolute address. */
367static u1 *blockToAddress(const HeapSource *heapSource, size_t block)
368{
369 u1 *addr;
370
371 addr = (u1 *) (((uintptr_t) heapSource->baseBlock + block) * BLOCK_SIZE);
372 assert(isValidAddress(heapSource, addr));
373 return addr;
374}
375
376static void clearBlock(HeapSource *heapSource, size_t block)
377{
378 u1 *addr;
379 size_t i;
380
381 assert(heapSource != NULL);
382 assert(block < heapSource->totalBlocks);
383 addr = heapSource->blockBase + block*BLOCK_SIZE;
384 memset(addr, 0xCC, BLOCK_SIZE);
385 for (i = 0; i < BLOCK_SIZE; i += 8) {
386 dvmHeapBitmapClearObjectBit(&heapSource->allocBits, addr + i);
387 }
388}
389
390static void clearFromSpace(HeapSource *heapSource)
391{
392 size_t i, count;
393
394 assert(heapSource != NULL);
395 i = count = 0;
396 while (i < heapSource->totalBlocks) {
397 if (heapSource->blockSpace[i] != BLOCK_FROM_SPACE) {
398 ++i;
399 continue;
400 }
401 heapSource->blockSpace[i] = BLOCK_FREE;
402 clearBlock(heapSource, i);
403 ++i;
404 ++count;
405 while (i < heapSource->totalBlocks &&
406 heapSource->blockSpace[i] == BLOCK_CONTINUED) {
407 heapSource->blockSpace[i] = BLOCK_FREE;
408 clearBlock(heapSource, i);
409 ++i;
410 ++count;
411 }
412 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700413 LOG_SCAV("freed %zu blocks (%zu bytes)", count, count*BLOCK_SIZE);
Carl Shapirod28668c2010-04-15 16:10:00 -0700414}
415
416/*
417 * Appends the given block to the block queue. The block queue is
418 * processed in-order by the scavenger.
419 */
420static void enqueueBlock(HeapSource *heapSource, size_t block)
421{
422 assert(heapSource != NULL);
423 assert(block < heapSource->totalBlocks);
424 if (heapSource->queueHead != QUEUE_TAIL) {
425 heapSource->blockQueue[heapSource->queueTail] = block;
426 } else {
427 heapSource->queueHead = block;
428 }
429 heapSource->blockQueue[block] = QUEUE_TAIL;
430 heapSource->queueTail = block;
431 ++heapSource->queueSize;
432}
433
434/*
435 * Grays all objects within the block corresponding to the given
436 * address.
437 */
438static void promoteBlockByAddr(HeapSource *heapSource, const void *addr)
439{
440 size_t block;
441
442 block = addressToBlock(heapSource, (const u1 *)addr);
443 if (heapSource->blockSpace[block] != BLOCK_TO_SPACE) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700444 // LOG_PROM("promoting block %zu %d @ %p", block, heapSource->blockSpace[block], obj);
Carl Shapirod28668c2010-04-15 16:10:00 -0700445 heapSource->blockSpace[block] = BLOCK_TO_SPACE;
446 enqueueBlock(heapSource, block);
447 /* TODO(cshapiro): count continued blocks?*/
448 heapSource->allocBlocks += 1;
449 } else {
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700450 // LOG_PROM("NOT promoting block %zu %d @ %p", block, heapSource->blockSpace[block], obj);
Carl Shapirod28668c2010-04-15 16:10:00 -0700451 }
452}
453
454GcHeap *dvmHeapSourceStartup(size_t startSize, size_t absoluteMaxSize)
455{
456 GcHeap* gcHeap;
457 HeapSource *heapSource;
458
459 assert(startSize <= absoluteMaxSize);
460
461 heapSource = malloc(sizeof(*heapSource));
462 assert(heapSource != NULL);
463 memset(heapSource, 0, sizeof(*heapSource));
464
465 heapSource->minimumSize = alignUp(startSize, BLOCK_SIZE);
466 heapSource->maximumSize = alignUp(absoluteMaxSize, BLOCK_SIZE);
467
468 heapSource->currentSize = heapSource->maximumSize;
469
470 /* Allocate underlying storage for blocks. */
471 heapSource->blockBase = virtualAlloc(heapSource->maximumSize);
472 assert(heapSource->blockBase != NULL);
473 heapSource->baseBlock = (uintptr_t) heapSource->blockBase >> BLOCK_SHIFT;
474 heapSource->limitBlock = ((uintptr_t) heapSource->blockBase + heapSource->maximumSize) >> BLOCK_SHIFT;
475
476 heapSource->allocBlocks = 0;
477 heapSource->totalBlocks = (heapSource->limitBlock - heapSource->baseBlock);
478
479 assert(heapSource->totalBlocks = heapSource->maximumSize / BLOCK_SIZE);
480
481 {
482 size_t size = sizeof(heapSource->blockQueue[0]);
483 heapSource->blockQueue = malloc(heapSource->totalBlocks*size);
484 assert(heapSource->blockQueue != NULL);
485 memset(heapSource->blockQueue, 0xCC, heapSource->totalBlocks*size);
486 heapSource->queueHead = QUEUE_TAIL;
487 }
488
489 /* Byte indicating space residence or free status of block. */
490 {
491 size_t size = sizeof(heapSource->blockSpace[0]);
492 heapSource->blockSpace = malloc(heapSource->totalBlocks*size);
493 assert(heapSource->blockSpace != NULL);
494 memset(heapSource->blockSpace, 0, heapSource->totalBlocks*size);
495 }
496
497 dvmHeapBitmapInit(&heapSource->allocBits,
498 heapSource->blockBase,
499 heapSource->maximumSize,
500 "blockBase");
501
502 /* Initialize allocation pointers. */
503 heapSource->allocPtr = allocateBlocks(heapSource, 1);
504 heapSource->allocLimit = heapSource->allocPtr + BLOCK_SIZE;
505
506 gcHeap = malloc(sizeof(*gcHeap));
507 assert(gcHeap != NULL);
508 memset(gcHeap, 0, sizeof(*gcHeap));
509 gcHeap->heapSource = heapSource;
510
511 return gcHeap;
512}
513
514/*
515 * Perform any required heap initializations after forking from the
516 * zygote process. This is a no-op for the time being. Eventually
517 * this will demarcate the shared region of the heap.
518 */
519bool dvmHeapSourceStartupAfterZygote(void)
520{
521 return true;
522}
523
524bool dvmHeapSourceStartupBeforeFork(void)
525{
526 assert(!"implemented");
527 return false;
528}
529
530void dvmHeapSourceShutdown(GcHeap **gcHeap)
531{
532 if (*gcHeap == NULL || (*gcHeap)->heapSource == NULL)
533 return;
Carl Shapiro88b00352010-05-19 17:38:33 -0700534 free((*gcHeap)->heapSource->blockQueue);
535 free((*gcHeap)->heapSource->blockSpace);
Carl Shapirod28668c2010-04-15 16:10:00 -0700536 virtualFree((*gcHeap)->heapSource->blockBase,
537 (*gcHeap)->heapSource->maximumSize);
538 free((*gcHeap)->heapSource);
539 (*gcHeap)->heapSource = NULL;
540 free(*gcHeap);
541 *gcHeap = NULL;
542}
543
544size_t dvmHeapSourceGetValue(enum HeapSourceValueSpec spec,
545 size_t perHeapStats[],
546 size_t arrayLen)
547{
548 HeapSource *heapSource;
549 size_t value;
550
551 heapSource = gDvm.gcHeap->heapSource;
552 switch (spec) {
553 case HS_EXTERNAL_BYTES_ALLOCATED:
554 value = 0;
555 break;
556 case HS_EXTERNAL_LIMIT:
557 value = 0;
558 break;
559 case HS_FOOTPRINT:
560 value = heapSource->maximumSize;
561 break;
562 case HS_ALLOWED_FOOTPRINT:
563 value = heapSource->maximumSize;
564 break;
565 case HS_BYTES_ALLOCATED:
566 value = heapSource->bytesAllocated;
567 break;
568 case HS_OBJECTS_ALLOCATED:
569 value = sumHeapBitmap(&heapSource->allocBits);
570 break;
571 default:
572 assert(!"implemented");
573 value = 0;
574 }
575 if (perHeapStats) {
576 *perHeapStats = value;
577 }
578 return value;
579}
580
581/*
582 * Performs a shallow copy of the allocation bitmap into the given
583 * vector of heap bitmaps.
584 */
585void dvmHeapSourceGetObjectBitmaps(HeapBitmap objBits[], HeapBitmap markBits[],
586 size_t numHeaps)
587{
588 assert(!"implemented");
589}
590
591HeapBitmap *dvmHeapSourceGetLiveBits(void)
592{
Carl Shapiro603469a2010-05-20 20:22:31 -0700593 return &gDvm.gcHeap->heapSource->allocBits;
Carl Shapirod28668c2010-04-15 16:10:00 -0700594}
595
596/*
597 * Allocate the specified number of bytes from the heap. The
598 * allocation cursor points into a block of free storage. If the
599 * given allocation fits in the remaining space of the block, we
600 * advance the cursor and return a pointer to the free storage. If
601 * the allocation cannot fit in the current block but is smaller than
602 * a block we request a new block and allocate from it instead. If
603 * the allocation is larger than a block we must allocate from a span
604 * of contiguous blocks.
605 */
606void *dvmHeapSourceAlloc(size_t length)
607{
608 HeapSource *heapSource;
609 unsigned char *addr;
610 size_t aligned, available, blocks;
611
612 heapSource = gDvm.gcHeap->heapSource;
613 assert(heapSource != NULL);
614 assert(heapSource->allocPtr != NULL);
615 assert(heapSource->allocLimit != NULL);
616
617 aligned = alignUp(length, ALLOC_ALIGNMENT);
618 available = heapSource->allocLimit - heapSource->allocPtr;
619
620 /* Try allocating inside the current block. */
621 if (aligned <= available) {
622 addr = heapSource->allocPtr;
623 heapSource->allocPtr += aligned;
624 heapSource->bytesAllocated += aligned;
625 dvmHeapBitmapSetObjectBit(&heapSource->allocBits, addr);
626 return addr;
627 }
628
629 /* Try allocating in a new block. */
630 if (aligned <= BLOCK_SIZE) {
631 addr = allocateBlocks(heapSource, 1);
632 if (addr != NULL) {
633 heapSource->allocLimit = addr + BLOCK_SIZE;
634 heapSource->allocPtr = addr + aligned;
635 heapSource->bytesAllocated += aligned;
636 dvmHeapBitmapSetObjectBit(&heapSource->allocBits, addr);
637 /* TODO(cshapiro): pad out the current block. */
638 }
639 return addr;
640 }
641
642 /* Try allocating in a span of blocks. */
643 blocks = alignUp(aligned, BLOCK_SIZE) / BLOCK_SIZE;
644
645 addr = allocateBlocks(heapSource, blocks);
646 /* Propagate failure upward. */
647 if (addr != NULL) {
648 heapSource->bytesAllocated += aligned;
649 dvmHeapBitmapSetObjectBit(&heapSource->allocBits, addr);
650 /* TODO(cshapiro): pad out free space in the last block. */
651 }
652 return addr;
653}
654
655void *dvmHeapSourceAllocAndGrow(size_t size)
656{
657 return dvmHeapSourceAlloc(size);
658}
659
660/* TODO: refactor along with dvmHeapSourceAlloc */
661void *allocateGray(size_t size)
662{
Carl Shapiro7800c092010-05-11 13:46:29 -0700663 HeapSource *heapSource;
664 void *addr;
665 size_t block;
666
Carl Shapiro952e84a2010-05-06 14:35:29 -0700667 /* TODO: add a check that we are in a GC. */
Carl Shapiro7800c092010-05-11 13:46:29 -0700668 heapSource = gDvm.gcHeap->heapSource;
669 addr = dvmHeapSourceAlloc(size);
Carl Shapiro703a2f32010-05-12 23:11:37 -0700670 assert(addr != NULL);
Carl Shapiro7800c092010-05-11 13:46:29 -0700671 block = addressToBlock(heapSource, (const u1 *)addr);
672 if (heapSource->queueHead == QUEUE_TAIL) {
673 /*
674 * Forcibly append the underlying block to the queue. This
675 * condition occurs when referents are transported following
676 * the initial trace.
677 */
678 enqueueBlock(heapSource, block);
679 LOG_PROM("forced promoting block %zu %d @ %p", block, heapSource->blockSpace[block], addr);
680 }
681 return addr;
Carl Shapirod28668c2010-04-15 16:10:00 -0700682}
683
684/*
685 * Returns true if the given address is within the heap and points to
686 * the header of a live object.
687 */
688bool dvmHeapSourceContains(const void *addr)
689{
690 HeapSource *heapSource;
691 HeapBitmap *bitmap;
692
693 heapSource = gDvm.gcHeap->heapSource;
694 bitmap = &heapSource->allocBits;
Carl Shapirodc1e4f12010-05-01 22:27:56 -0700695 if (!dvmHeapBitmapCoversAddress(bitmap, addr)) {
696 return false;
697 } else {
698 return dvmHeapBitmapIsObjectBitSet(bitmap, addr);
699 }
Carl Shapirod28668c2010-04-15 16:10:00 -0700700}
701
702bool dvmHeapSourceGetPtrFlag(const void *ptr, enum HeapSourcePtrFlag flag)
703{
704 assert(!"implemented");
705 return false;
706}
707
708size_t dvmHeapSourceChunkSize(const void *ptr)
709{
710 assert(!"implemented");
711 return 0;
712}
713
714size_t dvmHeapSourceFootprint(void)
715{
716 assert(!"implemented");
717 return 0;
718}
719
720/*
721 * Returns the "ideal footprint" which appears to be the number of
722 * bytes currently committed to the heap. This starts out at the
723 * start size of the heap and grows toward the maximum size.
724 */
725size_t dvmHeapSourceGetIdealFootprint(void)
726{
727 return gDvm.gcHeap->heapSource->currentSize;
728}
729
730float dvmGetTargetHeapUtilization(void)
731{
Carl Shapiro603469a2010-05-20 20:22:31 -0700732 return 0.5f;
Carl Shapirod28668c2010-04-15 16:10:00 -0700733}
734
735void dvmSetTargetHeapUtilization(float newTarget)
736{
Carl Shapiro603469a2010-05-20 20:22:31 -0700737 assert(newTarget > 0.0f && newTarget < 1.0f);
Carl Shapirod28668c2010-04-15 16:10:00 -0700738}
739
740size_t dvmMinimumHeapSize(size_t size, bool set)
741{
742 return gDvm.gcHeap->heapSource->minimumSize;
743}
744
745/*
746 * Expands the size of the heap after a collection. At present we
747 * commit the pages for maximum size of the heap so this routine is
748 * just a no-op. Eventually, we will either allocate or commit pages
749 * on an as-need basis.
750 */
751void dvmHeapSourceGrowForUtilization(void)
752{
753 /* do nothing */
754}
755
756void dvmHeapSourceTrim(size_t bytesTrimmed[], size_t arrayLen)
757{
758 /* do nothing */
759}
760
761void dvmHeapSourceWalk(void (*callback)(const void *chunkptr, size_t chunklen,
762 const void *userptr, size_t userlen,
763 void *arg),
764 void *arg)
765{
766 assert(!"implemented");
767}
768
769size_t dvmHeapSourceGetNumHeaps(void)
770{
771 return 1;
772}
773
774bool dvmTrackExternalAllocation(size_t n)
775{
Carl Shapiro528f3812010-05-18 14:16:26 -0700776 /* do nothing */
777 return true;
Carl Shapirod28668c2010-04-15 16:10:00 -0700778}
779
780void dvmTrackExternalFree(size_t n)
781{
Carl Shapiro528f3812010-05-18 14:16:26 -0700782 /* do nothing */
Carl Shapirod28668c2010-04-15 16:10:00 -0700783}
784
785size_t dvmGetExternalBytesAllocated(void)
786{
787 assert(!"implemented");
788 return 0;
789}
790
791void dvmHeapSourceFlip(void)
792{
793 HeapSource *heapSource;
794 size_t i;
795
796 heapSource = gDvm.gcHeap->heapSource;
797
798 /* Reset the block queue. */
799 heapSource->allocBlocks = 0;
800 heapSource->queueSize = 0;
801 heapSource->queueHead = QUEUE_TAIL;
802
Carl Shapirod28668c2010-04-15 16:10:00 -0700803 /* TODO(cshapiro): pad the current (prev) block. */
804
805 heapSource->allocPtr = NULL;
806 heapSource->allocLimit = NULL;
807
808 /* Whiten all allocated blocks. */
809 for (i = 0; i < heapSource->totalBlocks; ++i) {
810 if (heapSource->blockSpace[i] == BLOCK_TO_SPACE) {
811 heapSource->blockSpace[i] = BLOCK_FROM_SPACE;
812 }
813 }
814}
815
816static void room(size_t *alloc, size_t *avail, size_t *total)
817{
818 HeapSource *heapSource;
Carl Shapirod28668c2010-04-15 16:10:00 -0700819
820 heapSource = gDvm.gcHeap->heapSource;
821 *total = heapSource->totalBlocks*BLOCK_SIZE;
822 *alloc = heapSource->allocBlocks*BLOCK_SIZE;
823 *avail = *total - *alloc;
824}
825
826static bool isSpaceInternal(u1 *addr, int space)
827{
828 HeapSource *heapSource;
829 u1 *base, *limit;
830 size_t offset;
831 char space2;
832
833 heapSource = gDvm.gcHeap->heapSource;
834 base = heapSource->blockBase;
835 assert(addr >= base);
836 limit = heapSource->blockBase + heapSource->maximumSize;
837 assert(addr < limit);
838 offset = addr - base;
839 space2 = heapSource->blockSpace[offset >> BLOCK_SHIFT];
840 return space == space2;
841}
842
Carl Shapiro952e84a2010-05-06 14:35:29 -0700843static bool fromSpaceContains(const void *addr)
Carl Shapirod28668c2010-04-15 16:10:00 -0700844{
845 return isSpaceInternal((u1 *)addr, BLOCK_FROM_SPACE);
846}
847
Carl Shapiro952e84a2010-05-06 14:35:29 -0700848static bool toSpaceContains(const void *addr)
Carl Shapirod28668c2010-04-15 16:10:00 -0700849{
850 return isSpaceInternal((u1 *)addr, BLOCK_TO_SPACE);
851}
852
853/*
854 * Notifies the collector that the object at the given address must
855 * remain stationary during the current collection.
856 */
857static void pinObject(const Object *obj)
858{
859 promoteBlockByAddr(gDvm.gcHeap->heapSource, obj);
860}
861
Carl Shapirod28668c2010-04-15 16:10:00 -0700862static size_t sumHeapBitmap(const HeapBitmap *bitmap)
863{
Carl Shapirod28668c2010-04-15 16:10:00 -0700864 size_t i, sum;
865
866 sum = 0;
867 for (i = 0; i < bitmap->bitsLen >> 2; ++i) {
Carl Shapiro603469a2010-05-20 20:22:31 -0700868 sum += CLZ(bitmap->bits[i]);
Carl Shapirod28668c2010-04-15 16:10:00 -0700869 }
870 return sum;
871}
872
873/*
874 * Miscellaneous functionality.
875 */
876
877static int isForward(const void *addr)
878{
879 return (uintptr_t)addr & 0x1;
880}
881
882static void setForward(const void *toObj, void *fromObj)
883{
884 *(unsigned long *)fromObj = (uintptr_t)toObj | 0x1;
885}
886
887static void* getForward(const void *fromObj)
888{
889 return (void *)((uintptr_t)fromObj & ~0x1);
890}
891
892/* Beware, uses the same encoding as a forwarding pointers! */
893static int isPermanentString(const StringObject *obj) {
894 return (uintptr_t)obj & 0x1;
895}
896
897static void* getPermanentString(const StringObject *obj)
898{
899 return (void *)((uintptr_t)obj & ~0x1);
900}
901
902
903/*
904 * Scavenging and transporting routines follow. A transporter grays
905 * an object. A scavenger blackens an object. We define these
906 * routines for each fundamental object type. Dispatch is performed
907 * in scavengeObject.
908 */
909
910/*
Carl Shapiro2396fda2010-05-03 20:14:14 -0700911 * Class object scavenging.
Carl Shapirod28668c2010-04-15 16:10:00 -0700912 */
Carl Shapiro2396fda2010-05-03 20:14:14 -0700913static void scavengeClassObject(ClassObject *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -0700914{
Carl Shapirod28668c2010-04-15 16:10:00 -0700915 int i;
916
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700917 LOG_SCAV("scavengeClassObject(obj=%p)", obj);
Carl Shapiro2396fda2010-05-03 20:14:14 -0700918 assert(obj != NULL);
Carl Shapirod28668c2010-04-15 16:10:00 -0700919 assert(obj->obj.clazz != NULL);
920 assert(obj->obj.clazz->descriptor != NULL);
921 assert(!strcmp(obj->obj.clazz->descriptor, "Ljava/lang/Class;"));
922 assert(obj->descriptor != NULL);
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700923 LOG_SCAV("scavengeClassObject: descriptor='%s',vtableCount=%zu",
924 obj->descriptor, obj->vtableCount);
Carl Shapiro703a2f32010-05-12 23:11:37 -0700925 /* Delegate class object and instance field scavenging. */
926 scavengeDataObject((Object *)obj);
Carl Shapirod28668c2010-04-15 16:10:00 -0700927 /* Scavenge the array element class object. */
928 if (IS_CLASS_FLAG_SET(obj, CLASS_ISARRAY)) {
929 scavengeReference((Object **)(void *)&obj->elementClass);
930 }
931 /* Scavenge the superclass. */
932 scavengeReference((Object **)(void *)&obj->super);
933 /* Scavenge the class loader. */
934 scavengeReference(&obj->classLoader);
935 /* Scavenge static fields. */
936 for (i = 0; i < obj->sfieldCount; ++i) {
937 char ch = obj->sfields[i].field.signature[0];
938 if (ch == '[' || ch == 'L') {
939 scavengeReference((Object **)(void *)&obj->sfields[i].value.l);
940 }
941 }
942 /* Scavenge interface class objects. */
943 for (i = 0; i < obj->interfaceCount; ++i) {
944 scavengeReference((Object **) &obj->interfaces[i]);
945 }
Carl Shapirod28668c2010-04-15 16:10:00 -0700946}
947
948/*
949 * Array object scavenging.
950 */
Carl Shapirod28668c2010-04-15 16:10:00 -0700951static size_t scavengeArrayObject(ArrayObject *array)
952{
953 size_t i, length;
954
Carl Shapiro8bb533e2010-05-06 15:35:27 -0700955 LOG_SCAV("scavengeArrayObject(array=%p)", array);
Carl Shapirod28668c2010-04-15 16:10:00 -0700956 /* Scavenge the class object. */
Carl Shapiro952e84a2010-05-06 14:35:29 -0700957 assert(toSpaceContains(array));
Carl Shapirod28668c2010-04-15 16:10:00 -0700958 assert(array != NULL);
959 assert(array->obj.clazz != NULL);
960 scavengeReference((Object **) array);
961 length = dvmArrayObjectSize(array);
962 /* Scavenge the array contents. */
963 if (IS_CLASS_FLAG_SET(array->obj.clazz, CLASS_ISOBJECTARRAY)) {
964 Object **contents = (Object **)array->contents;
965 for (i = 0; i < array->length; ++i) {
966 scavengeReference(&contents[i]);
967 }
968 }
969 return length;
970}
971
972/*
973 * Reference object scavenging.
974 */
975
Carl Shapiro952e84a2010-05-06 14:35:29 -0700976static int getReferenceFlags(const Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -0700977{
978 int flags;
979
980 flags = CLASS_ISREFERENCE |
981 CLASS_ISWEAKREFERENCE |
982 CLASS_ISPHANTOMREFERENCE;
Carl Shapiro952e84a2010-05-06 14:35:29 -0700983 return GET_CLASS_FLAG_GROUP(obj->clazz, flags);
Carl Shapirod28668c2010-04-15 16:10:00 -0700984}
985
Carl Shapiro952e84a2010-05-06 14:35:29 -0700986static int isSoftReference(const Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -0700987{
988 return getReferenceFlags(obj) == CLASS_ISREFERENCE;
989}
990
Carl Shapiro952e84a2010-05-06 14:35:29 -0700991static int isWeakReference(const Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -0700992{
993 return getReferenceFlags(obj) & CLASS_ISWEAKREFERENCE;
994}
995
Carl Shapiro952e84a2010-05-06 14:35:29 -0700996static bool isPhantomReference(const Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -0700997{
998 return getReferenceFlags(obj) & CLASS_ISPHANTOMREFERENCE;
999}
1000
Carl Shapiro952e84a2010-05-06 14:35:29 -07001001/*
1002 * Returns true if the reference was registered with a reference queue
1003 * but has not yet been appended to it.
1004 */
1005static bool isReferenceEnqueuable(const Object *ref)
Carl Shapirod28668c2010-04-15 16:10:00 -07001006{
Carl Shapiro952e84a2010-05-06 14:35:29 -07001007 Object *queue, *queueNext;
Carl Shapirod28668c2010-04-15 16:10:00 -07001008
Carl Shapiro952e84a2010-05-06 14:35:29 -07001009 queue = dvmGetFieldObject(ref, gDvm.offJavaLangRefReference_queue);
1010 queueNext = dvmGetFieldObject(ref, gDvm.offJavaLangRefReference_queueNext);
1011 if (queue == NULL || queueNext != NULL) {
1012 /*
1013 * There is no queue, or the reference has already
1014 * been enqueued. The Reference.enqueue() method
1015 * will do nothing even if we call it.
1016 */
1017 return false;
Carl Shapirod28668c2010-04-15 16:10:00 -07001018 }
Carl Shapiro952e84a2010-05-06 14:35:29 -07001019
1020 /*
1021 * We need to call enqueue(), but if we called it from
1022 * here we'd probably deadlock. Schedule a call.
1023 */
1024 return true;
1025}
1026
1027/*
1028 * Schedules a reference to be appended to its reference queue.
1029 */
1030static void enqueueReference(const Object *ref)
1031{
Carl Shapiro646ba092010-06-10 15:17:00 -07001032 assert(ref != NULL);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001033 assert(dvmGetFieldObject(ref, gDvm.offJavaLangRefReference_queue) != NULL);
1034 assert(dvmGetFieldObject(ref, gDvm.offJavaLangRefReference_queueNext) == NULL);
Carl Shapiro646ba092010-06-10 15:17:00 -07001035 if (!dvmHeapAddRefToLargeTable(&gDvm.gcHeap->referenceOperations, ref)) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001036 LOGE("no room for any more reference operations");
Carl Shapiro952e84a2010-05-06 14:35:29 -07001037 dvmAbort();
1038 }
1039}
1040
1041/*
1042 * Sets the referent field of a reference object to NULL.
1043 */
1044static void clearReference(Object *obj)
1045{
1046 dvmSetFieldObject(obj, gDvm.offJavaLangRefReference_referent, NULL);
1047}
1048
1049/*
1050 * Clears reference objects with white referents.
1051 */
1052void clearWhiteReferences(Object **list)
1053{
1054 size_t referentOffset, vmDataOffset;
1055 bool doSignal;
1056
1057 vmDataOffset = gDvm.offJavaLangRefReference_vmData;
1058 referentOffset = gDvm.offJavaLangRefReference_referent;
1059 doSignal = false;
1060 while (*list != NULL) {
1061 Object *ref = *list;
1062 JValue *field = dvmFieldPtr(ref, referentOffset);
1063 Object *referent = field->l;
1064 *list = dvmGetFieldObject(ref, vmDataOffset);
1065 assert(referent != NULL);
1066 if (isForward(referent->clazz)) {
1067 field->l = referent = getForward(referent->clazz);
1068 continue;
1069 }
1070 if (fromSpaceContains(referent)) {
1071 /* Referent is white, clear it. */
1072 clearReference(ref);
1073 if (isReferenceEnqueuable(ref)) {
1074 enqueueReference(ref);
1075 doSignal = true;
1076 }
1077 }
1078 }
1079 /*
1080 * If we cleared a reference with a reference queue we must notify
1081 * the heap worker to append the reference.
1082 */
1083 if (doSignal) {
1084 dvmSignalHeapWorker(false);
1085 }
1086 assert(*list == NULL);
1087}
1088
1089/*
1090 * Blackens referents subject to the soft reference preservation
1091 * policy.
1092 */
1093void preserveSoftReferences(Object **list)
1094{
1095 Object *ref;
1096 Object *prev, *next;
1097 size_t referentOffset, vmDataOffset;
1098 unsigned counter;
1099 bool white;
1100
1101 vmDataOffset = gDvm.offJavaLangRefReference_vmData;
1102 referentOffset = gDvm.offJavaLangRefReference_referent;
1103 counter = 0;
1104 prev = next = NULL;
1105 ref = *list;
1106 while (ref != NULL) {
1107 JValue *field = dvmFieldPtr(ref, referentOffset);
1108 Object *referent = field->l;
1109 next = dvmGetFieldObject(ref, vmDataOffset);
1110 assert(referent != NULL);
1111 if (isForward(referent->clazz)) {
1112 /* Referent is black. */
1113 field->l = referent = getForward(referent->clazz);
1114 white = false;
1115 } else {
1116 white = fromSpaceContains(referent);
1117 }
1118 if (!white && ((++counter) & 1)) {
1119 /* Referent is white and biased toward saving, gray it. */
1120 scavengeReference((Object **)(void *)&field->l);
1121 white = true;
1122 }
1123 if (white) {
1124 /* Referent is black, unlink it. */
1125 if (prev != NULL) {
1126 dvmSetFieldObject(ref, vmDataOffset, NULL);
1127 dvmSetFieldObject(prev, vmDataOffset, next);
1128 }
1129 } else {
1130 /* Referent is white, skip over it. */
1131 prev = ref;
1132 }
1133 ref = next;
1134 }
1135 /*
1136 * Restart the trace with the newly gray references added to the
1137 * root set.
1138 */
1139 scavengeBlockQueue();
1140}
1141
1142void processFinalizableReferences(void)
1143{
1144 HeapRefTable newPendingRefs;
1145 LargeHeapRefTable *finRefs = gDvm.gcHeap->finalizableRefs;
1146 Object **ref;
1147 Object **lastRef;
1148 size_t totalPendCount;
1149
1150 /*
1151 * All strongly, reachable objects are black.
1152 * Any white finalizable objects need to be finalized.
1153 */
1154
1155 /* Create a table that the new pending refs will
1156 * be added to.
1157 */
1158 if (!dvmHeapInitHeapRefTable(&newPendingRefs, 128)) {
1159 //TODO: mark all finalizable refs and hope that
1160 // we can schedule them next time. Watch out,
1161 // because we may be expecting to free up space
1162 // by calling finalizers.
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001163 LOG_REF("no room for pending finalizations\n");
Carl Shapiro952e84a2010-05-06 14:35:29 -07001164 dvmAbort();
1165 }
1166
1167 /*
1168 * Walk through finalizableRefs and move any white references to
1169 * the list of new pending refs.
1170 */
1171 totalPendCount = 0;
1172 while (finRefs != NULL) {
1173 Object **gapRef;
1174 size_t newPendCount = 0;
1175
1176 gapRef = ref = finRefs->refs.table;
1177 lastRef = finRefs->refs.nextEntry;
1178 while (ref < lastRef) {
1179 if (fromSpaceContains(*ref)) {
1180 if (!dvmHeapAddToHeapRefTable(&newPendingRefs, *ref)) {
1181 //TODO: add the current table and allocate
1182 // a new, smaller one.
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001183 LOG_REF("no room for any more pending finalizations: %zd\n",
Carl Shapiro952e84a2010-05-06 14:35:29 -07001184 dvmHeapNumHeapRefTableEntries(&newPendingRefs));
1185 dvmAbort();
1186 }
1187 newPendCount++;
1188 } else {
1189 /* This ref is black, so will remain on finalizableRefs.
1190 */
1191 if (newPendCount > 0) {
1192 /* Copy it up to fill the holes.
1193 */
1194 *gapRef++ = *ref;
1195 } else {
1196 /* No holes yet; don't bother copying.
1197 */
1198 gapRef++;
1199 }
1200 }
1201 ref++;
1202 }
1203 finRefs->refs.nextEntry = gapRef;
1204 //TODO: if the table is empty when we're done, free it.
1205 totalPendCount += newPendCount;
1206 finRefs = finRefs->next;
1207 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001208 LOG_REF("%zd finalizers triggered.\n", totalPendCount);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001209 if (totalPendCount == 0) {
1210 /* No objects required finalization.
1211 * Free the empty temporary table.
1212 */
1213 dvmClearReferenceTable(&newPendingRefs);
1214 return;
1215 }
1216
1217 /* Add the new pending refs to the main list.
1218 */
1219 if (!dvmHeapAddTableToLargeTable(&gDvm.gcHeap->pendingFinalizationRefs,
1220 &newPendingRefs))
1221 {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001222 LOG_REF("can't insert new pending finalizations\n");
Carl Shapiro952e84a2010-05-06 14:35:29 -07001223 dvmAbort();
1224 }
1225
1226 //TODO: try compacting the main list with a memcpy loop
1227
1228 /* Blacken the refs we just moved; we don't want them or their
1229 * children to get swept yet.
1230 */
1231 ref = newPendingRefs.table;
1232 lastRef = newPendingRefs.nextEntry;
1233 assert(ref < lastRef);
1234 HPROF_SET_GC_SCAN_STATE(HPROF_ROOT_FINALIZING, 0);
1235 while (ref < lastRef) {
1236 scavengeReference(ref);
1237 ref++;
1238 }
1239 HPROF_CLEAR_GC_SCAN_STATE();
1240 scavengeBlockQueue();
1241 dvmSignalHeapWorker(false);
Carl Shapirod28668c2010-04-15 16:10:00 -07001242}
1243
Carl Shapirod28668c2010-04-15 16:10:00 -07001244/*
1245 * If a reference points to from-space and has been forwarded, we snap
1246 * the pointer to its new to-space address. If the reference points
1247 * to an unforwarded from-space address we must enqueue the reference
1248 * for later processing. TODO: implement proper reference processing
1249 * and move the referent scavenging elsewhere.
1250 */
Carl Shapiro952e84a2010-05-06 14:35:29 -07001251static void scavengeReferenceObject(Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -07001252{
Carl Shapiro952e84a2010-05-06 14:35:29 -07001253 Object *referent;
1254 Object **queue;
1255 size_t referentOffset, vmDataOffset;
1256
Carl Shapirod28668c2010-04-15 16:10:00 -07001257 assert(obj != NULL);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001258 LOG_SCAV("scavengeReferenceObject(obj=%p),'%s'", obj, obj->clazz->descriptor);
Carl Shapiro2396fda2010-05-03 20:14:14 -07001259 scavengeDataObject(obj);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001260 referentOffset = gDvm.offJavaLangRefReference_referent;
1261 referent = dvmGetFieldObject(obj, referentOffset);
1262 if (referent == NULL || toSpaceContains(referent)) {
1263 return;
Carl Shapirod28668c2010-04-15 16:10:00 -07001264 }
Carl Shapiro952e84a2010-05-06 14:35:29 -07001265 if (isSoftReference(obj)) {
1266 queue = &gDvm.gcHeap->softReferences;
1267 } else if (isWeakReference(obj)) {
1268 queue = &gDvm.gcHeap->weakReferences;
1269 } else {
1270 assert(isPhantomReference(obj));
1271 queue = &gDvm.gcHeap->phantomReferences;
1272 }
1273 vmDataOffset = gDvm.offJavaLangRefReference_vmData;
Carl Shapiro7800c092010-05-11 13:46:29 -07001274 dvmSetFieldObject(obj, vmDataOffset, *queue);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001275 *queue = obj;
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001276 LOG_SCAV("scavengeReferenceObject: enqueueing %p", obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001277}
1278
1279/*
1280 * Data object scavenging.
1281 */
Carl Shapiro952e84a2010-05-06 14:35:29 -07001282static void scavengeDataObject(Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -07001283{
1284 ClassObject *clazz;
Carl Shapirod28668c2010-04-15 16:10:00 -07001285 int i;
1286
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001287 // LOG_SCAV("scavengeDataObject(obj=%p)", obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001288 assert(obj != NULL);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001289 assert(obj->clazz != NULL);
1290 assert(obj->clazz->objectSize != 0);
1291 assert(toSpaceContains(obj));
Carl Shapirod28668c2010-04-15 16:10:00 -07001292 /* Scavenge the class object. */
Carl Shapiro952e84a2010-05-06 14:35:29 -07001293 clazz = obj->clazz;
Carl Shapirod28668c2010-04-15 16:10:00 -07001294 scavengeReference((Object **) obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001295 /* Scavenge instance fields. */
1296 if (clazz->refOffsets != CLASS_WALK_SUPER) {
1297 size_t refOffsets = clazz->refOffsets;
1298 while (refOffsets != 0) {
1299 size_t rshift = CLZ(refOffsets);
1300 size_t offset = CLASS_OFFSET_FROM_CLZ(rshift);
1301 Object **ref = (Object **)((u1 *)obj + offset);
1302 scavengeReference(ref);
1303 refOffsets &= ~(CLASS_HIGH_BIT >> rshift);
1304 }
1305 } else {
1306 for (; clazz != NULL; clazz = clazz->super) {
1307 InstField *field = clazz->ifields;
1308 for (i = 0; i < clazz->ifieldRefCount; ++i, ++field) {
1309 size_t offset = field->byteOffset;
1310 Object **ref = (Object **)((u1 *)obj + offset);
1311 scavengeReference(ref);
1312 }
1313 }
1314 }
Carl Shapiro2396fda2010-05-03 20:14:14 -07001315}
1316
1317static Object *transportObject(const Object *fromObj)
1318{
1319 Object *toObj;
1320 size_t allocSize, copySize;
1321
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001322 LOG_TRAN("transportObject(fromObj=%p) allocBlocks=%zu",
Carl Shapiro2396fda2010-05-03 20:14:14 -07001323 fromObj,
1324 gDvm.gcHeap->heapSource->allocBlocks);
1325 assert(fromObj != NULL);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001326 assert(fromSpaceContains(fromObj));
Carl Shapiro2396fda2010-05-03 20:14:14 -07001327 allocSize = copySize = objectSize(fromObj);
1328 if (LW_HASH_STATE(fromObj->lock) != LW_HASH_STATE_UNHASHED) {
1329 /*
1330 * The object has been hashed or hashed and moved. We must
1331 * reserve an additional word for a hash code.
1332 */
1333 allocSize += sizeof(u4);
1334 }
1335 if (LW_HASH_STATE(fromObj->lock) == LW_HASH_STATE_HASHED_AND_MOVED) {
1336 /*
1337 * The object has its hash code allocated. Ensure the hash
1338 * code is copied along with the instance data.
1339 */
1340 copySize += sizeof(u4);
1341 }
1342 /* TODO(cshapiro): don't copy, re-map large data objects. */
1343 assert(copySize <= allocSize);
1344 toObj = allocateGray(allocSize);
1345 assert(toObj != NULL);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001346 assert(toSpaceContains(toObj));
Carl Shapiro2396fda2010-05-03 20:14:14 -07001347 memcpy(toObj, fromObj, copySize);
1348 if (LW_HASH_STATE(fromObj->lock) == LW_HASH_STATE_HASHED) {
1349 /*
1350 * The object has had its hash code exposed. Append it to the
1351 * instance and set a bit so we know to look for it there.
1352 */
1353 *(u4 *)(((char *)toObj) + copySize) = (u4)fromObj >> 3;
1354 toObj->lock |= LW_HASH_STATE_HASHED_AND_MOVED << LW_HASH_STATE_SHIFT;
1355 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001356 LOG_TRAN("transportObject: from %p/%zu to %p/%zu (%zu,%zu) %s",
1357 fromObj, addressToBlock(gDvm.gcHeap->heapSource,fromObj),
1358 toObj, addressToBlock(gDvm.gcHeap->heapSource,toObj),
1359 copySize, allocSize, copySize < allocSize ? "DIFFERENT" : "");
Carl Shapiro2396fda2010-05-03 20:14:14 -07001360 return toObj;
Carl Shapirod28668c2010-04-15 16:10:00 -07001361}
1362
1363/*
1364 * Generic reference scavenging.
1365 */
1366
1367/*
1368 * Given a reference to an object, the scavenge routine will gray the
1369 * reference. Any objects pointed to by the scavenger object will be
1370 * transported to new space and a forwarding pointer will be installed
1371 * in the header of the object.
1372 */
1373
1374/*
1375 * Blacken the given pointer. If the pointer is in from space, it is
1376 * transported to new space. If the object has a forwarding pointer
1377 * installed it has already been transported and the referent is
1378 * snapped to the new address.
1379 */
Carl Shapiro2396fda2010-05-03 20:14:14 -07001380static void scavengeReference(Object **obj)
Carl Shapirod28668c2010-04-15 16:10:00 -07001381{
1382 ClassObject *clazz;
Carl Shapiro2396fda2010-05-03 20:14:14 -07001383 Object *fromObj, *toObj;
Carl Shapirod28668c2010-04-15 16:10:00 -07001384
1385 assert(obj);
1386
Carl Shapiro2396fda2010-05-03 20:14:14 -07001387 if (*obj == NULL) return;
Carl Shapirod28668c2010-04-15 16:10:00 -07001388
1389 assert(dvmIsValidObject(*obj));
1390
1391 /* The entire block is black. */
Carl Shapiro952e84a2010-05-06 14:35:29 -07001392 if (toSpaceContains(*obj)) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001393 LOG_SCAV("scavengeReference skipping pinned object @ %p", *obj);
Carl Shapiro2396fda2010-05-03 20:14:14 -07001394 return;
Carl Shapirod28668c2010-04-15 16:10:00 -07001395 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001396 LOG_SCAV("scavengeReference(*obj=%p)", *obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001397
Carl Shapiro952e84a2010-05-06 14:35:29 -07001398 assert(fromSpaceContains(*obj));
Carl Shapirod28668c2010-04-15 16:10:00 -07001399
1400 clazz = (*obj)->clazz;
1401
1402 if (isForward(clazz)) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001403 // LOG_SCAV("forwarding %p @ %p to %p", *obj, obj, (void *)((uintptr_t)clazz & ~0x1));
Carl Shapirod28668c2010-04-15 16:10:00 -07001404 *obj = (Object *)getForward(clazz);
Carl Shapiro2396fda2010-05-03 20:14:14 -07001405 return;
Carl Shapirod28668c2010-04-15 16:10:00 -07001406 }
Carl Shapiro2396fda2010-05-03 20:14:14 -07001407 fromObj = *obj;
1408 if (clazz == NULL) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001409 // LOG_SCAV("scavangeReference %p has a NULL class object", fromObj);
Carl Shapiro2396fda2010-05-03 20:14:14 -07001410 assert(!"implemented");
1411 toObj = NULL;
Carl Shapiro2396fda2010-05-03 20:14:14 -07001412 } else {
1413 toObj = transportObject(fromObj);
1414 }
1415 setForward(toObj, fromObj);
1416 *obj = (Object *)toObj;
Carl Shapirod28668c2010-04-15 16:10:00 -07001417}
1418
Carl Shapirod28668c2010-04-15 16:10:00 -07001419/*
1420 * Generic object scavenging.
1421 */
Carl Shapiro2396fda2010-05-03 20:14:14 -07001422static void scavengeObject(Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -07001423{
1424 ClassObject *clazz;
Carl Shapirod28668c2010-04-15 16:10:00 -07001425
1426 assert(obj != NULL);
Carl Shapiro952e84a2010-05-06 14:35:29 -07001427 assert(obj->clazz != NULL);
1428 assert(!((uintptr_t)obj->clazz & 0x1));
Carl Shapirod28668c2010-04-15 16:10:00 -07001429 clazz = obj->clazz;
Carl Shapirod28668c2010-04-15 16:10:00 -07001430 if (clazz == gDvm.classJavaLangClass) {
Carl Shapiro2396fda2010-05-03 20:14:14 -07001431 scavengeClassObject((ClassObject *)obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001432 } else if (IS_CLASS_FLAG_SET(clazz, CLASS_ISARRAY)) {
Carl Shapiro2396fda2010-05-03 20:14:14 -07001433 scavengeArrayObject((ArrayObject *)obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001434 } else if (IS_CLASS_FLAG_SET(clazz, CLASS_ISREFERENCE)) {
Carl Shapiro952e84a2010-05-06 14:35:29 -07001435 scavengeReferenceObject(obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001436 } else {
Carl Shapiro952e84a2010-05-06 14:35:29 -07001437 scavengeDataObject(obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001438 }
Carl Shapirod28668c2010-04-15 16:10:00 -07001439}
1440
1441/*
1442 * External root scavenging routines.
1443 */
1444
Carl Shapirod28668c2010-04-15 16:10:00 -07001445static void pinHashTableEntries(HashTable *table)
1446{
1447 HashEntry *entry;
1448 void *obj;
1449 int i;
1450
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001451 LOG_PIN(">>> pinHashTableEntries(table=%p)", table);
Carl Shapirod28668c2010-04-15 16:10:00 -07001452 if (table == NULL) {
1453 return;
1454 }
1455 dvmHashTableLock(table);
1456 for (i = 0; i < table->tableSize; ++i) {
1457 entry = &table->pEntries[i];
1458 obj = entry->data;
1459 if (obj == NULL || obj == HASH_TOMBSTONE) {
1460 continue;
1461 }
1462 pinObject(entry->data);
1463 }
1464 dvmHashTableUnlock(table);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001465 LOG_PIN("<<< pinHashTableEntries(table=%p)", table);
Carl Shapirod28668c2010-04-15 16:10:00 -07001466}
1467
1468static void pinPrimitiveClasses(void)
1469{
1470 size_t length;
1471 size_t i;
1472
1473 length = ARRAYSIZE(gDvm.primitiveClass);
1474 for (i = 0; i < length; i++) {
1475 if (gDvm.primitiveClass[i] != NULL) {
1476 pinObject((Object *)gDvm.primitiveClass[i]);
1477 }
1478 }
1479}
1480
1481/*
1482 * Scavenge interned strings. Permanent interned strings will have
1483 * been pinned and are therefore ignored. Non-permanent strings that
1484 * have been forwarded are snapped. All other entries are removed.
1485 */
1486static void scavengeInternedStrings(void)
1487{
1488 HashTable *table;
1489 HashEntry *entry;
1490 Object *obj;
1491 int i;
1492
1493 table = gDvm.internedStrings;
1494 if (table == NULL) {
1495 return;
1496 }
1497 dvmHashTableLock(table);
1498 for (i = 0; i < table->tableSize; ++i) {
1499 entry = &table->pEntries[i];
1500 obj = (Object *)entry->data;
1501 if (obj == NULL || obj == HASH_TOMBSTONE) {
1502 continue;
1503 } else if (!isPermanentString((StringObject *)obj)) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001504 // LOG_SCAV("entry->data=%p", entry->data);
1505 LOG_SCAV(">>> string obj=%p", entry->data);
Carl Shapirod28668c2010-04-15 16:10:00 -07001506 /* TODO(cshapiro): detach white string objects */
1507 scavengeReference((Object **)(void *)&entry->data);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001508 LOG_SCAV("<<< string obj=%p", entry->data);
Carl Shapirod28668c2010-04-15 16:10:00 -07001509 }
1510 }
1511 dvmHashTableUnlock(table);
1512}
1513
1514static void pinInternedStrings(void)
1515{
1516 HashTable *table;
1517 HashEntry *entry;
1518 Object *obj;
1519 int i;
1520
1521 table = gDvm.internedStrings;
1522 if (table == NULL) {
1523 return;
1524 }
1525 dvmHashTableLock(table);
1526 for (i = 0; i < table->tableSize; ++i) {
1527 entry = &table->pEntries[i];
1528 obj = (Object *)entry->data;
1529 if (obj == NULL || obj == HASH_TOMBSTONE) {
1530 continue;
1531 } else if (isPermanentString((StringObject *)obj)) {
1532 obj = (Object *)getPermanentString((StringObject*)obj);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001533 LOG_PROM(">>> pin string obj=%p", obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001534 pinObject(obj);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001535 LOG_PROM("<<< pin string obj=%p", obj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001536 }
1537 }
1538 dvmHashTableUnlock(table);
1539}
1540
Carl Shapirod28668c2010-04-15 16:10:00 -07001541/*
1542 * At present, reference tables contain references that must not be
1543 * moved by the collector. Instead of scavenging each reference in
1544 * the table we pin each referenced object.
1545 */
Carl Shapiro583d64c2010-05-04 10:44:47 -07001546static void pinReferenceTable(const ReferenceTable *table)
Carl Shapirod28668c2010-04-15 16:10:00 -07001547{
1548 Object **entry;
Carl Shapirod28668c2010-04-15 16:10:00 -07001549
1550 assert(table != NULL);
1551 assert(table->table != NULL);
1552 assert(table->nextEntry != NULL);
1553 for (entry = table->table; entry < table->nextEntry; ++entry) {
1554 assert(entry != NULL);
1555 assert(!isForward(*entry));
1556 pinObject(*entry);
1557 }
1558}
1559
Carl Shapiro646ba092010-06-10 15:17:00 -07001560static void scavengeLargeHeapRefTable(LargeHeapRefTable *table)
Carl Shapirod28668c2010-04-15 16:10:00 -07001561{
Carl Shapirod28668c2010-04-15 16:10:00 -07001562 for (; table != NULL; table = table->next) {
Carl Shapiro7800c092010-05-11 13:46:29 -07001563 Object **ref = table->refs.table;
1564 for (; ref < table->refs.nextEntry; ++ref) {
Carl Shapiro646ba092010-06-10 15:17:00 -07001565 scavengeReference(ref);
Carl Shapiro7800c092010-05-11 13:46:29 -07001566 }
1567 }
1568}
1569
Carl Shapirod28668c2010-04-15 16:10:00 -07001570/* This code was copied from Thread.c */
1571static void scavengeThreadStack(Thread *thread)
1572{
1573 const u4 *framePtr;
1574#if WITH_EXTRA_GC_CHECKS > 1
1575 bool first = true;
1576#endif
1577
1578 framePtr = (const u4 *)thread->curFrame;
1579 while (framePtr != NULL) {
1580 const StackSaveArea *saveArea;
1581 const Method *method;
1582
1583 saveArea = SAVEAREA_FROM_FP(framePtr);
1584 method = saveArea->method;
Carl Shapiro583d64c2010-05-04 10:44:47 -07001585 if (method != NULL && !dvmIsNativeMethod(method)) {
Carl Shapirod28668c2010-04-15 16:10:00 -07001586#ifdef COUNT_PRECISE_METHODS
1587 /* the GC is running, so no lock required */
1588 if (dvmPointerSetAddEntry(gDvm.preciseMethods, method))
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001589 LOG_SCAV("PGC: added %s.%s %p\n",
1590 method->clazz->descriptor, method->name, method);
Carl Shapirod28668c2010-04-15 16:10:00 -07001591#endif
1592#if WITH_EXTRA_GC_CHECKS > 1
1593 /*
1594 * May also want to enable the memset() in the "invokeMethod"
1595 * goto target in the portable interpreter. That sets the stack
1596 * to a pattern that makes referring to uninitialized data
1597 * very obvious.
1598 */
1599
1600 if (first) {
1601 /*
1602 * First frame, isn't native, check the "alternate" saved PC
1603 * as a sanity check.
1604 *
1605 * It seems like we could check the second frame if the first
1606 * is native, since the PCs should be the same. It turns out
1607 * this doesn't always work. The problem is that we could
1608 * have calls in the sequence:
1609 * interp method #2
1610 * native method
1611 * interp method #1
1612 *
1613 * and then GC while in the native method after returning
1614 * from interp method #2. The currentPc on the stack is
1615 * for interp method #1, but thread->currentPc2 is still
1616 * set for the last thing interp method #2 did.
1617 *
1618 * This can also happen in normal execution:
1619 * - sget-object on not-yet-loaded class
1620 * - class init updates currentPc2
1621 * - static field init is handled by parsing annotations;
1622 * static String init requires creation of a String object,
1623 * which can cause a GC
1624 *
1625 * Essentially, any pattern that involves executing
1626 * interpreted code and then causes an allocation without
1627 * executing instructions in the original method will hit
1628 * this. These are rare enough that the test still has
1629 * some value.
1630 */
1631 if (saveArea->xtra.currentPc != thread->currentPc2) {
1632 LOGW("PGC: savedPC(%p) != current PC(%p), %s.%s ins=%p\n",
1633 saveArea->xtra.currentPc, thread->currentPc2,
1634 method->clazz->descriptor, method->name, method->insns);
1635 if (saveArea->xtra.currentPc != NULL)
1636 LOGE(" pc inst = 0x%04x\n", *saveArea->xtra.currentPc);
1637 if (thread->currentPc2 != NULL)
1638 LOGE(" pc2 inst = 0x%04x\n", *thread->currentPc2);
1639 dvmDumpThread(thread, false);
1640 }
1641 } else {
1642 /*
1643 * It's unusual, but not impossible, for a non-first frame
1644 * to be at something other than a method invocation. For
1645 * example, if we do a new-instance on a nonexistent class,
1646 * we'll have a lot of class loader activity on the stack
1647 * above the frame with the "new" operation. Could also
1648 * happen while we initialize a Throwable when an instruction
1649 * fails.
1650 *
1651 * So there's not much we can do here to verify the PC,
1652 * except to verify that it's a GC point.
1653 */
1654 }
1655 assert(saveArea->xtra.currentPc != NULL);
1656#endif
1657
1658 const RegisterMap* pMap;
1659 const u1* regVector;
1660 int i;
1661
1662 Method* nonConstMethod = (Method*) method; // quiet gcc
1663 pMap = dvmGetExpandedRegisterMap(nonConstMethod);
1664
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001665 //LOG_SCAV("PGC: %s.%s\n", method->clazz->descriptor, method->name);
Carl Shapirod28668c2010-04-15 16:10:00 -07001666
1667 if (pMap != NULL) {
1668 /* found map, get registers for this address */
1669 int addr = saveArea->xtra.currentPc - method->insns;
1670 regVector = dvmRegisterMapGetLine(pMap, addr);
1671 /*
1672 if (regVector == NULL) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001673 LOG_SCAV("PGC: map but no entry for %s.%s addr=0x%04x\n",
1674 method->clazz->descriptor, method->name, addr);
Carl Shapirod28668c2010-04-15 16:10:00 -07001675 } else {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001676 LOG_SCAV("PGC: found map for %s.%s 0x%04x (t=%d)\n",
1677 method->clazz->descriptor, method->name, addr,
1678 thread->threadId);
Carl Shapirod28668c2010-04-15 16:10:00 -07001679 }
1680 */
1681 } else {
1682 /*
1683 * No map found. If precise GC is disabled this is
1684 * expected -- we don't create pointers to the map data even
1685 * if it's present -- but if it's enabled it means we're
1686 * unexpectedly falling back on a conservative scan, so it's
1687 * worth yelling a little.
1688 */
1689 if (gDvm.preciseGc) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001690 LOG_SCAV("PGC: no map for %s.%s\n", method->clazz->descriptor, method->name);
Carl Shapirod28668c2010-04-15 16:10:00 -07001691 }
1692 regVector = NULL;
1693 }
Carl Shapirod28668c2010-04-15 16:10:00 -07001694 if (regVector == NULL) {
Carl Shapiro88b00352010-05-19 17:38:33 -07001695 /*
1696 * There are no roots to scavenge. Skip over the entire frame.
1697 */
1698 framePtr += method->registersSize;
Carl Shapirod28668c2010-04-15 16:10:00 -07001699 } else {
1700 /*
1701 * Precise scan. v0 is at the lowest address on the
1702 * interpreted stack, and is the first bit in the register
1703 * vector, so we can walk through the register map and
1704 * memory in the same direction.
1705 *
1706 * A '1' bit indicates a live reference.
1707 */
1708 u2 bits = 1 << 1;
1709 for (i = method->registersSize - 1; i >= 0; i--) {
Carl Shapirod28668c2010-04-15 16:10:00 -07001710 u4 rval = *framePtr;
1711
1712 bits >>= 1;
1713 if (bits == 1) {
1714 /* set bit 9 so we can tell when we're empty */
1715 bits = *regVector++ | 0x0100;
1716 LOGVV("loaded bits: 0x%02x\n", bits & 0xff);
1717 }
1718
1719 if (rval != 0 && (bits & 0x01) != 0) {
1720 /*
1721 * Non-null, register marked as live reference. This
1722 * should always be a valid object.
1723 */
1724#if WITH_EXTRA_GC_CHECKS > 0
1725 if ((rval & 0x3) != 0 || !dvmIsValidObject((Object*) rval)) {
1726 /* this is very bad */
1727 LOGE("PGC: invalid ref in reg %d: 0x%08x\n",
1728 method->registersSize-1 - i, rval);
1729 } else
1730#endif
1731 {
1732
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001733 // LOG_SCAV("stack reference %u@%p", *framePtr, framePtr);
Carl Shapirod28668c2010-04-15 16:10:00 -07001734 /* dvmMarkObjectNonNull((Object *)rval); */
1735 scavengeReference((Object **) framePtr);
1736 }
1737 } else {
1738 /*
1739 * Null or non-reference, do nothing at all.
1740 */
1741#if WITH_EXTRA_GC_CHECKS > 1
1742 if (dvmIsValidObject((Object*) rval)) {
1743 /* this is normal, but we feel chatty */
1744 LOGD("PGC: ignoring valid ref in reg %d: 0x%08x\n",
1745 method->registersSize-1 - i, rval);
1746 }
1747#endif
1748 }
1749 ++framePtr;
1750 }
1751 dvmReleaseRegisterMapLine(pMap, regVector);
1752 }
1753 }
Carl Shapiro952e84a2010-05-06 14:35:29 -07001754 /* else this is a break frame and there is nothing to gray, or
Carl Shapirod28668c2010-04-15 16:10:00 -07001755 * this is a native method and the registers are just the "ins",
1756 * copied from various registers in the caller's set.
1757 */
1758
1759#if WITH_EXTRA_GC_CHECKS > 1
1760 first = false;
1761#endif
1762
1763 /* Don't fall into an infinite loop if things get corrupted.
1764 */
1765 assert((uintptr_t)saveArea->prevFrame > (uintptr_t)framePtr ||
1766 saveArea->prevFrame == NULL);
1767 framePtr = saveArea->prevFrame;
1768 }
1769}
1770
1771static void scavengeThread(Thread *thread)
1772{
1773 assert(thread->status != THREAD_RUNNING ||
1774 thread->isSuspended ||
1775 thread == dvmThreadSelf());
1776
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001777 // LOG_SCAV("scavengeThread(thread=%p)", thread);
Carl Shapirod28668c2010-04-15 16:10:00 -07001778
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001779 // LOG_SCAV("Scavenging threadObj=%p", thread->threadObj);
Carl Shapirod28668c2010-04-15 16:10:00 -07001780 scavengeReference(&thread->threadObj);
1781
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001782 // LOG_SCAV("Scavenging exception=%p", thread->exception);
Carl Shapirod28668c2010-04-15 16:10:00 -07001783 scavengeReference(&thread->exception);
1784
1785 scavengeThreadStack(thread);
1786}
1787
1788static void scavengeThreadList(void)
1789{
1790 Thread *thread;
1791
1792 dvmLockThreadList(dvmThreadSelf());
1793 thread = gDvm.threadList;
1794 while (thread) {
1795 scavengeThread(thread);
1796 thread = thread->next;
1797 }
1798 dvmUnlockThreadList();
1799}
1800
Carl Shapiro88b00352010-05-19 17:38:33 -07001801static void pinThreadStack(const Thread *thread)
Carl Shapiro583d64c2010-05-04 10:44:47 -07001802{
1803 const u4 *framePtr;
1804 const StackSaveArea *saveArea;
Carl Shapiro88b00352010-05-19 17:38:33 -07001805 Method *method;
Carl Shapiro583d64c2010-05-04 10:44:47 -07001806 const char *shorty;
1807 Object *obj;
1808 int i;
1809
1810 saveArea = NULL;
1811 framePtr = (const u4 *)thread->curFrame;
1812 for (; framePtr != NULL; framePtr = saveArea->prevFrame) {
1813 saveArea = SAVEAREA_FROM_FP(framePtr);
Carl Shapiro88b00352010-05-19 17:38:33 -07001814 method = (Method *)saveArea->method;
Carl Shapiro583d64c2010-05-04 10:44:47 -07001815 if (method != NULL && dvmIsNativeMethod(method)) {
1816 /*
Carl Shapiro88b00352010-05-19 17:38:33 -07001817 * This is native method, pin its arguments.
1818 *
Carl Shapiro952e84a2010-05-06 14:35:29 -07001819 * For purposes of graying references, we don't need to do
Carl Shapiro583d64c2010-05-04 10:44:47 -07001820 * anything here, because all of the native "ins" were copied
1821 * from registers in the caller's stack frame and won't be
1822 * changed (an interpreted method can freely use registers
1823 * with parameters like any other register, but natives don't
1824 * work that way).
1825 *
1826 * However, we need to ensure that references visible to
1827 * native methods don't move around. We can do a precise scan
1828 * of the arguments by examining the method signature.
1829 */
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001830 LOG_PIN("+++ native scan %s.%s\n",
1831 method->clazz->descriptor, method->name);
Carl Shapiro583d64c2010-05-04 10:44:47 -07001832 assert(method->registersSize == method->insSize);
1833 if (!dvmIsStaticMethod(method)) {
1834 /* grab the "this" pointer */
1835 obj = (Object *)*framePtr++;
1836 if (obj == NULL) {
1837 /*
1838 * This can happen for the "fake" entry frame inserted
1839 * for threads created outside the VM. There's no actual
1840 * call so there's no object. If we changed the fake
1841 * entry method to be declared "static" then this
1842 * situation should never occur.
1843 */
1844 } else {
1845 assert(dvmIsValidObject(obj));
1846 pinObject(obj);
1847 }
1848 }
1849 shorty = method->shorty+1; // skip return value
1850 for (i = method->registersSize - 1; i >= 0; i--, framePtr++) {
1851 switch (*shorty++) {
1852 case 'L':
1853 obj = (Object *)*framePtr;
1854 if (obj != NULL) {
1855 assert(dvmIsValidObject(obj));
1856 pinObject(obj);
1857 }
1858 break;
1859 case 'D':
1860 case 'J':
1861 framePtr++;
1862 break;
1863 default:
1864 /* 32-bit non-reference value */
1865 obj = (Object *)*framePtr; // debug, remove
1866 if (dvmIsValidObject(obj)) { // debug, remove
1867 /* if we see a lot of these, our scan might be off */
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001868 LOG_PIN("+++ did NOT pin obj %p\n", obj);
Carl Shapiro583d64c2010-05-04 10:44:47 -07001869 }
1870 break;
1871 }
1872 }
Carl Shapiro88b00352010-05-19 17:38:33 -07001873 } else if (method != NULL && !dvmIsNativeMethod(method)) {
1874 const RegisterMap* pMap = dvmGetExpandedRegisterMap(method);
1875 const u1* regVector = NULL;
1876
1877 LOGI("conservative : %s.%s\n", method->clazz->descriptor, method->name);
1878
1879 if (pMap != NULL) {
1880 int addr = saveArea->xtra.currentPc - method->insns;
1881 regVector = dvmRegisterMapGetLine(pMap, addr);
1882 }
1883 if (regVector == NULL) {
1884 /*
1885 * No register info for this frame, conservatively pin.
1886 */
1887 for (i = 0; i < method->registersSize; ++i) {
1888 u4 regValue = framePtr[i];
1889 if (regValue != 0 && (regValue & 0x3) == 0 && dvmIsValidObject((Object *)regValue)) {
1890 pinObject((Object *)regValue);
1891 }
1892 }
1893 }
Carl Shapiro583d64c2010-05-04 10:44:47 -07001894 }
1895 /*
1896 * Don't fall into an infinite loop if things get corrupted.
1897 */
1898 assert((uintptr_t)saveArea->prevFrame > (uintptr_t)framePtr ||
1899 saveArea->prevFrame == NULL);
1900 }
1901}
1902
1903static void pinThread(const Thread *thread)
Carl Shapirod28668c2010-04-15 16:10:00 -07001904{
1905 assert(thread != NULL);
1906 assert(thread->status != THREAD_RUNNING ||
1907 thread->isSuspended ||
1908 thread == dvmThreadSelf());
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001909 LOG_PIN("pinThread(thread=%p)", thread);
Carl Shapirod28668c2010-04-15 16:10:00 -07001910
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001911 LOG_PIN("Pin native method arguments");
Carl Shapiro88b00352010-05-19 17:38:33 -07001912 pinThreadStack(thread);
Carl Shapiro583d64c2010-05-04 10:44:47 -07001913
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001914 LOG_PIN("Pin internalLocalRefTable");
Carl Shapirod28668c2010-04-15 16:10:00 -07001915 pinReferenceTable(&thread->internalLocalRefTable);
1916
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001917 LOG_PIN("Pin jniLocalRefTable");
Carl Shapirod28668c2010-04-15 16:10:00 -07001918 pinReferenceTable(&thread->jniLocalRefTable);
1919
1920 /* Can the check be pushed into the promote routine? */
1921 if (thread->jniMonitorRefTable.table) {
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001922 LOG_PIN("Pin jniMonitorRefTable");
Carl Shapirod28668c2010-04-15 16:10:00 -07001923 pinReferenceTable(&thread->jniMonitorRefTable);
1924 }
1925}
1926
1927static void pinThreadList(void)
1928{
1929 Thread *thread;
1930
1931 dvmLockThreadList(dvmThreadSelf());
1932 thread = gDvm.threadList;
1933 while (thread) {
1934 pinThread(thread);
1935 thread = thread->next;
1936 }
1937 dvmUnlockThreadList();
1938}
1939
1940/*
1941 * Heap block scavenging.
1942 */
1943
1944/*
1945 * Scavenge objects in the current block. Scavenging terminates when
1946 * the pointer reaches the highest address in the block or when a run
1947 * of zero words that continues to the highest address is reached.
1948 */
1949static void scavengeBlock(HeapSource *heapSource, size_t block)
1950{
1951 u1 *cursor;
1952 u1 *end;
1953 size_t size;
1954
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001955 LOG_SCAV("scavengeBlock(heapSource=%p,block=%zu)", heapSource, block);
Carl Shapirod28668c2010-04-15 16:10:00 -07001956
1957 assert(heapSource != NULL);
1958 assert(block < heapSource->totalBlocks);
1959 assert(heapSource->blockSpace[block] == BLOCK_TO_SPACE);
1960
1961 cursor = blockToAddress(heapSource, block);
1962 end = cursor + BLOCK_SIZE;
Carl Shapiro8bb533e2010-05-06 15:35:27 -07001963 LOG_SCAV("scavengeBlock start=%p, end=%p", cursor, end);
Carl Shapirod28668c2010-04-15 16:10:00 -07001964
1965 /* Parse and scavenge the current block. */
1966 size = 0;
1967 while (cursor < end) {
1968 u4 word = *(u4 *)cursor;
1969 if (word != 0) {
Carl Shapiro2396fda2010-05-03 20:14:14 -07001970 scavengeObject((Object *)cursor);
1971 size = objectSize((Object *)cursor);
Carl Shapirod28668c2010-04-15 16:10:00 -07001972 size = alignUp(size, ALLOC_ALIGNMENT);
1973 cursor += size;
Carl Shapirod28668c2010-04-15 16:10:00 -07001974 } else {
1975 /* Check for padding. */
1976 while (*(u4 *)cursor == 0) {
1977 cursor += 4;
1978 if (cursor == end) break;
1979 }
1980 /* Punt if something went wrong. */
1981 assert(cursor == end);
1982 }
1983 }
1984}
1985
Carl Shapiro2396fda2010-05-03 20:14:14 -07001986static size_t objectSize(const Object *obj)
Carl Shapirod28668c2010-04-15 16:10:00 -07001987{
1988 size_t size;
1989
Carl Shapiro2396fda2010-05-03 20:14:14 -07001990 assert(obj != NULL);
1991 assert(obj->clazz != NULL);
Barry Hayesc49db852010-05-14 13:43:34 -07001992 if (obj->clazz == gDvm.classJavaLangClass) {
Carl Shapirod28668c2010-04-15 16:10:00 -07001993 size = dvmClassObjectSize((ClassObject *)obj);
1994 } else if (IS_CLASS_FLAG_SET(obj->clazz, CLASS_ISARRAY)) {
1995 size = dvmArrayObjectSize((ArrayObject *)obj);
1996 } else {
Carl Shapiro2396fda2010-05-03 20:14:14 -07001997 assert(obj->clazz->objectSize != 0);
Carl Shapirod28668c2010-04-15 16:10:00 -07001998 size = obj->clazz->objectSize;
1999 }
Carl Shapiro2396fda2010-05-03 20:14:14 -07002000 if (LW_HASH_STATE(obj->lock) == LW_HASH_STATE_HASHED_AND_MOVED) {
2001 size += sizeof(u4);
2002 }
Carl Shapirod28668c2010-04-15 16:10:00 -07002003 return size;
2004}
2005
2006static void verifyBlock(HeapSource *heapSource, size_t block)
2007{
2008 u1 *cursor;
2009 u1 *end;
2010 size_t size;
2011
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002012 // LOG_VER("verifyBlock(heapSource=%p,block=%zu)", heapSource, block);
Carl Shapirod28668c2010-04-15 16:10:00 -07002013
2014 assert(heapSource != NULL);
2015 assert(block < heapSource->totalBlocks);
2016 assert(heapSource->blockSpace[block] == BLOCK_TO_SPACE);
2017
2018 cursor = blockToAddress(heapSource, block);
2019 end = cursor + BLOCK_SIZE;
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002020 // LOG_VER("verifyBlock start=%p, end=%p", cursor, end);
Carl Shapirod28668c2010-04-15 16:10:00 -07002021
2022 /* Parse and scavenge the current block. */
2023 size = 0;
2024 while (cursor < end) {
2025 u4 word = *(u4 *)cursor;
2026 if (word != 0) {
2027 dvmVerifyObject((Object *)cursor);
2028 size = objectSize((Object *)cursor);
2029 size = alignUp(size, ALLOC_ALIGNMENT);
2030 cursor += size;
Carl Shapirod28668c2010-04-15 16:10:00 -07002031 } else {
2032 /* Check for padding. */
2033 while (*(unsigned long *)cursor == 0) {
2034 cursor += 4;
2035 if (cursor == end) break;
2036 }
2037 /* Punt if something went wrong. */
2038 assert(cursor == end);
2039 }
2040 }
2041}
2042
2043static void describeBlockQueue(const HeapSource *heapSource)
2044{
2045 size_t block, count;
2046 char space;
2047
2048 block = heapSource->queueHead;
2049 count = 0;
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002050 LOG_SCAV(">>> describeBlockQueue(heapSource=%p)", heapSource);
Carl Shapirod28668c2010-04-15 16:10:00 -07002051 /* Count the number of blocks enqueued. */
2052 while (block != QUEUE_TAIL) {
2053 block = heapSource->blockQueue[block];
2054 ++count;
2055 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002056 LOG_SCAV("blockQueue %zu elements, enqueued %zu",
Carl Shapirod28668c2010-04-15 16:10:00 -07002057 count, heapSource->queueSize);
2058 block = heapSource->queueHead;
2059 while (block != QUEUE_TAIL) {
2060 space = heapSource->blockSpace[block];
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002061 LOG_SCAV("block=%zu@%p,space=%zu", block, blockToAddress(heapSource,block), space);
Carl Shapirod28668c2010-04-15 16:10:00 -07002062 block = heapSource->blockQueue[block];
2063 }
2064
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002065 LOG_SCAV("<<< describeBlockQueue(heapSource=%p)", heapSource);
Carl Shapirod28668c2010-04-15 16:10:00 -07002066}
2067
2068/*
2069 * Blackens promoted objects.
2070 */
2071static void scavengeBlockQueue(void)
2072{
2073 HeapSource *heapSource;
2074 size_t block;
2075
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002076 LOG_SCAV(">>> scavengeBlockQueue()");
Carl Shapirod28668c2010-04-15 16:10:00 -07002077 heapSource = gDvm.gcHeap->heapSource;
2078 describeBlockQueue(heapSource);
2079 while (heapSource->queueHead != QUEUE_TAIL) {
2080 block = heapSource->queueHead;
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002081 LOG_SCAV("Dequeueing block %zu\n", block);
Carl Shapirod28668c2010-04-15 16:10:00 -07002082 scavengeBlock(heapSource, block);
2083 heapSource->queueHead = heapSource->blockQueue[block];
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002084 LOG_SCAV("New queue head is %zu\n", heapSource->queueHead);
Carl Shapirod28668c2010-04-15 16:10:00 -07002085 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002086 LOG_SCAV("<<< scavengeBlockQueue()");
Carl Shapirod28668c2010-04-15 16:10:00 -07002087}
2088
2089/*
2090 * Scan the block list and verify all blocks that are marked as being
2091 * in new space. This should be parametrized so we can invoke this
2092 * routine outside of the context of a collection.
2093 */
2094static void verifyNewSpace(void)
2095{
2096 HeapSource *heapSource;
2097 size_t i;
2098 size_t c0, c1, c2, c7;
2099
2100 c0 = c1 = c2 = c7 = 0;
2101 heapSource = gDvm.gcHeap->heapSource;
2102 for (i = 0; i < heapSource->totalBlocks; ++i) {
2103 switch (heapSource->blockSpace[i]) {
2104 case BLOCK_FREE: ++c0; break;
2105 case BLOCK_TO_SPACE: ++c1; break;
2106 case BLOCK_FROM_SPACE: ++c2; break;
2107 case BLOCK_CONTINUED: ++c7; break;
2108 default: assert(!"reached");
2109 }
2110 }
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002111 LOG_VER("Block Demographics: "
2112 "Free=%zu,ToSpace=%zu,FromSpace=%zu,Continued=%zu",
2113 c0, c1, c2, c7);
Carl Shapirod28668c2010-04-15 16:10:00 -07002114 for (i = 0; i < heapSource->totalBlocks; ++i) {
2115 if (heapSource->blockSpace[i] != BLOCK_TO_SPACE) {
2116 continue;
2117 }
2118 verifyBlock(heapSource, i);
2119 }
2120}
2121
2122static void scavengeGlobals(void)
2123{
2124 scavengeReference((Object **)(void *)&gDvm.classJavaLangClass);
2125 scavengeReference((Object **)(void *)&gDvm.classJavaLangClassArray);
2126 scavengeReference((Object **)(void *)&gDvm.classJavaLangError);
2127 scavengeReference((Object **)(void *)&gDvm.classJavaLangObject);
2128 scavengeReference((Object **)(void *)&gDvm.classJavaLangObjectArray);
2129 scavengeReference((Object **)(void *)&gDvm.classJavaLangRuntimeException);
2130 scavengeReference((Object **)(void *)&gDvm.classJavaLangString);
2131 scavengeReference((Object **)(void *)&gDvm.classJavaLangThread);
2132 scavengeReference((Object **)(void *)&gDvm.classJavaLangVMThread);
2133 scavengeReference((Object **)(void *)&gDvm.classJavaLangThreadGroup);
2134 scavengeReference((Object **)(void *)&gDvm.classJavaLangThrowable);
2135 scavengeReference((Object **)(void *)&gDvm.classJavaLangStackTraceElement);
2136 scavengeReference((Object **)(void *)&gDvm.classJavaLangStackTraceElementArray);
2137 scavengeReference((Object **)(void *)&gDvm.classJavaLangAnnotationAnnotationArray);
2138 scavengeReference((Object **)(void *)&gDvm.classJavaLangAnnotationAnnotationArrayArray);
2139 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectAccessibleObject);
2140 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectConstructor);
2141 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectConstructorArray);
2142 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectField);
2143 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectFieldArray);
2144 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectMethod);
2145 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectMethodArray);
2146 scavengeReference((Object **)(void *)&gDvm.classJavaLangReflectProxy);
2147 scavengeReference((Object **)(void *)&gDvm.classJavaLangExceptionInInitializerError);
2148 scavengeReference((Object **)(void *)&gDvm.classJavaLangRefReference);
2149 scavengeReference((Object **)(void *)&gDvm.classJavaNioReadWriteDirectByteBuffer);
2150 scavengeReference((Object **)(void *)&gDvm.classJavaSecurityAccessController);
2151 scavengeReference((Object **)(void *)&gDvm.classOrgApacheHarmonyLangAnnotationAnnotationFactory);
2152 scavengeReference((Object **)(void *)&gDvm.classOrgApacheHarmonyLangAnnotationAnnotationMember);
2153 scavengeReference((Object **)(void *)&gDvm.classOrgApacheHarmonyLangAnnotationAnnotationMemberArray);
2154 scavengeReference((Object **)(void *)&gDvm.classOrgApacheHarmonyNioInternalDirectBuffer);
2155 scavengeReference((Object **)(void *)&gDvm.classArrayBoolean);
2156 scavengeReference((Object **)(void *)&gDvm.classArrayChar);
2157 scavengeReference((Object **)(void *)&gDvm.classArrayFloat);
2158 scavengeReference((Object **)(void *)&gDvm.classArrayDouble);
2159 scavengeReference((Object **)(void *)&gDvm.classArrayByte);
2160 scavengeReference((Object **)(void *)&gDvm.classArrayShort);
2161 scavengeReference((Object **)(void *)&gDvm.classArrayInt);
2162 scavengeReference((Object **)(void *)&gDvm.classArrayLong);
2163}
2164
2165void describeHeap(void)
2166{
2167 HeapSource *heapSource;
2168
2169 heapSource = gDvm.gcHeap->heapSource;
2170 describeBlocks(heapSource);
2171}
2172
2173/*
2174 * The collection interface. Collection has a few distinct phases.
2175 * The first is flipping AKA condemning AKA whitening the heap. The
2176 * second is to promote all objects which are pointed to by pinned or
2177 * ambiguous references. The third phase is tracing from the stacks,
2178 * registers and various globals. Lastly, a verification of the heap
2179 * is performed. The last phase should be optional.
2180 */
2181void dvmScavengeRoots(void) /* Needs a new name badly */
2182{
Carl Shapirod28668c2010-04-15 16:10:00 -07002183 GcHeap *gcHeap;
2184
2185 {
2186 size_t alloc, unused, total;
2187
2188 room(&alloc, &unused, &total);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002189 LOG_SCAV("BEFORE GC: %zu alloc, %zu free, %zu total.",
2190 alloc, unused, total);
Carl Shapirod28668c2010-04-15 16:10:00 -07002191 }
2192
2193 gcHeap = gDvm.gcHeap;
2194 dvmHeapSourceFlip();
2195
2196 /*
2197 * Promote blocks with stationary objects.
2198 */
Carl Shapirod28668c2010-04-15 16:10:00 -07002199 pinThreadList();
Carl Shapirod28668c2010-04-15 16:10:00 -07002200 pinReferenceTable(&gDvm.jniGlobalRefTable);
Carl Shapirod28668c2010-04-15 16:10:00 -07002201 pinReferenceTable(&gDvm.jniPinRefTable);
Carl Shapirod28668c2010-04-15 16:10:00 -07002202 pinHashTableEntries(gDvm.loadedClasses);
Carl Shapiro427bf462010-06-04 00:03:18 -07002203 pinHashTableEntries(gDvm.dbgRegistry);
Carl Shapirod28668c2010-04-15 16:10:00 -07002204 pinPrimitiveClasses();
Carl Shapirod28668c2010-04-15 16:10:00 -07002205 pinInternedStrings();
2206
2207 // describeBlocks(gcHeap->heapSource);
2208
2209 /*
2210 * Create first, open new-space page right here.
2211 */
2212
2213 /* Reset allocation to an unallocated block. */
2214 gDvm.gcHeap->heapSource->allocPtr = allocateBlocks(gDvm.gcHeap->heapSource, 1);
2215 gDvm.gcHeap->heapSource->allocLimit = gDvm.gcHeap->heapSource->allocPtr + BLOCK_SIZE;
2216 /*
2217 * Hack: promote the empty block allocated above. If the
2218 * promotions that occurred above did not actually gray any
2219 * objects, the block queue may be empty. We must force a
2220 * promotion to be safe.
2221 */
2222 promoteBlockByAddr(gDvm.gcHeap->heapSource, gDvm.gcHeap->heapSource->allocPtr);
2223
2224 /*
2225 * Scavenge blocks and relocate movable objects.
2226 */
2227
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002228 LOG_SCAV("Scavenging gDvm.threadList");
Carl Shapirod28668c2010-04-15 16:10:00 -07002229 scavengeThreadList();
2230
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002231 LOG_SCAV("Scavenging gDvm.gcHeap->referenceOperations");
Carl Shapiro646ba092010-06-10 15:17:00 -07002232 scavengeLargeHeapRefTable(gcHeap->referenceOperations);
Carl Shapirod28668c2010-04-15 16:10:00 -07002233
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002234 LOG_SCAV("Scavenging gDvm.gcHeap->pendingFinalizationRefs");
Carl Shapiro646ba092010-06-10 15:17:00 -07002235 scavengeLargeHeapRefTable(gcHeap->pendingFinalizationRefs);
Carl Shapirod28668c2010-04-15 16:10:00 -07002236
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002237 LOG_SCAV("Scavenging random global stuff");
Carl Shapirod28668c2010-04-15 16:10:00 -07002238 scavengeReference(&gDvm.outOfMemoryObj);
2239 scavengeReference(&gDvm.internalErrorObj);
2240 scavengeReference(&gDvm.noClassDefFoundErrorObj);
2241
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002242 // LOG_SCAV("Scavenging gDvm.internedString");
Carl Shapirod28668c2010-04-15 16:10:00 -07002243 scavengeInternedStrings();
2244
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002245 LOG_SCAV("Root scavenge has completed.");
Carl Shapirod28668c2010-04-15 16:10:00 -07002246
2247 scavengeBlockQueue();
2248
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002249 LOG_SCAV("Re-snap global class pointers.");
Carl Shapirod28668c2010-04-15 16:10:00 -07002250 scavengeGlobals();
2251
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002252 LOG_SCAV("New space scavenge has completed.");
Carl Shapirod28668c2010-04-15 16:10:00 -07002253
2254 /*
Carl Shapiro952e84a2010-05-06 14:35:29 -07002255 * Process reference objects in strength order.
2256 */
2257
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002258 LOG_REF("Processing soft references...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002259 preserveSoftReferences(&gDvm.gcHeap->softReferences);
2260 clearWhiteReferences(&gDvm.gcHeap->softReferences);
2261
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002262 LOG_REF("Processing weak references...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002263 clearWhiteReferences(&gDvm.gcHeap->weakReferences);
2264
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002265 LOG_REF("Finding finalizations...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002266 processFinalizableReferences();
2267
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002268 LOG_REF("Processing f-reachable soft references...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002269 clearWhiteReferences(&gDvm.gcHeap->softReferences);
2270
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002271 LOG_REF("Processing f-reachable weak references...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002272 clearWhiteReferences(&gDvm.gcHeap->weakReferences);
2273
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002274 LOG_REF("Processing phantom references...");
Carl Shapiro952e84a2010-05-06 14:35:29 -07002275 clearWhiteReferences(&gDvm.gcHeap->phantomReferences);
2276
2277 /*
Carl Shapirod28668c2010-04-15 16:10:00 -07002278 * Verify the stack and heap.
2279 */
Carl Shapirof5718252010-05-11 20:55:13 -07002280 dvmVerifyRoots();
Carl Shapirod28668c2010-04-15 16:10:00 -07002281 verifyNewSpace();
2282
Carl Shapirod28668c2010-04-15 16:10:00 -07002283 //describeBlocks(gcHeap->heapSource);
2284
2285 clearFromSpace(gcHeap->heapSource);
2286
2287 {
2288 size_t alloc, rem, total;
2289
2290 room(&alloc, &rem, &total);
Carl Shapiro8bb533e2010-05-06 15:35:27 -07002291 LOG_SCAV("AFTER GC: %zu alloc, %zu free, %zu total.", alloc, rem, total);
Carl Shapirod28668c2010-04-15 16:10:00 -07002292 }
2293}
2294
2295/*
2296 * Interface compatibility routines.
2297 */
2298
2299void dvmClearWhiteRefs(Object **list)
2300{
Carl Shapiro952e84a2010-05-06 14:35:29 -07002301 /* do nothing */
Carl Shapirod28668c2010-04-15 16:10:00 -07002302 assert(*list == NULL);
2303}
2304
2305void dvmHandleSoftRefs(Object **list)
2306{
Carl Shapiro952e84a2010-05-06 14:35:29 -07002307 /* do nothing */
Carl Shapirod28668c2010-04-15 16:10:00 -07002308 assert(*list == NULL);
2309}
2310
2311bool dvmHeapBeginMarkStep(GcMode mode)
2312{
2313 /* do nothing */
2314 return true;
2315}
2316
2317void dvmHeapFinishMarkStep(void)
2318{
2319 /* do nothing */
2320}
2321
2322void dvmHeapMarkRootSet(void)
2323{
2324 /* do nothing */
2325}
2326
2327void dvmHeapScanMarkedObjects(void)
2328{
2329 dvmScavengeRoots();
2330}
2331
2332void dvmHeapScheduleFinalizations(void)
2333{
2334 /* do nothing */
2335}
2336
2337void dvmHeapSweepUnmarkedObjects(GcMode mode, int *numFreed, size_t *sizeFreed)
2338{
Carl Shapiro703a2f32010-05-12 23:11:37 -07002339 *numFreed = 0;
2340 *sizeFreed = 0;
Carl Shapirod28668c2010-04-15 16:10:00 -07002341 /* do nothing */
2342}
2343
2344void dvmMarkObjectNonNull(const Object *obj)
2345{
2346 assert(!"implemented");
2347}