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
  manage a frame which has the same lifecycle as the tracker
• KERNEL_SPACE
  a memory set instance through lazy_static! managing kernel space
• MapPermission
  map permission corresponding to that in pte: R W X U
• MemorySet
  memory set structure, controls virtual-memory 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 frame
• init
  initiate heap allocator, frame allocator and kernel space
• remap_test
  Check PageTable running correctly
• translated_byte_buffer
  translate a pointer to a mutable u8 Vec through page table
• translated_refmut
  translate a generic through page table and return a mutable reference
• translated_str
  translate a pointer to a mutable u8 Vec end with \0 through page table to a String