1 /*
2  * Copyright (c) 2014, 2018, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.
8  *
9  * This code is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12  * version 2 for more details (a copy is included in the LICENSE file that
13  * accompanied this code).
14  *
15  * You should have received a copy of the GNU General Public License version
16  * 2 along with this work; if not, write to the Free Software Foundation,
17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18  *
19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20  * or visit www.oracle.com if you need additional information or have any
21  * questions.
22  *
23  */
24 
25 #include "precompiled.hpp"
26 #include "classfile/classLoader.hpp"
27 #include "classfile/sharedPathsMiscInfo.hpp"
28 #include "logging/log.hpp"
29 #include "logging/logStream.hpp"
30 #include "memory/allocation.inline.hpp"
31 #include "memory/filemap.hpp"
32 #include "memory/metaspaceShared.hpp"
33 #include "memory/resourceArea.hpp"
34 #include "runtime/arguments.hpp"
35 #include "runtime/os.inline.hpp"
36 #include "utilities/ostream.hpp"
37 
SharedPathsMiscInfo()38 SharedPathsMiscInfo::SharedPathsMiscInfo() {
39   _app_offset = 0;
40   _buf_size = INITIAL_BUF_SIZE;
41   _cur_ptr = _buf_start = NEW_C_HEAP_ARRAY(char, _buf_size, mtClass);
42   _allocated = true;
43 }
44 
~SharedPathsMiscInfo()45 SharedPathsMiscInfo::~SharedPathsMiscInfo() {
46   if (_allocated) {
47     FREE_C_HEAP_ARRAY(char, _buf_start);
48   }
49 }
50 
add_path(const char * path,int type)51 void SharedPathsMiscInfo::add_path(const char* path, int type) {
52   log_info(class, path)("type=%s ", type_name(type));
53   ClassLoader::trace_class_path("add misc shared path ", path);
54   write(path, strlen(path) + 1);
55   write_jint(jint(type));
56 }
57 
ensure_size(size_t needed_bytes)58 void SharedPathsMiscInfo::ensure_size(size_t needed_bytes) {
59   assert(_allocated, "cannot modify buffer during validation.");
60   int used = get_used_bytes();
61   int target = used + int(needed_bytes);
62   if (target > _buf_size) {
63     _buf_size = _buf_size * 2 + (int)needed_bytes;
64     _buf_start = REALLOC_C_HEAP_ARRAY(char, _buf_start, _buf_size, mtClass);
65     _cur_ptr = _buf_start + used;
66     _end_ptr = _buf_start + _buf_size;
67   }
68 }
69 
write(const void * ptr,size_t size)70 void SharedPathsMiscInfo::write(const void* ptr, size_t size) {
71   ensure_size(size);
72   memcpy(_cur_ptr, ptr, size);
73   _cur_ptr += size;
74 }
75 
read(void * ptr,size_t size)76 bool SharedPathsMiscInfo::read(void* ptr, size_t size) {
77   if (_cur_ptr + size <= _end_ptr) {
78     memcpy(ptr, _cur_ptr, size);
79     _cur_ptr += size;
80     return true;
81   }
82   return false;
83 }
84 
fail(const char * msg,const char * name)85 bool SharedPathsMiscInfo::fail(const char* msg, const char* name) {
86   ClassLoader::trace_class_path(msg, name);
87   MetaspaceShared::set_archive_loading_failed();
88   return false;
89 }
90 
print_path(outputStream * out,int type,const char * path)91 void SharedPathsMiscInfo::print_path(outputStream* out, int type, const char* path) {
92   switch (type) {
93   case BOOT_PATH:
94     out->print("Expecting BOOT path=%s", path);
95     break;
96   case NON_EXIST:
97     out->print("Expecting that %s does not exist", path);
98     break;
99   case APP_PATH:
100     ClassLoader::trace_class_path("Expecting -Djava.class.path=", path);
101     break;
102   default:
103     ShouldNotReachHere();
104   }
105 }
106 
check()107 bool SharedPathsMiscInfo::check() {
108   // The whole buffer must be 0 terminated so that we can use strlen and strcmp
109   // without fear.
110   _end_ptr -= sizeof(jint);
111   if (_cur_ptr >= _end_ptr) {
112     return fail("Truncated archive file header");
113   }
114   if (*_end_ptr != 0) {
115     return fail("Corrupted archive file header");
116   }
117 
118   jshort cur_index = 0;
119   jshort max_cp_index = FileMapInfo::current_info()->header()->max_used_path_index();
120   jshort module_paths_start_index =
121     FileMapInfo::current_info()->header()->app_module_paths_start_index();
122   while (_cur_ptr < _end_ptr) {
123     jint type;
124     const char* path = _cur_ptr;
125     _cur_ptr += strlen(path) + 1;
126 
127     if (!read_jint(&type)) {
128       return fail("Corrupted archive file header");
129     }
130     LogTarget(Info, class, path) lt;
131     if (lt.is_enabled()) {
132       lt.print("type=%s ", type_name(type));
133       LogStream ls(lt);
134       print_path(&ls, type, path);
135       ls.cr();
136     }
137     // skip checking the class path(s) which was not referenced during CDS dump
138     if ((cur_index <= max_cp_index) || (cur_index >= module_paths_start_index)) {
139       if (!check(type, path)) {
140         if (!PrintSharedArchiveAndExit) {
141           return false;
142         }
143       } else {
144         ClassLoader::trace_class_path("ok");
145       }
146     } else {
147       ClassLoader::trace_class_path("skipped check");
148     }
149     cur_index++;
150   }
151 
152   return true;
153 }
154 
skip_first_path_entry(const char * path)155 char* skip_first_path_entry(const char* path) {
156   size_t path_sep_len = strlen(os::path_separator());
157   char* p = strstr((char*)path, os::path_separator());
158   if (p != NULL) {
159     debug_only( {
160       size_t image_name_len = strlen(MODULES_IMAGE_NAME);
161       assert(strncmp(p - image_name_len, MODULES_IMAGE_NAME, image_name_len) == 0,
162              "first entry must be the modules image");
163     } );
164     p += path_sep_len;
165   } else {
166     debug_only( {
167       assert(ClassLoader::string_ends_with(path, MODULES_IMAGE_NAME),
168              "first entry must be the modules image");
169     } );
170   }
171   return p;
172 }
173 
check(jint type,const char * path)174 bool SharedPathsMiscInfo::check(jint type, const char* path) {
175   assert(UseSharedSpaces, "runtime only");
176   switch (type) {
177   case BOOT_PATH:
178     {
179       //
180       // - Archive contains boot classes only - relaxed boot path check:
181       //   Extra path elements appended to the boot path at runtime are allowed.
182       //
183       // - Archive contains application or platform classes - strict boot path check:
184       //   Validate the entire runtime boot path, which must be compactible
185       //   with the dump time boot path. Appending boot path at runtime is not
186       //   allowed.
187       //
188 
189       // The first entry in boot path is the modules_image (guaranteed by
190       // ClassLoader::setup_boot_search_path()). Skip the first entry. The
191       // path of the runtime modules_image may be different from the dump
192       // time path (e.g. the JDK image is copied to a different location
193       // after generating the shared archive), which is acceptable. For most
194       // common cases, the dump time boot path might contain modules_image only.
195       char* runtime_boot_path = Arguments::get_sysclasspath();
196       char* rp = skip_first_path_entry(runtime_boot_path);
197       char* dp = skip_first_path_entry(path);
198 
199       bool relaxed_check = !FileMapInfo::current_info()->header()->has_platform_or_app_classes();
200       if (dp == NULL && rp == NULL) {
201         break;   // ok, both runtime and dump time boot paths have modules_images only
202       } else if (dp == NULL && rp != NULL && relaxed_check) {
203         break;   // ok, relaxed check, runtime has extra boot append path entries
204       } else if (dp != NULL && rp != NULL) {
205         size_t num;
206         size_t dp_len = strlen(dp);
207         size_t rp_len = strlen(rp);
208         if (rp_len >= dp_len) {
209           if (relaxed_check) {
210             // only check the leading entries in the runtime boot path, up to
211             // the length of the dump time boot path
212             num = dp_len;
213           } else {
214             // check the full runtime boot path, must match with dump time
215             num = rp_len;
216           }
217 
218           if (os::file_name_strncmp(dp, rp, num) == 0) {
219             // make sure it is the end of an entry in the runtime boot path
220             if (rp[dp_len] == '\0' || rp[dp_len] == os::path_separator()[0]) {
221               break; // ok, runtime and dump time paths match
222             }
223           }
224         }
225       }
226 
227       // The paths are different
228       return fail("[BOOT classpath mismatch, actual =", runtime_boot_path);
229     }
230     break;
231   case NON_EXIST:
232     {
233       struct stat st;
234       if (os::stat(path, &st) == 0) {
235         // The file actually exists
236         // But we want it to not exist -> fail
237         return fail("File must not exist");
238       }
239     }
240     break;
241   case APP_PATH:
242     {
243       size_t len = strlen(path);
244       const char *appcp = Arguments::get_appclasspath();
245       assert(appcp != NULL, "NULL app classpath");
246       size_t appcp_len = strlen(appcp);
247       if (appcp_len < len) {
248         return fail("Run time APP classpath is shorter than the one at dump time: ", appcp);
249       }
250       // Prefix is OK: E.g., dump with -cp foo.jar, but run with -cp foo.jar:bar.jar.
251       if (os::file_name_strncmp(path, appcp, len) != 0) {
252         return fail("[APP classpath mismatch, actual: -Djava.class.path=", appcp);
253       }
254       if (appcp[len] != '\0' && appcp[len] != os::path_separator()[0]) {
255         return fail("Dump time APP classpath is not a proper prefix of run time APP classpath: ", appcp);
256       }
257     }
258     break;
259   default:
260     return fail("Corrupted archive file header");
261   }
262 
263   return true;
264 }
265