2020-01-18 11:38:21 +03:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
|
|
* 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 THE COPYRIGHT HOLDERS AND CONTRIBUTORS "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 THE COPYRIGHT HOLDER 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.
|
|
|
|
*/
|
|
|
|
|
2019-05-17 04:40:15 +03:00
|
|
|
#pragma once
|
|
|
|
|
2019-09-06 16:34:26 +03:00
|
|
|
#include <AK/String.h>
|
2020-01-19 15:18:27 +03:00
|
|
|
#include <AK/Traits.h>
|
2019-05-17 04:40:15 +03:00
|
|
|
#include <AK/Vector.h>
|
2020-11-01 02:12:23 +03:00
|
|
|
#include <Kernel/SpinLock.h>
|
2020-05-16 13:00:04 +03:00
|
|
|
#include <Kernel/VirtualAddress.h>
|
2019-05-17 04:40:15 +03:00
|
|
|
|
2020-02-16 03:27:42 +03:00
|
|
|
namespace Kernel {
|
|
|
|
|
2019-05-17 04:40:15 +03:00
|
|
|
class Range {
|
|
|
|
friend class RangeAllocator;
|
2019-05-28 12:53:16 +03:00
|
|
|
|
2019-05-17 04:40:15 +03:00
|
|
|
public:
|
2020-09-18 10:49:51 +03:00
|
|
|
Range() { }
|
2019-06-07 13:56:50 +03:00
|
|
|
Range(VirtualAddress base, size_t size)
|
2019-05-17 04:40:15 +03:00
|
|
|
: m_base(base)
|
|
|
|
, m_size(size)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2019-06-07 13:56:50 +03:00
|
|
|
VirtualAddress base() const { return m_base; }
|
2019-05-17 04:40:15 +03:00
|
|
|
size_t size() const { return m_size; }
|
2019-05-17 05:02:29 +03:00
|
|
|
bool is_valid() const { return !m_base.is_null(); }
|
2019-05-17 04:40:15 +03:00
|
|
|
|
2019-06-07 13:56:50 +03:00
|
|
|
bool contains(VirtualAddress vaddr) const { return vaddr >= base() && vaddr < end(); }
|
2019-05-17 05:32:08 +03:00
|
|
|
|
2019-06-07 13:56:50 +03:00
|
|
|
VirtualAddress end() const { return m_base.offset(m_size); }
|
2019-05-17 04:40:15 +03:00
|
|
|
|
|
|
|
bool operator==(const Range& other) const
|
|
|
|
{
|
|
|
|
return m_base == other.m_base && m_size == other.m_size;
|
|
|
|
}
|
|
|
|
|
2019-06-07 13:56:50 +03:00
|
|
|
bool contains(VirtualAddress base, size_t size) const
|
2019-05-17 04:40:15 +03:00
|
|
|
{
|
2020-01-30 23:48:41 +03:00
|
|
|
if (base.offset(size) < base)
|
|
|
|
return false;
|
2019-05-17 04:40:15 +03:00
|
|
|
return base >= m_base && base.offset(size) <= end();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool contains(const Range& other) const
|
|
|
|
{
|
|
|
|
return contains(other.base(), other.size());
|
|
|
|
}
|
|
|
|
|
|
|
|
Vector<Range, 2> carve(const Range&);
|
|
|
|
|
|
|
|
private:
|
2020-02-16 10:00:08 +03:00
|
|
|
VirtualAddress m_base;
|
|
|
|
size_t m_size { 0 };
|
2019-05-17 04:40:15 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
class RangeAllocator {
|
|
|
|
public:
|
2020-01-18 01:05:37 +03:00
|
|
|
RangeAllocator();
|
2019-05-17 04:40:15 +03:00
|
|
|
~RangeAllocator();
|
|
|
|
|
2020-01-18 01:05:37 +03:00
|
|
|
void initialize_with_range(VirtualAddress, size_t);
|
|
|
|
void initialize_from_parent(const RangeAllocator&);
|
|
|
|
|
2020-02-16 14:55:56 +03:00
|
|
|
Range allocate_anywhere(size_t, size_t alignment = PAGE_SIZE);
|
2019-06-07 13:56:50 +03:00
|
|
|
Range allocate_specific(VirtualAddress, size_t);
|
2019-05-17 04:40:15 +03:00
|
|
|
void deallocate(Range);
|
|
|
|
|
|
|
|
void dump() const;
|
|
|
|
|
2020-06-02 07:55:09 +03:00
|
|
|
bool contains(const Range& range) const
|
|
|
|
{
|
2020-11-01 02:12:23 +03:00
|
|
|
ScopedSpinLock lock(m_lock);
|
2020-06-02 07:55:09 +03:00
|
|
|
return m_total_range.contains(range);
|
|
|
|
}
|
|
|
|
|
2019-05-17 04:40:15 +03:00
|
|
|
private:
|
|
|
|
void carve_at_index(int, const Range&);
|
|
|
|
|
|
|
|
Vector<Range> m_available_ranges;
|
2020-01-19 15:18:27 +03:00
|
|
|
Range m_total_range;
|
2020-11-01 02:12:23 +03:00
|
|
|
mutable SpinLock<u8> m_lock;
|
2019-05-17 04:40:15 +03:00
|
|
|
};
|
2019-08-29 21:54:50 +03:00
|
|
|
|
|
|
|
inline const LogStream& operator<<(const LogStream& stream, const Range& value)
|
|
|
|
{
|
2021-01-12 00:07:01 +03:00
|
|
|
return stream << String::formatted("Range({:08x}-{:08x})", value.base().get(), value.end().get() - 1);
|
2019-08-29 21:54:50 +03:00
|
|
|
}
|
2020-01-19 15:18:27 +03:00
|
|
|
|
2020-02-16 03:27:42 +03:00
|
|
|
}
|
|
|
|
|
2020-01-19 15:18:27 +03:00
|
|
|
namespace AK {
|
|
|
|
template<>
|
2020-02-16 03:27:42 +03:00
|
|
|
struct Traits<Kernel::Range> : public GenericTraits<Kernel::Range> {
|
2020-01-19 15:18:27 +03:00
|
|
|
static constexpr bool is_trivial() { return true; }
|
|
|
|
};
|
|
|
|
}
|