Java memory model: volatile variables and happens-before -


i'd clarify how happens-before relation works volatile variables. let have following variables:

public static int i, idst, vdst; public static volatile int v;

and thread a:

i = 1; v = 2;

and thread b:

vdst = v; idst = i;

are following statements correct in accordance java memory model (jmm)? if not, correct interpretation?

  • i = 1 happens-before v = 2
  • v = 2 happens-before vdst = v in jmm if it's happens before in time
  • i = 1 happens-before idst = i in jmm (and idst predictably assigned 1) if v = 2 happens before vdst = v in time
  • otherwise order between i = 1 , idst = i undefined , resulting value of idst undefined well

mistake in logic:

there no "wall clock time" concept in jmm, , should rely on synchronization order ordering guide v = 2 , vdst = v. see chosen answer further details.

  • i = 1 happens-before v = 2

true. jls section 17.4.5,

if x , y actions of same thread , x comes before y in program order, hb(x, y).

  • v = 2 happens-before vdst = v in jmm if it's happens before in time
  • i = 1 happens-before idst = i in jmm (and idst predictably assigned 1) if v = 2 happens before vdst = v in time

false. happens-before order not make guarantees things happening before each other in physical time. same section of jls,

it should noted presence of happens-before relationship between 2 actions not imply have take place in order in implementation. if reordering produces results consistent legal execution, not illegal.

it is, however, guaranteed v = 2 happens-before vdst = v , i = 1 happens-before idst = i if v = 2 comes before vdst = v in synchronization order, total order on synchronization actions of execution mistaken real-time order.

  • otherwise order between i = 1 , idst = i undefined , resulting value of idst undefined well

this case if vdst = v comes before v = 2 in synchronization order, actual time doesn't come it.


Comments

Post a Comment

Popular posts from this blog

Email notification in google apps script -

https://support.google.com/docs/answer/91588?hl=en i have sheet the cells filled in data pulled via apps script, website. pull in exact same data, not. on old sheets version use able emails when data "changes" different value. new sheets, email when new data pasted cells, though exact same data......and, can't set @ ranges anymore, entire document. there easy way watch cells when data changes, , email myself? this looks lot you're trying do. for checking whether value has changed after edit, this gives necessary information it. hence, know whether new value same 1 or not. implementing "workaround" talked in second link, able compare , send email myself if value changed. initiate onedit trigger goes off onedit function uses these lines after checks in place have passed. var email = "xyz@whatever.com"; mailapp.sendemail(email, "triggermail", "a change has occurred in sheet"); note: sends "notification...
Read more

c++ - Difference between pre and post decrement in recursive function argument -

i have following sample code used pre-decrement void function(int c) { if(c == 0) { return; } else { cout << "dp" << c << endl; function(--c); cout << c << endl; return; } } this function give output input 4 : dp3 dp2 dp1 dp0 0 1 2 3 but when use post decrement void function(int c) { if(c == 0) { return; } else { cout << "dp" << c << endl; function(c--); cout << c << endl; return; } } output goes in infinite loop dp4 can explain me in detail why happens ? this happens because function(c--) called same value of c , when finishes c decremented. recursively called, hence called same value no chance of return , hit stack overflow error. assume this, int x = 1, y = 0; y = x++ result y == 1 , x == 2. if y = ++x , bot x , y 2.
Read more

javascript - IE11 incompatibility with jQuery's 'readonly'? -

the code i'm running has no issues in firefox, or chrome. user typing 1 textbox, tabs next , can continue typing that. when run webpage on ie11, user tabs next textbox , can't type in. textbox has double-clicked before user can insert anything. i've googled , seems ie give problems when using older jquery (i.e. prefers 'prop' 'attr' ). in code below jquery's readonly keyword being used in way ie11 no longer recognise/accept? i assume issue readonly , removeclass('ignore') working expected. //when focus on textbox 1 $("#field1").focus(function() { //remove readonly property textbox 1 $('#field1').prop('readonly', false).removeclass('ignore'); //add readonly property other textboxes $('#field2, #field3, #field4') .prop('readonly', 'readonly').addclass('ignore').val(''); }); i'm using jquery 2.1.3 ...
Read more