RFR (XXS): 7006810: G1: Introduce peace-of-mind checking in the Suspendible Thread Set

[Joseph Provino]

On 4/7/2015 4:33 AM, Per Liden wrote:
> Hi Joe,
>
> suspendibleThreadSet.cpp:
>
>   78 void SuspendibleThreadSet::synchronize() {
>   79 assert(Thread::current()->has_joined_suspendible_thread_set(),
>   80     "Must have joined");
>   ...
>   93 void SuspendibleThreadSet::desynchronize() {
>   94 assert(Thread::current()->has_joined_suspendible_thread_set(),
>   95     "Must have joined");
>
> This does not look right to me. The VM thread is the only one calling 
> synchronize/desynchronize, and that should not be part of the sts. 
> Note that you need to enable G1 to test this code path. Did you run 
> this through jprt?
Hi Per, I did run it through jprt and it passes.  Do you think there's 
still a problem that needs to be addressed?

Here's the latest:

JPRT: [stockholm] job notification - success with job 2015-04-08-204407.jprovino.hs-gc-7006810

JPRT Job ID:        2015-04-08-204407.jprovino.hs-gc-7006810
JPRT System:        stockholm
JPRT Version:       3.3.198: (2015-03-22) Case of the Deadly Toy [caf9c500864d]
Job URL:http://sthjprt.se.oracle.com/archives/2015/04/2015-04-08-204407.jprovino.hs-gc-7006810

joe

>
> I agree with others comments about using #ifdef ASSERT for the stuff 
> in the thread class to avoid the #else part.
>
> cheers,
> /Per
>
> On 2015-04-06 19:25, Joseph Provino wrote:
>> CR: https://bugs.openjdk.java.net/browse/JDK-7006810
>>
>> webrev:  http://cr.openjdk.java.net/~jprovino/7006810/webrev.00
>>
>> test:  jprt