Add documentation about what we cannot implement #198

New Issue

aniva · 2025-04-27T10:04:57-07:00

aniva commented

2025-04-27 10:04:57 -07:00

Preemptive scheduling: Terminating a thread causes unbounded memory leaks
Allocators: Prefer using cgroups, vide https://leanprover.zulipchat.com/#narrow/channel/341532-lean4-dev/topic/Prevent.20memory.20exhaustion/near/514664428

- Preemptive scheduling: Terminating a thread causes unbounded memory leaks - Allocators: Prefer using cgroups, vide https://leanprover.zulipchat.com/#narrow/channel/341532-lean4-dev/topic/Prevent.20memory.20exhaustion/near/514664428

aniva added this to the 0.3.1 milestone 2025-04-27 10:04:57 -07:00

aniva added the

category

doc

label 2025-04-27 10:04:57 -07:00

aniva self-assigned this 2025-04-27 10:04:57 -07:00

aniva referenced this issue

2025-05-01 09:30:44 -07:00

doc: Add design limitations about memory #200

aniva added a new dependency 2025-05-01 10:41:09 -07:00

#200 doc: Add design limitations about memory

aniva commented

2025-05-01 10:41:11 -07:00

#200

aniva closed this issue

2025-05-01 10:41:11 -07:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Depends on

#200 doc: Add design limitations about memory

aniva/Pantograph

Reference: aniva/Pantograph#198