This commit is contained in:
Able 2024-11-24 10:18:09 -06:00
parent 5c4056bc5c
commit 241139f5af
9 changed files with 118 additions and 77 deletions

View file

@ -1,4 +1,4 @@
AllocReturn := struct { AllocReturn := struct {
byte_count: uint, byte_count: uint,
ptr: ?^u8, ptr: ?^u8,
} }

View file

@ -4,70 +4,72 @@ alloc_return := @use("alloc_return.hb")
this will very quickly lead to exhaustion of free blocks. this will very quickly lead to exhaustion of free blocks.
*/ */
BlockAlloc := struct { BlockAlloc := struct {
state := uint, state: uint,
ptr := ^u8, ptr: ?^u8,
$init := fn(): Self{ $init := fn(): Self {
// request a kernel page return .(0, null)
// ptr := memory.alloc(1) }
return .(0, null)
}
// $alloc := fn(self: Self, alloc_type: Type, count: uint): alloc_return.AllocReturn {
// offset := 0
// a := 0
// loop {
// a = self.state << offset;
// // check if the `offset` bit is 1, if it is move to the next offset
// if a == 1 {
// offset += 1
// } else {
// // self it to 1 and return the ptr to the allocation
// self.state |= a
// return (ptr + (offset * 64))
// }
// // there are only 64 blocks
// if offset >= 64 {
// break;
// }
// }
// return null
// }
// $dealloc := fn(&self, ptr: ^u8, alloc_type: Type, count: uint): void {
// size := size_of(alloc_type)*count
// // get the size alligned to the nearest block
// rounded_size := nearest_block_size_rounded_up(size)
// state_bit_start := {
// // Do math here to figure out what starting ptr corresponds to what bit
// 3
// }
// offset := 0
// loop {
// if rounded_size > 0 {
// // set state_bit_start+offset to 0
// // at the end move to the next one
// offset += 1
// } else {
// break;
// }
// rounded_size -= 64
// }
// return void
// }
// $deinit := fn(&self): void {
// self.state := 0
// }
} }
// $alloc := fn(self: Self, alloc_type: Type, count: uint): alloc_return.AllocReturn {
// offset := 0
// a := 0
// loop {
// a = self.state << offset;
// // check if the `offset` bit is 1, if it is move to the next offset
// if a == 1 {
// offset += 1
// } else {
// // self it to 1 and return the ptr to the allocation
// self.state |= a
// return (ptr + (offset * 64))
// }
// // there are only 64 blocks
// if offset >= 64 {
// break;
// }
// }
// return null
// }
// request a kernel page
// ptr := memory.alloc(1)
// $dealloc := fn(&self, ptr: ^u8, alloc_type: Type, count: uint): void {
// size := size_of(alloc_type)*count
// // get the size alligned to the nearest block
// rounded_size := nearest_block_size_rounded_up(size)
// state_bit_start := {
// // Do math here to figure out what starting ptr corresponds to what bit
// 3
// }
// offset := 0
// loop {
// if rounded_size > 0 {
// // set state_bit_start+offset to 0
// // at the end move to the next one
// offset += 1
// } else {
// break;
// }
// rounded_size -= 64
// }
// return void
// }
// $deinit := fn(&self): void {
// self.state := 0
// }
// }

View file

@ -6,15 +6,15 @@ FakeAlloc := struct {
return .() return .()
} }
$alloc := fn(&self, alloc_type: Type, count: uint): alloc_return.AllocReturn { $alloc := fn(self: Self, alloc_type: type, count: uint): alloc_return.AllocReturn {
return .(0, null) return .(0, null)
} }
$dealloc := fn(&self, ptr: ^u8, alloc_type: Type, count: uint) : void{ $dealloc := fn(self: Self, ptr: ^u8, alloc_type: Type, count: uint) : void{
return void return void
} }
// Nothing to clean up here // Nothing to clean up here
$deinit := fn(&self): void { $deinit := fn(self: Self): void {
return void return void
} }
} }

View file

@ -1,2 +1,2 @@
// .{FakeAlloc} := @use("fake_alloc.hb") .{BlockAlloc} := @use("block_alloc.hb");
.{BlockAlloc} := @use("block_alloc.hb") .{FakeAlloc} := @use("fake_alloc.hb")

View file

@ -1,5 +1,5 @@
acs := @use("acs.hb") acs := @use("acs.hb")
alloc := @use("alloc/lib.hb") allocators := @use("alloc/lib.hb")
string := @use("string.hb") string := @use("string.hb")
log := @use("log.hb") log := @use("log.hb")
memory := @use("memory.hb") memory := @use("memory.hb")
@ -10,7 +10,6 @@ file := @use("file_io.hb")
dt := @use("dt.hb") dt := @use("dt.hb")
process := @use("process.hb") process := @use("process.hb")
panic := fn(message: ?^u8): never { panic := fn(message: ?^u8): never {
log.error("Error: Panic Called, Message:\0") log.error("Error: Panic Called, Message:\0")
if message == null { if message == null {

View file

@ -0,0 +1 @@
# alloc_test

View file

@ -0,0 +1,11 @@
[package]
name = "alloc_test"
authors = [""]
[dependants.libraries]
[dependants.binaries]
hblang.version = "1.0.0"
[build]
command = "hblang src/main.hb"

View file

@ -0,0 +1,25 @@
stn := @use("../../../libraries/stn/src/lib.hb");
.{allocators, panic} := stn
AStruct := struct {
a_field: u8,
}
main := fn(): void {
alloc := allocators.FakeAlloc.init()
astruct := alloc.alloc(AStruct, 2)
// if astruct.ptr != null{
// panic.panic("FakeAlloc actually allocated.")
// }
// alloc.dealloc(&astruct.ptr, AStruct, 2)
alloc.deinit()
// balloc := allocators.BlockAlloc.init()
// bstruct_ptr := balloc.alloc(AStruct, 2)
// if bstruct_ptr == null {
// panic("BlockAlloc actually didn't allocate.")
// }
// balloc.dealloc(bstruct_ptr, AStruct, 2)
// balloc.deinit()
return
}

View file

@ -22,8 +22,8 @@ resolution = "1024x768x24"
[boot.limine.ableos.modules] [boot.limine.ableos.modules]
[boot.limine.ableos.modules.render_example] # [boot.limine.ableos.modules.render_example]
path = "boot:///render_example.hbf" # path = "boot:///render_example.hbf"
# [boot.limine.ableos.modules.horizon] # [boot.limine.ableos.modules.horizon]
# path = "boot:///horizon.hbf" # path = "boot:///horizon.hbf"
@ -45,3 +45,6 @@ path = "boot:///render_example.hbf"
# [boot.limine.ableos.modules.processes] # [boot.limine.ableos.modules.processes]
# path = "boot:///processes.hbf" # path = "boot:///processes.hbf"
# [boot.limine.ableos.modules.alloc_test]
# path = "boot:///alloc_test.hbf"