src/hotspot/share/gc/g1/g1StringDedup.cpp
author eosterlund
Tue, 16 Oct 2018 13:16:11 +0200
changeset 52141 de6dc206a92b
parent 50574 fa727a4d7934
child 53536 482109fae02b
permissions -rw-r--r--
8210330: Make CLD claiming allow multiple claim bits Reviewed-by: pliden, coleenp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     1
/*
49722
a47d1e21b3f1 8199735: Mark word updates need to use Access API
rkennke
parents: 47885
diff changeset
     2
 * Copyright (c) 2014, 2018, Oracle and/or its affiliates. All rights reserved.
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     4
 *
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     7
 * published by the Free Software Foundation.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     8
 *
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    13
 * accompanied this code).
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    14
 *
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    18
 *
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    21
 * questions.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    22
 *
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    23
 */
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    24
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    25
#include "precompiled.hpp"
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27251
diff changeset
    26
#include "classfile/javaClasses.inline.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29680
diff changeset
    27
#include "gc/g1/g1CollectedHeap.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29680
diff changeset
    28
#include "gc/g1/g1GCPhaseTimes.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29680
diff changeset
    29
#include "gc/g1/g1StringDedup.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29680
diff changeset
    30
#include "gc/g1/g1StringDedupQueue.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29680
diff changeset
    31
#include "gc/g1/g1StringDedupStat.hpp"
50574
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    32
#include "gc/shared/stringdedup/stringDedup.inline.hpp"
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    33
#include "gc/shared/stringdedup/stringDedupQueue.hpp"
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    34
#include "gc/shared/stringdedup/stringDedupTable.hpp"
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    35
#include "gc/shared/stringdedup/stringDedupThread.inline.hpp"
49722
a47d1e21b3f1 8199735: Mark word updates need to use Access API
rkennke
parents: 47885
diff changeset
    36
#include "oops/oop.inline.hpp"
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 37081
diff changeset
    37
#include "runtime/atomic.hpp"
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    38
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    39
void G1StringDedup::initialize() {
50574
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    40
  assert(UseG1GC, "String deduplication available with G1");
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    41
  StringDedup::initialize_impl<G1StringDedupQueue, G1StringDedupStat>();
24093
095cc0a63ed9 8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents: 23472
diff changeset
    42
}
095cc0a63ed9 8037112: gc/g1/TestHumongousAllocInitialMark.java caused SIGSEGV
pliden
parents: 23472
diff changeset
    43
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    44
bool G1StringDedup::is_candidate_from_mark(oop obj) {
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27251
diff changeset
    45
  if (java_lang_String::is_instance_inlined(obj)) {
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 30871
diff changeset
    46
    bool from_young = G1CollectedHeap::heap()->heap_region_containing(obj)->is_young();
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    47
    if (from_young && obj->age() < StringDeduplicationAgeThreshold) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    48
      // Candidate found. String is being evacuated from young to old but has not
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    49
      // reached the deduplication age threshold, i.e. has not previously been a
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    50
      // candidate during its life in the young generation.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    51
      return true;
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    52
    }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    53
  }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    54
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    55
  // Not a candidate
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    56
  return false;
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    57
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    58
47885
5caa1d5f74c1 8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents: 47634
diff changeset
    59
