< prev index next >
test/hotspot/jtreg/runtime/appcds/SharedArchiveConsistency.java
Print this page
*** 59,75 ****
import java.util.Random;
import sun.hotspot.WhiteBox;
public class SharedArchiveConsistency {
public static WhiteBox wb;
! public static int offset_magic; // FileMapHeader::_magic
public static int sp_offset_crc; // CDSFileMapRegion::_crc
public static int file_header_size = -1;// total size of header, variant, need calculation
public static int CDSFileMapRegion_size; // size of CDSFileMapRegion
public static int sp_offset; // offset of CDSFileMapRegion
public static int sp_used_offset; // offset of CDSFileMapRegion::_used
public static int size_t_size; // size of size_t
public static File jsa; // will be updated during test
public static File orgJsaFile; // kept the original file not touched.
// The following should be consistent with the enum in the C++ MetaspaceShared class
public static String[] shared_region_name = {
--- 59,80 ----
import java.util.Random;
import sun.hotspot.WhiteBox;
public class SharedArchiveConsistency {
public static WhiteBox wb;
! public static int offset_magic; // CDSFileMapHeaderBase::_magic
! public static int offset_version; // CDSFileMapHeaderBase::_version
! public static int offset_jvm_ident; // CDSFileMapHeaderBase::_jvm_ident
! public static int offset_end_magic; // CDSFileMapHeaderBase::_end_magic
public static int sp_offset_crc; // CDSFileMapRegion::_crc
+ public static int offset_paths_misc_info_size;
public static int file_header_size = -1;// total size of header, variant, need calculation
public static int CDSFileMapRegion_size; // size of CDSFileMapRegion
public static int sp_offset; // offset of CDSFileMapRegion
public static int sp_used_offset; // offset of CDSFileMapRegion::_used
public static int size_t_size; // size of size_t
+ public static int int_size; // size of int
public static File jsa; // will be updated during test
public static File orgJsaFile; // kept the original file not touched.
// The following should be consistent with the enum in the C++ MetaspaceShared class
public static String[] shared_region_name = {
*** 92,101 ****
--- 97,109 ----
};
public static void getFileOffsetInfo() throws Exception {
wb = WhiteBox.getWhiteBox();
offset_magic = wb.getOffsetForName("FileMapHeader::_magic");
+ offset_version = wb.getOffsetForName("FileMapHeader::_version");
+ offset_jvm_ident = wb.getOffsetForName("FileMapHeader::_jvm_ident");
+ offset_end_magic = wb.getOffsetForName("FileMapHeader::_end_magic");
sp_offset_crc = wb.getOffsetForName("CDSFileMapRegion::_crc");
try {
int nonExistOffset = wb.getOffsetForName("FileMapHeader::_non_exist_offset");
System.exit(-1); // should fail
} catch (Exception e) {
*** 111,127 ****
public static int getFileHeaderSize(FileChannel fc) throws Exception {
if (file_header_size != -1) {
return file_header_size;
}
// this is not real header size, it is struct size
! int int_size = wb.getOffsetForName("int_size");
file_header_size = wb.getOffsetForName("file_header_size");
! int offset_path_misc_info = wb.getOffsetForName("FileMapHeader::_paths_misc_info_size") -
offset_magic;
! int path_misc_info_size = (int)readInt(fc, offset_path_misc_info, int_size);
! file_header_size += path_misc_info_size; //readInt(fc, offset_path_misc_info, size_t_size);
! System.out.println("offset_path_misc_info = " + offset_path_misc_info);
System.out.println("path_misc_info_size = " + path_misc_info_size);
System.out.println("file_header_size = " + file_header_size);
file_header_size = (int)align_up_page(file_header_size);
System.out.println("file_header_size (aligned to page) = " + file_header_size);
return file_header_size;
--- 119,135 ----
public static int getFileHeaderSize(FileChannel fc) throws Exception {
if (file_header_size != -1) {
return file_header_size;
}
// this is not real header size, it is struct size
! int_size = wb.getOffsetForName("int_size");
file_header_size = wb.getOffsetForName("file_header_size");
! offset_paths_misc_info_size = wb.getOffsetForName("FileMapHeader::_paths_misc_info_size") -
offset_magic;
! int path_misc_info_size = (int)readInt(fc, offset_paths_misc_info_size, int_size);
! file_header_size += path_misc_info_size;
! System.out.println("offset_paths_misc_info_size = " + offset_paths_misc_info_size);
System.out.println("path_misc_info_size = " + path_misc_info_size);
System.out.println("file_header_size = " + file_header_size);
file_header_size = (int)align_up_page(file_header_size);
System.out.println("file_header_size (aligned to page) = " + file_header_size);
return file_header_size;
*** 158,176 ****
fc.position(offset);
fc.write(bb);
fc.force(true);
}
! public static FileChannel getFileChannel() throws Exception {
List<StandardOpenOption> arry = new ArrayList<StandardOpenOption>();
arry.add(READ);
arry.add(WRITE);
! return FileChannel.open(jsa.toPath(), new HashSet<StandardOpenOption>(arry));
}
! public static void modifyJsaContentRandomly() throws Exception {
! FileChannel fc = getFileChannel();
// corrupt random area in the data areas
long[] used = new long[num_regions]; // record used bytes
long start0, start, end, off;
int used_offset, path_info_size;
--- 166,184 ----
fc.position(offset);
fc.write(bb);
fc.force(true);
}
! public static FileChannel getFileChannel(File jsaFile) throws Exception {
List<StandardOpenOption> arry = new ArrayList<StandardOpenOption>();
arry.add(READ);
arry.add(WRITE);
! return FileChannel.open(jsaFile.toPath(), new HashSet<StandardOpenOption>(arry));
}
! public static void modifyJsaContentRandomly(File jsaFile) throws Exception {
! FileChannel fc = getFileChannel(jsaFile);
// corrupt random area in the data areas
long[] used = new long[num_regions]; // record used bytes
long start0, start, end, off;
int used_offset, path_info_size;
*** 208,219 ****
long used = readInt(fc, n, size_t_size);
used = (used + alignment - 1) & ~(alignment - 1);
return used;
}
! public static boolean modifyJsaContent(int region) throws Exception {
! FileChannel fc = getFileChannel();
byte[] buf = new byte[4096];
ByteBuffer bbuf = ByteBuffer.wrap(buf);
long total = 0L;
long[] used = new long[num_regions];
--- 216,227 ----
long used = readInt(fc, n, size_t_size);
used = (used + alignment - 1) & ~(alignment - 1);
return used;
}
! public static boolean modifyJsaContent(int region, File jsaFile) throws Exception {
! FileChannel fc = getFileChannel(jsaFile);
byte[] buf = new byte[4096];
ByteBuffer bbuf = ByteBuffer.wrap(buf);
long total = 0L;
long[] used = new long[num_regions];
*** 246,266 ****
fc.close();
}
return true;
}
! public static void modifyJsaHeader() throws Exception {
! FileChannel fc = getFileChannel();
// screw up header info
byte[] buf = new byte[getFileHeaderSize(fc)];
ByteBuffer bbuf = ByteBuffer.wrap(buf);
writeData(fc, 0L, bbuf);
if (fc.isOpen()) {
fc.close();
}
}
public static void copyFile(File from, File to) throws Exception {
if (to.exists()) {
if(!to.delete()) {
throw new IOException("Could not delete file " + to);
}
--- 254,298 ----
fc.close();
}
return true;
}
! public static void modifyJsaHeader(File jsaFile) throws Exception {
! FileChannel fc = getFileChannel(jsaFile);
// screw up header info
byte[] buf = new byte[getFileHeaderSize(fc)];
ByteBuffer bbuf = ByteBuffer.wrap(buf);
writeData(fc, 0L, bbuf);
if (fc.isOpen()) {
fc.close();
}
}
+ public static void modifyJvmIdent() throws Exception {
+ FileChannel fc = getFileChannel(jsa);
+ int headerSize = getFileHeaderSize(fc);
+ System.out.println(" offset_jvm_ident " + offset_jvm_ident);
+ byte[] buf = new byte[256];
+ ByteBuffer bbuf = ByteBuffer.wrap(buf);
+ writeData(fc, (long)offset_jvm_ident, bbuf);
+ if (fc.isOpen()) {
+ fc.close();
+ }
+ }
+
+ public static void modifyHeaderIntField(long offset, int value) throws Exception {
+ FileChannel fc = getFileChannel(jsa);
+ int headerSize = getFileHeaderSize(fc);
+ System.out.println(" offset " + offset);
+ byte[] buf = ByteBuffer.allocate(4).putInt(value).array();
+ ByteBuffer bbuf = ByteBuffer.wrap(buf);
+ writeData(fc, offset, bbuf);
+ if (fc.isOpen()) {
+ fc.close();
+ }
+ }
+
public static void copyFile(File from, File to) throws Exception {
if (to.exists()) {
if(!to.delete()) {
throw new IOException("Could not delete file " + to);
}
*** 346,359 ****
TestCommon.testDump(jarFile, null);
// test, should pass
System.out.println("1. Normal, should pass but may fail\n");
! String[] execArgs = {"-cp", jarFile, "Hello"};
// tests that corrupt contents of the archive need to run with
// VerifySharedSpaces enabled to detect inconsistencies
! String[] verifyExecArgs = {"-XX:+VerifySharedSpaces", "-cp", jarFile, "Hello"};
OutputAnalyzer output = TestCommon.execCommon(execArgs);
try {
TestCommon.checkExecReturn(output, 0, true, "Hello World");
--- 378,391 ----
TestCommon.testDump(jarFile, null);
// test, should pass
System.out.println("1. Normal, should pass but may fail\n");
! String[] execArgs = {"-Xlog:cds", "-cp", jarFile, "Hello"};
// tests that corrupt contents of the archive need to run with
// VerifySharedSpaces enabled to detect inconsistencies
! String[] verifyExecArgs = {"-Xlog:cds", "-XX:+VerifySharedSpaces", "-cp", jarFile, "Hello"};
OutputAnalyzer output = TestCommon.execCommon(execArgs);
try {
TestCommon.checkExecReturn(output, 0, true, "Hello World");
*** 371,421 ****
// save as original untouched
orgJsaFile = new File(new File(currentDir), "appcds.jsa.bak");
copyFile(jsa, orgJsaFile);
-
// modify jsa header, test should fail
System.out.println("\n2. Corrupt header, should fail\n");
! modifyJsaHeader();
output = TestCommon.execCommon(execArgs);
output.shouldContain("The shared archive file has the wrong version");
output.shouldNotContain("Checksum verification failed");
File newJsaFile = null;
// modify content
System.out.println("\n3. Corrupt Content, should fail\n");
for (int i=0; i<num_regions; i++) {
newJsaFile = new File(TestCommon.getNewArchiveName(shared_region_name[i]));
copyFile(orgJsaFile, newJsaFile);
! if (modifyJsaContent(i)) {
! testAndCheck(execArgs);
}
}
// modify both header and content, test should fail
System.out.println("\n4. Corrupt Header and Content, should fail\n");
newJsaFile = new File(TestCommon.getNewArchiveName("header-and-content"));
copyFile(orgJsaFile, newJsaFile);
! modifyJsaHeader();
! modifyJsaContent(0); // this will not be reached since failed on header change first
output = TestCommon.execCommon(execArgs);
! output.shouldContain("The shared archive file has the wrong version");
output.shouldNotContain("Checksum verification failed");
// delete bytes in data section
System.out.println("\n5. Delete bytes at beginning of data section, should fail\n");
copyFile(orgJsaFile, jsa, true);
testAndCheck(verifyExecArgs);
// insert bytes in data section forward
System.out.println("\n6. Insert bytes at beginning of data section, should fail\n");
copyFile(orgJsaFile, jsa, false);
testAndCheck(verifyExecArgs);
System.out.println("\n7. modify Content in random areas, should fail\n");
newJsaFile = new File(TestCommon.getNewArchiveName("random-areas"));
copyFile(orgJsaFile, newJsaFile);
! modifyJsaContentRandomly();
testAndCheck(verifyExecArgs);
}
}
--- 403,492 ----
// save as original untouched
orgJsaFile = new File(new File(currentDir), "appcds.jsa.bak");
copyFile(jsa, orgJsaFile);
// modify jsa header, test should fail
System.out.println("\n2. Corrupt header, should fail\n");
! modifyJsaHeader(jsa);
! output = TestCommon.execCommon(execArgs);
! output.shouldContain("The shared archive file has a bad magic number");
! output.shouldNotContain("Checksum verification failed");
!
! copyFile(orgJsaFile, jsa);
! // modify _jvm_ident and _paths_misc_info_size, test should fail
! System.out.println("\n2a. Corrupt _jvm_ident and _paths_misc_info_size, should fail\n");
! modifyJvmIdent();
! modifyHeaderIntField(offset_paths_misc_info_size, Integer.MAX_VALUE);
! output = TestCommon.execCommon(execArgs);
! output.shouldContain("The shared archive file was created by a different version or build of HotSpot");
! output.shouldNotContain("Checksum verification failed");
!
! copyFile(orgJsaFile, jsa);
! // modify _magic and _paths_misc_info_size, test should fail
! System.out.println("\n2b. Corrupt _magic and _paths_misc_info_size, should fail\n");
! modifyHeaderIntField(offset_magic, 0x00000000);
! modifyHeaderIntField(offset_paths_misc_info_size, Integer.MAX_VALUE);
! output = TestCommon.execCommon(execArgs);
! output.shouldContain("The shared archive file has a bad magic number");
! output.shouldNotContain("Checksum verification failed");
!
! copyFile(orgJsaFile, jsa);
! // modify _version and _paths_misc_info_size, test should fail
! System.out.println("\n2c. Corrupt _version and _paths_misc_info_size, should fail\n");
! modifyHeaderIntField(offset_version, 0x00000000);
! modifyHeaderIntField(offset_paths_misc_info_size, Integer.MAX_VALUE);
output = TestCommon.execCommon(execArgs);
output.shouldContain("The shared archive file has the wrong version");
output.shouldNotContain("Checksum verification failed");
+ copyFile(orgJsaFile, jsa);
+ // modify _end_magic and _paths_misc_info_size, test should fail
+ System.out.println("\n2d. Corrupt _end_magic and _paths_misc_info_size, should fail\n");
+ modifyHeaderIntField(offset_end_magic, 0x00000000);
+ modifyHeaderIntField(offset_paths_misc_info_size, Integer.MAX_VALUE);
+ output = TestCommon.execCommon(execArgs);
+ output.shouldContain("The shared archive file has a bad end magic number");
+ output.shouldNotContain("Checksum verification failed");
+
File newJsaFile = null;
// modify content
System.out.println("\n3. Corrupt Content, should fail\n");
for (int i=0; i<num_regions; i++) {
newJsaFile = new File(TestCommon.getNewArchiveName(shared_region_name[i]));
copyFile(orgJsaFile, newJsaFile);
! TestCommon.setCurrentArchiveName(newJsaFile.toString());
! if (modifyJsaContent(i, newJsaFile)) {
! testAndCheck(verifyExecArgs);
}
}
// modify both header and content, test should fail
System.out.println("\n4. Corrupt Header and Content, should fail\n");
newJsaFile = new File(TestCommon.getNewArchiveName("header-and-content"));
copyFile(orgJsaFile, newJsaFile);
! TestCommon.setCurrentArchiveName(newJsaFile.toString());
! modifyJsaHeader(newJsaFile);
! modifyJsaContent(0, newJsaFile); // this will not be reached since failed on header change first
output = TestCommon.execCommon(execArgs);
! output.shouldContain("The shared archive file has a bad magic number");
output.shouldNotContain("Checksum verification failed");
// delete bytes in data section
System.out.println("\n5. Delete bytes at beginning of data section, should fail\n");
copyFile(orgJsaFile, jsa, true);
+ TestCommon.setCurrentArchiveName(jsa.toString());
testAndCheck(verifyExecArgs);
// insert bytes in data section forward
System.out.println("\n6. Insert bytes at beginning of data section, should fail\n");
copyFile(orgJsaFile, jsa, false);
testAndCheck(verifyExecArgs);
System.out.println("\n7. modify Content in random areas, should fail\n");
newJsaFile = new File(TestCommon.getNewArchiveName("random-areas"));
copyFile(orgJsaFile, newJsaFile);
! TestCommon.setCurrentArchiveName(newJsaFile.toString());
! modifyJsaContentRandomly(newJsaFile);
testAndCheck(verifyExecArgs);
}
}
< prev index next >