Concurrent GC should be able to run splay in debug mode and earley/raytrace in releas...
[WebKit-https.git] / Source / JavaScriptCore / heap / CodeBlockSet.cpp
1 /*
2  * Copyright (C) 2013-2016 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "CodeBlockSet.h"
28
29 #include "CodeBlock.h"
30 #include "JSCInlines.h"
31 #include <wtf/CommaPrinter.h>
32
33 namespace JSC {
34
35 static const bool verbose = false;
36
37 CodeBlockSet::CodeBlockSet()
38 {
39 }
40
41 CodeBlockSet::~CodeBlockSet()
42 {
43 }
44
45 void CodeBlockSet::add(CodeBlock* codeBlock)
46 {
47     LockHolder locker(&m_lock);
48     bool isNewEntry = m_newCodeBlocks.add(codeBlock).isNewEntry;
49     ASSERT_UNUSED(isNewEntry, isNewEntry);
50 }
51
52 void CodeBlockSet::promoteYoungCodeBlocks(const LockHolder&)
53 {
54     ASSERT(m_lock.isLocked());
55     m_oldCodeBlocks.add(m_newCodeBlocks.begin(), m_newCodeBlocks.end());
56     m_newCodeBlocks.clear();
57 }
58
59 void CodeBlockSet::clearMarksForFullCollection()
60 {
61     LockHolder locker(&m_lock);
62     for (CodeBlock* codeBlock : m_oldCodeBlocks)
63         codeBlock->clearVisitWeaklyHasBeenCalled();
64
65     // We promote after we clear marks on the old generation CodeBlocks because
66     // none of the young generations CodeBlocks need to be cleared.
67     promoteYoungCodeBlocks(locker);
68 }
69
70 void CodeBlockSet::lastChanceToFinalize()
71 {
72     LockHolder locker(&m_lock);
73     for (CodeBlock* codeBlock : m_newCodeBlocks)
74         codeBlock->classInfo()->methodTable.destroy(codeBlock);
75
76     for (CodeBlock* codeBlock : m_oldCodeBlocks)
77         codeBlock->classInfo()->methodTable.destroy(codeBlock);
78 }
79
80 void CodeBlockSet::deleteUnmarkedAndUnreferenced(CollectionScope scope)
81 {
82     LockHolder locker(&m_lock);
83     HashSet<CodeBlock*>& set = scope == CollectionScope::Eden ? m_newCodeBlocks : m_oldCodeBlocks;
84     Vector<CodeBlock*> unmarked;
85     for (CodeBlock* codeBlock : set) {
86         if (Heap::isMarked(codeBlock))
87             continue;
88         unmarked.append(codeBlock);
89     }
90
91     for (CodeBlock* codeBlock : unmarked) {
92         codeBlock->classInfo()->methodTable.destroy(codeBlock);
93         set.remove(codeBlock);
94     }
95
96     // Any remaining young CodeBlocks are live and need to be promoted to the set of old CodeBlocks.
97     promoteYoungCodeBlocks(locker);
98 }
99
100 bool CodeBlockSet::contains(const LockHolder&, void* candidateCodeBlock)
101 {
102     RELEASE_ASSERT(m_lock.isLocked());
103     CodeBlock* codeBlock = static_cast<CodeBlock*>(candidateCodeBlock);
104     if (!HashSet<CodeBlock*>::isValidValue(codeBlock))
105         return false;
106     return m_oldCodeBlocks.contains(codeBlock) || m_newCodeBlocks.contains(codeBlock) || m_currentlyExecuting.contains(codeBlock);
107 }
108
109 void CodeBlockSet::writeBarrierCurrentlyExecuting(Heap* heap)
110 {
111     LockHolder locker(&m_lock);
112     if (verbose)
113         dataLog("Remembering ", m_currentlyExecuting.size(), " code blocks.\n");
114     for (CodeBlock* codeBlock : m_currentlyExecuting)
115         heap->writeBarrier(codeBlock);
116 }
117
118 void CodeBlockSet::clearCurrentlyExecuting()
119 {
120     m_currentlyExecuting.clear();
121 }
122
123 void CodeBlockSet::dump(PrintStream& out) const
124 {
125     CommaPrinter comma;
126     out.print("{old = [");
127     for (CodeBlock* codeBlock : m_oldCodeBlocks)
128         out.print(comma, pointerDump(codeBlock));
129     out.print("], new = [");
130     comma = CommaPrinter();
131     for (CodeBlock* codeBlock : m_newCodeBlocks)
132         out.print(comma, pointerDump(codeBlock));
133     out.print("], currentlyExecuting = [");
134     comma = CommaPrinter();
135     for (CodeBlock* codeBlock : m_currentlyExecuting)
136         out.print(comma, pointerDump(codeBlock));
137     out.print("]}");
138 }
139
140 } // namespace JSC
141