1a6f5e0b2d724bec262857b0e600ecdba6fa3a02
[WebKit-https.git] / Source / JavaScriptCore / runtime / MarkedSpace.h
1 /*
2  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2001 Peter Kelly (pmk@post.com)
4  *  Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
5  *
6  *  This library is free software; you can redistribute it and/or
7  *  modify it under the terms of the GNU Lesser General Public
8  *  License as published by the Free Software Foundation; either
9  *  version 2 of the License, or (at your option) any later version.
10  *
11  *  This library is distributed in the hope that it will be useful,
12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  *  Lesser General Public License for more details.
15  *
16  *  You should have received a copy of the GNU Lesser General Public
17  *  License along with this library; if not, write to the Free Software
18  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
19  *
20  */
21
22 #ifndef MarkedSpace_h
23 #define MarkedSpace_h
24
25 #include "MachineStackMarker.h"
26 #include "MarkedBlock.h"
27 #include "PageAllocationAligned.h"
28 #include <wtf/Bitmap.h>
29 #include <wtf/FixedArray.h>
30 #include <wtf/HashCountedSet.h>
31 #include <wtf/Noncopyable.h>
32 #include <wtf/Vector.h>
33
34 namespace JSC {
35
36     class Heap;
37     class JSCell;
38     class JSGlobalData;
39     class LiveObjectIterator;
40     class MarkStack;
41     class WeakGCHandle;
42
43     struct CollectorHeap {
44         CollectorHeap()
45             : nextBlock(0)
46             , nextCell(0)
47         {
48         }
49         
50         MarkedBlock* collectorBlock(size_t index) const
51         {
52             return blocks[index];
53         }
54
55         size_t nextBlock;
56         size_t nextCell;
57         Vector<MarkedBlock*> blocks;
58     };
59
60     class MarkedSpace {
61         WTF_MAKE_NONCOPYABLE(MarkedSpace);
62     public:
63         static Heap* heap(JSCell*);
64
65         static bool isMarked(const JSCell*);
66         static bool testAndSetMarked(const JSCell*);
67         static void setMarked(const JSCell*);
68
69         MarkedSpace(JSGlobalData*);
70         void destroy();
71
72         JSGlobalData* globalData() { return m_globalData; }
73
74         size_t highWaterMark() { return m_highWaterMark; }
75         void setHighWaterMark(size_t highWaterMark) { m_highWaterMark = highWaterMark; }
76
77         void* allocate(size_t);
78
79         void clearMarks();
80         size_t markCount() const;
81         void markRoots();
82         void reset();
83         void sweep();
84         void shrink();
85
86         size_t size() const;
87         size_t capacity() const;
88         size_t objectCount() const;
89
90         bool contains(const void*);
91
92         LiveObjectIterator primaryHeapBegin();
93         LiveObjectIterator primaryHeapEnd();
94
95     private:
96         NEVER_INLINE MarkedBlock* allocateBlock();
97         NEVER_INLINE void freeBlock(size_t);
98
99         void clearMarks(MarkedBlock*);
100
101         CollectorHeap m_heap;
102         size_t m_waterMark;
103         size_t m_highWaterMark;
104         JSGlobalData* m_globalData;
105     };
106
107     inline Heap* MarkedSpace::heap(JSCell* cell)
108     {
109         return MarkedBlock::blockFor(cell)->heap();
110     }
111
112     inline bool MarkedSpace::isMarked(const JSCell* cell)
113     {
114         return MarkedBlock::blockFor(cell)->isMarked(cell);
115     }
116
117     inline bool MarkedSpace::testAndSetMarked(const JSCell* cell)
118     {
119         return MarkedBlock::blockFor(cell)->testAndSetMarked(cell);
120     }
121
122     inline void MarkedSpace::setMarked(const JSCell* cell)
123     {
124         MarkedBlock::blockFor(cell)->setMarked(cell);
125     }
126
127     inline bool MarkedSpace::contains(const void* x)
128     {
129         if (!MarkedBlock::isCellAligned(x))
130             return false;
131
132         MarkedBlock* block = MarkedBlock::blockFor(x);
133         if (!block)
134             return false;
135
136         size_t size = m_heap.blocks.size();
137         for (size_t i = 0; i < size; i++) {
138             if (block != m_heap.collectorBlock(i))
139                 continue;
140
141             // x is a pointer into the heap. Now, verify that the cell it
142             // points to is live. (If the cell is dead, we must not mark it,
143             // since that would revive it in a zombie state.)
144             return block->isMarked(x);
145         }
146         
147         return false;
148     }
149
150 } // namespace JSC
151
152 #endif // MarkedSpace_h