void G1StringDedup::enqueue_from_mark(oop java_string, uint worker_id) {
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    60
  assert(is_enabled(), "String deduplication not enabled");
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    61
  if (is_candidate_from_mark(java_string)) {
47885
5caa1d5f74c1 8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents: 47634
diff changeset
    62
    G1StringDedupQueue::push(worker_id, java_string);
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    63
  }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    64
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    65
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    66
bool G1StringDedup::is_candidate_from_evacuation(bool from_young, bool to_young, oop obj) {
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27251
diff changeset
    67
  if (from_young && java_lang_String::is_instance_inlined(obj)) {
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    68
    if (to_young && obj->age() == StringDeduplicationAgeThreshold) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    69
      // Candidate found. String is being evacuated from young to young and just
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    70
      // reached the deduplication age threshold.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    71
      return true;
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    72
    }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    73
    if (!to_young && obj->age() < StringDeduplicationAgeThreshold) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    74
      // Candidate found. String is being evacuated from young to old but has not
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    75
      // reached the deduplication age threshold, i.e. has not previously been a
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    76
      // candidate during its life in the young generation.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    77
      return true;
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    78
    }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    79
  }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    80
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    81
  // Not a candidate
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    82
  return false;
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    83
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    84
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    85
void G1StringDedup::enqueue_from_evacuation(bool from_young, bool to_young, uint worker_id, oop java_string) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    86
  assert(is_enabled(), "String deduplication not enabled");
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    87
  if (is_candidate_from_evacuation(from_young, to_young, java_string)) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    88
    G1StringDedupQueue::push(worker_id, java_string);
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    89
  }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    90
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    91
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    92
void G1StringDedup::oops_do(OopClosure* keep_alive) {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    93
  assert(is_enabled(), "String deduplication not enabled");
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
    94
  unlink_or_oops_do(NULL, keep_alive, true /* allow_resize_and_rehash */);
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    95
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    96
46348
5803de68c14d 8171238: Unify cleanup code used in G1 Remark and Full GC marking
sjohanss
parents: 40655
diff changeset
    97
void G1StringDedup::parallel_unlink(G1StringDedupUnlinkOrOopsDoClosure* unlink, uint worker_id) {
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
    98
  assert(is_enabled(), "String deduplication not enabled");
50574
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
    99
  StringDedupQueue::unlink_or_oops_do(unlink);
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
   100
  StringDedupTable::unlink_or_oops_do(unlink, worker_id);
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   101
}
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   102
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   103
//
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   104
// Task for parallel unlink_or_oops_do() operation on the deduplication queue
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   105
// and table.
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   106
//
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   107
class G1StringDedupUnlinkOrOopsDoTask : public AbstractGangTask {
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   108
private:
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   109
  G1StringDedupUnlinkOrOopsDoClosure _cl;
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   110
  G1GCPhaseTimes* _phase_times;
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   111
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   112
public:
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   113
  G1StringDedupUnlinkOrOopsDoTask(BoolObjectClosure* is_alive,
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   114
                                  OopClosure* keep_alive,
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   115
                                  bool allow_resize_and_rehash,
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   116
                                  G1GCPhaseTimes* phase_times) :
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   117
    AbstractGangTask("G1StringDedupUnlinkOrOopsDoTask"),
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   118
    _cl(is_alive, keep_alive, allow_resize_and_rehash), _phase_times(phase_times) { }
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   119
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   120
  virtual void work(uint worker_id) {
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   121
    {
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   122
      G1GCParPhaseTimesTracker x(_phase_times, G1GCPhaseTimes::StringDedupQueueFixup, worker_id);
50574
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
   123
      StringDedupQueue::unlink_or_oops_do(&_cl);
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   124
    }
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   125
    {
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   126
      G1GCParPhaseTimesTracker x(_phase_times, G1GCPhaseTimes::StringDedupTableFixup, worker_id);
50574
fa727a4d7934 8203641: Refactor String Deduplication into shared
zgu
parents: 49722
diff changeset
   127
      StringDedupTable::unlink_or_oops_do(&_cl, worker_id);
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   128
    }
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   129
  }
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   130
};
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   131
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   132
void G1StringDedup::unlink_or_oops_do(BoolObjectClosure* is_alive,
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   133
                                      OopClosure* keep_alive,
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   134
                                      bool allow_resize_and_rehash,
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   135
                                      G1GCPhaseTimes* phase_times) {
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   136
  assert(is_enabled(), "String deduplication not enabled");
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   137
29680
e5203ed6d805 8074037: Refactor the G1GCPhaseTime logging to make it easier to add new phases
brutisso
parents: 29081
diff changeset
   138
  G1StringDedupUnlinkOrOopsDoTask task(is_alive, keep_alive, allow_resize_and_rehash, phase_times);
27251
7d667f91ec8d 6979279: remove special-case code for ParallelGCThreads==0
mlarsson
parents: 25351
diff changeset
   139
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
7d667f91ec8d 6979279: remove special-case code for ParallelGCThreads==0
mlarsson
parents: 25351
diff changeset
   140
  g1h->workers()->run_task(&task);
23472
35e93890ed88 8029075: String deduplication in G1
pliden
parents:
diff changeset
   141
}