2021-03-04 09:49:38 +00:00
|
|
|
/*
|
2024-10-04 11:19:50 +00:00
|
|
|
* Copyright (c) 2018-2021, Andreas Kling <andreas@ladybird.org>
|
2021-03-04 09:49:38 +00:00
|
|
|
*
|
2021-04-22 08:24:48 +00:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2021-03-04 09:49:38 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2021-05-18 20:42:48 +00:00
|
|
|
#include <AK/Array.h>
|
2021-12-12 03:54:45 +00:00
|
|
|
#include <AK/BuiltinWrappers.h>
|
2021-03-04 09:49:38 +00:00
|
|
|
#include <AK/Optional.h>
|
|
|
|
#include <AK/StdLibExtras.h>
|
|
|
|
#include <AK/Types.h>
|
|
|
|
|
|
|
|
namespace AK {
|
|
|
|
|
2021-05-18 20:42:48 +00:00
|
|
|
static constexpr Array bitmask_first_byte = { 0xFF, 0xFE, 0xFC, 0xF8, 0xF0, 0xE0, 0xC0, 0x80 };
|
|
|
|
static constexpr Array bitmask_last_byte = { 0x00, 0x1, 0x3, 0x7, 0xF, 0x1F, 0x3F, 0x7F };
|
|
|
|
|
2021-03-04 09:49:38 +00:00
|
|
|
class BitmapView {
|
|
|
|
public:
|
2021-11-06 15:20:18 +00:00
|
|
|
BitmapView() = default;
|
|
|
|
|
2021-03-04 09:49:38 +00:00
|
|
|
BitmapView(u8* data, size_t size)
|
|
|
|
: m_data(data)
|
|
|
|
, m_size(size)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2021-11-06 15:20:18 +00:00
|
|
|
[[nodiscard]] size_t size() const { return m_size; }
|
|
|
|
[[nodiscard]] size_t size_in_bytes() const { return ceil_div(m_size, static_cast<size_t>(8)); }
|
|
|
|
[[nodiscard]] bool get(size_t index) const
|
2021-03-04 09:49:38 +00:00
|
|
|
{
|
|
|
|
VERIFY(index < m_size);
|
|
|
|
return 0 != (m_data[index / 8] & (1u << (index % 8)));
|
|
|
|
}
|
|
|
|
|
2021-11-06 15:20:18 +00:00
|
|
|
[[nodiscard]] size_t count_slow(bool value) const
|
2021-03-04 09:49:38 +00:00
|
|
|
{
|
|
|
|
return count_in_range(0, m_size, value);
|
|
|
|
}
|
|
|
|
|
2021-11-06 15:20:18 +00:00
|
|
|
[[nodiscard]] size_t count_in_range(size_t start, size_t len, bool value) const
|
2021-03-04 09:49:38 +00:00
|
|
|
{
|
|
|
|
VERIFY(start < m_size);
|
|
|
|
VERIFY(start + len <= m_size);
|
|
|
|
if (len == 0)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
size_t count;
|
2022-04-01 17:58:27 +00:00
|
|
|
u8 const* first = &m_data[start / 8];
|
|
|
|
u8 const* last = &m_data[(start + len) / 8];
|
2021-03-04 09:49:38 +00:00
|
|
|
u8 byte = *first;
|
|
|
|
byte &= bitmask_first_byte[start % 8];
|
|
|
|
if (first == last) {
|
|
|
|
byte &= bitmask_last_byte[(start + len) % 8];
|
2021-12-19 21:46:55 +00:00
|
|
|
count = popcount(byte);
|
2021-03-04 09:49:38 +00:00
|
|
|
} else {
|
2021-12-19 21:46:55 +00:00
|
|
|
count = popcount(byte);
|
2021-05-15 06:12:50 +00:00
|
|
|
// Don't access *last if it's out of bounds
|
|
|
|
if (last < &m_data[size_in_bytes()]) {
|
|
|
|
byte = *last;
|
|
|
|
byte &= bitmask_last_byte[(start + len) % 8];
|
2021-12-19 21:46:55 +00:00
|
|
|
count += popcount(byte);
|
2021-05-15 06:12:50 +00:00
|
|
|
}
|
2021-03-04 09:49:38 +00:00
|
|
|
if (++first < last) {
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t const* ptr_large = reinterpret_cast<size_t const*>((reinterpret_cast<FlatPtr>(first) + sizeof(size_t) - 1) & ~(sizeof(size_t) - 1));
|
|
|
|
if (reinterpret_cast<u8 const*>(ptr_large) > last)
|
|
|
|
ptr_large = reinterpret_cast<size_t const*>(last);
|
|
|
|
while (first < reinterpret_cast<u8 const*>(ptr_large)) {
|
2021-12-19 21:46:55 +00:00
|
|
|
count += popcount(*first);
|
2021-03-04 09:49:38 +00:00
|
|
|
first++;
|
|
|
|
}
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t const* last_large = reinterpret_cast<size_t const*>(reinterpret_cast<FlatPtr>(last) & ~(sizeof(size_t) - 1));
|
2021-12-19 21:46:55 +00:00
|
|
|
while (ptr_large < last_large) {
|
|
|
|
count += popcount(*ptr_large);
|
|
|
|
ptr_large++;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
2023-03-07 14:28:21 +00:00
|
|
|
for (first = reinterpret_cast<u8 const*>(ptr_large); first < last; first++)
|
2021-12-19 21:46:55 +00:00
|
|
|
count += popcount(*first);
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!value)
|
|
|
|
count = len - count;
|
|
|
|
return count;
|
|
|
|
}
|
|
|
|
|
2021-11-06 20:12:16 +00:00
|
|
|
[[nodiscard]] bool is_null() const { return m_data == nullptr; }
|
2021-03-04 09:49:38 +00:00
|
|
|
|
2022-04-01 17:58:27 +00:00
|
|
|
[[nodiscard]] u8 const* data() const { return m_data; }
|
2021-03-04 09:49:38 +00:00
|
|
|
|
|
|
|
template<bool VALUE>
|
|
|
|
Optional<size_t> find_one_anywhere(size_t hint = 0) const
|
|
|
|
{
|
|
|
|
VERIFY(hint < m_size);
|
2023-10-11 11:52:38 +00:00
|
|
|
u8 const* end = &m_data[size_in_bytes()];
|
2021-03-04 09:49:38 +00:00
|
|
|
|
|
|
|
for (;;) {
|
|
|
|
// We will use hint as what it is: a hint. Because we try to
|
|
|
|
// scan over entire 32 bit words, we may start searching before
|
|
|
|
// the hint!
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t const* ptr_large = reinterpret_cast<size_t const*>(reinterpret_cast<FlatPtr>(&m_data[hint / 8]) & ~(sizeof(size_t) - 1));
|
|
|
|
if (reinterpret_cast<u8 const*>(ptr_large) < &m_data[0]) {
|
2021-12-19 21:46:55 +00:00
|
|
|
ptr_large++;
|
2021-03-04 09:49:38 +00:00
|
|
|
|
|
|
|
// m_data isn't aligned, check first bytes
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t start_ptr_large = reinterpret_cast<u8 const*>(ptr_large) - &m_data[0];
|
2021-03-04 09:49:38 +00:00
|
|
|
size_t i = 0;
|
|
|
|
u8 byte = VALUE ? 0x00 : 0xff;
|
2021-12-19 21:46:55 +00:00
|
|
|
while (i < start_ptr_large && m_data[i] == byte)
|
2021-03-04 09:49:38 +00:00
|
|
|
i++;
|
2021-12-19 21:46:55 +00:00
|
|
|
if (i < start_ptr_large) {
|
2021-03-04 09:49:38 +00:00
|
|
|
byte = m_data[i];
|
|
|
|
if constexpr (!VALUE)
|
|
|
|
byte = ~byte;
|
|
|
|
VERIFY(byte != 0);
|
2021-12-19 21:46:55 +00:00
|
|
|
return i * 8 + bit_scan_forward(byte) - 1;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-12-19 21:46:55 +00:00
|
|
|
size_t val_large = VALUE ? 0x0 : NumericLimits<size_t>::max();
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t const* end_large = reinterpret_cast<size_t const*>(reinterpret_cast<FlatPtr>(end) & ~(sizeof(size_t) - 1));
|
2021-12-19 21:46:55 +00:00
|
|
|
while (ptr_large < end_large && *ptr_large == val_large)
|
|
|
|
ptr_large++;
|
2021-03-04 09:49:38 +00:00
|
|
|
|
2021-12-19 21:46:55 +00:00
|
|
|
if (ptr_large == end_large) {
|
2021-03-04 09:49:38 +00:00
|
|
|
// We didn't find anything, check the remaining few bytes (if any)
|
|
|
|
u8 byte = VALUE ? 0x00 : 0xff;
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t i = reinterpret_cast<u8 const*>(ptr_large) - &m_data[0];
|
2023-10-11 11:52:38 +00:00
|
|
|
size_t byte_count = size_in_bytes();
|
2021-03-04 09:49:38 +00:00
|
|
|
VERIFY(i <= byte_count);
|
|
|
|
while (i < byte_count && m_data[i] == byte)
|
|
|
|
i++;
|
|
|
|
if (i == byte_count) {
|
|
|
|
if (hint <= 8)
|
|
|
|
return {}; // We already checked from the beginning
|
|
|
|
|
|
|
|
// Try scanning before the hint
|
2023-03-07 14:28:21 +00:00
|
|
|
end = reinterpret_cast<u8 const*>(reinterpret_cast<FlatPtr>(&m_data[hint / 8]) & ~(sizeof(size_t) - 1));
|
2021-03-04 09:49:38 +00:00
|
|
|
hint = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
byte = m_data[i];
|
|
|
|
if constexpr (!VALUE)
|
|
|
|
byte = ~byte;
|
|
|
|
VERIFY(byte != 0);
|
2021-12-19 21:46:55 +00:00
|
|
|
return i * 8 + bit_scan_forward(byte) - 1;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// NOTE: We don't really care about byte ordering. We found *one*
|
|
|
|
// free bit, just calculate the position and return it
|
2021-12-19 21:46:55 +00:00
|
|
|
val_large = *ptr_large;
|
2021-03-04 09:49:38 +00:00
|
|
|
if constexpr (!VALUE)
|
2021-12-19 21:46:55 +00:00
|
|
|
val_large = ~val_large;
|
|
|
|
VERIFY(val_large != 0);
|
2023-03-07 14:28:21 +00:00
|
|
|
return (reinterpret_cast<u8 const*>(ptr_large) - &m_data[0]) * 8 + bit_scan_forward(val_large) - 1;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_one_anywhere_set(size_t hint = 0) const
|
|
|
|
{
|
|
|
|
return find_one_anywhere<true>(hint);
|
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_one_anywhere_unset(size_t hint = 0) const
|
|
|
|
{
|
|
|
|
return find_one_anywhere<false>(hint);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<bool VALUE>
|
|
|
|
Optional<size_t> find_first() const
|
|
|
|
{
|
2023-10-11 11:52:38 +00:00
|
|
|
size_t byte_count = size_in_bytes();
|
2021-03-04 09:49:38 +00:00
|
|
|
size_t i = 0;
|
|
|
|
|
|
|
|
u8 byte = VALUE ? 0x00 : 0xff;
|
|
|
|
while (i < byte_count && m_data[i] == byte)
|
|
|
|
i++;
|
|
|
|
if (i == byte_count)
|
|
|
|
return {};
|
|
|
|
|
|
|
|
byte = m_data[i];
|
|
|
|
if constexpr (!VALUE)
|
|
|
|
byte = ~byte;
|
|
|
|
VERIFY(byte != 0);
|
2021-12-19 21:46:55 +00:00
|
|
|
return i * 8 + bit_scan_forward(byte) - 1;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_first_set() const { return find_first<true>(); }
|
|
|
|
Optional<size_t> find_first_unset() const { return find_first<false>(); }
|
|
|
|
|
|
|
|
// The function will return the next range of unset bits starting from the
|
|
|
|
// @from value.
|
|
|
|
// @from: the position from which the search starts. The var will be
|
|
|
|
// changed and new value is the offset of the found block.
|
|
|
|
// @min_length: minimum size of the range which will be returned.
|
|
|
|
// @max_length: maximum size of the range which will be returned.
|
|
|
|
// This is used to increase performance, since the range of
|
|
|
|
// unset bits can be long, and we don't need the while range,
|
|
|
|
// so we can stop when we've reached @max_length.
|
|
|
|
inline Optional<size_t> find_next_range_of_unset_bits(size_t& from, size_t min_length = 1, size_t max_length = max_size) const
|
|
|
|
{
|
|
|
|
if (min_length > max_length) {
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2021-12-12 03:54:45 +00:00
|
|
|
size_t bit_size = 8 * sizeof(size_t);
|
|
|
|
|
2023-03-07 14:28:21 +00:00
|
|
|
size_t* bitmap = reinterpret_cast<size_t*>(m_data);
|
2021-03-04 09:49:38 +00:00
|
|
|
|
|
|
|
// Calculating the start offset.
|
2021-12-12 03:54:45 +00:00
|
|
|
size_t start_bucket_index = from / bit_size;
|
|
|
|
size_t start_bucket_bit = from % bit_size;
|
2021-03-04 09:49:38 +00:00
|
|
|
|
|
|
|
size_t* start_of_free_chunks = &from;
|
|
|
|
size_t free_chunks = 0;
|
|
|
|
|
2021-12-12 03:54:45 +00:00
|
|
|
for (size_t bucket_index = start_bucket_index; bucket_index < m_size / bit_size; ++bucket_index) {
|
|
|
|
if (bitmap[bucket_index] == NumericLimits<size_t>::max()) {
|
|
|
|
// Skip over completely full bucket of size bit_size.
|
2021-03-04 09:49:38 +00:00
|
|
|
if (free_chunks >= min_length) {
|
|
|
|
return min(free_chunks, max_length);
|
|
|
|
}
|
|
|
|
free_chunks = 0;
|
|
|
|
start_bucket_bit = 0;
|
|
|
|
continue;
|
|
|
|
}
|
2021-12-12 03:54:45 +00:00
|
|
|
if (bitmap[bucket_index] == 0x0) {
|
|
|
|
// Skip over completely empty bucket of size bit_size.
|
2021-03-04 09:49:38 +00:00
|
|
|
if (free_chunks == 0) {
|
2021-12-12 03:54:45 +00:00
|
|
|
*start_of_free_chunks = bucket_index * bit_size;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
2021-12-12 03:54:45 +00:00
|
|
|
free_chunks += bit_size;
|
2021-03-04 09:49:38 +00:00
|
|
|
if (free_chunks >= max_length) {
|
|
|
|
return max_length;
|
|
|
|
}
|
|
|
|
start_bucket_bit = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2021-12-12 03:54:45 +00:00
|
|
|
size_t bucket = bitmap[bucket_index];
|
2021-03-04 09:49:38 +00:00
|
|
|
u8 viewed_bits = start_bucket_bit;
|
|
|
|
u32 trailing_zeroes = 0;
|
|
|
|
|
|
|
|
bucket >>= viewed_bits;
|
|
|
|
start_bucket_bit = 0;
|
|
|
|
|
2021-12-12 03:54:45 +00:00
|
|
|
while (viewed_bits < bit_size) {
|
2021-03-04 09:49:38 +00:00
|
|
|
if (bucket == 0) {
|
|
|
|
if (free_chunks == 0) {
|
2021-12-12 03:54:45 +00:00
|
|
|
*start_of_free_chunks = bucket_index * bit_size + viewed_bits;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
2021-12-12 03:54:45 +00:00
|
|
|
free_chunks += bit_size - viewed_bits;
|
|
|
|
viewed_bits = bit_size;
|
2021-03-04 09:49:38 +00:00
|
|
|
} else {
|
2021-12-12 03:54:45 +00:00
|
|
|
trailing_zeroes = count_trailing_zeroes(bucket);
|
2021-03-04 09:49:38 +00:00
|
|
|
bucket >>= trailing_zeroes;
|
|
|
|
|
|
|
|
if (free_chunks == 0) {
|
2021-12-12 03:54:45 +00:00
|
|
|
*start_of_free_chunks = bucket_index * bit_size + viewed_bits;
|
2021-03-04 09:49:38 +00:00
|
|
|
}
|
|
|
|
free_chunks += trailing_zeroes;
|
|
|
|
viewed_bits += trailing_zeroes;
|
|
|
|
|
|
|
|
if (free_chunks >= min_length) {
|
|
|
|
return min(free_chunks, max_length);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Deleting trailing ones.
|
2021-12-12 03:54:45 +00:00
|
|
|
u32 trailing_ones = count_trailing_zeroes(~bucket);
|
2021-03-04 09:49:38 +00:00
|
|
|
bucket >>= trailing_ones;
|
|
|
|
viewed_bits += trailing_ones;
|
|
|
|
free_chunks = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (free_chunks < min_length) {
|
2021-12-12 03:54:45 +00:00
|
|
|
size_t first_trailing_bit = (m_size / bit_size) * bit_size;
|
|
|
|
size_t trailing_bits = size() % bit_size;
|
2021-03-04 09:49:38 +00:00
|
|
|
for (size_t i = 0; i < trailing_bits; ++i) {
|
|
|
|
if (!get(first_trailing_bit + i)) {
|
2021-11-06 20:12:16 +00:00
|
|
|
if (free_chunks == 0)
|
2021-03-04 09:49:38 +00:00
|
|
|
*start_of_free_chunks = first_trailing_bit + i;
|
|
|
|
if (++free_chunks >= min_length)
|
|
|
|
return min(free_chunks, max_length);
|
|
|
|
} else {
|
|
|
|
free_chunks = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
return min(free_chunks, max_length);
|
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_longest_range_of_unset_bits(size_t max_length, size_t& found_range_size) const
|
|
|
|
{
|
|
|
|
size_t start = 0;
|
|
|
|
size_t max_region_start = 0;
|
|
|
|
size_t max_region_size = 0;
|
|
|
|
|
|
|
|
while (true) {
|
|
|
|
// Look for the next block which is bigger than currunt.
|
|
|
|
auto length_of_found_range = find_next_range_of_unset_bits(start, max_region_size + 1, max_length);
|
|
|
|
if (length_of_found_range.has_value()) {
|
|
|
|
max_region_start = start;
|
|
|
|
max_region_size = length_of_found_range.value();
|
|
|
|
start += max_region_size;
|
|
|
|
} else {
|
|
|
|
// No ranges which are bigger than current were found.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
found_range_size = max_region_size;
|
2021-11-06 20:12:16 +00:00
|
|
|
if (max_region_size != 0) {
|
2021-03-04 09:49:38 +00:00
|
|
|
return max_region_start;
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_first_fit(size_t minimum_length) const
|
|
|
|
{
|
|
|
|
size_t start = 0;
|
|
|
|
auto length_of_found_range = find_next_range_of_unset_bits(start, minimum_length, minimum_length);
|
|
|
|
if (length_of_found_range.has_value()) {
|
|
|
|
return start;
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
Optional<size_t> find_best_fit(size_t minimum_length) const
|
|
|
|
{
|
|
|
|
size_t start = 0;
|
|
|
|
size_t best_region_start = 0;
|
|
|
|
size_t best_region_size = max_size;
|
|
|
|
bool found = false;
|
|
|
|
|
|
|
|
while (true) {
|
|
|
|
// Look for the next block which is bigger than requested length.
|
|
|
|
auto length_of_found_range = find_next_range_of_unset_bits(start, minimum_length, best_region_size);
|
|
|
|
if (length_of_found_range.has_value()) {
|
|
|
|
if (best_region_size > length_of_found_range.value() || !found) {
|
|
|
|
best_region_start = start;
|
|
|
|
best_region_size = length_of_found_range.value();
|
|
|
|
found = true;
|
|
|
|
}
|
|
|
|
start += length_of_found_range.value();
|
|
|
|
} else {
|
|
|
|
// There are no ranges which can fit requested length.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (found) {
|
|
|
|
return best_region_start;
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
static constexpr size_t max_size = 0xffffffff;
|
|
|
|
|
2021-11-06 15:20:18 +00:00
|
|
|
protected:
|
2021-03-04 09:49:38 +00:00
|
|
|
u8* m_data { nullptr };
|
|
|
|
size_t m_size { 0 };
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-11-26 11:18:30 +00:00
|
|
|
#if USING_AK_GLOBALLY
|
2021-03-04 09:49:38 +00:00
|
|
|
using AK::BitmapView;
|
2022-11-26 11:18:30 +00:00
|
|
|
#endif
|