Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
| 3 | #include "image_writer.h" |
| 4 | |
| 5 | #include <sys/mman.h> |
| 6 | #include <vector> |
| 7 | |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 8 | #include "dex_cache.h" |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 9 | #include "class_linker.h" |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 10 | #include "file.h" |
| 11 | #include "globals.h" |
| 12 | #include "heap.h" |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 13 | #include "image.h" |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 14 | #include "intern_table.h" |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 15 | #include "logging.h" |
| 16 | #include "object.h" |
| 17 | #include "space.h" |
| 18 | #include "utils.h" |
| 19 | |
| 20 | namespace art { |
| 21 | |
| 22 | bool ImageWriter::Write(Space* space, const char* filename, byte* image_base) { |
| 23 | image_base_ = image_base; |
| 24 | if (!Init(space)) { |
| 25 | return false; |
| 26 | } |
| 27 | CalculateNewObjectOffsets(); |
| 28 | CopyAndFixupObjects(); |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 29 | |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 30 | scoped_ptr<File> file(OS::OpenFile(filename, true)); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 31 | if (file == NULL) { |
| 32 | return false; |
| 33 | } |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 34 | return file->WriteFully(image_->GetAddress(), image_top_); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 35 | } |
| 36 | |
| 37 | bool ImageWriter::Init(Space* space) { |
| 38 | size_t size = space->Size(); |
| 39 | int prot = PROT_READ | PROT_WRITE; |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 40 | size_t length = RoundUp(size, kPageSize); |
Brian Carlstrom | 4a289ed | 2011-08-16 17:17:49 -0700 | [diff] [blame] | 41 | image_.reset(MemMap::Map(length, prot)); |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 42 | if (image_ == NULL) { |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 43 | return false; |
| 44 | } |
| 45 | return true; |
| 46 | } |
| 47 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 48 | namespace { |
| 49 | |
| 50 | struct InternTableVisitorState { |
| 51 | int index; |
| 52 | ObjectArray<Object>* interned_array; |
| 53 | }; |
| 54 | |
| 55 | void InternTableVisitor(Object* obj, void* arg) { |
| 56 | InternTableVisitorState* state = reinterpret_cast<InternTableVisitorState*>(arg); |
| 57 | state->interned_array->Set(state->index++, obj); |
| 58 | } |
| 59 | |
| 60 | ObjectArray<Object>* CreateInternedArray() { |
| 61 | // build a Object[] of the interned strings for reinit |
| 62 | // TODO: avoid creating this future garbage |
| 63 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 64 | const InternTable& intern_table = class_linker->GetInternTable(); |
| 65 | size_t size = intern_table.Size(); |
| 66 | CHECK_NE(0U, size); |
| 67 | |
| 68 | Class* object_array_class = class_linker->FindSystemClass("[Ljava/lang/Object;"); |
| 69 | ObjectArray<Object>* interned_array = ObjectArray<Object>::Alloc(object_array_class, size); |
| 70 | |
| 71 | InternTableVisitorState state; |
| 72 | state.index = 0; |
| 73 | state.interned_array = interned_array; |
| 74 | |
| 75 | intern_table.VisitRoots(InternTableVisitor, &state); |
| 76 | |
| 77 | return interned_array; |
| 78 | } |
| 79 | |
| 80 | } // namespace |
| 81 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 82 | void ImageWriter::CalculateNewObjectOffsetsCallback(Object *obj, void *arg) { |
| 83 | DCHECK(obj != NULL); |
| 84 | DCHECK(arg != NULL); |
| 85 | ImageWriter* image_writer = reinterpret_cast<ImageWriter*>(arg); |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 86 | image_writer->SetImageOffset(obj, image_writer->image_top_); |
Elliott Hughes | 04b63fd | 2011-08-16 09:40:10 -0700 | [diff] [blame] | 87 | image_writer->image_top_ += RoundUp(obj->SizeOf(), 8); // 64-bit alignment |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 88 | DCHECK_LT(image_writer->image_top_, image_writer->image_->GetLength()); |
| 89 | } |
| 90 | |
| 91 | void ImageWriter::CalculateNewObjectOffsets() { |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 92 | ObjectArray<Object>* interned_array = CreateInternedArray(); |
| 93 | |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 94 | HeapBitmap* heap_bitmap = Heap::GetLiveBits(); |
| 95 | DCHECK(heap_bitmap != NULL); |
| 96 | DCHECK_EQ(0U, image_top_); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 97 | |
| 98 | // leave space for the header, but do not write it yet, we need to |
| 99 | // know where interned_array is going to end up |
| 100 | image_top_ += RoundUp(sizeof(ImageHeader), 8); // 64-bit-alignment |
| 101 | |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 102 | heap_bitmap->Walk(CalculateNewObjectOffsetsCallback, this); |
| 103 | DCHECK_LT(image_top_, image_->GetLength()); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 104 | |
| 105 | // return to write header at start of image with future location of interned_array |
| 106 | ImageHeader image_header(reinterpret_cast<uint32_t>(image_base_), |
| 107 | reinterpret_cast<uint32_t>(GetImageAddress(interned_array))); |
| 108 | memcpy(image_->GetAddress(), &image_header, sizeof(image_header)); |
| 109 | |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 110 | // Note that top_ is left at end of used space |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | void ImageWriter::CopyAndFixupObjects() { |
| 114 | HeapBitmap* heap_bitmap = Heap::GetLiveBits(); |
| 115 | DCHECK(heap_bitmap != NULL); |
| 116 | heap_bitmap->Walk(CopyAndFixupObjectsCallback, this); |
| 117 | } |
| 118 | |
| 119 | void ImageWriter::CopyAndFixupObjectsCallback(Object *obj, void *arg) { |
| 120 | DCHECK(obj != NULL); |
| 121 | DCHECK(arg != NULL); |
| 122 | ImageWriter* image_writer = reinterpret_cast<ImageWriter*>(arg); |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 123 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 124 | size_t offset = image_writer->GetImageOffset(obj); |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 125 | byte* dst = image_writer->image_->GetAddress() + offset; |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 126 | byte* src = reinterpret_cast<byte*>(obj); |
Elliott Hughes | 04b63fd | 2011-08-16 09:40:10 -0700 | [diff] [blame] | 127 | size_t n = obj->SizeOf(); |
Brian Carlstrom | 4e777d4 | 2011-08-15 13:53:52 -0700 | [diff] [blame] | 128 | DCHECK_LT(offset + n, image_writer->image_->GetLength()); |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 129 | memcpy(dst, src, n); |
| 130 | Object* copy = reinterpret_cast<Object*>(dst); |
| 131 | image_writer->FixupObject(obj, copy); |
| 132 | } |
| 133 | |
| 134 | void ImageWriter::FixupObject(Object* orig, Object* copy) { |
| 135 | DCHECK(orig != NULL); |
| 136 | DCHECK(copy != NULL); |
| 137 | copy->klass_ = down_cast<Class*>(GetImageAddress(orig->klass_)); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 138 | // TODO: special case init of pointers to malloc data (or removal of these pointers) |
| 139 | if (orig->IsClass()) { |
| 140 | FixupClass(orig->AsClass(), down_cast<Class*>(copy)); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 141 | } else if (orig->IsMethod()) { |
| 142 | FixupMethod(orig->AsMethod(), down_cast<Method*>(copy)); |
| 143 | } else if (orig->IsField()) { |
| 144 | FixupField(orig->AsField(), down_cast<Field*>(copy)); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 145 | } else if (orig->IsObjectArray()) { |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 146 | FixupObjectArray(orig->AsObjectArray<Object>(), down_cast<ObjectArray<Object>*>(copy)); |
| 147 | } else { |
| 148 | FixupInstanceFields(orig, copy); |
| 149 | } |
| 150 | } |
| 151 | |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 152 | void ImageWriter::FixupClass(Class* orig, Class* copy) { |
| 153 | FixupInstanceFields(orig, copy); |
| 154 | copy->descriptor_ = down_cast<String*>(GetImageAddress(orig->descriptor_)); |
| 155 | copy->dex_cache_ = down_cast<DexCache*>(GetImageAddress(orig->dex_cache_)); |
| 156 | copy->verify_error_class_ = down_cast<Class*>(GetImageAddress(orig->verify_error_class_)); |
| 157 | copy->component_type_ = down_cast<Class*>(GetImageAddress(orig->component_type_)); |
| 158 | copy->super_class_ = down_cast<Class*>(GetImageAddress(orig->super_class_)); |
| 159 | copy->class_loader_ = down_cast<ClassLoader*>(GetImageAddress(orig->class_loader_)); |
| 160 | copy->interfaces_ = down_cast<ObjectArray<Class>*>(GetImageAddress(orig->interfaces_)); |
| 161 | copy->direct_methods_ = down_cast<ObjectArray<Method>*>(GetImageAddress(orig->direct_methods_)); |
| 162 | copy->virtual_methods_ = down_cast<ObjectArray<Method>*>(GetImageAddress(orig->virtual_methods_)); |
| 163 | copy->vtable_ = down_cast<ObjectArray<Method>*>(GetImageAddress(orig->vtable_)); |
| 164 | // TODO: convert iftable_ to heap allocated storage |
| 165 | copy->ifields_ = down_cast<ObjectArray<Field>*>(GetImageAddress(orig->ifields_)); |
| 166 | copy->sfields_ = down_cast<ObjectArray<Field>*>(GetImageAddress(orig->sfields_)); |
| 167 | copy->static_references_ = down_cast<ObjectArray<Object>*>(GetImageAddress(orig->static_references_)); |
| 168 | } |
| 169 | |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame^] | 170 | // TODO: remove this slow path |
| 171 | void ImageWriter::FixupMethod(Method* orig, Method* copy) { |
| 172 | FixupInstanceFields(orig, copy); |
| 173 | // TODO: remove need for this by adding "signature" to java.lang.reflect.Method |
| 174 | copy->signature_ = down_cast<String*>(GetImageAddress(orig->signature_)); |
| 175 | DCHECK(copy->signature_ != NULL); |
| 176 | // TODO: convert shorty_ to heap allocated storage |
| 177 | } |
| 178 | |
| 179 | void ImageWriter::FixupField(Field* orig, Field* copy) { |
| 180 | FixupInstanceFields(orig, copy); |
| 181 | // TODO: convert descriptor_ to heap allocated storage |
| 182 | } |
| 183 | |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 184 | void ImageWriter::FixupObjectArray(ObjectArray<Object>* orig, ObjectArray<Object>* copy) { |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 185 | for (int32_t i = 0; i < orig->GetLength(); ++i) { |
Brian Carlstrom | db4d540 | 2011-08-09 12:18:28 -0700 | [diff] [blame] | 186 | const Object* element = orig->Get(i); |
| 187 | copy->Set(i, GetImageAddress(element)); |
| 188 | } |
| 189 | } |
| 190 | |
| 191 | void ImageWriter::FixupInstanceFields(Object* orig, Object* copy) { |
| 192 | uint32_t ref_offsets = orig->GetClass()->GetReferenceOffsets(); |
| 193 | if (ref_offsets != CLASS_WALK_SUPER) { |
| 194 | // Found a reference offset bitmap. Fixup the specified offsets. |
| 195 | while (ref_offsets != 0) { |
| 196 | size_t right_shift = CLZ(ref_offsets); |
| 197 | size_t byte_offset = CLASS_OFFSET_FROM_CLZ(right_shift); |
| 198 | const Object* ref = orig->GetFieldObject(byte_offset); |
| 199 | copy->SetFieldObject(byte_offset, GetImageAddress(ref)); |
| 200 | ref_offsets &= ~(CLASS_HIGH_BIT >> right_shift); |
| 201 | } |
| 202 | } else { |
| 203 | // There is no reference offset bitmap for this class. Walk up |
| 204 | // the class inheritance hierarchy and find reference offsets the |
| 205 | // hard way. |
| 206 | for (Class *klass = orig->GetClass(); |
| 207 | klass != NULL; |
| 208 | klass = klass->GetSuperClass()) { |
| 209 | for (size_t i = 0; i < klass->NumReferenceInstanceFields(); ++i) { |
| 210 | size_t field_offset = klass->GetInstanceField(i)->GetOffset(); |
| 211 | const Object* ref = orig->GetFieldObject(field_offset); |
| 212 | copy->SetFieldObject(field_offset, GetImageAddress(ref)); |
| 213 | } |
| 214 | } |
| 215 | } |
| 216 | } |
| 217 | |
| 218 | } // namespace art |