160 lines
4.6 KiB
C++
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;
|
|
};
|