<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <br>

    Hi everyone,<br>

    <br>

    Could I have a couple of reviews for this change?<br>

    <br>

    <a class="moz-txt-link-freetext" href="https://bugs.openjdk.java.net/browse/JDK-8129626">https://bugs.openjdk.java.net/browse/JDK-8129626</a><br>

    <a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~brutisso/8129626/webrev.00/">http://cr.openjdk.java.net/~brutisso/8129626/webrev.00/</a><br>

    <br>

    We need to add a barrier between the calls to set_in_progress() and

    clear_started() to make sure that other threads sees the correct

    value when they useÂ 

    ConcurrentMarkThread::during_cycle().<br>

    <br>

    Thanks to Per and Bertrand for helping out identifying and sorting

    this out.<br>

    <br>

    From the bug report:<br>

    <br>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">

    ConcurrentMarkThread::during_cycle() is implemented as:

    <br>

    <br>

    bool during_cycle() { return started() || in_progress(); }

    <br>

    <br>

    So, it checks both ConcurrentMarkThread::_started and

    ConcurrentMarkThread::_in_progress and they are meant to overlap.

    That is, we should not set _started to false until after we have set

    _in_progress to true. This is done in sleepBeforeNextCycle():

    <br>

    <br>

    void ConcurrentMarkThread::sleepBeforeNextCycle() {

    <br>

    Â Â // We join here because we don't want to do the

    "shouldConcurrentMark()"

    <br>

    Â Â // below while the world is otherwise stopped.

    <br>

    Â Â assert(!in_progress(), "should have been cleared");

    <br>

    <br>

    Â Â MutexLockerEx x(CGC_lock, Mutex::_no_safepoint_check_flag);

    <br>

    Â Â while (!started() && !_should_terminate) {

    <br>

    Â Â Â Â CGC_lock->wait(Mutex::_no_safepoint_check_flag);

    <br>

    Â Â }

    <br>

    <br>

    Â Â if (started()) {

    <br>

    Â Â Â Â set_in_progress();

    <br>

    Â Â Â Â clear_started();

    <br>

    Â Â }

    <br>

    }

    <br>

    <br>

    On non-TSO platforms there is a risk that the write to _in_progress

    (from set_in_progress()) is seen by other threads after the write to

    _started (in clear_started()). In that case there is a window when

    during_cycle() may return false even though we are in a concurrent

    cycle. <br>

    <br>

    <br>

    Thanks,<br>

    Bengt<br>

  </body>

</html>