#include "config.h"
#include "CodeBlockSet.h"
#include "CodeBlock.h"
#include "JSCInlines.h"
#include "SlotVisitor.h"
#include <wtf/CommaPrinter.h>
namespace JSC {
static const bool verbose = false;
CodeBlockSet::CodeBlockSet()
{
}
CodeBlockSet::~CodeBlockSet()
{
for (CodeBlock* codeBlock : m_oldCodeBlocks)
codeBlock->deref();
for (CodeBlock* codeBlock : m_newCodeBlocks)
codeBlock->deref();
}
void CodeBlockSet::add(PassRefPtr<CodeBlock> codeBlock)
{
CodeBlock* block = codeBlock.leakRef();
bool isNewEntry = m_newCodeBlocks.add(block).isNewEntry;
ASSERT_UNUSED(isNewEntry, isNewEntry);
}
void CodeBlockSet::promoteYoungCodeBlocks()
{
m_oldCodeBlocks.add(m_newCodeBlocks.begin(), m_newCodeBlocks.end());
m_newCodeBlocks.clear();
}
void CodeBlockSet::clearMarksForFullCollection()
{
for (CodeBlock* codeBlock : m_oldCodeBlocks) {
codeBlock->m_mayBeExecuting = false;
codeBlock->m_visitAggregateHasBeenCalled.store(false, std::memory_order_relaxed);
}
promoteYoungCodeBlocks();
}
void CodeBlockSet::clearMarksForEdenCollection(const Vector<const JSCell*>& rememberedSet)
{
for (const JSCell* cell : rememberedSet) {
ScriptExecutable* executable = const_cast<ScriptExecutable*>(jsDynamicCast<const ScriptExecutable*>(cell));
if (!executable)
continue;
executable->forEachCodeBlock([](CodeBlock* codeBlock) {
codeBlock->m_mayBeExecuting = false;
codeBlock->m_visitAggregateHasBeenCalled.store(false, std::memory_order_relaxed);
});
}
}
void CodeBlockSet::deleteUnmarkedAndUnreferenced(HeapOperation collectionType)
{
HashSet<CodeBlock*>& set = collectionType == EdenCollection ? m_newCodeBlocks : m_oldCodeBlocks;
Vector<CodeBlock*, 16> toRemove;
if (verbose)
dataLog("Fixpointing over unmarked, set size = ", set.size(), "...\n");
for (;;) {
for (CodeBlock* codeBlock : set) {
if (!codeBlock->hasOneRef())
continue;
if (codeBlock->m_mayBeExecuting)
continue;
codeBlock->deref();
toRemove.append(codeBlock);
}
if (verbose)
dataLog(" Removing ", toRemove.size(), " blocks.\n");
if (toRemove.isEmpty())
break;
for (CodeBlock* codeBlock : toRemove)
set.remove(codeBlock);
toRemove.resize(0);
}
if (collectionType == EdenCollection)
promoteYoungCodeBlocks();
}
void CodeBlockSet::remove(CodeBlock* codeBlock)
{
codeBlock->deref();
if (m_oldCodeBlocks.contains(codeBlock)) {
m_oldCodeBlocks.remove(codeBlock);
return;
}
ASSERT(m_newCodeBlocks.contains(codeBlock));
m_newCodeBlocks.remove(codeBlock);
}
void CodeBlockSet::traceMarked(SlotVisitor& visitor)
{
if (verbose)
dataLog("Tracing ", m_currentlyExecuting.size(), " code blocks.\n");
for (CodeBlock* codeBlock : m_currentlyExecuting) {
ASSERT(codeBlock->m_mayBeExecuting);
codeBlock->visitAggregate(visitor);
}
}
void CodeBlockSet::rememberCurrentlyExecutingCodeBlocks(Heap* heap)
{
#if ENABLE(GGC)
if (verbose)
dataLog("Remembering ", m_currentlyExecuting.size(), " code blocks.\n");
for (CodeBlock* codeBlock : m_currentlyExecuting) {
heap->addToRememberedSet(codeBlock->ownerExecutable());
ASSERT(codeBlock->m_mayBeExecuting);
}
m_currentlyExecuting.clear();
#else
UNUSED_PARAM(heap);
#endif // ENABLE(GGC)
}
void CodeBlockSet::dump(PrintStream& out) const
{
CommaPrinter comma;
out.print("{old = [");
for (CodeBlock* codeBlock : m_oldCodeBlocks)
out.print(comma, pointerDump(codeBlock));
out.print("], new = [");
comma = CommaPrinter();
for (CodeBlock* codeBlock : m_newCodeBlocks)
out.print(comma, pointerDump(codeBlock));
out.print("], currentlyExecuting = [");
comma = CommaPrinter();
for (CodeBlock* codeBlock : m_currentlyExecuting)
out.print(comma, pointerDump(codeBlock));
out.print("]}");
}
}