transmission/libtransmission/bitfield.h

160 lines
4.6 KiB
C++

// This file Copyright © 2008-2023 Mnemosyne LLC.
// It may be used under GPLv2 (SPDX: GPL-2.0-only), GPLv3 (SPDX: GPL-3.0-only),
// or any future license endorsed by Mnemosyne LLC.
// License text can be found in the licenses/ folder.
#pragma once
#ifndef __TRANSMISSION__
#error only libtransmission should #include this header.
#endif
#include <cstddef> // size_t
#include <cstdint> // uint8_t
#include <vector> // std::vector
#include "tr-macros.h" // TR_CONSTEXPR20
/**
* @brief Implementation of the BitTorrent spec's Bitfield array of bits.
*
* This is for tracking the pieces a peer has. Its functionality is like
* a bitset or vector<bool> with some added use cases:
*
* - It needs to be able to read/write the left-to-right bitfield format
* specified in the bittorrent spec. This is what raw() and getRaw()
* are for.
*
* - "Have all" is a special case where we know the peer has all the
* pieces and don't need to check the bit array. This is useful since
* (a) it's very common (i.e. seeds) and saves memory and work of
* allocating a bit array and doing lookups, and (b) if we have a
* magnet link and haven't gotten the metainfo yet, we may not know
* how many pieces there are -- but we can still know "this peer has
* all of them".
*
* - "Have none" is another special case that has the same advantages
* and motivations as "Have all".
*/
class tr_bitfield
{
public:
explicit tr_bitfield(size_t bit_count);
void set_has_all() noexcept;
void set_has_none() noexcept;
// set one or more bits
void set(size_t nth, bool value = true);
void set_span(size_t begin, size_t end, bool value = true);
void unset(size_t bit)
{
set(bit, false);
}
void unset_span(size_t begin, size_t end)
{
set_span(begin, end, false);
}
void set_from_bools(bool const* flags, size_t n);
// "raw" here is in BEP0003 format: "The first byte of the bitfield
// corresponds to indices 0 - 7 from high bit to low bit, respectively.
// The next one 8-15, etc. Spare bits at the end are set to zero."
void set_raw(uint8_t const* raw, size_t byte_count);
[[nodiscard]] std::vector<uint8_t> raw() const;
[[nodiscard]] constexpr bool has_all() const noexcept
{
return have_all_hint_ || (bit_count_ > 0 && bit_count_ == true_count_);
}
[[nodiscard]] constexpr bool has_none() const noexcept
{
return have_none_hint_ || (bit_count_ > 0 && true_count_ == 0);
}
[[nodiscard]] TR_CONSTEXPR20 bool test(size_t bit) const
{
return has_all() || (!has_none() && test_flag(bit));
}
[[nodiscard]] constexpr size_t count() const noexcept
{
return true_count_;
}
[[nodiscard]] size_t count(size_t begin, size_t end) const;
[[nodiscard]] constexpr size_t size() const noexcept
{
return bit_count_;
}
[[nodiscard]] constexpr bool empty() const noexcept
{
return size() == 0;
}
[[nodiscard]] bool is_valid() const;
[[nodiscard]] constexpr auto percent() const noexcept
{
if (has_all())
{
return 1.0F;
}
if (has_none() || empty())
{
return 0.0F;
}
return static_cast<float>(count()) / size();
}
tr_bitfield& operator|=(tr_bitfield const& that) noexcept;
tr_bitfield& operator&=(tr_bitfield const& that) noexcept;
[[nodiscard]] bool intersects(tr_bitfield const& that) const noexcept;
private:
[[nodiscard]] size_t count_flags() const noexcept;
[[nodiscard]] size_t count_flags(size_t begin, size_t end) const noexcept;
[[nodiscard]] TR_CONSTEXPR20 bool test_flag(size_t n) const
{
if (n >> 3U >= std::size(flags_))
{
return false;
}
return (flags_[n >> 3U] << (n & 7U) & 0x80) != 0;
}
void ensure_bits_alloced(size_t n);
[[nodiscard]] bool ensure_nth_bit_alloced(size_t nth);
void free_array() noexcept
{
// move-assign to ensure the reserve memory is cleared
flags_ = std::vector<uint8_t>{};
}
void increment_true_count(size_t inc) noexcept;
void decrement_true_count(size_t dec) noexcept;
void set_true_count(size_t n) noexcept;
void rebuild_true_count() noexcept
{
set_true_count(count_flags());
}
std::vector<uint8_t> flags_;
size_t bit_count_ = 0;
size_t true_count_ = 0;
/* Special cases for when full or empty but we don't know the bitCount.
This occurs when a magnet link's peers send have all / have none */
bool have_all_hint_ = false;
bool have_none_hint_ = false;
};