denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ealanos: Added field for capacity of bits for Bit_alloc.

Browse Source
This commit is contained in:
Michael Mueller
2025-05-05 18:15:28 +02:00
parent bba40b9423
commit f8223c0626
1 changed files with 19 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
repos/ealanos/include/ealanos/util/bit_alloc.h
View File

@@ -22,6 +22,8 @@
#include <tukija/bits.h> #include <tukija/bits.h>
#include <tukija/atomic.h> #include <tukija/atomic.h>
#include <tukija/stdint.h> #include <tukija/stdint.h>
#include <base/stdint.h>
#include <base/log.h>
#define ACCESS_ONCE(x) (*static_cast<volatile typeof(x) *>(&(x))) #define ACCESS_ONCE(x) (*static_cast<volatile typeof(x) *>(&(x)))
@@ -31,6 +33,7 @@ class Bit_alloc
private: private:
Tukija::mword_t bits[C / 8 / sizeof(Tukija::mword_t)]; Tukija::mword_t bits[C / 8 / sizeof(Tukija::mword_t)];
Tukija::mword_t last { 0 }; Tukija::mword_t last { 0 };
const Genode::size_t _capacity;
enum enum
{ {
@@ -53,6 +56,17 @@ class Bit_alloc
return count; return count;
} }
Genode::size_t capacity() const {
return _capacity;
}
inline void print() const
{
for (Tukija::mword_t i = 0; i < MAX; i++) {
Genode::log("bits[", i, "] = ", bits[i]);
}
}
/** /**
* @brief Return the maximum number of bits available. * @brief Return the maximum number of bits available.
* *
@@ -60,7 +74,7 @@ class Bit_alloc
*/ */
inline Tukija::mword_t max() const { return C; } inline Tukija::mword_t max() const { return C; }
inline Bit_alloc(Tukija::mword_t count) inline Bit_alloc(Tukija::mword_t count) : _capacity(count)
{ {
static_assert(MAX * BITS_CNT == C, "bit allocator"); static_assert(MAX * BITS_CNT == C, "bit allocator");
static_assert(INV < C, "bit allocator"); static_assert(INV < C, "bit allocator");
@@ -91,6 +105,9 @@ class Bit_alloc
if (bits[i] != ~0UL && last != i) if (bits[i] != ~0UL && last != i)
last = i; last = i;
if (i*BITS_CNT+b >= _capacity)
return INV;
return i * BITS_CNT + b; return i * BITS_CNT + b;
} }
@@ -105,7 +122,7 @@ class Bit_alloc
*/ */
inline void release(Tukija::mword_t const id) inline void release(Tukija::mword_t const id)
{ {
if (id == INV || id >= C) if (id == INV || id >= _capacity)
return; return;
Tukija::mword_t i = id / BITS_CNT; Tukija::mword_t i = id / BITS_CNT;