Randomly Failed! The State of Randomness in Current Java Implementations
Networking the Failed State
Transcript of Networking the Failed State
-
7/27/2019 Networking the Failed State
1/48
"#$%&'()*+ $,# -.)/#0 1$.$# 2 3*.4$)*+ $,# 5)64)7/)*# &89*$#'*.$)&*./ :#/.$)&*6;,? @$/,()&= .,A$+($B CD7DE
78#$+14$9 F#,
-
7/27/2019 Networking the Failed State
2/48
=&'>'+ ? ='$@A'5
-
7/27/2019 Networking the Failed State
3/48
B'$
-
7/27/2019 Networking the Failed State
4/48
=&'>'+ ? ='$@A'E
H($-%)(/%J, '#, $4/, 43 (9'4$& ()< 5$(9'%9,&E F#%$F %&
%)'$4
-
7/27/2019 Networking the Failed State
5/48
B'$
-
7/27/2019 Networking the Failed State
6/48
=&'>'+ ? ='$@A'K
!"# %&'()**)*+
F#,$, %& ( /(',)' ',)
-
7/27/2019 Networking the Failed State
7/48
B'$
-
7/27/2019 Networking the Failed State
8/48
=&'>'+ ? ='$@A'M
9() $,5/(9, '#, 94H5/,0 $,/('%4)& ?#%9# ?4+/< #(I, ),,
-
7/27/2019 Networking the Failed State
9/48
B'$
-
7/27/2019 Networking the Failed State
10/48
=&'>'+ ? ='$@A'TU
() d; +)%I,$&%'B= ()< '#, [4+$)(/ %& ,
-
7/27/2019 Networking the Failed State
11/48
B'$
-
7/27/2019 Networking the Failed State
12/48
=&'>'+ ? ='$@A'T5
3(A$%9('%)- '#%& 94HH+)%'B %) &+9# ( ?(B= '#,B /(B '#, -$4+)< 34$ '#%& 94HH+)%'B '4 A,
-
7/27/2019 Networking the Failed State
13/48
B'$,'?4$1 '#,4$B (&&+H,&
'#(' (9'4$& #(I, ( &'(A/, %
-
7/27/2019 Networking the Failed State
14/48
=&'>'+ ? ='$@A'TE
B,' $,/(',< I,$&%4)&= ()< ),'?4$1& F %& #4?,I,$ %'&,/3 ( I,$B #,',$4-,),4+& 94)-/4H,$(',=
$('#,$ '#() ()B'#%)- '#(' 9() A, -$(&5,< (& ( Z$,&,($9# 5$4-$(HQ= ( Z5($(F '4
&1,'9# #4? %' (F 54&'+/(',& ,&&,)'%(//B '#, 4554&%', '#() ),'?4$1 '#,4$%,&= ?#%9# '(1, (9'4$&%F $,/('%4)& ($, ?#(' 94)&'%'+',&'#, (9'4$&E7^"5E 8
-
7/27/2019 Networking the Failed State
15/48
B'$
-
7/27/2019 Networking the Failed State
16/48
=&'>'+ ? ='$@A'TK
'#, &49%(/ &9%,)9,& +/< A, 5,$34$H,< %& ( 54/%'%9(/ a+,&'%4) '#(' 9())4' A, &,''/,< AB ()B
34$H 43 Z&9%,)'%3%9Q H,()&E i,'= '#,&, a+,&'%4)& 9() A, ,05/%9(',F $,&,($9#,$&= 4)'4/4-%,& ($, 5$,3,$(A/, %3 '#,B F 5$4I%F %) H4'%4)E :) '#, &+99%)9' &,9'%4) ?, (// F ()< '4 ($-+, '#(' %' &5+$& %)',$,&'%)- a+,&'%4)& 34$ (
&49%4/4-B 43 '#,
-
7/27/2019 Networking the Failed State
17/48
B'$
-
7/27/2019 Networking the Failed State
18/48
=&'>'+ ? ='$@A'TM
"4)9,5'& ($, %) H()B ?(B& 9$+9%(/ 34$ 4$-()%J%)- (9(
-
7/27/2019 Networking the Failed State
19/48
B'$
-
7/27/2019 Networking the Failed State
20/48
=&'>'+ ? ='$@A'5U
43 &+9# ( 9#($(9',$ 34$H ( /($-,$ 5('',$) ()< ($, %)
-
7/27/2019 Networking the Failed State
21/48
B'$; 43 '#, d;8 3$4H CDDCE 8& &'(',< '#,$,S f8H,$%9( %& )4? '#$,(',),< /,&& AB
94)a+,$%)- &'(',& '#() ?, ($, AB 3(%/%)- 4),&gMF#, K#%', `4+&, CDDCS 7NE
Y4$, '#() A,34$, '#, 3(%/,< &'(', ?(& 5$,L,+H(B,$ MCDD6NO P%(JJ( MCDD_NO P%(JJ( MCDD^NE
-
7/27/2019 Networking the Failed State
22/48
=&'>'+ ? ='$@A'55
(/&4 ( -$4?%)- '$,)< '4?($
-
7/27/2019 Networking the Failed State
23/48
@.F/# &*#H I4$&' 3*'&/B#*$ J4?) %//+&'$('%4)KGL
UD8AA$,I%('%4)&S 2.:2 w dEeE 2,5($'H,)' 34$ :)',$)('%4)(/ 2,I,/45H,)'O *Yt w j,$H() .,
-
7/27/2019 Networking the Failed State
24/48
.4$ H('',$& 43 &%H5/%3%9('%4)= '#, (9'4$& ?, 94+/< % +/< $,&54)< '4 '#%& -$4?%)- '#$,('EUU;'+
-
7/27/2019 Networking the Failed State
25/48
B'$8F@ M>8F@ CDDUO ;9#,33,$ CDD^N ()< '#,
d)%',< >('%4)& Md>N Mb/%(&&4) CDDXO d> CDD\N &,' +5 ?4$1%)- -$4+5&= %)%'%('%I, ()< '(&1
34$9,&= #,/< 94)3,$,)9,& ()< H,,'%)-& ()< 5+A/%,< $,54$'& ()< &'$(',-BL5(5,$& '4
(
-
7/27/2019 Networking the Failed State
26/48
=&'>'+ ? ='$@A'5K
H(1,$& ()< :@& ,)',$,< '#, ),'?4$1= &,9+$%'BL4$%,)',< (& ?,// (&
-
7/27/2019 Networking the Failed State
27/48
B'$
-
7/27/2019 Networking the Failed State
28/48
=&'>'+ ? ='$@A'5M
&%-)%3%9()'/B %)9$,(&,< M94H5($,< '4 '#, ,($/%,$ 349+& 4) -4I,$)()9, ()< ,94)4H%9
%&&+,&NE\X
8 &,94)< %)&'()9, 43 '$()&/('%4) %& '#, K4$/< *()1E 8& ?, ($-+,< '#, K4$/< *()1 ?(&
,)$4/,< %) '#, ),'?4$1 ($4+)< CDDCE .(%/,< &'(',& 5$4I%
-
7/27/2019 Networking the Failed State
29/48
B'$
-
7/27/2019 Networking the Failed State
30/48
=&'>'+ ? ='$@A'6U
%)',$,&' ()< %
-
7/27/2019 Networking the Failed State
31/48
B'$
-
7/27/2019 Networking the Failed State
32/48
=&'>'+ ? ='$@A'65
!I_# +*.' %" $@' "'$'# +, .4.0#B)4 7>F/)4.$)&*QL
F#%& &+--,&'& +& '#(' :G %& '#, H([4$ 94)'$%A+'4$ '4 '#, 9%$9+/('%4) 43 '#, 94)9,5'E F#,
5%9'+$,= '#4+-# ',//%)-= %& #4?,I,$ 5$4A/,H('%9 (& %' $,/%,& 4) '#, 9/+&',$%)- 43 '#, ;;": 43
?#,'#,$ ( 94)'$%A+'%4) %& :G 4$ A,/4)-& &4H,?#,$, ,/&,E :) 4'#,$ ?4$'*./ "'= &8 .'$)4/#6
8'&B $&7 ?LQ
-
7/27/2019 Networking the Failed State
33/48
B'$
-
7/27/2019 Networking the Failed State
34/48
=&'>'+ ? ='$@A'6E
Y(//(AB= ; "4+)9%/ 43 .4$,%-) G,/('%4) K(%)-'4)= 2"=d;8
Y(J$+%= 88 ;+)B *%)-#(H'4)= :)&' j/4A(/ "+/'+$(/ ;'+('%4)&= j,),I(= ;?%'J,$/()4#'
":.PT .$(-%/%'B :)
-
7/27/2019 Networking the Failed State
38/48
=&'>'+ ? ='$@A'6M
fF#, .(%/,< ;'(',& :)
-
7/27/2019 Networking the Failed State
39/48
B'$
-
7/27/2019 Networking the Failed State
40/48
=&'>'+ ? ='$@A'EU
O= 3*.4$)*+ . 0)64)7/)*#; I"@ .*0 $,# 6&4)&/&+P &8 $,# 0)64)7/)*#
F#, 5$%H($B 4A[,9'%I, 43 '#%& ($'%9/, ?(& '4 54)F %& () ('',H5' '4 +)$(I,/ #4?
&9#4/($& M$,LN3(A$%9(', /($-,$ -/4A(/ &'$+9'+$,&E j/4A(/ &'$+9'+$,&= &+9# (& :G ($, #4?,I,$
)4' ),9,&&($%/B &'(A/, H(9$4 &'$+9'+$,&= A+' 9() A, &,,) (& -/4A(/ H%9$4&'$+9'+$,& 4$
&'$+9'+$,& 43 ( H4$, 3/+%< 9#($(9',$E :) %'& 54&'L5/+$(/%&' (''%'+F 433,$& ( 5,$&5,9'%I, %)
?#%9# ?, 9() &'+F %& (
'#,4$B 43 5,$34$H('%I%'BE F#, (%H %& )4' 4)/B '4 A, $,3/,9'%I, '4?($
-
7/27/2019 Networking the Failed State
41/48
B'$
-
7/27/2019 Networking the Failed State
42/48
=&'>'+ ? ='$@A'E5
*$,%',)A(+9#= ,)$%1= ()< 8)('%4)(/ ;,9+$%'B ;'$(',-B 43 '#, d)%',< e%)-,4LF$+&',,%5S F#, h%H%'& '4 ;4/I%)- '#, P$4A/,H 43VP$,9($%4+& ;'(',#44 $@' >1/ 8'$,? i4$1S G4+'/,
-
7/27/2019 Networking the Failed State
43/48
B'$" 7))1%+# CM6NS UC]\\E"$491,$= "#,&',$ 8E CDDUAE b)-(-%)- .(%/,< ;'(',&E :)S C*+'%>" 7))1%+# ^C M6N= ;E UCL\\E"J($)%(?&1(= *($A($(E CDD^E V@$-()%J%)-S #4? '4 &'+ I%#A 7##'##0'"$ 1"2 O+%#%# P1+.;
J1+"%"> D;#$'0#E h()#(H= @034$#E Y9h,()S ;9%,)9,855/%9('%4)& :)',$)('%4)(/ "4$54$('%4)E
b&'B= 2()%,/ "E= c(91 8E j4/9 a*-'+"1"4' 1"2 J*+.2 G+2'+ %" $@' Y" 3*.%4; M7\WN= ;E 6XLX6E
.+)< 34$ P,(9,E CDDXE F#, .(%/,< ;'(',& :)" 3*.%4; M7X7N= ;E 6\LXUE
.+)< 34$ P,(9,E CDD^E F#, .(%/,< ;'(',& :)" 3*.%4; M7_UN= ;E DL^UEj(FEV D4%'"4'S Y'4@"*.*>; ?
\&01" d1.&'#U6M7NS 66L^DEj(&5,$= 2,&E CDD6E V;,9+$%)- +H()%'BS ;%'+('%)- r`+(H) ;,9+$%'Br (& "4)9,5' ()< 2%&94+$&,EVQ*&+"1. *) \&01"
,'-'.*/0'"$XMCNS CC7LC\6Ej,$H() .,
-
7/27/2019 Networking the Failed State
44/48
=&'>'+ ? ='$@A'EE
j4/#E Y9h,()S ;9%,)9, 855/%9('%4)& :)',$)('%4)(/ "4$54$('%4)E
j4$2 "4$54$('%4)E`(H,%$%= ;#(#($E CDD_E .(%/,< ;'(',& 4$ ( .(%/,< P($('0'"$ 1"2
3'14' D4%'"4' C6 M\N= ;E U76LUU7Ec(91&4)= P('$%91 F#(
-
7/27/2019 Networking the Failed State
45/48
B'$0 )*+ ,'-'.*/0'"$E K,&'54$'S P$(,-,$ ;,9+$%'B:)',$)('%4)(/E
e,4#(),= G4A,$' @?,) CDDUE P4/%'%9(/ (+'#4$%'B (3',$ %)',$I,)'%4)S -$(" 7))1%+# ^\ M\N= ;E 76UL7XUEe$(0A,$-,$= *E YE CDD_E .(%/,< &'(',&S ',H54$($B 4A&'(9/,& '4 ,?
.4$,%-) P4/%9B %) '#, P(9%3%9 G,-%4)S "4)3,$,)9, $,54$' 43 '#, j,$H() P(9%3%9 >,'?4$1= CXLC_>4I,HA,$ CDD\= d)%I,$&%'B 43 `(HA+$-E >,+,),'?4$1 F#,4$B()< (3',$E @034$,? i4$1S G4+'/,E +)< cE ;E Y4$$%&4)E CDD\(E F#, ',$$4$%&' '#$,(' %) 83$%9(E :)S C*+'%>" 7))1%+# ^U M7N= ;E _6L}EhBH()= P$%)9,'4) >E +)< cE ;',5#,) Y4$$%&4)E CDD\AE F#, F,$$4$%&' F#$,(' %) 83$%9(E :)S C*+'%>" 7))1%+# ^U M7N= ;E
_6L^XEY(/,1E CDDXE ;'(', .(%/+$, %) '#, ;4+'# "(+9(&+&S P$454&(/& 34$ () 8)(/B'%9(/ .$(H,?4$1E :)S Y+1"#%$%*" D$&2%'#
I'-%'
-
7/27/2019 Networking the Failed State
46/48
=&'>'+ ? ='$@A'EK
Y())= Y%9#(,/E 7W^^E D$1$'#S J1+ 1"2 O1/%$1.%#0E >,? i4$1S */(91?,//EY($(//= Y4)'B jE +)< *EGE "4/,E CDD^E j/4A(/ G,54$' 4) "4)3/%9'= j4I,$)()9,= ()< ;'(', .$(-%/%'B CDD^E :)S
C*+'%>" 3*.%4; =&..'$%" 7^ M7N= ;E ULC7EY($(//= Y4)'B jE +)< c(91 j4/('%4)& 2,I,/45H,)' P$4-$(HH, Md>2PNE
Y,)1#(+&= e,)E 7WW^E ;4H(/%(S P4/%'%9(/ @$^E >,?
i4$1S G4+'/,,+H(B,$= bE CDD6E *4-+& $,3+-,,&k F#, ,?H()= b
-
7/27/2019 Networking the Failed State
47/48
B'$,? >('+$, 43 >('%4)L;'(', .(%/+$,E :)S J1#@%">$*" &1+$'+.; C6 MUN= ;E ^6LWXEG4'A,$-= G4A,$' :E= M`-EN= CDDU= D$1$' C1%.&+' 1"2 D$1$' J'1A"'## %" 1 Y%0' *) Y'++*+E K(%)-'4)S *$441%)-&
:)&'%'+'%4) P$,&&EG4'A,$-= G4A,$' :E= M`-EN= CDD\= J@'" D$1$'# C1%.9 O1'# 1"2 O*"#'h&'"4'#E P$%)9,'4)S P$%)9,'4) d)%I,$&%'B
P$,&&EG4'#9#%/(4H% "#(J()= M`-EN= 7W^^= Y@' 3+'41+%* =1.1"4'9 D$1$' 1"2 D*4%'$; %" 7)+%41E *4+/,? i4$1S "4$),//
d)%I,$&%'B P$,&&E;9#,33,$= c((5 8F@S F#, >,0' 2,9(
-
7/27/2019 Networking the Failed State
48/48
=&'>'+ ? ='$@A'EM
t($'H()= :EKE M,