Module os::mm

Memory management implementation

SV39 page-based virtual-memory architecture for RV64 systems, and everything about memory management, like frame allocator, page table, map area and memory set, is implemented here.

Every task or process has a memory_set to control its virtual memory.

Re-exports

• pub use memory_set::KERNEL_SPACE;
• pub use memory_set::KERNEL_SPACE;

Modules

• address 🔒
  Implementation of physical and virtual address and page number.
• frame_allocator 🔒
  Implementation of FrameAllocator which controls all the frames in the operating system.
• heap_allocator 🔒
  The global allocator
• memory_set 🔒
  Implementation of MapArea and MemorySet.
• page_table 🔒
  Implementation of PageTableEntry and PageTable.

Structs

• FrameTracker
  tracker for physical page frame allocation and deallocation
• KERNEL_SPACE
  The kernel’s initial memory mapping(kernel address space)
• MapPermission
  map permission corresponding to that in pte: R W X U
• MemorySet
  address space
• PageTableEntry
  page table entry structure
• PhysAddr
  physical address
• PhysPageNum
  physical page number
• VirtAddr
  virtual address
• VirtPageNum
  virtual page number

Functions

• frame_alloc
  Allocate a physical page frame in FrameTracker style
• init
  initiate heap allocator, frame allocator and kernel space
• remap_test
  remap test in kernel space
• translated_byte_buffer
  Translate&Copy a ptru8 array with LENGTH len to a mutable u8 Vec through page table
• translated_refmut
  Translate a ptru8 array through page table and return a mutable reference of T
• translated_str
  Translate&Copy a ptru8 array end with \0 to a String Vec through page table