mirror of
https://github.com/darlinghq/darling-JavaScriptCore.git
synced 2024-11-26 21:50:53 +00:00
230 lines
8.6 KiB
C++
230 lines
8.6 KiB
C++
/*
|
|
* Copyright (C) 2019 Apple Inc. All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
|
|
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
|
|
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
|
|
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
|
|
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
|
|
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
|
|
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
|
|
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <array>
|
|
#include <wtf/FastBitVector.h>
|
|
#include <wtf/Vector.h>
|
|
|
|
namespace JSC {
|
|
|
|
#define FOR_EACH_BLOCK_DIRECTORY_BIT(macro) \
|
|
macro(live, Live) /* The set of block indices that have actual blocks. */\
|
|
macro(empty, Empty) /* The set of all blocks that have no live objects. */ \
|
|
macro(allocated, Allocated) /* The set of all blocks that are full of live objects. */\
|
|
macro(canAllocateButNotEmpty, CanAllocateButNotEmpty) /* The set of all blocks are neither empty nor retired (i.e. are more than minMarkedBlockUtilization full). */ \
|
|
macro(destructible, Destructible) /* The set of all blocks that may have destructors to run. */\
|
|
macro(eden, Eden) /* The set of all blocks that have new objects since the last GC. */\
|
|
macro(unswept, Unswept) /* The set of all blocks that could be swept by the incremental sweeper. */\
|
|
\
|
|
/* These are computed during marking. */\
|
|
macro(markingNotEmpty, MarkingNotEmpty) /* The set of all blocks that are not empty. */ \
|
|
macro(markingRetired, MarkingRetired) /* The set of all blocks that are retired. */
|
|
|
|
// FIXME: We defined canAllocateButNotEmpty and empty to be exclusive:
|
|
//
|
|
// canAllocateButNotEmpty & empty == 0
|
|
//
|
|
// Instead of calling it canAllocate and making it inclusive:
|
|
//
|
|
// canAllocate & empty == empty
|
|
//
|
|
// The latter is probably better. I'll leave it to a future bug to fix that, since breathing on
|
|
// this code leads to regressions for days, and it's not clear that making this change would
|
|
// improve perf since it would not change the collector's behavior, and either way the directory
|
|
// has to look at both bitvectors.
|
|
// https://bugs.webkit.org/show_bug.cgi?id=162121
|
|
|
|
class BlockDirectoryBits {
|
|
WTF_MAKE_FAST_ALLOCATED;
|
|
public:
|
|
static constexpr unsigned bitsPerSegment = 32;
|
|
static constexpr unsigned segmentShift = 5;
|
|
static constexpr unsigned indexMask = (1U << segmentShift) - 1;
|
|
static_assert((1 << segmentShift) == bitsPerSegment);
|
|
|
|
#define BLOCK_DIRECTORY_BIT_KIND_COUNT(lowerBitName, capitalBitName) + 1
|
|
static constexpr unsigned numberOfBlockDirectoryBitKinds = 0 FOR_EACH_BLOCK_DIRECTORY_BIT(BLOCK_DIRECTORY_BIT_KIND_COUNT);
|
|
#undef BLOCK_DIRECTORY_BIT_KIND_COUNT
|
|
|
|
enum class Kind {
|
|
#define BLOCK_DIRECTORY_BIT_KIND_DECLARATION(lowerBitName, capitalBitName) \
|
|
capitalBitName,
|
|
FOR_EACH_BLOCK_DIRECTORY_BIT(BLOCK_DIRECTORY_BIT_KIND_DECLARATION)
|
|
#undef BLOCK_DIRECTORY_BIT_KIND_DECLARATION
|
|
};
|
|
|
|
class Segment {
|
|
public:
|
|
Segment() = default;
|
|
std::array<uint32_t, numberOfBlockDirectoryBitKinds> m_data { };
|
|
};
|
|
|
|
template<Kind kind>
|
|
class BlockDirectoryBitVectorWordView {
|
|
WTF_MAKE_FAST_ALLOCATED;
|
|
public:
|
|
using ViewType = BlockDirectoryBitVectorWordView;
|
|
|
|
BlockDirectoryBitVectorWordView() = default;
|
|
|
|
BlockDirectoryBitVectorWordView(const Segment* segments, size_t numBits)
|
|
: m_segments(segments)
|
|
, m_numBits(numBits)
|
|
{
|
|
}
|
|
|
|
size_t numBits() const
|
|
{
|
|
return m_numBits;
|
|
}
|
|
|
|
uint32_t word(size_t index) const
|
|
{
|
|
ASSERT(index < WTF::fastBitVectorArrayLength(numBits()));
|
|
return m_segments[index].m_data[static_cast<unsigned>(kind)];
|
|
}
|
|
|
|
uint32_t& word(size_t index)
|
|
{
|
|
ASSERT(index < WTF::fastBitVectorArrayLength(numBits()));
|
|
return const_cast<Segment*>(m_segments)[index].m_data[static_cast<unsigned>(kind)];
|
|
}
|
|
|
|
void clearAll()
|
|
{
|
|
for (size_t index = 0; index < WTF::fastBitVectorArrayLength(numBits()); ++index)
|
|
const_cast<Segment*>(m_segments)[index].m_data[static_cast<unsigned>(kind)] = 0;
|
|
}
|
|
|
|
BlockDirectoryBitVectorWordView view() const { return *this; }
|
|
|
|
private:
|
|
const Segment* m_segments { nullptr };
|
|
size_t m_numBits { 0 };
|
|
};
|
|
|
|
template<Kind kind>
|
|
using BlockDirectoryBitVectorView = WTF::FastBitVectorImpl<BlockDirectoryBitVectorWordView<kind>>;
|
|
|
|
template<Kind kind>
|
|
class BlockDirectoryBitVectorRef final : public BlockDirectoryBitVectorView<kind> {
|
|
public:
|
|
using Base = BlockDirectoryBitVectorView<kind>;
|
|
|
|
explicit BlockDirectoryBitVectorRef(BlockDirectoryBitVectorWordView<kind> view)
|
|
: Base(view)
|
|
{
|
|
}
|
|
|
|
template<typename OtherWords>
|
|
BlockDirectoryBitVectorRef& operator=(const WTF::FastBitVectorImpl<OtherWords>& other)
|
|
{
|
|
ASSERT(Base::numBits() == other.numBits());
|
|
for (unsigned i = Base::arrayLength(); i--;)
|
|
Base::unsafeWords().word(i) = other.unsafeWords().word(i);
|
|
return *this;
|
|
}
|
|
|
|
template<typename OtherWords>
|
|
BlockDirectoryBitVectorRef& operator|=(const WTF::FastBitVectorImpl<OtherWords>& other)
|
|
{
|
|
ASSERT(Base::numBits() == other.numBits());
|
|
for (unsigned i = Base::arrayLength(); i--;)
|
|
Base::unsafeWords().word(i) |= other.unsafeWords().word(i);
|
|
return *this;
|
|
}
|
|
|
|
void clearAll()
|
|
{
|
|
Base::unsafeWords().clearAll();
|
|
}
|
|
|
|
WTF::FastBitReference at(size_t index)
|
|
{
|
|
ASSERT(index < Base::numBits());
|
|
return WTF::FastBitReference(&Base::unsafeWords().word(index >> 5), 1 << (index & 31));
|
|
}
|
|
|
|
WTF::FastBitReference operator[](size_t index)
|
|
{
|
|
return at(index);
|
|
}
|
|
};
|
|
|
|
#define BLOCK_DIRECTORY_BIT_ACCESSORS(lowerBitName, capitalBitName) \
|
|
bool is ## capitalBitName(size_t index) const \
|
|
{ \
|
|
return lowerBitName()[index]; \
|
|
} \
|
|
void setIs ## capitalBitName(size_t index, bool value) \
|
|
{ \
|
|
lowerBitName()[index] = value; \
|
|
} \
|
|
BlockDirectoryBitVectorView<Kind::capitalBitName> lowerBitName() const \
|
|
{ \
|
|
return BlockDirectoryBitVectorView<Kind::capitalBitName>(BlockDirectoryBitVectorWordView<Kind::capitalBitName>(m_segments.data(), m_numBits)); \
|
|
} \
|
|
BlockDirectoryBitVectorRef<Kind::capitalBitName> lowerBitName() \
|
|
{ \
|
|
return BlockDirectoryBitVectorRef<Kind::capitalBitName>(BlockDirectoryBitVectorWordView<Kind::capitalBitName>(m_segments.data(), m_numBits)); \
|
|
}
|
|
FOR_EACH_BLOCK_DIRECTORY_BIT(BLOCK_DIRECTORY_BIT_ACCESSORS)
|
|
#undef BLOCK_DIRECTORY_BIT_ACCESSORS
|
|
|
|
unsigned numBits() const { return m_numBits; }
|
|
|
|
void resize(unsigned numBits)
|
|
{
|
|
unsigned oldNumBits = m_numBits;
|
|
m_numBits = numBits;
|
|
m_segments.resize(WTF::fastBitVectorArrayLength(numBits));
|
|
unsigned usedBitsInLastSegment = numBits & indexMask; // This is 0 if all bits are used.
|
|
if (numBits < oldNumBits && usedBitsInLastSegment) {
|
|
// Clear the last segment.
|
|
ASSERT(usedBitsInLastSegment < bitsPerSegment);
|
|
auto& segment = m_segments.last();
|
|
uint32_t mask = (1U << usedBitsInLastSegment) - 1;
|
|
for (unsigned index = 0; index < numberOfBlockDirectoryBitKinds; ++index)
|
|
segment.m_data[index] &= mask;
|
|
}
|
|
}
|
|
|
|
template<typename Func>
|
|
void forEachSegment(const Func& func)
|
|
{
|
|
unsigned index = 0;
|
|
for (auto& segment : m_segments)
|
|
func(index++, segment);
|
|
}
|
|
|
|
private:
|
|
Vector<Segment> m_segments;
|
|
unsigned m_numBits { 0 };
|
|
};
|
|
|
|
} // namespace JSC
|