Category "happens-before"

Does the semantics of java volatile guarantee that wrong results will not appear? (Two threads write first and then read)

volatile x=y=0 Thread1 x=1 r1=y Thread2 y=1 r2=x r1 and r2 are local variables Question1: Is the result of r1==r2==0 illegal and does not appear? All stateme