mirror of
https://github.com/sgmarz/osblog.git
synced 2024-11-24 02:16:19 +04:00
Added virtual memory allocation.
This commit is contained in:
parent
26e37d33d3
commit
c5179e60d6
@ -3,49 +3,83 @@
|
||||
// Stephen Marz
|
||||
// 27 Nov 2019
|
||||
|
||||
use crate::cpu::TrapFrame;
|
||||
use crate::page::{alloc, dealloc};
|
||||
use crate::{cpu::TrapFrame,
|
||||
page::{alloc, dealloc, Table, PAGE_SIZE}};
|
||||
use alloc::collections::linked_list::LinkedList;
|
||||
|
||||
const STACK_PAGES: usize = 2;
|
||||
|
||||
// Here, we store a process list. It uses the global allocator
|
||||
// that we made before and its job is to store all processes.
|
||||
// We will have this list OWN the process. So, anytime we want
|
||||
// the process, we will consult the process list.
|
||||
static mut PROCESS_LIST: LinkedList<Process> = LinkedList::new();
|
||||
// CURRENT will store the PID of the process on a given hart. I'm
|
||||
// statically allocating a slot per CPU, but we could easily create
|
||||
// a vector here based on the number of CPUs.
|
||||
static mut CURRENT: [u16; 2] = [0; 2];
|
||||
|
||||
/// Get the currently running process on a given hart. Essentially,
|
||||
/// we have to convert the PID to the actual process.
|
||||
pub fn current(hartid: usize) -> Option<&'static Process> {
|
||||
unsafe {
|
||||
if CURRENT.len() > hartid && CURRENT[hartid] != 0 {
|
||||
for i in PROCESS_LIST.iter() {
|
||||
if i.pid == CURRENT[hartid] {
|
||||
return Some(i);
|
||||
}
|
||||
}
|
||||
}
|
||||
None
|
||||
}
|
||||
}
|
||||
/// Get the currently running process as a mutable reference. If we
|
||||
/// don't need to change the Process, use current().
|
||||
pub fn current_mut(hartid: usize) -> Option<&'static mut Process> {
|
||||
unsafe {
|
||||
if CURRENT.len() > hartid && CURRENT[hartid] != 0 {
|
||||
for i in PROCESS_LIST.iter_mut() {
|
||||
if i.pid == CURRENT[hartid] {
|
||||
return Some(i);
|
||||
}
|
||||
}
|
||||
}
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
/// We will eventually move this function out of here, but its
|
||||
/// job is just to take a slot in the process list.
|
||||
fn init_process() {
|
||||
loop {
|
||||
unsafe {
|
||||
asm!("wfi");
|
||||
}
|
||||
}
|
||||
loop {
|
||||
unsafe {
|
||||
asm!("wfi");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/// Add a process given a function address and then
|
||||
/// push it onto the LinkedList. Uses Process::new_default
|
||||
/// to create a new stack, etc.
|
||||
pub fn add_process_default(pr: fn()) {
|
||||
unsafe {
|
||||
let p = Process::new_default(pr);
|
||||
PROCESS_LIST.push_back(p);
|
||||
}
|
||||
unsafe {
|
||||
let p = Process::new_default(pr);
|
||||
PROCESS_LIST.push_back(p);
|
||||
}
|
||||
}
|
||||
|
||||
// This should only be called once, and its job is to create
|
||||
// the init process. Right now, this process is in the kernel,
|
||||
// but later, it should call the shell.
|
||||
pub fn init() {
|
||||
add_process_default(init_process);
|
||||
unsafe {
|
||||
let p = PROCESS_LIST.back();
|
||||
if let Some(pd) = p {
|
||||
// Put the initial process on the first CPU.
|
||||
CURRENT[0] = pd.pid;
|
||||
}
|
||||
}
|
||||
add_process_default(init_process);
|
||||
unsafe {
|
||||
let p = PROCESS_LIST.back();
|
||||
if let Some(pd) = p {
|
||||
// Put the initial process on the first CPU.
|
||||
CURRENT[0] = pd.pid;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// Our process must be able to sleep, wait, or run.
|
||||
@ -55,10 +89,10 @@ pub fn init() {
|
||||
// Dead - We should never get here, but we can flag a process as Dead and clean
|
||||
// it out of the list later.
|
||||
pub enum ProcessState {
|
||||
Running,
|
||||
Sleeping,
|
||||
Waiting,
|
||||
Dead
|
||||
Running,
|
||||
Sleeping,
|
||||
Waiting,
|
||||
Dead,
|
||||
}
|
||||
|
||||
// Let's represent this in C ABI. We do this
|
||||
@ -68,70 +102,82 @@ pub enum ProcessState {
|
||||
// C-style ABI.
|
||||
#[repr(C)]
|
||||
pub struct Process {
|
||||
frame: TrapFrame,
|
||||
stack: *mut u8,
|
||||
program_counter: usize,
|
||||
pid: u16,
|
||||
state: ProcessState,
|
||||
data: ProcessData,
|
||||
frame: TrapFrame,
|
||||
stack: *mut u8,
|
||||
program_counter: usize,
|
||||
pid: u16,
|
||||
root: *mut Table,
|
||||
state: ProcessState,
|
||||
data: ProcessData,
|
||||
}
|
||||
|
||||
impl Process {
|
||||
pub fn new_default(func: fn()) -> Self {
|
||||
// This probably shouldn't go here, but we need to calculate
|
||||
// a new PID. For now, this just takes the bottom of the list
|
||||
// and adds one to the PID. We assume that we're sorting the
|
||||
// list in increasing PID order.
|
||||
let pd;
|
||||
unsafe {
|
||||
let plb = PROCESS_LIST.back();
|
||||
if let Some(p) = plb {
|
||||
pd = p.pid + 1;
|
||||
}
|
||||
else {
|
||||
// If the list is empty, we allocate pid 1.
|
||||
pd = 1
|
||||
}
|
||||
}
|
||||
// Now that we have a PID, let's create a new process.
|
||||
// We set the process as waiting so that whomever called us
|
||||
// can wake it up themselves. This allows us to take our time
|
||||
// and allocate the process.
|
||||
Process {
|
||||
frame: TrapFrame::zero(),
|
||||
stack: alloc(1),
|
||||
program_counter: func as usize,
|
||||
pid: pd,
|
||||
state: ProcessState::Waiting,
|
||||
data: ProcessData::zero()
|
||||
}
|
||||
}
|
||||
pub fn new_default(func: fn()) -> Self {
|
||||
// This probably shouldn't go here, but we need to calculate
|
||||
// a new PID. For now, this just takes the bottom of the list
|
||||
// and adds one to the PID. We assume that we're sorting the
|
||||
// list in increasing PID order.
|
||||
|
||||
// Rust will automatically determine the data type of pd.
|
||||
// Since we don't know what value pd will take until we check
|
||||
// an unsafe operation, we forward declare it here and let
|
||||
// Rust figure it out later.
|
||||
let pd;
|
||||
unsafe {
|
||||
let plb = PROCESS_LIST.back();
|
||||
if let Some(p) = plb {
|
||||
pd = p.pid + 1;
|
||||
}
|
||||
else {
|
||||
// If the list is empty, we allocate pid 1.
|
||||
pd = 1
|
||||
}
|
||||
}
|
||||
// Now that we have a PID, let's create a new process.
|
||||
// We set the process as waiting so that whomever called us
|
||||
// can wake it up themselves. This allows us to take our time
|
||||
// and allocate the process.
|
||||
let mut ret_proc =
|
||||
Process { frame: TrapFrame::zero(),
|
||||
stack: alloc(STACK_PAGES),
|
||||
program_counter: func as usize,
|
||||
pid: pd,
|
||||
root: alloc(1) as *mut Table,
|
||||
state: ProcessState::Waiting,
|
||||
data: ProcessData::zero(), };
|
||||
// Now we move the stack pointer to the bottom of the
|
||||
// allocation. The spec shows that register x2 (2) is the stack
|
||||
// pointer.
|
||||
// We could use ret_proc.stack.add, but that's an unsafe
|
||||
// function which would require an unsafe block. So, convert it
|
||||
// to usize first and then add PAGE_SIZE is better.
|
||||
ret_proc.frame.regs[2] =
|
||||
ret_proc.stack as usize + PAGE_SIZE * STACK_PAGES;
|
||||
ret_proc
|
||||
}
|
||||
}
|
||||
|
||||
// Since we're storing ownership of a Process in the linked list,
|
||||
// we can cause it to deallocate automatically when it is removed.
|
||||
impl Drop for Process {
|
||||
fn drop(&mut self) {
|
||||
// We allocate the stack as a page.
|
||||
dealloc(self.stack);
|
||||
}
|
||||
fn drop(&mut self) {
|
||||
// We allocate the stack as a page.
|
||||
dealloc(self.stack);
|
||||
}
|
||||
}
|
||||
|
||||
// The private data in a process contains information
|
||||
// that is relevant to where we are, including the path
|
||||
// and open file descriptors.
|
||||
pub struct ProcessData {
|
||||
cwd_path: [u8; 128],
|
||||
cwd_path: [u8; 128],
|
||||
}
|
||||
|
||||
// This is private data that we can query with system calls.
|
||||
// If we want to implement CFQ (completely fair queuing), which
|
||||
// is a per-process block queuing algorithm, we can put that here.
|
||||
impl ProcessData {
|
||||
pub fn zero() -> Self {
|
||||
ProcessData {
|
||||
cwd_path: [0; 128],
|
||||
}
|
||||
}
|
||||
pub fn zero() -> Self {
|
||||
ProcessData { cwd_path: [0; 128], }
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user