mirror of
https://github.com/panpaul/tiny_os
synced 2024-09-20 09:45:19 +08:00
feat: add bitmap frame allocator
This commit is contained in:
parent
2ace3f14e1
commit
bc71fa35f5
34
Cargo.lock
generated
34
Cargo.lock
generated
@ -2,6 +2,12 @@
|
||||
# It is not intended for manual editing.
|
||||
version = 3
|
||||
|
||||
[[package]]
|
||||
name = "autocfg"
|
||||
version = "1.1.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa"
|
||||
|
||||
[[package]]
|
||||
name = "bit_field"
|
||||
version = "0.10.2"
|
||||
@ -26,7 +32,17 @@ version = "1.4.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
|
||||
dependencies = [
|
||||
"spin",
|
||||
"spin 0.5.2",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "lock_api"
|
||||
version = "0.4.11"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "3c168f8615b12bc01f9c17e2eb0cc07dcae1940121185446edc3744920e8ef45"
|
||||
dependencies = [
|
||||
"autocfg",
|
||||
"scopeguard",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
@ -68,12 +84,27 @@ dependencies = [
|
||||
"static_assertions",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "scopeguard"
|
||||
version = "1.2.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
|
||||
|
||||
[[package]]
|
||||
name = "spin"
|
||||
version = "0.5.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "6e63cff320ae2c57904679ba7cb63280a3dc4613885beafb148ee7bf9aa9042d"
|
||||
|
||||
[[package]]
|
||||
name = "spin"
|
||||
version = "0.9.8"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67"
|
||||
dependencies = [
|
||||
"lock_api",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "static_assertions"
|
||||
version = "1.1.0"
|
||||
@ -88,6 +119,7 @@ dependencies = [
|
||||
"lazy_static",
|
||||
"log",
|
||||
"sbi-rt",
|
||||
"spin 0.9.8",
|
||||
"static_assertions",
|
||||
"uart_16550",
|
||||
]
|
||||
|
@ -27,5 +27,6 @@ bitflags = "2.4.1"
|
||||
lazy_static = { version = "1.4.0", features = ["spin_no_std"] }
|
||||
log = "0.4"
|
||||
sbi-rt = { version = "0.0.2", features = ["legacy"] }
|
||||
spin = "0.9.8"
|
||||
static_assertions = "1.1.0"
|
||||
uart_16550 = "0.3"
|
||||
|
@ -1,2 +1,9 @@
|
||||
pub const PAGE_SIZE: usize = 4096;
|
||||
pub const KERNEL_MEM_START: usize = 0x8030_0000;
|
||||
|
||||
// TODO: currently a dummy value, figure out our memory layout
|
||||
pub const TRAPFRAME: usize = 0x8000_0000;
|
||||
|
||||
extern "C" {
|
||||
static __kernel_end: u8;
|
||||
}
|
||||
|
@ -56,4 +56,6 @@ SECTIONS {
|
||||
/DISCARD/ : {
|
||||
*(.eh_frame)
|
||||
}
|
||||
|
||||
__kernel_end = .;
|
||||
}
|
||||
|
@ -2,10 +2,9 @@
|
||||
#[path = "board/virt/mod.rs"]
|
||||
mod board;
|
||||
|
||||
mod layout;
|
||||
|
||||
pub mod entry;
|
||||
pub mod io;
|
||||
pub mod layout;
|
||||
pub mod lowlevel;
|
||||
pub mod mm;
|
||||
pub mod trap;
|
||||
|
@ -1,4 +1,4 @@
|
||||
use core::fmt::{Debug, Formatter, LowerHex, Result, UpperHex};
|
||||
use core::fmt::{Debug, Display, Formatter, LowerHex, Result, UpperHex};
|
||||
use core::hash::Hash;
|
||||
use core::ops::{Add, AddAssign, Sub, SubAssign};
|
||||
|
||||
@ -180,6 +180,12 @@ impl Debug for PhysAddr {
|
||||
}
|
||||
}
|
||||
|
||||
impl Display for PhysAddr {
|
||||
fn fmt(&self, f: &mut Formatter) -> Result {
|
||||
write!(f, "{:#x}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl LowerHex for PhysAddr {
|
||||
fn fmt(&self, f: &mut Formatter) -> Result {
|
||||
write!(f, "{:#x}", self.0)
|
||||
@ -198,6 +204,12 @@ impl Debug for VirtAddr {
|
||||
}
|
||||
}
|
||||
|
||||
impl Display for VirtAddr {
|
||||
fn fmt(&self, f: &mut Formatter) -> Result {
|
||||
write!(f, "{:#x}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl LowerHex for VirtAddr {
|
||||
fn fmt(&self, f: &mut Formatter) -> Result {
|
||||
write!(f, "{:#x}", self.0)
|
||||
|
112
src/mm/bitmap.rs
Normal file
112
src/mm/bitmap.rs
Normal file
@ -0,0 +1,112 @@
|
||||
pub trait BitmapOps: Copy + Clone {
|
||||
const CAPACITY: usize;
|
||||
const DEFAULT: Self;
|
||||
// a workaround for const fn new()
|
||||
fn alloc(&mut self) -> Option<usize>;
|
||||
fn dealloc(&mut self, index: usize);
|
||||
}
|
||||
|
||||
const BITS_PER_LEVEL: usize = 32;
|
||||
|
||||
#[derive(Copy, Clone)]
|
||||
pub struct Bitmap32(u32);
|
||||
|
||||
impl BitmapOps for Bitmap32 {
|
||||
const CAPACITY: usize = u32::BITS as usize;
|
||||
const DEFAULT: Self = Self(0);
|
||||
|
||||
fn alloc(&mut self) -> Option<usize> {
|
||||
// fast-path
|
||||
let i = self.0.trailing_zeros() as usize;
|
||||
if i > 0 {
|
||||
self.0 |= 1u32 << (i - 1);
|
||||
return Some(i - 1);
|
||||
}
|
||||
|
||||
// check full
|
||||
if self.0 == u32::MAX {
|
||||
return None;
|
||||
}
|
||||
|
||||
// slow-path
|
||||
for i in (0..BITS_PER_LEVEL).rev() {
|
||||
if self.0 & (1 << i) == 0 {
|
||||
self.0 |= 1 << i;
|
||||
return Some(i);
|
||||
}
|
||||
}
|
||||
|
||||
return None;
|
||||
}
|
||||
|
||||
fn dealloc(&mut self, index: usize) {
|
||||
if index < BITS_PER_LEVEL {
|
||||
self.0 &= !(1 << index);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Copy, Clone)]
|
||||
pub struct Bitmap<B: BitmapOps> {
|
||||
bits: u32,
|
||||
next: [B; BITS_PER_LEVEL],
|
||||
}
|
||||
|
||||
impl<B: BitmapOps> BitmapOps for Bitmap<B> {
|
||||
const CAPACITY: usize = BITS_PER_LEVEL * B::CAPACITY;
|
||||
const DEFAULT: Self = Self {
|
||||
bits: 0,
|
||||
next: [B::DEFAULT; BITS_PER_LEVEL],
|
||||
};
|
||||
|
||||
fn alloc(&mut self) -> Option<usize> {
|
||||
if self.bits == u32::MAX {
|
||||
return None;
|
||||
}
|
||||
|
||||
// fast-path
|
||||
loop {
|
||||
let i = self.bits.leading_zeros() as usize;
|
||||
if i == 0 {
|
||||
break;
|
||||
}
|
||||
|
||||
if let Some(index) = self.alloc_index(i - 1) {
|
||||
return Some(index);
|
||||
}
|
||||
}
|
||||
|
||||
// slow-path
|
||||
for i in (0..BITS_PER_LEVEL).rev() {
|
||||
if self.bits & (1 << i) == 0 {
|
||||
if let Some(index) = self.alloc_index(i) {
|
||||
return Some(index);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
return None;
|
||||
}
|
||||
|
||||
fn dealloc(&mut self, index: usize) {
|
||||
let i = index / B::CAPACITY;
|
||||
if i < BITS_PER_LEVEL {
|
||||
self.next[i].dealloc(index % B::CAPACITY);
|
||||
self.bits &= !(1 << i);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl<B: BitmapOps> Bitmap<B> {
|
||||
fn alloc_index(&mut self, i: usize) -> Option<usize> {
|
||||
if let Some(sub) = self.next[i].alloc() {
|
||||
return Some(i * B::CAPACITY + sub);
|
||||
}
|
||||
self.bits |= 1 << i;
|
||||
return None;
|
||||
}
|
||||
}
|
||||
|
||||
pub type Bitmap1K = Bitmap<Bitmap32>;
|
||||
pub type Bitmap32K = Bitmap<Bitmap1K>;
|
||||
pub type Bitmap1M = Bitmap<Bitmap32K>;
|
31
src/mm/frame.rs
Normal file
31
src/mm/frame.rs
Normal file
@ -0,0 +1,31 @@
|
||||
use spin::mutex::SpinMutex;
|
||||
|
||||
use crate::arch::layout::*;
|
||||
use crate::mm::addr::{AddressOps, PhysAddr};
|
||||
use crate::mm::bitmap::{Bitmap1K, BitmapOps};
|
||||
|
||||
// TODO: allow to switch allocator between `BitmapXX` and `FreeList`
|
||||
// 1k * 4k = 4MB, currently enough for kernel data
|
||||
static ALLOCATOR: SpinMutex<Bitmap1K> = SpinMutex::new(Bitmap1K::DEFAULT);
|
||||
|
||||
pub trait FrameOps {
|
||||
fn alloc(&self) -> Option<PhysAddr>;
|
||||
fn dealloc(&self, addr: PhysAddr);
|
||||
}
|
||||
|
||||
pub struct FrameAllocator;
|
||||
|
||||
impl FrameOps for FrameAllocator {
|
||||
fn alloc(&self) -> Option<PhysAddr> {
|
||||
ALLOCATOR
|
||||
.lock()
|
||||
.alloc()
|
||||
.map(|i| PhysAddr((i * PAGE_SIZE) + KERNEL_MEM_START))
|
||||
}
|
||||
|
||||
fn dealloc(&self, addr: PhysAddr) {
|
||||
ALLOCATOR
|
||||
.lock()
|
||||
.dealloc((addr.as_usize() - KERNEL_MEM_START) / PAGE_SIZE);
|
||||
}
|
||||
}
|
@ -1,2 +1,4 @@
|
||||
pub mod addr;
|
||||
mod bitmap;
|
||||
pub mod frame;
|
||||
pub mod page;
|
||||
|
Loading…
Reference in New Issue
Block a user