f5968723ce2649b91986d9f2a6bae3f3bec92427
[WebKit.git] / Source / JavaScriptCore / heap / CodeBlockSet.cpp
1 /*
2  * Copyright (C) 2013 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 "SlotVisitor.h"
31
32 namespace JSC {
33
34 static const bool verbose = false;
35
36 CodeBlockSet::CodeBlockSet() { }
37
38 CodeBlockSet::~CodeBlockSet()
39 {
40     HashSet<CodeBlock*>::iterator iter = m_set.begin();
41     HashSet<CodeBlock*>::iterator end = m_set.end();
42     for (; iter != end; ++iter)
43         (*iter)->deref();
44 }
45
46 void CodeBlockSet::add(PassRefPtr<CodeBlock> codeBlock)
47 {
48     CodeBlock* block = codeBlock.leakRef();
49     bool isNewEntry = m_set.add(block).isNewEntry;
50     ASSERT_UNUSED(isNewEntry, isNewEntry);
51 }
52
53 void CodeBlockSet::clearMarks()
54 {
55     HashSet<CodeBlock*>::iterator iter = m_set.begin();
56     HashSet<CodeBlock*>::iterator end = m_set.end();
57     for (; iter != end; ++iter) {
58         CodeBlock* codeBlock = *iter;
59         codeBlock->m_mayBeExecuting = false;
60         codeBlock->m_visitAggregateHasBeenCalled = false;
61     }
62 }
63
64 void CodeBlockSet::deleteUnmarkedAndUnreferenced()
65 {
66     // This needs to be a fixpoint because code blocks that are unmarked may
67     // refer to each other. For example, a DFG code block that is owned by
68     // the GC may refer to an FTL for-entry code block that is also owned by
69     // the GC.
70     Vector<CodeBlock*, 16> toRemove;
71     if (verbose)
72         dataLog("Fixpointing over unmarked, set size = ", m_set.size(), "...\n");
73     for (;;) {
74         HashSet<CodeBlock*>::iterator iter = m_set.begin();
75         HashSet<CodeBlock*>::iterator end = m_set.end();
76         for (; iter != end; ++iter) {
77             CodeBlock* codeBlock = *iter;
78             if (!codeBlock->hasOneRef())
79                 continue;
80             if (codeBlock->m_mayBeExecuting)
81                 continue;
82             codeBlock->deref();
83             toRemove.append(codeBlock);
84         }
85         if (verbose)
86             dataLog("    Removing ", toRemove.size(), " blocks.\n");
87         if (toRemove.isEmpty())
88             break;
89         for (unsigned i = toRemove.size(); i--;)
90             m_set.remove(toRemove[i]);
91         toRemove.resize(0);
92     }
93 }
94
95 void CodeBlockSet::traceMarked(SlotVisitor& visitor)
96 {
97     if (verbose)
98         dataLog("Tracing ", m_set.size(), " code blocks.\n");
99     HashSet<CodeBlock*>::iterator iter = m_set.begin();
100     HashSet<CodeBlock*>::iterator end = m_set.end();
101     for (; iter != end; ++iter) {
102         CodeBlock* codeBlock = *iter;
103         if (!codeBlock->m_mayBeExecuting)
104             continue;
105         codeBlock->ownerExecutable()->visitChildren(codeBlock->ownerExecutable(), visitor);
106     }
107 }
108
109 void CodeBlockSet::rememberCurrentlyExecutingCodeBlocks(Heap* heap)
110 {
111     for (size_t i = 0; i < m_currentlyExecuting.size(); ++i)
112         heap->addToRememberedSet(m_currentlyExecuting[i]->ownerExecutable());
113     m_currentlyExecuting.clear();
114 }
115
116 } // namespace JSC
117