src/hotspot/share/gc/shared/cardTableRS.cpp
changeset 49455 848864ed9b17
parent 49164 7e958a8ebcd3
child 49592 77fb0be7d19f
equal deleted inserted replaced
49454:689ebcfe04fd 49455:848864ed9b17
   569       //     its keeping the value cur_younger_gen_and_prev_non_clean
   569       //     its keeping the value cur_younger_gen_and_prev_non_clean
   570       //     value, which we have dealt with in Case 3 here. [End Case 3b]
   570       //     value, which we have dealt with in Case 3 here. [End Case 3b]
   571       //   [End Case 3]
   571       //   [End Case 3]
   572       //
   572       //
   573       // (Please refer to the code in the helper class
   573       // (Please refer to the code in the helper class
   574       // ClearNonCleanCardWrapper and in CardTableModRefBS for details.)
   574       // ClearNonCleanCardWrapper and in CardTable for details.)
   575       //
   575       //
   576       // The informal arguments above can be tightened into a formal
   576       // The informal arguments above can be tightened into a formal
   577       // correctness proof and it behooves us to write up such a proof,
   577       // correctness proof and it behooves us to write up such a proof,
   578       // or to use model checking to prove that there are no lingering
   578       // or to use model checking to prove that there are no lingering
   579       // concerns.
   579       // concerns.