Skip to content

feat(alloc): support wait-free allocator #696

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ytakano merged 19 commits into from
Jun 19, 2026
Merged

feat(alloc): support wait-free allocator #696

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
f10cee1
Add optional wf_alloc heap backend
ytakano Jun 14, 2026
2f39140
use wf_alloc for heap memory allocation
ytakano Jun 14, 2026
2ec6121
Merge branch 'main' into wf_alloc
ytakano Jun 14, 2026
2f6748c
docs: update heap backend selection docs
ytakano Jun 15, 2026
bde218d
initialize AcpiTable before initializing heap memory
ytakano Jun 15, 2026
d4bebfc
docs: clarify wf_alloc init-failure behavior and num_cpu dependency
ytakano Jun 18, 2026
e31a233
fix(alloc): fail loudly on out-of-range cpu_id in wf_alloc dealloc
ytakano Jun 18, 2026
c2afb50
fmt
ytakano Jun 18, 2026
919688b
docs: document single-init safety contract on HeapBackend::init
ytakano Jun 18, 2026
f906a4e
feat(alloc): report heap init failure reasons instead of failing sile…
ytakano Jun 18, 2026
1cfdbce
build(alloc): reject enabling heap-tlsf and heap-wf-alloc together
ytakano Jun 18, 2026
d6976b1
refactor(x86_64): read physical_memory_offset once and pass it through
ytakano Jun 18, 2026
4e9a3dc
fix(x86_64): size heaps consistently and fail loudly on missing MADT
ytakano Jun 18, 2026
da52eab
test(alloc): add unit tests for the align_up heap-layout helper
ytakano Jun 18, 2026
471c5cd
docs: explain why Relaxed ordering is sound for primary/backup heap r…
ytakano Jun 18, 2026
94bc5e2
docs(mdbook): update memory allocator chapter for the new backend design
ytakano Jun 18, 2026
67930c8
update docs
ytakano Jun 18, 2026
e65c46c
Potential fix for pull request finding
ytakano Jun 18, 2026
6326042
docs(alloc): correct wf_alloc init-failure behavior in module docs
ytakano Jun 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .cargo/config.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ check_aarch64 = "check --package awkernel --no-default-features --features aarch
check_x86 = "check --package awkernel --no-default-features --features x86 --target targets/x86_64-kernel.json -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem -Zjson-target-spec"
check_rv32 = "check --package awkernel --no-default-features --features rv32 --target riscv32imac-unknown-none-elf -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem -Zjson-target-spec"
check_rv64 = "check --package awkernel --no-default-features --features rv64 --target riscv64gc-unknown-none-elf -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem -Zjson-target-spec"
check_no_std = "check --package awkernel -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem --quiet --message-format=json"
check_no_std = "check --package awkernel -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem --quiet --message-format=json -Zjson-target-spec"
check_std = "check --package awkernel --no-default-features --features std"

doc_raspi = "doc --package awkernel --no-default-features --features raspi --target targets/aarch64-kernel.json -Zbuild-std=core,alloc,compiler_builtins -Zbuild-std-features=compiler-builtins-mem -Zjson-target-spec"
Expand Down
9 changes: 8 additions & 1 deletion awkernel_lib/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,12 @@ bitflags = "2.3"
array-macro = "2.1"
embedded-graphics-core = "0.4"
embedded-graphics = "0.8"
chrono = { version = "0.4", default-features = false, features = ["clock"], optional = true }
chrono = { version = "0.4", default-features = false, features = [
"clock",
], optional = true }

[target.'cfg(any(target_arch = "x86_64", target_arch = "aarch64"))'.dependencies]
wf_alloc = { version = "0.1.2", default-features = false, optional = true }

[dependencies.awkernel_sync]
git = "https://github.com/tier4/awkernel_sync.git"
Expand Down Expand Up @@ -77,6 +82,8 @@ features = [

[features]
default = ["x86"]
heap-tlsf = []
heap-wf-alloc = ["dep:wf_alloc"]
x86 = [
"dep:x86_64",
"dep:acpi",
Expand Down
Loading
Loading