equal
deleted
inserted
replaced
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. |