JDK-8158260 : PPC64: unaligned Unsafe.getInt can lead to the generation of illegal instructions
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 8,9
  • Priority: P2
  • Status: Closed
  • Resolution: Fixed
  • CPU: ppc
  • Submitted: 2016-05-31
  • Updated: 2017-07-26
  • Resolved: 2016-06-17
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 8 JDK 9 Other
8u112Fixed 9 b127Fixed openjdk7uFixed
Related Reports
Duplicate :  
JDK-8158318 - JVM on PPC64 LE crashes due to an illegal instruction in JITed code
Relates :  
JDK-8165231 - java.nio.Bits.unaligned() doesn't return true on ppc
Relates :  
JDK-8021574 - sun.misc.Unsafe getLong crashes JVM with offset that is not divisible by 8
Description
Gustavo (gromero@linux.vnet.ibm.com) reported a crash due to an illegal instruction which is caused by an unaligned memory access trough Unsafe.getInt().
Comments
ILW = crash; Unsafe on PPC; none = HLH = P2
08-06-2016
Gustavo provided a good explanation in his mail to the ppc-aix mailing list (http://mail.openjdk.java.net/pipermail/ppc-aix-port-dev/2016-May/002534.html): The crash happens when an illegal instruction - 0xea2f0013 - is executed. The backtrace shows: Stack: [0x00003fff56030000,0x00003fff56430000], sp=0x00003fff5642b8d0, free space=4078k Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code) V [libjvm.so+0x162104] loadI2LNode::emit(CodeBuffer&, PhaseRegAlloc*) const+0x194 V [libjvm.so+0x8ece28] Compile::fill_buffer(CodeBuffer*, unsigned int*)+0x4e8 V [libjvm.so+0x368e08] Compile::Code_Gen()+0x3c8 V [libjvm.so+0x369e04] Compile::Compile(ciEnv*, C2Compiler*, ciMethod*, int, bool, bool, bool)+0xf64 V [libjvm.so+0x271380] C2Compiler::compile_method(ciEnv*, ciMethod*, int)+0x1f0 V [libjvm.so+0x3785a4] CompileBroker::invoke_compiler_on_method(CompileTask*)+0xd54 V [libjvm.so+0x379dc8] CompileBroker::compiler_thread_loop()+0x488 V [libjvm.so+0xa5de90] compiler_thread_entry(JavaThread*, Thread*)+0x20 V [libjvm.so+0xa690c8] JavaThread::thread_main_inner()+0x178 V [libjvm.so+0x8c8c10] java_start(Thread*)+0x170 C [libpthread.so.0+0x833c] start_thread+0xfc C [libc.so.6+0x12b014] clone+0xe4 loadI2LNode class is generated according to the following ADL code in ppc.ad file: instruct loadI2L(iRegLdst dst, memory mem) %{ match(Set dst (ConvI2L (LoadI mem))); predicate(_kids[0]->_leaf->as_Load()->is_unordered()); ins_cost(MEMORY_REF_COST); format %{ "LWA $dst, $mem \t// loadI2L" %} size(4); ins_encode %{ // TODO: PPC port $archOpcode(ppc64Opcode_lwa); int Idisp = $mem$$disp + frame_slots_bias($mem$$base, ra_); __ lwa($dst$$Register, Idisp, $mem$$base$$Register); %} ins_pipe(pipe_class_memory); %} So the generated illegal instruction comes from: lwa 17,17,15 (DS-form: lwa RT, DS, RA) As DS field must always be 4-byte aligned (i.e. DS field is always concatenated with 0b00), 17 as DS (middle 17 value) is illegal, generating the illegal instruction in question: 11101010000000000000000000000010: LWA 00000010001000000000000000000000: 17 00000000000000000000000000010001: 17 00000000000011110000000000000000: 15 -------------------------------- 11101010001011110000000000010011: 0xEA2F0013 => Illegal instruction
31-05-2016
Attached a nice stand-alone test case (UnalignedUnsafeAccess.java) provided by Hiroshi (HORII@jp.ibm.com) which reproduces the problem. Run as: java -Xcomp UnalignedUnsafeAccess this will produce the following assertion in a debug build (or a crash due to SIGILL in a product build): # A fatal error has been detected by the Java Runtime Environment: # # Internal Error (/usr/work/d046063/OpenJDK/jdk9-hs-comp/hotspot/src/cpu/ppc/vm/assembler_ppc.hpp:1020), pid=2485, tid=2550 # assert((x & 0x3) == 0) failed: unaligned offset
31-05-2016