1 /* 2 * Copyright (C) 2011 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 #ifndef ART_RUNTIME_GC_SPACE_IMAGE_SPACE_H_ 18 #define ART_RUNTIME_GC_SPACE_IMAGE_SPACE_H_ 19 20 #include "gc/accounting/space_bitmap.h" 21 #include "image.h" 22 #include "image_space_loading_order.h" 23 #include "space.h" 24 25 namespace art { 26 27 template <typename T> class ArrayRef; 28 class DexFile; 29 enum class InstructionSet; 30 class OatFile; 31 32 namespace gc { 33 namespace space { 34 35 // An image space is a space backed with a memory mapped image. 36 class ImageSpace : public MemMapSpace { 37 public: GetType()38 SpaceType GetType() const override { 39 return kSpaceTypeImageSpace; 40 } 41 42 // The separator for boot image location components. 43 static constexpr char kComponentSeparator = ':'; 44 // The separator for profile filename. 45 static constexpr char kProfileSeparator = '!'; 46 47 // Load boot image spaces for specified boot class path, image location, instruction set, etc. 48 // 49 // On successful return, the loaded spaces are added to boot_image_spaces (which must be 50 // empty on entry) and `extra_reservation` is set to the requested reservation located 51 // after the end of the last loaded oat file. 52 // 53 // IMAGE LOCATION 54 // 55 // The "image location" is a colon-separated list that specifies one or more 56 // components by name and may also specify search paths for extensions 57 // corresponding to the remaining boot class path (BCP) extensions. 58 // 59 // The primary boot image can be specified as one of 60 // <path>/<base-name> 61 // <base-name> 62 // and the path of the first BCP component is used for the second form. 63 // 64 // Named extension specifications must correspond to an expansion of the 65 // <base-name> with a BCP component (for example boot.art with the BCP 66 // component name <jar-path>/framework.jar expands to boot-framework.art). 67 // They can be similarly specified as one of 68 // <ext-path>/<ext-name> 69 // <ext-name> 70 // and must be listed in the order of their corresponding BCP components. 71 // The specification may have a suffix with profile specification, one of 72 // !<ext-path>/<ext-name> 73 // !<ext-name> 74 // and this profile will be used to compile the extension when loading the 75 // boot image if the on-disk version is not acceptable (either not present 76 // or fails validation, presumably because it's out of date). The first 77 // extension specification that includes the profile specification also 78 // terminates the list of the boot image dependencies that each extension 79 // is compiled against. 80 // 81 // Search paths for remaining extensions can be specified after named 82 // components as one of 83 // <search-path>/* 84 // * 85 // where the second form means that the path of a particular BCP component 86 // should be used to search for that component's boot image extension. These 87 // paths will be searched in the specifed order. 88 // 89 // The actual filename shall be derived from the specified locations using 90 // `GetSystemImageFilename()` or `GetDalvikCacheFilename()`. 91 // 92 // Example image locations: 93 // /system/framework/boot.art 94 // - only primary boot image with full path. 95 // boot.art:boot-framework.art 96 // - primary and one extension, use BCP component paths. 97 // /apex/com.android.art/boot.art:* 98 // - primary with exact location, search for the rest based on BCP 99 // component paths. 100 // boot.art:/system/framework/* 101 // - primary based on BCP component path, search for extensions in 102 // /system/framework. 103 // /apex/com.android.art/boot.art:/system/framework/*:* 104 // - primary with exact location, search for extensions first in 105 // /system/framework, then in the corresponding BCP component path. 106 // /apex/com.android.art/boot.art:*:/system/framework/* 107 // - primary with exact location, search for extensions first in the 108 // corresponding BCP component path and then in /system/framework. 109 // /apex/com.android.art/boot.art:*:boot-framework.jar 110 // - invalid, named components may not follow search paths. 111 // boot.art:boot-framework.jar!/system/framework/framework.prof 112 // - primary and one extension, use BCP component paths; if extension 113 // is not found or broken compile it in memory using the specified 114 // profile file from the exact path. 115 // boot.art:boot-framework.jar:conscrypt.jar!conscrypt.prof 116 // - primary and two extensions, use BCP component paths; only the 117 // second extension has a profile file and can be compiled in memory 118 // when it is not found or broken, using the specified profile file 119 // in the BCP component path and it is compiled against the primary 120 // and first extension and only if the first extension is OK. 121 // boot.art:boot-framework.jar!framework.prof:conscrypt.jar!conscrypt.prof 122 // - primary and two extensions, use BCP component paths; if any 123 // extension is not found or broken compile it in memory using 124 // the specified profile file in the BCP component path, each 125 // extension is compiled only against the primary boot image. 126 static bool LoadBootImage( 127 const std::vector<std::string>& boot_class_path, 128 const std::vector<std::string>& boot_class_path_locations, 129 const std::string& image_location, 130 const InstructionSet image_isa, 131 ImageSpaceLoadingOrder order, 132 bool relocate, 133 bool executable, 134 bool is_zygote, 135 size_t extra_reservation_size, 136 /*out*/std::vector<std::unique_ptr<ImageSpace>>* boot_image_spaces, 137 /*out*/MemMap* extra_reservation) REQUIRES_SHARED(Locks::mutator_lock_); 138 139 // Try to open an existing app image space for an oat file, 140 // using the boot image spaces from the current Runtime. 141 static std::unique_ptr<ImageSpace> CreateFromAppImage(const char* image, 142 const OatFile* oat_file, 143 std::string* error_msg) 144 REQUIRES_SHARED(Locks::mutator_lock_); 145 // Try to open an existing app image space for an the oat file and given boot image spaces. 146 static std::unique_ptr<ImageSpace> CreateFromAppImage( 147 const char* image, 148 const OatFile* oat_file, 149 ArrayRef<ImageSpace* const> boot_image_spaces, 150 std::string* error_msg) REQUIRES_SHARED(Locks::mutator_lock_); 151 152 // Checks whether we have a primary boot image on the disk. 153 static bool IsBootClassPathOnDisk(InstructionSet image_isa); 154 155 // Give access to the OatFile. 156 const OatFile* GetOatFile() const; 157 158 // Releases the OatFile from the ImageSpace so it can be transfer to 159 // the caller, presumably the OatFileManager. 160 std::unique_ptr<const OatFile> ReleaseOatFile(); 161 162 void VerifyImageAllocations() 163 REQUIRES_SHARED(Locks::mutator_lock_); 164 GetImageHeader()165 const ImageHeader& GetImageHeader() const { 166 return *reinterpret_cast<ImageHeader*>(Begin()); 167 } 168 169 // Actual filename where image was loaded from. 170 // For example: /data/dalvik-cache/arm/system@[email protected] GetImageFilename()171 const std::string GetImageFilename() const { 172 return GetName(); 173 } 174 175 // Symbolic location for image. 176 // For example: /system/framework/boot.art GetImageLocation()177 const std::string GetImageLocation() const { 178 return image_location_; 179 } 180 GetProfileFile()181 const std::string GetProfileFile() const { 182 return profile_file_; 183 } 184 GetLiveBitmap()185 accounting::ContinuousSpaceBitmap* GetLiveBitmap() override { 186 return &live_bitmap_; 187 } 188 GetMarkBitmap()189 accounting::ContinuousSpaceBitmap* GetMarkBitmap() override { 190 // ImageSpaces have the same bitmap for both live and marked. This helps reduce the number of 191 // special cases to test against. 192 return &live_bitmap_; 193 } 194 195 void Dump(std::ostream& os) const override; 196 197 // Sweeping image spaces is a NOP. Sweep(bool,size_t *,size_t *)198 void Sweep(bool /* swap_bitmaps */, size_t* /* freed_objects */, size_t* /* freed_bytes */) { 199 } 200 CanMoveObjects()201 bool CanMoveObjects() const override { 202 return false; 203 } 204 205 // Returns the filename of the image corresponding to 206 // requested image_location, or the filename where a new image 207 // should be written if one doesn't exist. Looks for a generated 208 // image in the specified location and then in the dalvik-cache. 209 // 210 // Returns true if an image was found, false otherwise. 211 static bool FindImageFilename(const char* image_location, 212 InstructionSet image_isa, 213 std::string* system_location, 214 bool* has_system, 215 std::string* data_location, 216 bool* dalvik_cache_exists, 217 bool* has_data, 218 bool *is_global_cache); 219 220 // The leading character in an image checksum part of boot class path checkums. 221 static constexpr char kImageChecksumPrefix = 'i'; 222 // The leading character in a dex file checksum part of boot class path checkums. 223 static constexpr char kDexFileChecksumPrefix = 'd'; 224 225 // Returns the checksums for the boot image, extensions and extra boot class path dex files, 226 // based on the image spaces and boot class path dex files loaded in memory. 227 // The `image_spaces` must correspond to the head of the `boot_class_path`. 228 static std::string GetBootClassPathChecksums(ArrayRef<ImageSpace* const> image_spaces, 229 ArrayRef<const DexFile* const> boot_class_path); 230 231 // Returns whether the checksums are valid for the given boot class path, 232 // image location and ISA (may differ from the ISA of an initialized Runtime). 233 // The boot image and dex files do not need to be loaded in memory. 234 static bool VerifyBootClassPathChecksums(std::string_view oat_checksums, 235 std::string_view oat_boot_class_path, 236 const std::string& image_location, 237 ArrayRef<const std::string> boot_class_path_locations, 238 ArrayRef<const std::string> boot_class_path, 239 InstructionSet image_isa, 240 ImageSpaceLoadingOrder order, 241 /*out*/std::string* error_msg); 242 243 // Returns whether the oat checksums and boot class path description are valid 244 // for the given boot image spaces and boot class path. Used for boot image extensions. 245 static bool VerifyBootClassPathChecksums( 246 std::string_view oat_checksums, 247 std::string_view oat_boot_class_path, 248 ArrayRef<const std::unique_ptr<ImageSpace>> image_spaces, 249 ArrayRef<const std::string> boot_class_path_locations, 250 ArrayRef<const std::string> boot_class_path, 251 /*out*/std::string* error_msg); 252 253 // Expand a single image location to multi-image locations based on the dex locations. 254 static std::vector<std::string> ExpandMultiImageLocations( 255 ArrayRef<const std::string> dex_locations, 256 const std::string& image_location, 257 bool boot_image_extension = false); 258 259 // Returns true if the dex checksums in the given oat file match the 260 // checksums of the original dex files on disk. This is intended to be used 261 // to validate the boot image oat file, which may contain dex entries from 262 // multiple different (possibly multidex) dex files on disk. Prefer the 263 // OatFileAssistant for validating regular app oat files because the 264 // OatFileAssistant caches dex checksums that are reused to check both the 265 // oat and odex file. 266 // 267 // This function is exposed for testing purposes. 268 static bool ValidateOatFile(const OatFile& oat_file, std::string* error_msg); 269 270 // Return the end of the image which includes non-heap objects such as ArtMethods and ArtFields. GetImageEnd()271 uint8_t* GetImageEnd() const { 272 return Begin() + GetImageHeader().GetImageSize(); 273 } 274 275 void DumpSections(std::ostream& os) const; 276 277 // De-initialize the image-space by undoing the effects in Init(). 278 virtual ~ImageSpace(); 279 280 void DisablePreResolvedStrings() REQUIRES_SHARED(Locks::mutator_lock_); 281 void ReleaseMetadata() REQUIRES_SHARED(Locks::mutator_lock_); 282 283 protected: 284 // Tries to initialize an ImageSpace from the given image path, returning null on error. 285 // 286 // If validate_oat_file is false (for /system), do not verify that image's OatFile is up-to-date 287 // relative to its DexFile inputs. Otherwise (for /data), validate the inputs and generate the 288 // OatFile in /data/dalvik-cache if necessary. If the oat_file is null, it uses the oat file from 289 // the image. 290 static std::unique_ptr<ImageSpace> Init(const char* image_filename, 291 const char* image_location, 292 bool validate_oat_file, 293 const OatFile* oat_file, 294 std::string* error_msg) 295 REQUIRES_SHARED(Locks::mutator_lock_); 296 297 static Atomic<uint32_t> bitmap_index_; 298 299 accounting::ContinuousSpaceBitmap live_bitmap_; 300 301 ImageSpace(const std::string& name, 302 const char* image_location, 303 const char* profile_file, 304 MemMap&& mem_map, 305 accounting::ContinuousSpaceBitmap&& live_bitmap, 306 uint8_t* end); 307 308 // The OatFile associated with the image during early startup to 309 // reserve space contiguous to the image. It is later released to 310 // the ClassLinker during it's initialization. 311 std::unique_ptr<OatFile> oat_file_; 312 313 // There are times when we need to find the boot image oat file. As 314 // we release ownership during startup, keep a non-owned reference. 315 const OatFile* oat_file_non_owned_; 316 317 const std::string image_location_; 318 const std::string profile_file_; 319 320 friend class Space; 321 322 private: 323 class BootImageLayout; 324 class BootImageLoader; 325 template <typename ReferenceVisitor> 326 class ClassTableVisitor; 327 class RemapInternedStringsVisitor; 328 class Loader; 329 template <typename PatchObjectVisitor> 330 class PatchArtFieldVisitor; 331 template <PointerSize kPointerSize, typename PatchObjectVisitor, typename PatchCodeVisitor> 332 class PatchArtMethodVisitor; 333 template <PointerSize kPointerSize, typename HeapVisitor, typename NativeVisitor> 334 class PatchObjectVisitor; 335 336 DISALLOW_COPY_AND_ASSIGN(ImageSpace); 337 }; 338 339 } // namespace space 340 } // namespace gc 341 } // namespace art 342 343 #endif // ART_RUNTIME_GC_SPACE_IMAGE_SPACE_H_ 344