test/hotspot/gtest/oops/test_markOop.cpp
author coleenp
Mon, 06 May 2019 18:01:01 -0400
changeset 54727 0f798f21e8c2
parent 54725 bfa52d3068f5
child 57384 4a296d9a76a0
permissions -rw-r--r--
8223412: tier1 build failure after 8222893 Summary: disable the test in PRODUCT Reviewed-by: dcubed, pliden, kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
54725
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     1
/*
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     2
 * Copyright (c) 2019, Oracle and/or its affiliates. All rights reserved.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     4
 *
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     7
 * published by the Free Software Foundation.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     8
 *
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    13
 * accompanied this code).
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    14
 *
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    18
 *
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    21
 * questions.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    22
 */
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    23
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    24
#include "precompiled.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    25
#include "classfile/systemDictionary.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    26
#include "memory/resourceArea.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    27
#include "memory/universe.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    28
#include "oops/oop.inline.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    29
#include "runtime/atomic.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    30
#include "runtime/interfaceSupport.inline.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    31
#include "runtime/orderAccess.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    32
#include "runtime/os.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    33
#include "runtime/synchronizer.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    34
#include "threadHelper.inline.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    35
#include "unittest.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    36
#include "utilities/globalDefinitions.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    37
#include "utilities/ostream.hpp"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    38
54727
0f798f21e8c2 8223412: tier1 build failure after 8222893
coleenp
parents: 54725
diff changeset
    39
// The test doesn't work for PRODUCT because it needs WizardMode
0f798f21e8c2 8223412: tier1 build failure after 8222893
coleenp
parents: 54725
diff changeset
    40
#ifndef PRODUCT
54725
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    41
static bool test_pattern(stringStream* st, const char* pattern) {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    42
  return (strstr(st->as_string(), pattern) != NULL);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    43
}
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    44
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    45
static void assert_test_pattern(Handle object, const char* pattern) {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    46
  stringStream st;
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    47
  object->print_on(&st);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    48
  ASSERT_TRUE(test_pattern(&st, pattern)) << pattern << " not in " << st.as_string();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    49
}
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    50
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    51
static void assert_not_test_pattern(Handle object, const char* pattern) {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    52
  stringStream st;
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    53
  object->print_on(&st);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    54
  ASSERT_FALSE(test_pattern(&st, pattern)) << pattern << " found in " << st.as_string();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    55
}
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    56
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    57
class LockerThread : public JavaTestThread {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    58
  oop _obj;
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    59
  public:
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    60
  LockerThread(Semaphore* post, oop obj) : JavaTestThread(post), _obj(obj) {}
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    61
  virtual ~LockerThread() {}
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    62
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    63
  void main_run() {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    64
    Thread* THREAD = Thread::current();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    65
    HandleMark hm(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    66
    Handle h_obj(THREAD, _obj);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    67
    ResourceMark rm(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    68
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    69
    // Wait gets the lock inflated.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    70
    // The object will stay locked for the context of 'ol' so the lock will
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    71
    // still be inflated after the notify_all() call. Deflation can't happen
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    72
    // while an ObjectMonitor is "busy" and being locked is the most "busy"
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    73
    // state we have...
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    74
    ObjectLocker ol(h_obj, THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    75
    ol.notify_all(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    76
    assert_test_pattern(h_obj, "monitor");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    77
  }
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    78
};
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    79
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    80
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    81
TEST_VM(markOopDesc, printing) {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    82
  JavaThread* THREAD = JavaThread::current();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    83
  ThreadInVMfromNative invm(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    84
  ResourceMark rm(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    85
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    86
  oop obj = SystemDictionary::Byte_klass()->allocate_instance(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    87
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    88
  FlagSetting fs(WizardMode, true);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    89
  FlagSetting bf(UseBiasedLocking, true);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    90
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    91
  HandleMark hm(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    92
  Handle h_obj(THREAD, obj);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    93
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    94
  // Biased locking is initially enabled for this java.lang.Byte object.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    95
  assert_test_pattern(h_obj, "is_biased");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    96
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    97
  // Lock using biased locking.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    98
  BasicObjectLock lock;
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
    99
  lock.set_obj(obj);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   100
  markOop mark = obj->mark()->incr_bias_epoch();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   101
  obj->set_mark(mark);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   102
  ObjectSynchronizer::fast_enter(h_obj, lock.lock(), true, THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   103
#ifdef _LP64
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   104
  // Look for the biased_locker in markOop, not prototype_header.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   105
  assert_not_test_pattern(h_obj, "mark(is_biased biased_locker=0x0000000000000000");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   106
#endif
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   107
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   108
  // Same thread tries to lock it again.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   109
  {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   110
    ObjectLocker ol(h_obj, THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   111
    assert_test_pattern(h_obj, "locked");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   112
  }
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   113
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   114
  // This is no longer biased, because ObjectLocker revokes the bias.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   115
  assert_test_pattern(h_obj, "is_neutral no_hash");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   116
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   117
  // Wait gets the lock inflated.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   118
  {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   119
    ObjectLocker ol(h_obj, THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   120
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   121
    Semaphore done(0);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   122
    LockerThread* st;
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   123
    st = new LockerThread(&done, h_obj());
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   124
    st->doit();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   125
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   126
    ol.wait(THREAD);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   127
    assert_test_pattern(h_obj, "monitor");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   128
  }
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   129
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   130
  // Make the object older. Not all GCs use this field.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   131
  Universe::heap()->collect(GCCause::_java_lang_system_gc);
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   132
  if (UseParallelGC) {
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   133
    assert_test_pattern(h_obj, "is_neutral no_hash age 1");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   134
  }
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   135
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   136
  // Hash the object then print it.
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   137
  intx hash = h_obj->identity_hash();
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   138
  assert_test_pattern(h_obj, "is_neutral hash=0x");
bfa52d3068f5 8222893: markOopDesc::print_on() is a bit confused
coleenp
parents:
diff changeset
   139
}
54727
0f798f21e8c2 8223412: tier1 build failure after 8222893
coleenp
parents: 54725
diff changeset
   140
#endif // PRODUCT