On Wed, 23 Sep 2020 07:17:31 GMT, Stefan Karlsson <stef...@openjdk.org> wrote:
>> This PR the implementation of "JEP 376: ZGC: Concurrent Thread-Stack >> Processing" (cf. >> https://openjdk.java.net/jeps/376). >> Basically, this patch modifies the epilog safepoint when returning from a >> frame (supporting interpreter frames, c1, c2, >> and native wrapper frames), to compare the stack pointer against a >> thread-local value. This turns return polls into >> more of a swiss army knife that can be used to poll for safepoints, >> handshakes, but also returns into not yet safe to >> expose frames, denoted by a "stack watermark". ZGC will leave frames (and >> other thread oops) in a state of a mess in >> the GC checkpoint safepoints, rather than processing all threads and their >> stacks. Processing is initialized >> automagically when threads wake up for a safepoint, or get poked by a >> handshake or safepoint. Said initialization >> processes a few (3) frames and other thread oops. The rest - the bulk of the >> frame processing, is deferred until it is >> actually needed. It is needed when a frame is exposed to either 1) execution >> (returns or unwinding due to exception >> handling), or 2) stack walker APIs. A hook is then run to go and finish the >> lazy processing of frames. Mutator and GC >> threads can compete for processing. The processing is therefore performed >> under a per-thread lock. Note that disarming >> of the poll word (that the returns are comparing against) is only performed >> by the thread itself. So sliding the >> watermark up will require one runtime call for a thread to note that nothing >> needs to be done, and then update the poll >> word accordingly. Downgrading the poll word concurrently by other threads >> was simply not worth the complexity it >> brought (and is only possible on TSO machines). So left that one out. > > src/hotspot/share/gc/z/zStackWatermark.cpp line 78: > >> 76: ZThreadLocalData::do_invisible_root(_jt, >> ZBarrier::load_barrier_on_invisible_root_oop_field); >> 77: >> 78: ZVerify::verify_thread_frames_bad(_jt); > > Every time I read the name verify_thread_no_frames_bad I read it as "verify > that no frames are bad", but that's not at > all what that function does. > Is there still a reason why verify_thread_no_frames_bad and > verify_thread_frames_bad are split up into two functions? > Or could we fuse them into a ZVerify::verify_thread_bad? I will try this. ------------- PR: https://git.openjdk.java.net/jdk/pull/296