Keyboard Shortcuts
- "+shortcuts+"
fn:) to \
- restrict the search to a given item kind.","Accepted kinds are: fn, mod, struct, \
- enum, trait, type, macro, \
- and const.","Search functions by type signature (e.g., vec -> usize or \
- -> vec)","Search multiple things at once by splitting your query with comma (e.g., \
- str,u8 or String,struct:Vec,test)","You can look for items with an exact name by putting double quotes around \
- your request: \"string\"","Look for items inside another one by searching for a path: vec::Vec",].map(x=>""+x+"
").join("");const div_infos=document.createElement("div");addClass(div_infos,"infos");div_infos.innerHTML="Search Tricks
"+infos;const rustdoc_version=document.createElement("span");rustdoc_version.className="bottom";const rustdoc_version_code=document.createElement("code");rustdoc_version_code.innerText="rustdoc "+getVar("rustdoc-version");rustdoc_version.appendChild(rustdoc_version_code);const container=document.createElement("div");container.className="popover";container.style.display="none";const side_by_side=document.createElement("div");side_by_side.className="side-by-side";side_by_side.appendChild(div_shortcuts);side_by_side.appendChild(div_infos);container.appendChild(book_info);container.appendChild(side_by_side);container.appendChild(rustdoc_version);const help_button=getHelpButton();help_button.appendChild(container);container.onblur=helpBlurHandler;container.onclick=event=>{event.preventDefault()};help_button.onblur=helpBlurHandler;help_button.children[0].onblur=helpBlurHandler;return container}window.hidePopoverMenus=function(){onEachLazy(document.querySelectorAll(".search-container .popover"),elem=>{elem.style.display="none"})};function getHelpMenu(buildNeeded){let menu=getHelpButton().querySelector(".popover");if(!menu&&buildNeeded){menu=buildHelpMenu()}return menu}function showHelp(){const menu=getHelpMenu(true);if(menu.style.display==="none"){window.hidePopoverMenus();menu.style.display=""}}document.querySelector(`#${HELP_BUTTON_ID} > button`).addEventListener("click",event=>{const target=event.target;if(target.tagName!=="BUTTON"||target.parentElement.id!==HELP_BUTTON_ID){return}const menu=getHelpMenu(true);const shouldShowHelp=menu.style.display==="none";if(shouldShowHelp){showHelp()}else{window.hidePopoverMenus()}});setMobileTopbar();addSidebarItems();addSidebarCrates();onHashChange(null);window.addEventListener("hashchange",onHashChange);searchState.setup()}());(function(){let reset_button_timeout=null;window.copy_path=but=>{const parent=but.parentElement;const path=[];onEach(parent.childNodes,child=>{if(child.tagName==="A"){path.push(child.textContent)}});const el=document.createElement("textarea");el.value=path.join("::");el.setAttribute("readonly","");el.style.position="absolute";el.style.left="-9999px";document.body.appendChild(el);el.select();document.execCommand("copy");document.body.removeChild(el);but.children[0].style.display="none";let tmp;if(but.childNodes.length<2){tmp=document.createTextNode("✓");but.appendChild(tmp)}else{onEachLazy(but.childNodes,e=>{if(e.nodeType===Node.TEXT_NODE){tmp=e;return true}});tmp.textContent="✓"}if(reset_button_timeout!==null){window.clearTimeout(reset_button_timeout)}function reset_button(){tmp.textContent="";reset_button_timeout=null;but.children[0].style.display=""}reset_button_timeout=window.setTimeout(reset_button,1000)}}()) \ No newline at end of file diff --git a/ch3-coop/noscript.css b/ch3-coop/noscript.css deleted file mode 100644 index d850bb381..000000000 --- a/ch3-coop/noscript.css +++ /dev/null @@ -1 +0,0 @@ - #main-content .attributes{margin-left:0 !important;}#copy-path{display:none;}.sub{display:none;} \ No newline at end of file diff --git a/ch3-coop/os/all.html b/ch3-coop/os/all.html index e9560a159..7cd0cc54a 100644 --- a/ch3-coop/os/all.html +++ b/ch3-coop/os/all.html @@ -1 +1,2 @@ -
List of all items
Structs
- board::RISCV64
- console::Stdout
- loader::KernelStack
- loader::UserStack
- sync::up::UPSafeCell
- task::TASK_MANAGER
- task::TaskContext
- task::TaskManager
- task::TaskManagerInner
- task::context::TaskContext
- task::task::TaskControlBlock
- trap::TrapContext
- trap::context::TrapContext
Enums
Traits
Macros
Functions
- board::exit_code_encode
- clear_bss
- console::print
- lang_items::panic
- loader::get_base_i
- loader::get_num_app
- loader::init_app_cx
- loader::load_apps
- rust_main
- sbi::console_putchar
- sbi::sbi_call
- sbi::shutdown
- syscall::fs::sys_write
- syscall::process::sys_exit
- syscall::process::sys_yield
- syscall::syscall
- task::exit_current_and_run_next
- task::mark_current_exited
- task::mark_current_suspended
- task::run_first_task
- task::run_next_task
- task::suspend_current_and_run_next
- task::switch::__switch
- trap::init
- trap::trap_handler
Statics
Constants
- board::EXIT_FAILURE
- board::EXIT_FAILURE_FLAG
- board::EXIT_RESET
- board::EXIT_SUCCESS
- board::QEMU_EXIT_HANDLE
- board::VIRT_TEST
- config::APP_BASE_ADDRESS
- config::APP_SIZE_LIMIT
- config::KERNEL_STACK_SIZE
- config::MAX_APP_NUM
- config::USER_STACK_SIZE
- sbi::SBI_CONSOLE_PUTCHAR
- syscall::SYSCALL_EXIT
- syscall::SYSCALL_WRITE
- syscall::SYSCALL_YIELD
- syscall::fs::FD_STDOUT
List of all items
Structs
- console::Stdout
- loader::KernelStack
- loader::UserStack
- sync::up::UPSafeCell
- task::TASK_MANAGER
- task::TaskContext
- task::TaskManager
- task::TaskManagerInner
- task::context::TaskContext
- task::task::TaskControlBlock
- trap::TrapContext
- trap::context::TrapContext
Enums
Macros
Functions
- clear_bss
- console::print
- lang_items::panic
- loader::get_base_i
- loader::get_num_app
- loader::init_app_cx
- loader::load_apps
- rust_main
- sbi::console_getchar
- sbi::console_putchar
- sbi::shutdown
- syscall::fs::sys_write
- syscall::process::sys_exit
- syscall::process::sys_yield
- syscall::syscall
- task::exit_current_and_run_next
- task::mark_current_exited
- task::mark_current_suspended
- task::run_first_task
- task::run_next_task
- task::suspend_current_and_run_next
- task::switch::__switch
- trap::init
- trap::trap_handler
Statics
Constants
pub struct RISCV64 {
- addr: u64,
-}Expand description
RISCV64 configuration
-Fields
addr: u64Address of the sifive_test mapped device.
-Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for RISCV64
impl Send for RISCV64
impl Sync for RISCV64
impl Unpin for RISCV64
impl UnwindSafe for RISCV64
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-pub trait QEMUExit {
- fn exit(&self, code: u32) -> !;
- fn exit_success(&self) -> !;
- fn exit_failure(&self) -> !;
-}Required Methods
Exit with specified return code.
-Note: For X86, code is binary-OR’ed with 0x1 inside QEMU.
fn exit_success(&self) -> !
fn exit_success(&self) -> !
Exit QEMU using EXIT_SUCCESS, aka 0, if possible.
Note: Not possible for X86.
fn exit_failure(&self) -> !
fn exit_failure(&self) -> !
Exit QEMU using EXIT_FAILURE, aka 1.
Implementors
Constant os::config::APP_BASE_ADDRESS
source · pub const APP_BASE_ADDRESS: usize = 0x80400000;Constant os::config::APP_SIZE_LIMIT
source · pub const APP_SIZE_LIMIT: usize = 0x20000;Constant os::config::KERNEL_STACK_SIZE
source · pub const KERNEL_STACK_SIZE: usize = _; // 8_192usizeConstant os::config::MAX_APP_NUM
source · pub const MAX_APP_NUM: usize = 4;Constant os::config::USER_STACK_SIZE
source · pub const USER_STACK_SIZE: usize = _; // 8_192usizeExpand description
Constants used in rCore
-Constants
Expand description
Constants used in rCore
+Constants
struct Stdout;Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Stdout
impl Send for Stdout
impl Sync for Stdout
impl Unpin for Stdout
impl UnwindSafe for Stdout
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
impl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
fn into(self) -> U
Calls U::from(self).
struct Stdout;Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Stdout
impl Send for Stdout
impl Sync for Stdout
impl Unpin for Stdout
impl UnwindSafe for Stdout
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
From<T> for U chooses to do.
+Expand description
The main module and entrypoint
+Expand description
The main module and entrypoint
Various facilities of the kernels are implemented as submodules. The most important ones are:
-
-
trap: Handles all cases of switching from userspace to the kernel
-task: Task management
-syscall: System call handling and implementation
+trap: Handles all cases of switching from userspace to the kernel
+task: Task management
+syscall: System call handling and implementation
The operating system also starts in this module. Kernel code starts
-executing from entry.asm, after which rust_main() is called to
+executing from entry.asm, after which rust_main() is called to
initialize various pieces of functionality. (See its source code for
details.)
We then call task::run_first_task() and for the first time go to
+
We then call task::run_first_task() and for the first time go to
userspace.
Modules
board 🔒
config 🔒
Constants used in rCore
-console 🔒
SBI console driver, for text output
-The panic handler
-loader 🔒
Loading user applications into memory
-sbi 🔒
SBI call wrappers
-sync 🔒
Synchronization and interior mutability primitives
-Implementation of syscalls
-Task management implementation
-Trap handling functionality
-Macros
Functions
Modules
- config 🔒Constants used in rCore
- console 🔒SBI console driver, for text output
- The panic handler
- loader 🔒Loading user applications into memory
- sbi 🔒SBI call wrappers
- sync 🔒Synchronization and interior mutability primitives
- Implementation of syscalls
- Task management implementation
- Trap handling functionality
Macros
- print string macro
- println string macro
Functions
- clear BSS segment
- the rust entry-point of os
Module os::lang_items
source · Expand description
The panic handler
+Functions
- panic 🔒
Function os::loader::get_num_app
source · pub fn get_num_app() -> usizeExpand description
Get the total number of applications.
+pub fn load_apps()Expand description
Loading user applications into memory
+Expand description
Loading user applications into memory
For chapter 3, user applications are simply part of the data included in the
kernel binary, so we only need to copy them to the space allocated for each
app to load them. We also allocate fixed spaces for each task’s
-KernelStack and UserStack.
Structs
Statics
Functions
Get base address of app i.
-Get the total number of applications.
-get app info with entry and sp and save TrapContext in kernel stack
Load nth user app at -[APP_BASE_ADDRESS + n * APP_SIZE_LIMIT, APP_BASE_ADDRESS + (n+1) * APP_SIZE_LIMIT).
-KernelStack and UserStack.
+Structs
Statics
Functions
- Get base address of app i.
- Get the total number of applications.
- get app info with entry and sp and save
TrapContextin kernel stack - Load nth user app at +[APP_BASE_ADDRESS + n * APP_SIZE_LIMIT, APP_BASE_ADDRESS + (n+1) * APP_SIZE_LIMIT).
Static os::loader::KERNEL_STACK
source · [−]static KERNEL_STACK: [KernelStack; 4]Static os::loader::KERNEL_STACK
source · static KERNEL_STACK: [KernelStack; 4]Struct os::loader::KernelStack
source · [−]Fields
data: [u8; 8192]Implementations
sourceimpl KernelStack
impl KernelStack
fn get_sp(&self) -> usize
pub fn push_context(&self, trap_cx: TrapContext) -> usize
Trait Implementations
sourceimpl Clone for KernelStack
impl Clone for KernelStack
sourcefn clone(&self) -> KernelStack
fn clone(&self) -> KernelStack
Returns a copy of the value. Read more
-1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
impl Copy for KernelStack
Auto Trait Implementations
impl RefUnwindSafe for KernelStack
impl Send for KernelStack
impl Sync for KernelStack
impl Unpin for KernelStack
impl UnwindSafe for KernelStack
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
impl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
fn into(self) -> U
Calls U::from(self).
Struct os::loader::KernelStack
source · #[repr(align(4096))]struct KernelStack {
+ data: [u8; 8192],
+}Fields§
§data: [u8; 8192]Implementations§
source§impl KernelStack
impl KernelStack
fn get_sp(&self) -> usize
pub fn push_context(&self, trap_cx: TrapContext) -> usize
Trait Implementations§
source§impl Clone for KernelStack
impl Clone for KernelStack
source§fn clone(&self) -> KernelStack
fn clone(&self) -> KernelStack
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for KernelStack
Auto Trait Implementations§
impl RefUnwindSafe for KernelStack
impl Send for KernelStack
impl Sync for KernelStack
impl Unpin for KernelStack
impl UnwindSafe for KernelStack
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
From<T> for U chooses to do.
+Fields
data: [u8; 8192]Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for UserStack
impl Send for UserStack
impl Sync for UserStack
impl Unpin for UserStack
impl UnwindSafe for UserStack
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
impl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
fn into(self) -> U
Calls U::from(self).
#[repr(align(4096))]struct UserStack {
+ data: [u8; 8192],
+}Fields§
§data: [u8; 8192]Implementations§
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for UserStack
impl Send for UserStack
impl Sync for UserStack
impl Unpin for UserStack
impl UnwindSafe for UserStack
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
From<T> for U chooses to do.
+Function os::sbi::console_getchar
source · pub fn console_getchar() -> usizeExpand description
use sbi call to getchar from console (qemu uart handler)
+Function os::sbi::console_putchar
source · pub fn console_putchar(c: usize)Expand description
use sbi call to putchar in console (qemu uart handler)
+Expand description
SBI call wrappers
+Functions
- use sbi call to getchar from console (qemu uart handler)
- use sbi call to putchar in console (qemu uart handler)
- use sbi call to shutdown the kernel
Expand description
Synchronization and interior mutability primitives
-Re-exports
pub use up::UPSafeCell;Modules
up 🔒
Uniprocessor interior mutability primitives
-Expand description
Synchronization and interior mutability primitives
+Re-exports
pub use up::UPSafeCell;
Modules
- up 🔒Uniprocessor interior mutability primitives
pub struct UPSafeCell<T> {
+UPSafeCell in os::sync::up - Rust
+ Expand description
Wrap a static data structure inside it so that we are
+}Expand description
Wrap a static data structure inside it so that we are
able to access it without any unsafe.
We should only use it in uniprocessor.
In order to get mutable reference of inner data, call
exclusive_access.
-
Fields
inner: RefCell<T>inner data
-Implementations
sourceimpl<T> UPSafeCell<T>
sourcepub unsafe fn new(value: T) -> Self
User is responsible to guarantee that inner struct is only used in
+
Fields§
§inner: RefCell<T>inner data
+Implementations§
source§impl<T> UPSafeCell<T>
sourcepub unsafe fn new(value: T) -> Self
User is responsible to guarantee that inner struct is only used in
uniprocessor.
-sourcepub fn exclusive_access(&self) -> RefMut<'_, T>
Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
-Trait Implementations
sourceimpl<T> Sync for UPSafeCell<T>
Auto Trait Implementations
impl<T> !RefUnwindSafe for UPSafeCell<T>
impl<T> Send for UPSafeCell<T> where
T: Send,
impl<T> Unpin for UPSafeCell<T> where
T: Unpin,
impl<T> UnwindSafe for UPSafeCell<T> where
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-Trait Implementations§
source§impl<T> Sync for UPSafeCell<T>
Auto Trait Implementations§
§impl<T> !RefUnwindSafe for UPSafeCell<T>
§impl<T> Send for UPSafeCell<T>where
+ T: Send,
§impl<T> Unpin for UPSafeCell<T>where
+ T: Unpin,
§impl<T> UnwindSafe for UPSafeCell<T>where
+ T: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Constant os::syscall::SYSCALL_EXIT
source · const SYSCALL_EXIT: usize = 93;Constant os::syscall::SYSCALL_WRITE
source · const SYSCALL_WRITE: usize = 64;Constant os::syscall::SYSCALL_YIELD
source · const SYSCALL_YIELD: usize = 124;Expand description
Implementation of syscalls
-The single entry point to all system calls, syscall(), is called
+
Expand description
Implementation of syscalls
+The single entry point to all system calls, syscall(), is called
whenever userspace wishes to perform a system call using the ecall
instruction. In this case, the processor raises an ‘Environment call from
U-mode’ exception, which is handled as one of the cases in
-crate::trap::trap_handler.
crate::trap::trap_handler.
For clarity, each single syscall is implemented as its own function, named
sys_ then the name of the syscall. You can find functions like this in
submodules, and you should also implement syscalls this way.
Modules
Constants
Functions
handle syscall exception with syscall_id and other arguments
Modules
Constants
Functions
- handle syscall exception with
syscall_idand other arguments
Expand description
Implementation of TaskContext
Structs
Task Context
-Expand description
Implementation of TaskContext
Structs
- Task Context
#[repr(C)]pub struct TaskContext {
+TaskContext in os::task::context - Rust
+ Struct os::task::context::TaskContext
source · #[repr(C)]pub struct TaskContext {
ra: usize,
sp: usize,
- s: [usize; 12],
-}
Expand description
Task Context
-Fields
ra: usizereturn address ( e.g. __restore ) of __switch ASM function
-sp: usizekernel stack pointer of app
-s: [usize; 12]callee saved registers: s 0..11
-Implementations
sourceimpl TaskContext
sourcepub fn goto_restore(kstack_ptr: usize) -> Self
set task context {__restore ASM funciton, kernel stack, s_0..12 }
-Trait Implementations
sourceimpl Clone for TaskContext
sourcefn clone(&self) -> TaskContext
Returns a copy of the value. Read more
-1.0.0 · sourcefn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
-sourceimpl Copy for TaskContext
Auto Trait Implementations
impl RefUnwindSafe for TaskContext
impl Send for TaskContext
impl Sync for TaskContext
impl Unpin for TaskContext
impl UnwindSafe for TaskContext
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+ s: [usize; 12],
+}Expand description
Task Context
+Fields§
§ra: usizereturn address ( e.g. __restore ) of __switch ASM function
+§sp: usizekernel stack pointer of app
+§s: [usize; 12]callee saved registers: s 0..11
+Implementations§
source§impl TaskContext
sourcepub fn goto_restore(kstack_ptr: usize) -> Self
set task context {__restore ASM funciton, kernel stack, s_0..12 }
+Trait Implementations§
source§impl Clone for TaskContext
source§fn clone(&self) -> TaskContext
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Copy for TaskContext
Auto Trait Implementations§
§impl RefUnwindSafe for TaskContext
§impl Send for TaskContext
§impl Sync for TaskContext
§impl Unpin for TaskContext
§impl UnwindSafe for TaskContext
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Function os::task::exit_current_and_run_next
source · [−]pub fn exit_current_and_run_next()Expand description
exit current task, then run next task
-Function os::task::exit_current_and_run_next
source · pub fn exit_current_and_run_next()Expand description
exit current task, then run next task
+Function os::task::mark_current_exited
source · [−]fn mark_current_exited()Expand description
exit current task
-Function os::task::mark_current_exited
source · fn mark_current_exited()Expand description
exit current task
+Function os::task::mark_current_suspended
source · [−]fn mark_current_suspended()Expand description
suspend current task
-Function os::task::mark_current_suspended
source · fn mark_current_suspended()Expand description
suspend current task
+Function os::task::run_first_task
source · [−]pub fn run_first_task()Expand description
run first task
-Function os::task::run_first_task
source · pub fn run_first_task()Expand description
run first task
+Function os::task::run_next_task
source · [−]fn run_next_task()Expand description
rust next task
-Function os::task::run_next_task
source · fn run_next_task()Expand description
rust next task
+Function os::task::suspend_current_and_run_next
source · [−]pub fn suspend_current_and_run_next()Expand description
suspend current task, then run next task
-Function os::task::suspend_current_and_run_next
source · pub fn suspend_current_and_run_next()Expand description
suspend current task, then run next task
+Expand description
Task management implementation
+Expand description
Task management implementation
Everything about task management, like starting and switching tasks is implemented here.
-A single global instance of TaskManager called TASK_MANAGER controls
+
A single global instance of TaskManager called TASK_MANAGER controls
all the tasks in the operating system.
Be careful when you see __switch ASM function in switch.S. Control flow around this function
might not be what you expect.
Modules
context 🔒
Implementation of TaskContext
switch 🔒
Rust wrapper around __switch.
task 🔒
Types related to task management
-Structs
Global variable: TASK_MANAGER
-Task Context
-The task manager, where all the tasks are managed.
-Inner of Task Manager
-Functions
exit current task, then run next task
-exit current task
-suspend current task
-run first task
-rust next task
-suspend current task, then run next task
-Modules
- context 🔒Implementation of
TaskContext - switch 🔒Rust wrapper around
__switch. - task 🔒Types related to task management
Structs
- Global variable: TASK_MANAGER
- Task Context
- The task manager, where all the tasks are managed.
- Inner of Task Manager
Functions
- exit current task, then run next task
- exit current task
- suspend current task
- run first task
- rust next task
- suspend current task, then run next task
Struct os::task::TASK_MANAGER
source · [−]pub struct TASK_MANAGER {
+TASK_MANAGER in os::task - Rust
+ Struct os::task::TASK_MANAGER
source · pub struct TASK_MANAGER {
__private_field: (),
-}
Expand description
Global variable: TASK_MANAGER
-Fields
__private_field: ()Methods from Deref<Target = TaskManager>
sourcefn run_first_task(&self) -> !
Run the first task in task list.
+}Expand description
Global variable: TASK_MANAGER
+Fields§
§__private_field: ()Methods from Deref<Target = TaskManager>§
sourcefn run_first_task(&self) -> !
Run the first task in task list.
Generally, the first task in task list is an idle task (we call it zero process later).
But in ch3, we load apps statically, so the first task is a real app.
-sourcefn mark_current_suspended(&self)
Change the status of current Running task into Ready.
-sourcefn mark_current_exited(&self)
Change the status of current Running task into Exited.
-sourcefn find_next_task(&self) -> Option<usize>
Find next task to run and return app id.
+sourcefn mark_current_suspended(&self)
Change the status of current Running task into Ready.
+sourcefn mark_current_exited(&self)
Change the status of current Running task into Exited.
+sourcefn find_next_task(&self) -> Option<usize>
Find next task to run and return app id.
In this case, we only return the first Ready task in task list.
-sourcefn run_next_task(&self)
Switch current Running task to the task we have found,
+
sourcefn run_next_task(&self)
Switch current Running task to the task we have found,
or there is no Ready task and we can exit with all applications completed
-Trait Implementations
sourceimpl Deref for TASK_MANAGER
type Target = TaskManager
The resulting type after dereferencing.
-sourcefn deref(&self) -> &TaskManager
Dereferences the value.
-sourceimpl LazyStatic for TASK_MANAGER
Auto Trait Implementations
impl RefUnwindSafe for TASK_MANAGER
impl Send for TASK_MANAGER
impl Sync for TASK_MANAGER
impl Unpin for TASK_MANAGER
impl UnwindSafe for TASK_MANAGER
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
Trait Implementations§
source§impl Deref for TASK_MANAGER
§type Target = TaskManager
The resulting type after dereferencing.source§fn deref(&self) -> &TaskManager
Dereferences the value.source§impl LazyStatic for TASK_MANAGER
Auto Trait Implementations§
§impl RefUnwindSafe for TASK_MANAGER
§impl Send for TASK_MANAGER
§impl Sync for TASK_MANAGER
§impl Unpin for TASK_MANAGER
§impl UnwindSafe for TASK_MANAGER
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Struct os::task::TaskContext
source · [−]#[repr(C)]pub struct TaskContext {
+TaskContext in os::task - Rust
+ Struct os::task::TaskContext
source · #[repr(C)]pub struct TaskContext {
ra: usize,
sp: usize,
- s: [usize; 12],
-}
Expand description
Task Context
-Fields
ra: usizereturn address ( e.g. __restore ) of __switch ASM function
-sp: usizekernel stack pointer of app
-s: [usize; 12]callee saved registers: s 0..11
-Implementations
sourceimpl TaskContext
sourcepub fn goto_restore(kstack_ptr: usize) -> Self
set task context {__restore ASM funciton, kernel stack, s_0..12 }
-Trait Implementations
sourceimpl Clone for TaskContext
sourcefn clone(&self) -> TaskContext
Returns a copy of the value. Read more
-1.0.0 · sourcefn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
-sourceimpl Copy for TaskContext
Auto Trait Implementations
impl RefUnwindSafe for TaskContext
impl Send for TaskContext
impl Sync for TaskContext
impl Unpin for TaskContext
impl UnwindSafe for TaskContext
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+ s: [usize; 12],
+}Expand description
Task Context
+Fields§
§ra: usizereturn address ( e.g. __restore ) of __switch ASM function
+§sp: usizekernel stack pointer of app
+§s: [usize; 12]callee saved registers: s 0..11
+Implementations§
source§impl TaskContext
sourcepub fn goto_restore(kstack_ptr: usize) -> Self
set task context {__restore ASM funciton, kernel stack, s_0..12 }
+Trait Implementations§
source§impl Clone for TaskContext
source§fn clone(&self) -> TaskContext
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Copy for TaskContext
Auto Trait Implementations§
§impl RefUnwindSafe for TaskContext
§impl Send for TaskContext
§impl Sync for TaskContext
§impl Unpin for TaskContext
§impl UnwindSafe for TaskContext
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Struct os::task::TaskManager
source · [−]pub struct TaskManager {
+TaskManager in os::task - Rust
+ Struct os::task::TaskManager
source · pub struct TaskManager {
num_app: usize,
inner: UPSafeCell<TaskManagerInner>,
-}
Expand description
The task manager, where all the tasks are managed.
+}Expand description
The task manager, where all the tasks are managed.
Functions implemented on TaskManager deals with all task state transitions
and task context switching. For convenience, you can find wrappers around it
in the module level.
Most of TaskManager are hidden behind the field inner, to defer
borrowing checks to runtime. You can see examples on how to use inner in
existing functions on TaskManager.
-Fields
num_app: usizetotal number of tasks
-inner: UPSafeCell<TaskManagerInner>use inner value to get mutable access
-Implementations
sourceimpl TaskManager
sourcefn run_first_task(&self) -> !
Run the first task in task list.
+Fields§
§num_app: usizetotal number of tasks
+§inner: UPSafeCell<TaskManagerInner>use inner value to get mutable access
+Implementations§
source§impl TaskManager
sourcefn run_first_task(&self) -> !
Run the first task in task list.
Generally, the first task in task list is an idle task (we call it zero process later).
But in ch3, we load apps statically, so the first task is a real app.
-sourcefn mark_current_suspended(&self)
Change the status of current Running task into Ready.
-sourcefn mark_current_exited(&self)
Change the status of current Running task into Exited.
-sourcefn find_next_task(&self) -> Option<usize>
Find next task to run and return app id.
+sourcefn mark_current_suspended(&self)
Change the status of current Running task into Ready.
+sourcefn mark_current_exited(&self)
Change the status of current Running task into Exited.
+sourcefn find_next_task(&self) -> Option<usize>
Find next task to run and return app id.
In this case, we only return the first Ready task in task list.
-sourcefn run_next_task(&self)
Switch current Running task to the task we have found,
+
sourcefn run_next_task(&self)
Switch current Running task to the task we have found,
or there is no Ready task and we can exit with all applications completed
-Auto Trait Implementations
impl !RefUnwindSafe for TaskManager
impl Send for TaskManager
impl Sync for TaskManager
impl Unpin for TaskManager
impl UnwindSafe for TaskManager
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-Auto Trait Implementations§
§impl !RefUnwindSafe for TaskManager
§impl Send for TaskManager
§impl Sync for TaskManager
§impl Unpin for TaskManager
§impl UnwindSafe for TaskManager
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Struct os::task::TaskManagerInner
source · [−]pub struct TaskManagerInner {
- tasks: [TaskControlBlock; 4],
+TaskManagerInner in os::task - Rust
+ Struct os::task::TaskManagerInner
source · pub struct TaskManagerInner {
+ tasks: [TaskControlBlock; 4],
current_task: usize,
-}
Expand description
Inner of Task Manager
-Fields
tasks: [TaskControlBlock; 4]task list
-current_task: usizeid of current Running task
-Auto Trait Implementations
impl RefUnwindSafe for TaskManagerInner
impl Send for TaskManagerInner
impl Sync for TaskManagerInner
impl Unpin for TaskManagerInner
impl UnwindSafe for TaskManagerInner
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+}Expand description
Inner of Task Manager
+Fields§
§tasks: [TaskControlBlock; 4]task list
+§current_task: usizeid of current Running task
+Auto Trait Implementations§
§impl RefUnwindSafe for TaskManagerInner
§impl Send for TaskManagerInner
§impl Sync for TaskManagerInner
§impl Unpin for TaskManagerInner
§impl UnwindSafe for TaskManagerInner
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+pub unsafe extern "C" fn __switch(
current_task_cx_ptr: *mut TaskContext,
next_task_cx_ptr: *const TaskContext
)Expand description
Switch to the context of next_task_cx_ptr, saving the current context
+
pub unsafe extern "C" fn __switch(
+ current_task_cx_ptr: *mut TaskContext,
+ next_task_cx_ptr: *const TaskContext
+)Expand description
Switch to the context of next_task_cx_ptr, saving the current context
in current_task_cx_ptr.
Expand description
Rust wrapper around __switch.
Expand description
Rust wrapper around __switch.
Switching to a different task’s context happens here. The actual
implementation must not be in Rust and (essentially) has to be in assembly
language (Do you know why?), so this module really is just a wrapper around
switch.S.
Functions
Functions
- Switch to the context of
next_task_cx_ptr, saving the current context +incurrent_task_cx_ptr.
pub enum TaskStatus {
+TaskStatus in os::task::task - Rust
+ Enum os::task::task::TaskStatus
source · pub enum TaskStatus {
UnInit,
Ready,
Running,
Exited,
-}
Variants
UnInit
Ready
Running
Exited
Trait Implementations
sourceimpl Clone for TaskStatus
sourcefn clone(&self) -> TaskStatus
Returns a copy of the value. Read more
-1.0.0 · sourcefn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
-sourceimpl PartialEq<TaskStatus> for TaskStatus
sourceimpl Copy for TaskStatus
sourceimpl StructuralPartialEq for TaskStatus
Auto Trait Implementations
impl RefUnwindSafe for TaskStatus
impl Send for TaskStatus
impl Sync for TaskStatus
impl Unpin for TaskStatus
impl UnwindSafe for TaskStatus
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+}Variants§
Trait Implementations§
source§impl Clone for TaskStatus
source§fn clone(&self) -> TaskStatus
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl PartialEq for TaskStatus
source§fn eq(&self, other: &TaskStatus) -> bool
This method tests for self and other values to be equal, and is used
+by ==.source§impl Copy for TaskStatus
source§impl StructuralPartialEq for TaskStatus
Auto Trait Implementations§
§impl RefUnwindSafe for TaskStatus
§impl Send for TaskStatus
§impl Sync for TaskStatus
§impl Unpin for TaskStatus
§impl UnwindSafe for TaskStatus
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+pub struct TaskControlBlock {
+TaskControlBlock in os::task::task - Rust
+ Struct os::task::task::TaskControlBlock
source · pub struct TaskControlBlock {
pub task_status: TaskStatus,
pub task_cx: TaskContext,
-}
Fields
task_status: TaskStatustask_cx: TaskContextTrait Implementations
sourceimpl Clone for TaskControlBlock
sourcefn clone(&self) -> TaskControlBlock
Returns a copy of the value. Read more
-1.0.0 · sourcefn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
-sourceimpl Copy for TaskControlBlock
Auto Trait Implementations
impl RefUnwindSafe for TaskControlBlock
impl Send for TaskControlBlock
impl Sync for TaskControlBlock
impl Unpin for TaskControlBlock
impl UnwindSafe for TaskControlBlock
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+}Fields§
§task_status: TaskStatus§task_cx: TaskContextTrait Implementations§
source§impl Clone for TaskControlBlock
source§fn clone(&self) -> TaskControlBlock
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Copy for TaskControlBlock
Auto Trait Implementations§
§impl RefUnwindSafe for TaskControlBlock
§impl Send for TaskControlBlock
§impl Sync for TaskControlBlock
§impl Unpin for TaskControlBlock
§impl UnwindSafe for TaskControlBlock
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+#[repr(C)]pub struct TrapContext {
- pub x: [usize; 32],
+TrapContext in os::trap::context - Rust
+ Struct os::trap::context::TrapContext
source · #[repr(C)]pub struct TrapContext {
+ pub x: [usize; 32],
pub sstatus: Sstatus,
pub sepc: usize,
-}
Expand description
Trap Context
-Fields
x: [usize; 32]general regs[0..31]
-sstatus: SstatusCSR sstatus
-sepc: usizeCSR sepc
-Implementations
sourceimpl TrapContext
Auto Trait Implementations
impl RefUnwindSafe for TrapContext
impl Send for TrapContext
impl Sync for TrapContext
impl Unpin for TrapContext
impl UnwindSafe for TrapContext
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+}Expand description
Trap Context
+Fields§
§x: [usize; 32]general regs[0..31]
+§sstatus: SstatusCSR sstatus
+§sepc: usizeCSR sepc
+Implementations§
source§impl TrapContext
Auto Trait Implementations§
§impl RefUnwindSafe for TrapContext
§impl Send for TrapContext
§impl Sync for TrapContext
§impl Unpin for TrapContext
§impl UnwindSafe for TrapContext
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+Function os::trap::trap_handler
source · [−]#[no_mangle]
-pub fn trap_handler(cx: &mut TrapContext) -> &mut TrapContextExpand description
handle an interrupt, exception, or system call from user space
-Function os::trap::trap_handler
source · #[no_mangle]
+pub fn trap_handler(cx: &mut TrapContext) -> &mut TrapContextExpand description
handle an interrupt, exception, or system call from user space
+Expand description
Trap handling functionality
+Expand description
Trap handling functionality
For rCore, we have a single trap entry point, namely __alltraps. At
-initialization in init(), we set the stvec CSR to point to it.
init(), we set the stvec CSR to point to it.
All traps go through __alltraps, which is defined in trap.S. The
assembly language code does just enough work restore the kernel space
context, ensuring that Rust code safely runs, and transfers control to
-trap_handler().
trap_handler().
It then calls different functionality based on what exactly the exception
was. For example, timer interrupts trigger task preemption, and syscalls go
-to syscall().
Modules
context 🔒
Structs
Trap Context
-Functions
initialize CSR stvec as the entry of __alltraps
handle an interrupt, exception, or system call from user space
-syscall().
+Modules
- context 🔒
Structs
- Trap Context
Functions
- initialize CSR
stvecas the entry of__alltraps - handle an interrupt, exception, or system call from user space
Struct os::trap::TrapContext
source · [−]#[repr(C)]pub struct TrapContext {
- pub x: [usize; 32],
+TrapContext in os::trap - Rust
+ Struct os::trap::TrapContext
source · #[repr(C)]pub struct TrapContext {
+ pub x: [usize; 32],
pub sstatus: Sstatus,
pub sepc: usize,
-}
Expand description
Trap Context
-Fields
x: [usize; 32]general regs[0..31]
-sstatus: SstatusCSR sstatus
-sepc: usizeCSR sepc
-Implementations
sourceimpl TrapContext
Auto Trait Implementations
impl RefUnwindSafe for TrapContext
impl Send for TrapContext
impl Sync for TrapContext
impl Unpin for TrapContext
impl UnwindSafe for TrapContext
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
-sourceimpl<T, U> Into<U> for T where
U: From<T>,
const: unstable · sourcefn into(self) -> U
Calls U::from(self).
+}Expand description
Trap Context
+Fields§
§x: [usize; 32]general regs[0..31]
+§sstatus: SstatusCSR sstatus
+§sepc: usizeCSR sepc
+Implementations§
source§impl TrapContext
Auto Trait Implementations§
§impl RefUnwindSafe for TrapContext
§impl Send for TrapContext
§impl Sync for TrapContext
§impl Unpin for TrapContext
§impl UnwindSafe for TrapContext
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
+ T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
\ No newline at end of file
+From<T> for U chooses to do.
+EXIT_FAILURE, aka 1.","","Exit QEMU using EXIT_SUCCESS, aka 0, if possible.","","Returns the argument unchanged.","Calls U::from(self).","Create an instance.","","","","","","","","","","","","Returns the argument unchanged.","Calls U::from(self).","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Get base address of app i.","Get the total number of applications.","","","get app info with entry and sp and save TrapContext in …","Calls U::from(self).","Calls U::from(self).","Load nth user app at [APP_BASE_ADDRESS + n * …","","","","","","","","","use sbi call to putchar in console (qemu uart handler)","handle SBI call with which SBI_id and other arguments","use sbi call to shutdown the kernel","","Uniprocessor interior mutability primitives","Wrap a static data structure inside it so that we are able …","","","Exclusive access inner data in UPSafeCell. Panic if the …","Returns the argument unchanged.","inner data","Calls U::from(self).","User is responsible to guarantee that inner struct is only …","","","","","","","File and filesystem-related syscalls","Process management syscalls","handle syscall exception with syscall_id and other …","","write buf of length len to a file with fd","task exits and submit an exit code","current task gives up resources for other tasks","Global variable: TASK_MANAGER","Task Context","The task manager, where all the tasks are managed.","Inner of Task Manager","","","","","","","","Implementation of TaskContext","id of current Running task","","exit current task, then run next task","Find next task to run and return app id.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","use inner value to get mutable access","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","exit current task","Change the status of current Running task into Exited.","suspend current task","Change the status of current Running task into Ready.","total number of tasks","return address ( e.g. __restore ) of __switch ASM function","run first task","Run the first task in task list.","rust next task","Switch current Running task to the task we have found, or …","callee saved registers: s 0..11","kernel stack pointer of app","suspend current task, then run next task","Rust wrapper around __switch.","Types related to task management","task list","","","","","","","","","","Task Context","","","","Returns the argument unchanged.","set task context {__restore ASM funciton, kernel stack, …","Calls U::from(self).","return address ( e.g. __restore ) of __switch ASM function","callee saved registers: s 0..11","kernel stack pointer of app","","","","init task context","Switch to the context of next_task_cx_ptr, saving the …","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Calls U::from(self).","Calls U::from(self).","","","","","","","","","Trap Context","","initialize CSR stvec as the entry of __alltraps","CSR sepc","CSR sstatus ","handle an interrupt, exception, or system call from user …","general regs[0..31]","Trap Context","init app context","","","Returns the argument unchanged.","Calls U::from(self).","CSR sepc","set stack pointer to x_2 reg (sp)","CSR sstatus ","","","","general regs[0..31]"],"i":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,3,3,28,3,0,28,3,28,3,3,3,3,3,3,3,0,0,0,0,0,0,8,8,8,8,0,8,8,8,8,0,0,0,0,0,12,13,12,13,12,13,12,13,12,13,0,0,12,13,0,12,13,0,12,12,13,12,13,12,13,0,0,0,0,0,0,0,16,16,16,16,16,16,16,16,16,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,21,22,29,21,22,29,21,0,29,21,0,22,22,29,21,22,22,29,21,0,22,0,22,22,24,0,22,0,22,24,24,0,0,0,29,22,29,21,22,29,21,22,29,21,0,24,24,24,24,24,24,24,24,24,24,24,24,24,0,26,26,26,0,0,26,25,26,25,26,25,26,26,25,26,25,26,25,25,25,26,25,26,25,26,0,0,0,15,15,0,15,0,15,15,15,15,15,15,15,15,15,15,15,15],"f":[0,[[]],0,0,0,0,0,0,[[],1],0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[]],[[]],[2,1],[[3,2],1],[2,2],[[],1],[3,1],[[],1],[3,1],[[]],[[]],[4,3],[[],5],[[],5],[[],6],0,0,0,0,0,0,[[]],[[]],[[]],[[]],[7],[[],5],[[],5],[[],6],[[8,9],10],[11,1],0,0,0,0,[[]],[[]],[[]],[[]],[12,12],[13,13],0,0,[[]],[[]],[14,14],[[],14],[12,14],[13,14],[14,14],[[]],[[]],[[]],[[12,15],14],[[],5],[[],5],[[],5],[[],5],[[],6],[[],6],0,[14],[[14,14,14,14],14],[[],1],0,0,0,[[]],[[]],[16,17],[[]],0,[[]],[[],16],[[],5],[[],5],[[],6],0,0,0,0,0,[14,18],0,[[14,19,14],18],[20,1],[[],18],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],0,0,[21,22],[[]],[22,[[23,[14]]]],[[]],[[]],[[]],0,[[]],[[]],[[]],[[]],[22],[[]],[22],0,0,[[]],[22,1],[[]],[22],0,0,[[]],0,0,0,[[],5],[[],5],[[],5],[[],5],[[],5],[[],5],[[],6],[[],6],[[],6],0,[[]],[[]],[24,24],[[]],[14,24],[[]],0,0,0,[[],5],[[],5],[[],6],[[],24],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[25,25],[26,26],[[26,26],27],[[]],[[]],[[]],[[]],0,0,[[],5],[[],5],[[],5],[[],5],[[],6],[[],6],0,0,[[]],0,0,[15,15],0,0,[[14,14],15],[[]],[[]],[[]],[[]],0,[[15,14]],0,[[],5],[[],5],[[],6],0],"p":[[15,"never"],[15,"u32"],[3,"RISCV64"],[15,"u64"],[4,"Result"],[3,"TypeId"],[3,"Arguments"],[3,"Stdout"],[15,"str"],[6,"Result"],[3,"PanicInfo"],[3,"KernelStack"],[3,"UserStack"],[15,"usize"],[3,"TrapContext"],[3,"UPSafeCell"],[3,"RefMut"],[15,"isize"],[15,"u8"],[15,"i32"],[3,"TASK_MANAGER"],[3,"TaskManager"],[4,"Option"],[3,"TaskContext"],[3,"TaskControlBlock"],[4,"TaskStatus"],[15,"bool"],[8,"QEMUExit"],[3,"TaskManagerInner"]]}\
-}');
-if (typeof window !== 'undefined' && window.initSearch) {window.initSearch(searchIndex)};
-if (typeof exports !== 'undefined') {exports.searchIndex = searchIndex};
+var searchIndex = new Map(JSON.parse('[\
+["os",{"doc":"The main module and entrypoint","t":"HCCCCQQHCCCCCSSSSSFNNNNHNNNNHJFJFNNNNNNOONNHHNNHNNHNNNNNNNHHHECFNNNNONNNNNSSSCCHSHHHFFFFONNNNNNCONHNNNNONNNHNHNOOHNHNOOHCCONNNNNNNNNFNNNNNNOOONNNNHPPPFGPNNNNNNNNNNNOONNNNNNFCHOOHOFNNNNNONONNNO","n":["clear_bss","config","console","lang_items","loader","print","println","rust_main","sbi","sync","syscall","task","trap","APP_BASE_ADDRESS","APP_SIZE_LIMIT","KERNEL_STACK_SIZE","MAX_APP_NUM","USER_STACK_SIZE","Stdout","borrow","borrow_mut","from","into","print","try_from","try_into","type_id","write_str","panic","KERNEL_STACK","KernelStack","USER_STACK","UserStack","borrow","borrow","borrow_mut","borrow_mut","clone","clone","data","data","from","from","get_base_i","get_num_app","get_sp","get_sp","init_app_cx","into","into","load_apps","push_context","try_from","try_from","try_into","try_into","type_id","type_id","console_getchar","console_putchar","shutdown","UPSafeCell","up","UPSafeCell","borrow","borrow_mut","exclusive_access","from","inner","into","new","try_from","try_into","type_id","SYSCALL_EXIT","SYSCALL_WRITE","SYSCALL_YIELD","fs","process","syscall","FD_STDOUT","sys_write","sys_exit","sys_yield","TASK_MANAGER","TaskContext","TaskManager","TaskManagerInner","__private_field","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","context","current_task","deref","exit_current_and_run_next","find_next_task","from","from","from","inner","into","into","into","mark_current_exited","mark_current_exited","mark_current_suspended","mark_current_suspended","num_app","ra","run_first_task","run_first_task","run_next_task","run_next_task","s","sp","suspend_current_and_run_next","switch","task","tasks","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","TaskContext","borrow","borrow_mut","clone","from","goto_restore","into","ra","s","sp","try_from","try_into","type_id","zero_init","__switch","Exited","Ready","Running","TaskControlBlock","TaskStatus","UnInit","borrow","borrow","borrow_mut","borrow_mut","clone","clone","eq","from","from","into","into","task_cx","task_status","try_from","try_from","try_into","try_into","type_id","type_id","TrapContext","context","init","sepc","sstatus","trap_handler","x","TrapContext","app_init_context","borrow","borrow_mut","from","into","sepc","set_sp","sstatus","try_from","try_into","type_id","x"],"q":[[0,"os"],[13,"os::config"],[18,"os::console"],[28,"os::lang_items"],[29,"os::loader"],[58,"os::sbi"],[61,"os::sync"],[63,"os::sync::up"],[74,"os::syscall"],[80,"os::syscall::fs"],[82,"os::syscall::process"],[84,"os::task"],[132,"os::task::context"],[146,"os::task::switch"],[147,"os::task::task"],[172,"os::trap"],[179,"os::trap::context"],[192,"core::fmt"],[193,"core::result"],[194,"core::any"],[195,"core::fmt"],[196,"core::cell"],[197,"core::option"]],"d":["clear BSS segment","Constants used in rCore","SBI console driver, for text output","The panic handler","Loading user applications into memory","print string macro","println string macro","the rust entry-point of os","SBI call wrappers","Synchronization and interior mutability primitives","Implementation of syscalls","Task management implementation","Trap handling functionality","","","","","","","","","Returns the argument unchanged.","Calls U::from(self).","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Get base address of app i.","Get the total number of applications.","","","get app info with entry and sp and save TrapContext in …","Calls U::from(self).","Calls U::from(self).","Load nth user app at [APP_BASE_ADDRESS + n * …","","","","","","","","use sbi call to getchar from console (qemu uart handler)","use sbi call to putchar in console (qemu uart handler)","use sbi call to shutdown the kernel","","Uniprocessor interior mutability primitives","Wrap a static data structure inside it so that we are able …","","","Exclusive access inner data in UPSafeCell. Panic if the …","Returns the argument unchanged.","inner data","Calls U::from(self).","User is responsible to guarantee that inner struct is only …","","","","","","","File and filesystem-related syscalls","Process management syscalls","handle syscall exception with syscall_id and other …","","write buf of length len to a file with fd","task exits and submit an exit code","current task gives up resources for other tasks","Global variable: TASK_MANAGER","Task Context","The task manager, where all the tasks are managed.","Inner of Task Manager","","","","","","","","Implementation of TaskContext","id of current Running task","","exit current task, then run next task","Find next task to run and return app id.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","use inner value to get mutable access","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","exit current task","Change the status of current Running task into Exited.","suspend current task","Change the status of current Running task into Ready.","total number of tasks","return address ( e.g. __restore ) of __switch ASM function","run first task","Run the first task in task list.","rust next task","Switch current Running task to the task we have found, or …","callee saved registers: s 0..11","kernel stack pointer of app","suspend current task, then run next task","Rust wrapper around __switch.","Types related to task management","task list","","","","","","","","","","Task Context","","","","Returns the argument unchanged.","set task context {__restore ASM funciton, kernel stack, …","Calls U::from(self).","return address ( e.g. __restore ) of __switch ASM function","callee saved registers: s 0..11","kernel stack pointer of app","","","","init task context","Switch to the context of next_task_cx_ptr, saving the …","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Calls U::from(self).","Calls U::from(self).","","","","","","","","","Trap Context","","initialize CSR stvec as the entry of __alltraps","CSR sepc","CSR sstatus ","handle an interrupt, exception, or system call from user …","general regs[0..31]","Trap Context","init app context","","","Returns the argument unchanged.","Calls U::from(self).","CSR sepc","set stack pointer to x_2 reg (sp)","CSR sstatus ","","","","general regs[0..31]"],"i":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,6,6,6,0,6,6,6,6,0,0,0,0,0,10,11,10,11,10,11,10,11,10,11,0,0,10,11,0,10,11,0,10,10,11,10,11,10,11,0,0,0,0,0,0,15,15,15,15,15,15,15,15,15,15,0,0,0,0,0,0,0,0,0,0,0,0,0,0,21,22,27,21,22,27,21,0,27,21,0,22,22,27,21,22,22,27,21,0,22,0,22,22,24,0,22,0,22,24,24,0,0,0,27,22,27,21,22,27,21,22,27,21,0,24,24,24,24,24,24,24,24,24,24,24,24,24,0,26,26,26,0,0,26,25,26,25,26,25,26,26,25,26,25,26,25,25,25,26,25,26,25,26,0,0,0,13,13,0,13,0,13,13,13,13,13,13,13,13,13,13,13,13],"f":"{{}b}``````{{}d}```````````{ce{}{}}0{cc{}}1{fb}{c{{h{e}}}{}{}}0{cj{}}{{ln}A`}{Abd}````6666{AdAd}{AfAf}``77{AhAh}{{}Ah}{AdAh}{AfAh}3<<>{{AdAj}Ah}::::993{Ahb}{Ald}```??{{{An{c}}}{{B`{c}}}{}}?`{ce{}{}}{c{{An{c}}}{}}??>`````{{Ah{Bb{Ah}}}Bd}`{{AhBfAh}Bd}{Bhd}{{}Bd}`````555555``{BjBl}{{}b}{Bl{{Bn{Ah}}}}{cc{}}00`9992{Blb}30``3{Bld}41``4```{c{{h{e}}}{}{}}00000{cj{}}00`=={C`C`}5{AhC`}?```332{{}C`}```````{ce{}{}}000{CbCb}{CdCd}{{CdCd}Al};;33``888877``=``{AjAj}``{{AhAh}Aj}55=5`{{AjAh}b}`;;:`","c":[],"p":[[1,"unit"],[1,"never"],[5,"Arguments",192],[6,"Result",193],[5,"TypeId",194],[5,"Stdout",18],[1,"str"],[8,"Result",192],[5,"PanicInfo",195],[5,"KernelStack",29],[5,"UserStack",29],[1,"usize"],[5,"TrapContext",179],[1,"bool"],[5,"UPSafeCell",63],[5,"RefMut",196],[1,"array"],[1,"isize"],[1,"u8"],[1,"i32"],[5,"TASK_MANAGER",84],[5,"TaskManager",84],[6,"Option",197],[5,"TaskContext",132],[5,"TaskControlBlock",147],[6,"TaskStatus",147],[5,"TaskManagerInner",84]],"b":[]}]\
+]'));
+if (typeof exports !== 'undefined') exports.searchIndex = searchIndex;
+else if (window.initSearch) window.initSearch(searchIndex);
diff --git a/ch3-coop/search.js b/ch3-coop/search.js
deleted file mode 100644
index d35a7db81..000000000
--- a/ch3-coop/search.js
+++ /dev/null
@@ -1 +0,0 @@
-"use strict";(function(){const itemTypes=["mod","externcrate","import","struct","enum","fn","type","static","trait","impl","tymethod","method","structfield","variant","macro","primitive","associatedtype","constant","associatedconstant","union","foreigntype","keyword","existential","attr","derive","traitalias",];const TY_PRIMITIVE=itemTypes.indexOf("primitive");const TY_KEYWORD=itemTypes.indexOf("keyword");const ROOT_PATH=typeof window!=="undefined"?window.rootPath:"../";function hasOwnPropertyRustdoc(obj,property){return Object.prototype.hasOwnProperty.call(obj,property)}function printTab(nb){let iter=0;let foundCurrentTab=false;let foundCurrentResultSet=false;onEachLazy(document.getElementById("titles").childNodes,elem=>{if(nb===iter){addClass(elem,"selected");foundCurrentTab=true}else{removeClass(elem,"selected")}iter+=1});iter=0;onEachLazy(document.getElementById("results").childNodes,elem=>{if(nb===iter){addClass(elem,"active");foundCurrentResultSet=true}else{removeClass(elem,"active")}iter+=1});if(foundCurrentTab&&foundCurrentResultSet){searchState.currentTab=nb}else if(nb!==0){printTab(0)}}const levenshtein_row2=[];function levenshtein(s1,s2){if(s1===s2){return 0}const s1_len=s1.length,s2_len=s2.length;if(s1_len&&s2_len){let i1=0,i2=0,a,b,c,c2;const row=levenshtein_row2;while(i1"+"Try on DuckDuckGo?
"+"Or try looking in one of these:
- The Rust Reference "+" for technical details about the language.
- Rust By "+"Example for expository code examples.
- The Rust Book for "+"introductions to language features and the language itself.
- Docs.rs for documentation of crates released on"+" crates.io.
"+`
`;if(results.query.error!==null){output+=`Results for ${escape(results.query.userQuery)}`+`${typeFilter}
${crates}Query parser error: "${results.query.error}".
`;output+=""+makeTabHeader(0,"In Names",ret_others[1])+"
";currentTab=0}else if(results.query.foundElems<=1&&results.query.returned.length===0){output+=""+makeTabHeader(0,"In Names",ret_others[1])+makeTabHeader(1,"In Parameters",ret_in_args[1])+makeTabHeader(2,"In Return Types",ret_returned[1])+"
"}else{const signatureTabTitle=results.query.elems.length===0?"In Function Return Types":results.query.returned.length===0?"In Function Parameters":"In Function Signatures";output+=""+makeTabHeader(0,signatureTabTitle,ret_others[1])+"
";currentTab=0}const resultsElem=document.createElement("div");resultsElem.id="results";resultsElem.appendChild(ret_others[0]);resultsElem.appendChild(ret_in_args[0]);resultsElem.appendChild(ret_returned[0]);search.innerHTML=output;const crateSearch=document.getElementById("crate-search");if(crateSearch){crateSearch.addEventListener("input",updateCrate)}search.appendChild(resultsElem);searchState.showResults(search);const elems=document.getElementById("titles").childNodes;searchState.focusedByTab=[];let i=0;for(const elem of elems){const j=i;elem.onclick=()=>printTab(j);searchState.focusedByTab.push(null);i+=1}printTab(currentTab)}function search(e,forced){const params=searchState.getQueryStringParams();const query=parseQuery(searchState.input.value.trim());if(e){e.preventDefault()}if(!forced&&query.userQuery===currentResults){if(query.userQuery.length>0){putBackSearch()}return}let filterCrates=getFilterCrates();if(filterCrates===null&¶ms["filter-crate"]!==undefined){filterCrates=params["filter-crate"]}searchState.title="Results for "+query.original+" - Rust";if(browserSupportsHistoryApi()){const newURL=buildUrl(query.original,filterCrates);if(!history.state&&!params.search){history.pushState(null,"",newURL)}else{history.replaceState(null,"",newURL)}}showResults(execQuery(query,searchWords,filterCrates,window.currentCrate),params.go_to_first,filterCrates)}function buildItemSearchTypeAll(types,lowercasePaths){const PATH_INDEX_DATA=0;const GENERICS_DATA=1;return types.map(type=>{let pathIndex,generics;if(typeof type==="number"){pathIndex=type;generics=[]}else{pathIndex=type[PATH_INDEX_DATA];generics=buildItemSearchTypeAll(type[GENERICS_DATA],lowercasePaths)}return{name:pathIndex===0?null:lowercasePaths[pathIndex-1].name,ty:pathIndex===0?null:lowercasePaths[pathIndex-1].ty,generics:generics,}})}function buildFunctionSearchType(functionSearchType,lowercasePaths){const INPUTS_DATA=0;const OUTPUT_DATA=1;if(functionSearchType===0){return null}let inputs,output;if(typeof functionSearchType[INPUTS_DATA]==="number"){const pathIndex=functionSearchType[INPUTS_DATA];inputs=[{name:pathIndex===0?null:lowercasePaths[pathIndex-1].name,ty:pathIndex===0?null:lowercasePaths[pathIndex-1].ty,generics:[],}]}else{inputs=buildItemSearchTypeAll(functionSearchType[INPUTS_DATA],lowercasePaths)}if(functionSearchType.length>1){if(typeof functionSearchType[OUTPUT_DATA]==="number"){const pathIndex=functionSearchType[OUTPUT_DATA];output=[{name:pathIndex===0?null:lowercasePaths[pathIndex-1].name,ty:pathIndex===0?null:lowercasePaths[pathIndex-1].ty,generics:[],}]}else{output=buildItemSearchTypeAll(functionSearchType[OUTPUT_DATA],lowercasePaths)}}else{output=[]}return{inputs,output,}}function buildIndex(rawSearchIndex){searchIndex=[];const searchWords=[];let i,word;let currentIndex=0;let id=0;for(const crate in rawSearchIndex){if(!hasOwnPropertyRustdoc(rawSearchIndex,crate)){continue}let crateSize=0;const crateCorpus=rawSearchIndex[crate];searchWords.push(crate);const crateRow={crate:crate,ty:1,name:crate,path:"",desc:crateCorpus.doc,parent:undefined,type:null,id:id,normalizedName:crate.indexOf("_")===-1?crate:crate.replace(/_/g,""),};id+=1;searchIndex.push(crateRow);currentIndex+=1;const itemTypes=crateCorpus.t;const itemNames=crateCorpus.n;const itemPaths=crateCorpus.q;const itemDescs=crateCorpus.d;const itemParentIdxs=crateCorpus.i;const itemFunctionSearchTypes=crateCorpus.f;const paths=crateCorpus.p;const aliases=crateCorpus.a;const lowercasePaths=[];let len=paths.length;for(i=0;i
Rustdoc settings
BackRustdoc settings
Back";const js_data_name=setting["js_name"];const setting_name=setting["name"];if(setting["options"]!==undefined){output+=`
"}return output}function buildSettingsPage(){const themes=getVar("themes").split(",");const settings=[{"name":"Use system theme","js_name":"use-system-theme","default":true,},{"name":"Theme","js_name":"theme","default":"light","options":themes,},{"name":"Preferred light theme","js_name":"preferred-light-theme","default":"light","options":themes,},{"name":"Preferred dark theme","js_name":"preferred-dark-theme","default":"dark","options":themes,},{"name":"Auto-hide item contents for large items","js_name":"auto-hide-large-items","default":true,},{"name":"Auto-hide item methods' documentation","js_name":"auto-hide-method-docs","default":false,},{"name":"Auto-hide trait implementation documentation","js_name":"auto-hide-trait-implementations","default":false,},{"name":"Directly go to item in search if there is only one result","js_name":"go-to-only-result","default":false,},{"name":"Show line numbers on code examples","js_name":"line-numbers","default":false,},{"name":"Disable keyboard shortcuts","js_name":"disable-shortcuts","default":false,},];const elementKind=isSettingsPage?"section":"div";const innerHTML=`\
- ${setting_name}\
-
"}else{const checked=setting["default"]===true?" checked":"";output+=``}output+="`;onEach(setting["options"],option=>{const checked=option===setting["default"]?" checked":"";output+=``});output+="
${buildSettingsPageSections(settings)}
`;const el=document.createElement(elementKind);el.id="settings";el.className="popover";el.innerHTML=innerHTML;if(isSettingsPage){document.getElementById(MAIN_ID).appendChild(el)}else{el.setAttribute("tabindex","-1");getSettingsButton().appendChild(el)}return el}const settingsMenu=buildSettingsPage();function displaySettings(){settingsMenu.style.display=""}function settingsBlurHandler(event){blurHandler(event,getSettingsButton(),window.hidePopoverMenus)}if(isSettingsPage){getSettingsButton().onclick=function(event){event.preventDefault()}}else{const settingsButton=getSettingsButton();const settingsMenu=document.getElementById("settings");settingsButton.onclick=function(event){if(elemIsInParent(event.target,settingsMenu)){return}event.preventDefault();const shouldDisplaySettings=settingsMenu.style.display==="none";window.hidePopoverMenus();if(shouldDisplaySettings){displaySettings()}};settingsButton.onblur=settingsBlurHandler;settingsButton.querySelector("a").onblur=settingsBlurHandler;onEachLazy(settingsMenu.querySelectorAll("input"),el=>{el.onblur=settingsBlurHandler});settingsMenu.onblur=settingsBlurHandler}setTimeout(()=>{setEvents(settingsMenu);if(!isSettingsPage){displaySettings()}removeClass(getSettingsButton(),"rotate")},0)})()
\ No newline at end of file
diff --git a/ch3-coop/source-files.js b/ch3-coop/source-files.js
deleted file mode 100644
index 0e3cf6412..000000000
--- a/ch3-coop/source-files.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var sourcesIndex = JSON.parse('{\
-"os":["",[["boards",[],["qemu.rs"]],["sync",[],["mod.rs","up.rs"]],["syscall",[],["fs.rs","mod.rs","process.rs"]],["task",[],["context.rs","mod.rs","switch.rs","task.rs"]],["trap",[],["context.rs","mod.rs"]]],["config.rs","console.rs","lang_items.rs","loader.rs","main.rs","sbi.rs"]]\
-}');
-createSourceSidebar();
diff --git a/ch3-coop/source-script.js b/ch3-coop/source-script.js
deleted file mode 100644
index e0fac0739..000000000
--- a/ch3-coop/source-script.js
+++ /dev/null
@@ -1 +0,0 @@
-"use strict";(function(){const rootPath=document.getElementById("rustdoc-vars").attributes["data-root-path"].value;let oldScrollPosition=0;const NAME_OFFSET=0;const DIRS_OFFSET=1;const FILES_OFFSET=2;function closeSidebarIfMobile(){if(window.innerWidth1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -
//ref:: https://github.com/andre-richter/qemu-exit
-use core::arch::asm;
-
-const EXIT_SUCCESS: u32 = 0x5555; // Equals `exit(0)`. qemu successful exit
-
-const EXIT_FAILURE_FLAG: u32 = 0x3333;
-const EXIT_FAILURE: u32 = exit_code_encode(1); // Equals `exit(1)`. qemu failed exit
-const EXIT_RESET: u32 = 0x7777; // qemu reset
-
-pub trait QEMUExit {
- /// Exit with specified return code.
- ///
- /// Note: For `X86`, code is binary-OR'ed with `0x1` inside QEMU.
- fn exit(&self, code: u32) -> !;
-
- /// Exit QEMU using `EXIT_SUCCESS`, aka `0`, if possible.
- ///
- /// Note: Not possible for `X86`.
- fn exit_success(&self) -> !;
-
- /// Exit QEMU using `EXIT_FAILURE`, aka `1`.
- fn exit_failure(&self) -> !;
-}
-
-/// RISCV64 configuration
-pub struct RISCV64 {
- /// Address of the sifive_test mapped device.
- addr: u64,
-}
-
-/// Encode the exit code using EXIT_FAILURE_FLAG.
-const fn exit_code_encode(code: u32) -> u32 {
- (code << 16) | EXIT_FAILURE_FLAG
-}
-
-impl RISCV64 {
- /// Create an instance.
- pub const fn new(addr: u64) -> Self {
- RISCV64 { addr }
- }
-}
-
-impl QEMUExit for RISCV64 {
- /// Exit qemu with specified exit code.
- fn exit(&self, code: u32) -> ! {
- // If code is not a special value, we need to encode it with EXIT_FAILURE_FLAG.
- let code_new = match code {
- EXIT_SUCCESS | EXIT_FAILURE | EXIT_RESET => code,
- _ => exit_code_encode(code),
- };
-
- unsafe {
- asm!(
- "sw {0}, 0({1})",
- in(reg)code_new, in(reg)self.addr
- );
-
- // For the case that the QEMU exit attempt did not work, transition into an infinite
- // loop. Calling `panic!()` here is unfeasible, since there is a good chance
- // this function here is the last expression in the `panic!()` handler
- // itself. This prevents a possible infinite loop.
- loop {
- asm!("wfi", options(nomem, nostack));
- }
- }
- }
-
- fn exit_success(&self) -> ! {
- self.exit(EXIT_SUCCESS);
- }
-
- fn exit_failure(&self) -> ! {
- self.exit(EXIT_FAILURE);
- }
-}
-
-const VIRT_TEST: u64 = 0x100000;
-
-pub const QEMU_EXIT_HANDLE: RISCV64 = RISCV64::new(VIRT_TEST);
-1 -2 -3 -4 -5 -6 -7 -
//! Constants used in rCore
+config.rs - source
+
- 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -
//! SBI console driver, for text output
+console.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+
//! SBI console driver, for text output
-use crate::sbi::console_putchar;
-use core::fmt::{self, Write};
+use crate::sbi::console_putchar;
+use core::fmt::{self, Write};
-struct Stdout;
+struct Stdout;
-impl Write for Stdout {
- fn write_str(&mut self, s: &str) -> fmt::Result {
- for c in s.chars() {
- console_putchar(c as usize);
+impl Write for Stdout {
+ fn write_str(&mut self, s: &str) -> fmt::Result {
+ for c in s.chars() {
+ console_putchar(c as usize);
}
Ok(())
}
}
-pub fn print(args: fmt::Arguments) {
- Stdout.write_fmt(args).unwrap();
+pub fn print(args: fmt::Arguments) {
+ Stdout.write_fmt(args).unwrap();
}
-/// print string macro
-#[macro_export]
-macro_rules! print {
- ($fmt: literal $(, $($arg: tt)+)?) => {
- $crate::console::print(format_args!($fmt $(, $($arg)+)?));
+/// print string macro
+#[macro_export]
+macro_rules! print {
+ ($fmt: literal $(, $($arg: tt)+)?) => {
+ $crate::console::print(format_args!($fmt $(, $($arg)+)?));
}
}
-/// println string macro
-#[macro_export]
-macro_rules! println {
- ($fmt: literal $(, $($arg: tt)+)?) => {
- $crate::console::print(format_args!(concat!($fmt, "\n") $(, $($arg)+)?));
+/// println string macro
+#[macro_export]
+macro_rules! println {
+ ($fmt: literal $(, $($arg: tt)+)?) => {
+ $crate::console::print(format_args!(concat!($fmt, "\n") $(, $($arg)+)?));
}
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -
//! The panic handler
+lang_items.rs - source
+ //! The panic handler
-use crate::sbi::shutdown;
-use core::panic::PanicInfo;
+use crate::sbi::shutdown;
+use core::panic::PanicInfo;
+use log::*;
-#[panic_handler]
-fn panic(info: &PanicInfo) -> ! {
- if let Some(location) = info.location() {
- println!(
- "[kernel] Panicked at {}:{} {}",
- location.file(),
- location.line(),
- info.message().unwrap()
+#[panic_handler]
+fn panic(info: &PanicInfo) -> ! {
+ if let Some(location) = info.location() {
+ error!(
+ "[kernel] Panicked at {}:{} {}",
+ location.file(),
+ location.line(),
+ info.message().unwrap()
);
- } else {
- println!("[kernel] Panicked: {}", info.message().unwrap());
+ } else {
+ error!("[kernel] Panicked: {}", info.message().unwrap());
}
- shutdown()
+ shutdown(true)
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -
//! Loading user applications into memory
-//!
-//! For chapter 3, user applications are simply part of the data included in the
-//! kernel binary, so we only need to copy them to the space allocated for each
-//! app to load them. We also allocate fixed spaces for each task's
-//! [`KernelStack`] and [`UserStack`].
+loader.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+37
+38
+39
+40
+41
+42
+43
+44
+45
+46
+47
+48
+49
+50
+51
+52
+53
+54
+55
+56
+57
+58
+59
+60
+61
+62
+63
+64
+65
+66
+67
+68
+69
+70
+71
+72
+73
+74
+75
+76
+77
+78
+79
+80
+81
+82
+83
+84
+85
+86
+87
+88
+89
+90
+91
+92
+93
+94
+95
+96
+97
+98
+
//! Loading user applications into memory
+//!
+//! For chapter 3, user applications are simply part of the data included in the
+//! kernel binary, so we only need to copy them to the space allocated for each
+//! app to load them. We also allocate fixed spaces for each task's
+//! [`KernelStack`] and [`UserStack`].
-use crate::config::*;
-use crate::trap::TrapContext;
-use core::arch::asm;
+use crate::config::*;
+use crate::trap::TrapContext;
+use core::arch::asm;
-#[repr(align(4096))]
-#[derive(Copy, Clone)]
-struct KernelStack {
- data: [u8; KERNEL_STACK_SIZE],
+#[repr(align(4096))]
+#[derive(Copy, Clone)]
+struct KernelStack {
+ data: [u8; KERNEL_STACK_SIZE],
}
-#[repr(align(4096))]
-#[derive(Copy, Clone)]
-struct UserStack {
- data: [u8; USER_STACK_SIZE],
+#[repr(align(4096))]
+#[derive(Copy, Clone)]
+struct UserStack {
+ data: [u8; USER_STACK_SIZE],
}
-static KERNEL_STACK: [KernelStack; MAX_APP_NUM] = [KernelStack {
- data: [0; KERNEL_STACK_SIZE],
-}; MAX_APP_NUM];
+static KERNEL_STACK: [KernelStack; MAX_APP_NUM] = [KernelStack {
+ data: [0; KERNEL_STACK_SIZE],
+}; MAX_APP_NUM];
-static USER_STACK: [UserStack; MAX_APP_NUM] = [UserStack {
- data: [0; USER_STACK_SIZE],
-}; MAX_APP_NUM];
+static USER_STACK: [UserStack; MAX_APP_NUM] = [UserStack {
+ data: [0; USER_STACK_SIZE],
+}; MAX_APP_NUM];
-impl KernelStack {
- fn get_sp(&self) -> usize {
- self.data.as_ptr() as usize + KERNEL_STACK_SIZE
+impl KernelStack {
+ fn get_sp(&self) -> usize {
+ self.data.as_ptr() as usize + KERNEL_STACK_SIZE
}
- pub fn push_context(&self, trap_cx: TrapContext) -> usize {
- let trap_cx_ptr = (self.get_sp() - core::mem::size_of::<TrapContext>()) as *mut TrapContext;
- unsafe {
- *trap_cx_ptr = trap_cx;
+ pub fn push_context(&self, trap_cx: TrapContext) -> usize {
+ let trap_cx_ptr = (self.get_sp() - core::mem::size_of::<TrapContext>()) as *mut TrapContext;
+ unsafe {
+ *trap_cx_ptr = trap_cx;
}
- trap_cx_ptr as usize
+ trap_cx_ptr as usize
}
}
-impl UserStack {
- fn get_sp(&self) -> usize {
- self.data.as_ptr() as usize + USER_STACK_SIZE
+impl UserStack {
+ fn get_sp(&self) -> usize {
+ self.data.as_ptr() as usize + USER_STACK_SIZE
}
}
-/// Get base address of app i.
-fn get_base_i(app_id: usize) -> usize {
- APP_BASE_ADDRESS + app_id * APP_SIZE_LIMIT
+/// Get base address of app i.
+fn get_base_i(app_id: usize) -> usize {
+ APP_BASE_ADDRESS + app_id * APP_SIZE_LIMIT
}
-/// Get the total number of applications.
-pub fn get_num_app() -> usize {
- extern "C" {
- fn _num_app();
+/// Get the total number of applications.
+pub fn get_num_app() -> usize {
+ extern "C" {
+ fn _num_app();
}
- unsafe { (_num_app as usize as *const usize).read_volatile() }
+ unsafe { (_num_app as usize as *const usize).read_volatile() }
}
-/// Load nth user app at
-/// [APP_BASE_ADDRESS + n * APP_SIZE_LIMIT, APP_BASE_ADDRESS + (n+1) * APP_SIZE_LIMIT).
-pub fn load_apps() {
- extern "C" {
- fn _num_app();
+/// Load nth user app at
+/// [APP_BASE_ADDRESS + n * APP_SIZE_LIMIT, APP_BASE_ADDRESS + (n+1) * APP_SIZE_LIMIT).
+pub fn load_apps() {
+ extern "C" {
+ fn _num_app();
}
- let num_app_ptr = _num_app as usize as *const usize;
- let num_app = get_num_app();
- let app_start = unsafe { core::slice::from_raw_parts(num_app_ptr.add(1), num_app + 1) };
- // clear i-cache first
- unsafe {
- asm!("fence.i");
+ let num_app_ptr = _num_app as usize as *const usize;
+ let num_app = get_num_app();
+ let app_start = unsafe { core::slice::from_raw_parts(num_app_ptr.add(1), num_app + 1) };
+ // clear i-cache first
+ unsafe {
+ asm!("fence.i");
}
- // load apps
- for i in 0..num_app {
- let base_i = get_base_i(i);
- // clear region
- (base_i..base_i + APP_SIZE_LIMIT)
- .for_each(|addr| unsafe { (addr as *mut u8).write_volatile(0) });
- // load app from data section to memory
- let src = unsafe {
- core::slice::from_raw_parts(app_start[i] as *const u8, app_start[i + 1] - app_start[i])
+ // load apps
+ for i in 0..num_app {
+ let base_i = get_base_i(i);
+ // clear region
+ (base_i..base_i + APP_SIZE_LIMIT)
+ .for_each(|addr| unsafe { (addr as *mut u8).write_volatile(0) });
+ // load app from data section to memory
+ let src = unsafe {
+ core::slice::from_raw_parts(app_start[i] as *const u8, app_start[i + 1] - app_start[i])
};
- let dst = unsafe { core::slice::from_raw_parts_mut(base_i as *mut u8, src.len()) };
- dst.copy_from_slice(src);
+ let dst = unsafe { core::slice::from_raw_parts_mut(base_i as *mut u8, src.len()) };
+ dst.copy_from_slice(src);
}
}
-/// get app info with entry and sp and save `TrapContext` in kernel stack
-pub fn init_app_cx(app_id: usize) -> usize {
- KERNEL_STACK[app_id].push_context(TrapContext::app_init_context(
- get_base_i(app_id),
- USER_STACK[app_id].get_sp(),
+/// get app info with entry and sp and save `TrapContext` in kernel stack
+pub fn init_app_cx(app_id: usize) -> usize {
+ KERNEL_STACK[app_id].push_context(TrapContext::app_init_context(
+ get_base_i(app_id),
+ USER_STACK[app_id].get_sp(),
))
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -
//! The main module and entrypoint
-//!
-//! Various facilities of the kernels are implemented as submodules. The most
-//! important ones are:
-//!
-//! - [`trap`]: Handles all cases of switching from userspace to the kernel
-//! - [`task`]: Task management
-//! - [`syscall`]: System call handling and implementation
-//!
-//! The operating system also starts in this module. Kernel code starts
-//! executing from `entry.asm`, after which [`rust_main()`] is called to
-//! initialize various pieces of functionality. (See its source code for
-//! details.)
-//!
-//! We then call [`task::run_first_task()`] and for the first time go to
-//! userspace.
+main.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+37
+38
+39
+40
+41
+42
+43
+44
+45
+46
+47
+48
+49
+50
+51
+52
+53
+54
+55
+56
+57
+58
+59
+60
+
//! The main module and entrypoint
+//!
+//! Various facilities of the kernels are implemented as submodules. The most
+//! important ones are:
+//!
+//! - [`trap`]: Handles all cases of switching from userspace to the kernel
+//! - [`task`]: Task management
+//! - [`syscall`]: System call handling and implementation
+//!
+//! The operating system also starts in this module. Kernel code starts
+//! executing from `entry.asm`, after which [`rust_main()`] is called to
+//! initialize various pieces of functionality. (See its source code for
+//! details.)
+//!
+//! We then call [`task::run_first_task()`] and for the first time go to
+//! userspace.
-#![deny(missing_docs)]
-#![deny(warnings)]
-#![no_std]
-#![no_main]
-#![feature(panic_info_message)]
+#![deny(missing_docs)]
+#![deny(warnings)]
+#![no_std]
+#![no_main]
+#![feature(panic_info_message)]
-use core::arch::global_asm;
+use core::arch::global_asm;
+#[macro_use]
+mod console;
+mod config;
+mod lang_items;
+mod loader;
+mod sbi;
+mod sync;
+pub mod syscall;
+pub mod task;
+pub mod trap;
-#[path = "boards/qemu.rs"]
-mod board;
+global_asm!(include_str!("entry.asm"));
+global_asm!(include_str!("link_app.S"));
-#[macro_use]
-mod console;
-mod config;
-mod lang_items;
-mod loader;
-mod sbi;
-mod sync;
-pub mod syscall;
-pub mod task;
-pub mod trap;
-
-global_asm!(include_str!("entry.asm"));
-global_asm!(include_str!("link_app.S"));
-
-/// clear BSS segment
-fn clear_bss() {
- extern "C" {
- fn sbss();
- fn ebss();
+/// clear BSS segment
+fn clear_bss() {
+ extern "C" {
+ fn sbss();
+ fn ebss();
}
- unsafe {
- core::slice::from_raw_parts_mut(sbss as usize as *mut u8, ebss as usize - sbss as usize)
- .fill(0);
+ unsafe {
+ core::slice::from_raw_parts_mut(sbss as usize as *mut u8, ebss as usize - sbss as usize)
+ .fill(0);
}
}
-/// the rust entry-point of os
-#[no_mangle]
-pub fn rust_main() -> ! {
- clear_bss();
- println!("[kernel] Hello, world!");
- trap::init();
- loader::load_apps();
- task::run_first_task();
- panic!("Unreachable in rust_main!");
+/// the rust entry-point of os
+#[no_mangle]
+pub fn rust_main() -> ! {
+ clear_bss();
+ println!("[kernel] Hello, world!");
+ trap::init();
+ loader::load_apps();
+ task::run_first_task();
+ panic!("Unreachable in rust_main!");
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -
//! SBI call wrappers
+sbi.rs - source
+ //! SBI call wrappers
-use core::arch::asm;
-
-const SBI_CONSOLE_PUTCHAR: usize = 1;
-
-// const SBI_SET_TIMER: usize = 0;
-// const SBI_CONSOLE_GETCHAR: usize = 2;
-// const SBI_CLEAR_IPI: usize = 3;
-// const SBI_SEND_IPI: usize = 4;
-// const SBI_REMOTE_FENCE_I: usize = 5;
-// const SBI_REMOTE_SFENCE_VMA: usize = 6;
-// const SBI_REMOTE_SFENCE_VMA_ASID: usize = 7;
-// const SBI_SHUTDOWN: usize = 8;
-
-/// handle SBI call with `which` SBI_id and other arguments
-#[inline(always)]
-fn sbi_call(which: usize, arg0: usize, arg1: usize, arg2: usize) -> usize {
- let mut ret;
- unsafe {
- asm!(
- "li x16, 0",
- "ecall",
- inlateout("x10") arg0 => ret,
- in("x11") arg1,
- in("x12") arg2,
- in("x17") which,
- );
- }
- ret
+/// use sbi call to putchar in console (qemu uart handler)
+pub fn console_putchar(c: usize) {
+ #[allow(deprecated)]
+ sbi_rt::legacy::console_putchar(c);
}
-/// use sbi call to putchar in console (qemu uart handler)
-pub fn console_putchar(c: usize) {
- sbi_call(SBI_CONSOLE_PUTCHAR, c, 0, 0);
+/// use sbi call to getchar from console (qemu uart handler)
+#[allow(unused)]
+pub fn console_getchar() -> usize {
+ #[allow(deprecated)]
+ sbi_rt::legacy::console_getchar()
}
-/// use sbi call to getchar from console (qemu uart handler)
-// pub fn console_getchar() -> usize {
-// sbi_call(SBI_CONSOLE_GETCHAR, 0, 0, 0)
-// }
-
-use crate::board::QEMUExit;
-/// use sbi call to shutdown the kernel
-pub fn shutdown() -> ! {
- crate::board::QEMU_EXIT_HANDLE.exit_failure();
+/// use sbi call to shutdown the kernel
+pub fn shutdown(failure: bool) -> ! {
+ use sbi_rt::{system_reset, NoReason, Shutdown, SystemFailure};
+ if !failure {
+ system_reset(Shutdown, NoReason);
+ } else {
+ system_reset(Shutdown, SystemFailure);
+ }
+ unreachable!()
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -
//! Uniprocessor interior mutability primitives
+up.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+
//! Uniprocessor interior mutability primitives
-use core::cell::{RefCell, RefMut};
+use core::cell::{RefCell, RefMut};
-/// Wrap a static data structure inside it so that we are
-/// able to access it without any `unsafe`.
-///
-/// We should only use it in uniprocessor.
-///
-/// In order to get mutable reference of inner data, call
-/// `exclusive_access`.
-pub struct UPSafeCell<T> {
- /// inner data
- inner: RefCell<T>,
+/// Wrap a static data structure inside it so that we are
+/// able to access it without any `unsafe`.
+///
+/// We should only use it in uniprocessor.
+///
+/// In order to get mutable reference of inner data, call
+/// `exclusive_access`.
+pub struct UPSafeCell<T> {
+ /// inner data
+ inner: RefCell<T>,
}
-unsafe impl<T> Sync for UPSafeCell<T> {}
+unsafe impl<T> Sync for UPSafeCell<T> {}
-impl<T> UPSafeCell<T> {
- /// User is responsible to guarantee that inner struct is only used in
- /// uniprocessor.
- pub unsafe fn new(value: T) -> Self {
- Self {
- inner: RefCell::new(value),
+impl<T> UPSafeCell<T> {
+ /// User is responsible to guarantee that inner struct is only used in
+ /// uniprocessor.
+ pub unsafe fn new(value: T) -> Self {
+ Self {
+ inner: RefCell::new(value),
}
}
- /// Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
- pub fn exclusive_access(&self) -> RefMut<'_, T> {
- self.inner.borrow_mut()
+ /// Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
+ pub fn exclusive_access(&self) -> RefMut<'_, T> {
+ self.inner.borrow_mut()
}
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -
//! File and filesystem-related syscalls
+fs.rs - source
+ //! File and filesystem-related syscalls
-const FD_STDOUT: usize = 1;
+const FD_STDOUT: usize = 1;
-/// write buf of length `len` to a file with `fd`
-pub fn sys_write(fd: usize, buf: *const u8, len: usize) -> isize {
- match fd {
- FD_STDOUT => {
- let slice = unsafe { core::slice::from_raw_parts(buf, len) };
- let str = core::str::from_utf8(slice).unwrap();
- print!("{}", str);
- len as isize
+/// write buf of length `len` to a file with `fd`
+pub fn sys_write(fd: usize, buf: *const u8, len: usize) -> isize {
+ match fd {
+ FD_STDOUT => {
+ let slice = unsafe { core::slice::from_raw_parts(buf, len) };
+ let str = core::str::from_utf8(slice).unwrap();
+ print!("{}", str);
+ len as isize
}
- _ => {
- panic!("Unsupported fd in sys_write!");
+ _ => {
+ panic!("Unsupported fd in sys_write!");
}
}
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -
//! Implementation of syscalls
-//!
-//! The single entry point to all system calls, [`syscall()`], is called
-//! whenever userspace wishes to perform a system call using the `ecall`
-//! instruction. In this case, the processor raises an 'Environment call from
-//! U-mode' exception, which is handled as one of the cases in
-//! [`crate::trap::trap_handler`].
-//!
-//! For clarity, each single syscall is implemented as its own function, named
-//! `sys_` then the name of the syscall. You can find functions like this in
-//! submodules, and you should also implement syscalls this way.
+mod.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+
//! Implementation of syscalls
+//!
+//! The single entry point to all system calls, [`syscall()`], is called
+//! whenever userspace wishes to perform a system call using the `ecall`
+//! instruction. In this case, the processor raises an 'Environment call from
+//! U-mode' exception, which is handled as one of the cases in
+//! [`crate::trap::trap_handler`].
+//!
+//! For clarity, each single syscall is implemented as its own function, named
+//! `sys_` then the name of the syscall. You can find functions like this in
+//! submodules, and you should also implement syscalls this way.
-const SYSCALL_WRITE: usize = 64;
-const SYSCALL_EXIT: usize = 93;
-const SYSCALL_YIELD: usize = 124;
-//const SYSCALL_GET_TIME: usize = 169;
+const SYSCALL_WRITE: usize = 64;
+const SYSCALL_EXIT: usize = 93;
+const SYSCALL_YIELD: usize = 124;
+//const SYSCALL_GET_TIME: usize = 169;
-mod fs;
-mod process;
+mod fs;
+mod process;
-use fs::*;
-use process::*;
+use fs::*;
+use process::*;
-/// handle syscall exception with `syscall_id` and other arguments
-pub fn syscall(syscall_id: usize, args: [usize; 3]) -> isize {
- match syscall_id {
- SYSCALL_WRITE => sys_write(args[0], args[1] as *const u8, args[2]),
- SYSCALL_EXIT => sys_exit(args[0] as i32),
- SYSCALL_YIELD => sys_yield(),
- _ => panic!("Unsupported syscall_id: {}", syscall_id),
+/// handle syscall exception with `syscall_id` and other arguments
+pub fn syscall(syscall_id: usize, args: [usize; 3]) -> isize {
+ match syscall_id {
+ SYSCALL_WRITE => sys_write(args[0], args[1] as *const u8, args[2]),
+ SYSCALL_EXIT => sys_exit(args[0] as i32),
+ SYSCALL_YIELD => sys_yield(),
+ _ => panic!("Unsupported syscall_id: {}", syscall_id),
}
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -
//! Process management syscalls
-use crate::task::{exit_current_and_run_next, suspend_current_and_run_next};
+process.rs - source
+ //! Process management syscalls
+use crate::task::{exit_current_and_run_next, suspend_current_and_run_next};
-/// task exits and submit an exit code
-pub fn sys_exit(exit_code: i32) -> ! {
- println!("[kernel] Application exited with code {}", exit_code);
- exit_current_and_run_next();
- panic!("Unreachable in sys_exit!");
+/// task exits and submit an exit code
+pub fn sys_exit(exit_code: i32) -> ! {
+ println!("[kernel] Application exited with code {}", exit_code);
+ exit_current_and_run_next();
+ panic!("Unreachable in sys_exit!");
}
-/// current task gives up resources for other tasks
-pub fn sys_yield() -> isize {
- suspend_current_and_run_next();
- 0
-}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -
//! Implementation of [`TaskContext`]
+context.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+
//! Implementation of [`TaskContext`]
-/// Task Context
-#[derive(Copy, Clone)]
-#[repr(C)]
-pub struct TaskContext {
- /// return address ( e.g. __restore ) of __switch ASM function
- ra: usize,
- /// kernel stack pointer of app
- sp: usize,
- /// callee saved registers: s 0..11
- s: [usize; 12],
+/// Task Context
+#[derive(Copy, Clone)]
+#[repr(C)]
+pub struct TaskContext {
+ /// return address ( e.g. __restore ) of __switch ASM function
+ ra: usize,
+ /// kernel stack pointer of app
+ sp: usize,
+ /// callee saved registers: s 0..11
+ s: [usize; 12],
}
-impl TaskContext {
- /// init task context
- pub fn zero_init() -> Self {
- Self {
- ra: 0,
- sp: 0,
- s: [0; 12],
+impl TaskContext {
+ /// init task context
+ pub fn zero_init() -> Self {
+ Self {
+ ra: 0,
+ sp: 0,
+ s: [0; 12],
}
}
- /// set task context {__restore ASM funciton, kernel stack, s_0..12 }
- pub fn goto_restore(kstack_ptr: usize) -> Self {
- extern "C" {
- fn __restore();
+ /// set task context {__restore ASM funciton, kernel stack, s_0..12 }
+ pub fn goto_restore(kstack_ptr: usize) -> Self {
+ extern "C" {
+ fn __restore();
}
- Self {
- ra: __restore as usize,
- sp: kstack_ptr,
- s: [0; 12],
+ Self {
+ ra: __restore as usize,
+ sp: kstack_ptr,
+ s: [0; 12],
}
}
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -
//! Task management implementation
-//!
-//! Everything about task management, like starting and switching tasks is
-//! implemented here.
-//!
-//! A single global instance of [`TaskManager`] called `TASK_MANAGER` controls
-//! all the tasks in the operating system.
-//!
-//! Be careful when you see `__switch` ASM function in `switch.S`. Control flow around this function
-//! might not be what you expect.
+mod.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+37
+38
+39
+40
+41
+42
+43
+44
+45
+46
+47
+48
+49
+50
+51
+52
+53
+54
+55
+56
+57
+58
+59
+60
+61
+62
+63
+64
+65
+66
+67
+68
+69
+70
+71
+72
+73
+74
+75
+76
+77
+78
+79
+80
+81
+82
+83
+84
+85
+86
+87
+88
+89
+90
+91
+92
+93
+94
+95
+96
+97
+98
+99
+100
+101
+102
+103
+104
+105
+106
+107
+108
+109
+110
+111
+112
+113
+114
+115
+116
+117
+118
+119
+120
+121
+122
+123
+124
+125
+126
+127
+128
+129
+130
+131
+132
+133
+134
+135
+136
+137
+138
+139
+140
+141
+142
+143
+144
+145
+146
+147
+148
+149
+150
+151
+152
+153
+154
+155
+156
+157
+158
+159
+160
+161
+162
+163
+164
+165
+166
+167
+168
+169
+170
+171
+172
+173
+
//! Task management implementation
+//!
+//! Everything about task management, like starting and switching tasks is
+//! implemented here.
+//!
+//! A single global instance of [`TaskManager`] called `TASK_MANAGER` controls
+//! all the tasks in the operating system.
+//!
+//! Be careful when you see `__switch` ASM function in `switch.S`. Control flow around this function
+//! might not be what you expect.
-mod context;
-mod switch;
+mod context;
+mod switch;
-#[allow(clippy::module_inception)]
-mod task;
+#[allow(clippy::module_inception)]
+mod task;
-use crate::config::MAX_APP_NUM;
-use crate::loader::{get_num_app, init_app_cx};
-use crate::sync::UPSafeCell;
-use lazy_static::*;
-use switch::__switch;
-use task::{TaskControlBlock, TaskStatus};
+use crate::config::MAX_APP_NUM;
+use crate::loader::{get_num_app, init_app_cx};
+use crate::sbi::shutdown;
+use crate::sync::UPSafeCell;
+use lazy_static::*;
+use switch::__switch;
+use task::{TaskControlBlock, TaskStatus};
-pub use context::TaskContext;
+pub use context::TaskContext;
-/// The task manager, where all the tasks are managed.
-///
-/// Functions implemented on `TaskManager` deals with all task state transitions
-/// and task context switching. For convenience, you can find wrappers around it
-/// in the module level.
-///
-/// Most of `TaskManager` are hidden behind the field `inner`, to defer
-/// borrowing checks to runtime. You can see examples on how to use `inner` in
-/// existing functions on `TaskManager`.
-pub struct TaskManager {
- /// total number of tasks
- num_app: usize,
- /// use inner value to get mutable access
- inner: UPSafeCell<TaskManagerInner>,
+/// The task manager, where all the tasks are managed.
+///
+/// Functions implemented on `TaskManager` deals with all task state transitions
+/// and task context switching. For convenience, you can find wrappers around it
+/// in the module level.
+///
+/// Most of `TaskManager` are hidden behind the field `inner`, to defer
+/// borrowing checks to runtime. You can see examples on how to use `inner` in
+/// existing functions on `TaskManager`.
+pub struct TaskManager {
+ /// total number of tasks
+ num_app: usize,
+ /// use inner value to get mutable access
+ inner: UPSafeCell<TaskManagerInner>,
}
-/// Inner of Task Manager
-pub struct TaskManagerInner {
- /// task list
- tasks: [TaskControlBlock; MAX_APP_NUM],
- /// id of current `Running` task
- current_task: usize,
+/// Inner of Task Manager
+pub struct TaskManagerInner {
+ /// task list
+ tasks: [TaskControlBlock; MAX_APP_NUM],
+ /// id of current `Running` task
+ current_task: usize,
}
-lazy_static! {
- /// Global variable: TASK_MANAGER
- pub static ref TASK_MANAGER: TaskManager = {
- let num_app = get_num_app();
- let mut tasks = [TaskControlBlock {
- task_cx: TaskContext::zero_init(),
- task_status: TaskStatus::UnInit,
- }; MAX_APP_NUM];
- for (i, task) in tasks.iter_mut().enumerate() {
- task.task_cx = TaskContext::goto_restore(init_app_cx(i));
- task.task_status = TaskStatus::Ready;
+lazy_static! {
+ /// Global variable: TASK_MANAGER
+ pub static ref TASK_MANAGER: TaskManager = {
+ let num_app = get_num_app();
+ let mut tasks = [TaskControlBlock {
+ task_cx: TaskContext::zero_init(),
+ task_status: TaskStatus::UnInit,
+ }; MAX_APP_NUM];
+ for (i, task) in tasks.iter_mut().enumerate() {
+ task.task_cx = TaskContext::goto_restore(init_app_cx(i));
+ task.task_status = TaskStatus::Ready;
}
- TaskManager {
- num_app,
- inner: unsafe {
- UPSafeCell::new(TaskManagerInner {
- tasks,
- current_task: 0,
+ TaskManager {
+ num_app,
+ inner: unsafe {
+ UPSafeCell::new(TaskManagerInner {
+ tasks,
+ current_task: 0,
})
},
}
};
}
-impl TaskManager {
- /// Run the first task in task list.
- ///
- /// Generally, the first task in task list is an idle task (we call it zero process later).
- /// But in ch3, we load apps statically, so the first task is a real app.
- fn run_first_task(&self) -> ! {
- let mut inner = self.inner.exclusive_access();
- let task0 = &mut inner.tasks[0];
- task0.task_status = TaskStatus::Running;
- let next_task_cx_ptr = &task0.task_cx as *const TaskContext;
- drop(inner);
- let mut _unused = TaskContext::zero_init();
- // before this, we should drop local variables that must be dropped manually
- unsafe {
- __switch(&mut _unused as *mut TaskContext, next_task_cx_ptr);
+impl TaskManager {
+ /// Run the first task in task list.
+ ///
+ /// Generally, the first task in task list is an idle task (we call it zero process later).
+ /// But in ch3, we load apps statically, so the first task is a real app.
+ fn run_first_task(&self) -> ! {
+ let mut inner = self.inner.exclusive_access();
+ let task0 = &mut inner.tasks[0];
+ task0.task_status = TaskStatus::Running;
+ let next_task_cx_ptr = &task0.task_cx as *const TaskContext;
+ drop(inner);
+ let mut _unused = TaskContext::zero_init();
+ // before this, we should drop local variables that must be dropped manually
+ unsafe {
+ __switch(&mut _unused as *mut TaskContext, next_task_cx_ptr);
}
- panic!("unreachable in run_first_task!");
+ panic!("unreachable in run_first_task!");
}
- /// Change the status of current `Running` task into `Ready`.
- fn mark_current_suspended(&self) {
- let mut inner = self.inner.exclusive_access();
- let current = inner.current_task;
- inner.tasks[current].task_status = TaskStatus::Ready;
+ /// Change the status of current `Running` task into `Ready`.
+ fn mark_current_suspended(&self) {
+ let mut inner = self.inner.exclusive_access();
+ let current = inner.current_task;
+ inner.tasks[current].task_status = TaskStatus::Ready;
}
- /// Change the status of current `Running` task into `Exited`.
- fn mark_current_exited(&self) {
- let mut inner = self.inner.exclusive_access();
- let current = inner.current_task;
- inner.tasks[current].task_status = TaskStatus::Exited;
+ /// Change the status of current `Running` task into `Exited`.
+ fn mark_current_exited(&self) {
+ let mut inner = self.inner.exclusive_access();
+ let current = inner.current_task;
+ inner.tasks[current].task_status = TaskStatus::Exited;
}
- /// Find next task to run and return app id.
- ///
- /// In this case, we only return the first `Ready` task in task list.
- fn find_next_task(&self) -> Option<usize> {
- let inner = self.inner.exclusive_access();
- let current = inner.current_task;
- (current + 1..current + self.num_app + 1)
- .map(|id| id % self.num_app)
- .find(|id| inner.tasks[*id].task_status == TaskStatus::Ready)
+ /// Find next task to run and return app id.
+ ///
+ /// In this case, we only return the first `Ready` task in task list.
+ fn find_next_task(&self) -> Option<usize> {
+ let inner = self.inner.exclusive_access();
+ let current = inner.current_task;
+ (current + 1..current + self.num_app + 1)
+ .map(|id| id % self.num_app)
+ .find(|id| inner.tasks[*id].task_status == TaskStatus::Ready)
}
- /// Switch current `Running` task to the task we have found,
- /// or there is no `Ready` task and we can exit with all applications completed
- fn run_next_task(&self) {
- if let Some(next) = self.find_next_task() {
- let mut inner = self.inner.exclusive_access();
- let current = inner.current_task;
- inner.tasks[next].task_status = TaskStatus::Running;
- inner.current_task = next;
- let current_task_cx_ptr = &mut inner.tasks[current].task_cx as *mut TaskContext;
- let next_task_cx_ptr = &inner.tasks[next].task_cx as *const TaskContext;
- drop(inner);
- // before this, we should drop local variables that must be dropped manually
- unsafe {
- __switch(current_task_cx_ptr, next_task_cx_ptr);
+ /// Switch current `Running` task to the task we have found,
+ /// or there is no `Ready` task and we can exit with all applications completed
+ fn run_next_task(&self) {
+ if let Some(next) = self.find_next_task() {
+ let mut inner = self.inner.exclusive_access();
+ let current = inner.current_task;
+ inner.tasks[next].task_status = TaskStatus::Running;
+ inner.current_task = next;
+ let current_task_cx_ptr = &mut inner.tasks[current].task_cx as *mut TaskContext;
+ let next_task_cx_ptr = &inner.tasks[next].task_cx as *const TaskContext;
+ drop(inner);
+ // before this, we should drop local variables that must be dropped manually
+ unsafe {
+ __switch(current_task_cx_ptr, next_task_cx_ptr);
}
- // go back to user mode
- } else {
- println!("All applications completed!");
- use crate::board::QEMUExit;
- crate::board::QEMU_EXIT_HANDLE.exit_success();
+ // go back to user mode
+ } else {
+ println!("All applications completed!");
+ shutdown(false);
}
}
}
-/// run first task
-pub fn run_first_task() {
- TASK_MANAGER.run_first_task();
+/// run first task
+pub fn run_first_task() {
+ TASK_MANAGER.run_first_task();
}
-/// rust next task
-fn run_next_task() {
- TASK_MANAGER.run_next_task();
+/// rust next task
+fn run_next_task() {
+ TASK_MANAGER.run_next_task();
}
-/// suspend current task
-fn mark_current_suspended() {
- TASK_MANAGER.mark_current_suspended();
+/// suspend current task
+fn mark_current_suspended() {
+ TASK_MANAGER.mark_current_suspended();
}
-/// exit current task
-fn mark_current_exited() {
- TASK_MANAGER.mark_current_exited();
+/// exit current task
+fn mark_current_exited() {
+ TASK_MANAGER.mark_current_exited();
}
-/// suspend current task, then run next task
-pub fn suspend_current_and_run_next() {
- mark_current_suspended();
- run_next_task();
+/// suspend current task, then run next task
+pub fn suspend_current_and_run_next() {
+ mark_current_suspended();
+ run_next_task();
}
-/// exit current task, then run next task
-pub fn exit_current_and_run_next() {
- mark_current_exited();
- run_next_task();
+/// exit current task, then run next task
+pub fn exit_current_and_run_next() {
+ mark_current_exited();
+ run_next_task();
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -
//! Rust wrapper around `__switch`.
-//!
-//! Switching to a different task's context happens here. The actual
-//! implementation must not be in Rust and (essentially) has to be in assembly
-//! language (Do you know why?), so this module really is just a wrapper around
-//! `switch.S`.
+switch.rs - source
+ //! Rust wrapper around `__switch`.
+//!
+//! Switching to a different task's context happens here. The actual
+//! implementation must not be in Rust and (essentially) has to be in assembly
+//! language (Do you know why?), so this module really is just a wrapper around
+//! `switch.S`.
-use super::TaskContext;
-use core::arch::global_asm;
+use super::TaskContext;
+use core::arch::global_asm;
-global_asm!(include_str!("switch.S"));
+global_asm!(include_str!("switch.S"));
-extern "C" {
- /// Switch to the context of `next_task_cx_ptr`, saving the current context
- /// in `current_task_cx_ptr`.
- pub fn __switch(current_task_cx_ptr: *mut TaskContext, next_task_cx_ptr: *const TaskContext);
+extern "C" {
+ /// Switch to the context of `next_task_cx_ptr`, saving the current context
+ /// in `current_task_cx_ptr`.
+ pub fn __switch(current_task_cx_ptr: *mut TaskContext, next_task_cx_ptr: *const TaskContext);
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -
//! Types related to task management
+task.rs - source
+ //! Types related to task management
-use super::TaskContext;
+use super::TaskContext;
-#[derive(Copy, Clone)]
-pub struct TaskControlBlock {
- pub task_status: TaskStatus,
- pub task_cx: TaskContext,
+#[derive(Copy, Clone)]
+pub struct TaskControlBlock {
+ pub task_status: TaskStatus,
+ pub task_cx: TaskContext,
}
-#[derive(Copy, Clone, PartialEq)]
-pub enum TaskStatus {
- UnInit,
- Ready,
- Running,
- Exited,
+#[derive(Copy, Clone, PartialEq)]
+pub enum TaskStatus {
+ UnInit,
+ Ready,
+ Running,
+ Exited,
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -
use riscv::register::sstatus::{self, Sstatus, SPP};
-/// Trap Context
-#[repr(C)]
-pub struct TrapContext {
- /// general regs[0..31]
- pub x: [usize; 32],
- /// CSR sstatus
- pub sstatus: Sstatus,
- /// CSR sepc
- pub sepc: usize,
+context.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+
use riscv::register::sstatus::{self, Sstatus, SPP};
+/// Trap Context
+#[repr(C)]
+pub struct TrapContext {
+ /// general regs[0..31]
+ pub x: [usize; 32],
+ /// CSR sstatus
+ pub sstatus: Sstatus,
+ /// CSR sepc
+ pub sepc: usize,
}
-impl TrapContext {
- /// set stack pointer to x_2 reg (sp)
- pub fn set_sp(&mut self, sp: usize) {
- self.x[2] = sp;
- }
- /// init app context
- pub fn app_init_context(entry: usize, sp: usize) -> Self {
- let mut sstatus = sstatus::read(); // CSR sstatus
- sstatus.set_spp(SPP::User); //previous privilege mode: user mode
- let mut cx = Self {
- x: [0; 32],
- sstatus,
- sepc: entry, // entry point of app
- };
- cx.set_sp(sp); // app's user stack pointer
- cx // return initial Trap Context of app
+impl TrapContext {
+ /// set stack pointer to x_2 reg (sp)
+ pub fn set_sp(&mut self, sp: usize) {
+ self.x[2] = sp;
}
+ /// init app context
+ pub fn app_init_context(entry: usize, sp: usize) -> Self {
+ let mut sstatus = sstatus::read(); // CSR sstatus
+ sstatus.set_spp(SPP::User); //previous privilege mode: user mode
+ let mut cx = Self {
+ x: [0; 32],
+ sstatus,
+ sepc: entry, // entry point of app
+ };
+ cx.set_sp(sp); // app's user stack pointer
+ cx // return initial Trap Context of app
+ }
}
-
-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -
//! Trap handling functionality
-//!
-//! For rCore, we have a single trap entry point, namely `__alltraps`. At
-//! initialization in [`init()`], we set the `stvec` CSR to point to it.
-//!
-//! All traps go through `__alltraps`, which is defined in `trap.S`. The
-//! assembly language code does just enough work restore the kernel space
-//! context, ensuring that Rust code safely runs, and transfers control to
-//! [`trap_handler()`].
-//!
-//! It then calls different functionality based on what exactly the exception
-//! was. For example, timer interrupts trigger task preemption, and syscalls go
-//! to [`syscall()`].
+mod.rs - source
+ 1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+37
+38
+39
+40
+41
+42
+43
+44
+45
+46
+47
+48
+49
+50
+51
+52
+53
+54
+55
+56
+57
+58
+59
+60
+61
+62
+63
+64
+65
+66
+67
+68
+
//! Trap handling functionality
+//!
+//! For rCore, we have a single trap entry point, namely `__alltraps`. At
+//! initialization in [`init()`], we set the `stvec` CSR to point to it.
+//!
+//! All traps go through `__alltraps`, which is defined in `trap.S`. The
+//! assembly language code does just enough work restore the kernel space
+//! context, ensuring that Rust code safely runs, and transfers control to
+//! [`trap_handler()`].
+//!
+//! It then calls different functionality based on what exactly the exception
+//! was. For example, timer interrupts trigger task preemption, and syscalls go
+//! to [`syscall()`].
-mod context;
+mod context;
-use crate::syscall::syscall;
-use core::arch::global_asm;
-use riscv::register::{
- mtvec::TrapMode,
- scause::{self, Exception, Trap},
- stval, stvec,
+use crate::syscall::syscall;
+use core::arch::global_asm;
+use riscv::register::{
+ mtvec::TrapMode,
+ scause::{self, Exception, Trap},
+ stval, stvec,
};
-global_asm!(include_str!("trap.S"));
+global_asm!(include_str!("trap.S"));
-/// initialize CSR `stvec` as the entry of `__alltraps`
-pub fn init() {
- extern "C" {
- fn __alltraps();
+/// initialize CSR `stvec` as the entry of `__alltraps`
+pub fn init() {
+ extern "C" {
+ fn __alltraps();
}
- unsafe {
- stvec::write(__alltraps as usize, TrapMode::Direct);
+ unsafe {
+ stvec::write(__alltraps as usize, TrapMode::Direct);
}
}
-#[no_mangle]
-/// handle an interrupt, exception, or system call from user space
-pub fn trap_handler(cx: &mut TrapContext) -> &mut TrapContext {
- let scause = scause::read(); // get trap cause
- let stval = stval::read(); // get extra value
- match scause.cause() {
- Trap::Exception(Exception::UserEnvCall) => {
- cx.sepc += 4;
- cx.x[10] = syscall(cx.x[17], [cx.x[10], cx.x[11], cx.x[12]]) as usize;
+#[no_mangle]
+/// handle an interrupt, exception, or system call from user space
+pub fn trap_handler(cx: &mut TrapContext) -> &mut TrapContext {
+ let scause = scause::read(); // get trap cause
+ let stval = stval::read(); // get extra value
+ match scause.cause() {
+ Trap::Exception(Exception::UserEnvCall) => {
+ cx.sepc += 4;
+ cx.x[10] = syscall(cx.x[17], [cx.x[10], cx.x[11], cx.x[12]]) as usize;
}
- Trap::Exception(Exception::StoreFault) | Trap::Exception(Exception::StorePageFault) => {
- println!("[kernel] PageFault in application, bad addr = {:#x}, bad instruction = {:#x}, kernel killed it.", stval, cx.sepc);
- panic!("[kernel] Cannot continue!");
- //run_next_app();
- }
- Trap::Exception(Exception::IllegalInstruction) => {
- println!("[kernel] IllegalInstruction in application, kernel killed it.");
- panic!("[kernel] Cannot continue!");
- //run_next_app();
- }
- _ => {
+ Trap::Exception(Exception::StoreFault) | Trap::Exception(Exception::StorePageFault) => {
+ println!("[kernel] PageFault in application, bad addr = {:#x}, bad instruction = {:#x}, kernel killed it.", stval, cx.sepc);
+ panic!("[kernel] Cannot continue!");
+ //run_next_app();
+ }
+ Trap::Exception(Exception::IllegalInstruction) => {
+ println!("[kernel] IllegalInstruction in application, kernel killed it.");
+ panic!("[kernel] Cannot continue!");
+ //run_next_app();
+ }
+ _ => {
panic!(
- "Unsupported trap {:?}, stval = {:#x}!",
- scause.cause(),
- stval
+ "Unsupported trap {:?}, stval = {:#x}!",
+ scause.cause(),
+ stval
);
}
}
- cx
+ cx
}
-pub use context::TrapContext;
-
-"+searchState.loadingText+"
";searchState.showResults(search)},};const toggleAllDocsId="toggle-all-docs";let savedHash="";function handleHashes(ev){if(ev!==null&&searchState.isDisplayed()&&ev.newURL){switchDisplayedElement(null);const hash=ev.newURL.slice(ev.newURL.indexOf("#")+1);if(browserSupportsHistoryApi()){history.replaceState(null,"",getNakedUrl()+window.location.search+"#"+hash)}const elem=document.getElementById(hash);if(elem){elem.scrollIntoView()}}const pageId=window.location.hash.replace(/^#/,"");if(savedHash!==pageId){savedHash=pageId;if(pageId!==""){expandSection(pageId)}}if(savedHash.startsWith("impl-")){const splitAt=savedHash.indexOf("/");if(splitAt!==-1){const implId=savedHash.slice(0,splitAt);const assocId=savedHash.slice(splitAt+1);const implElem=document.getElementById(implId);if(implElem&&implElem.parentElement.tagName==="SUMMARY"&&implElem.parentElement.parentElement.tagName==="DETAILS"){onEachLazy(implElem.parentElement.parentElement.querySelectorAll(`[id^="${assocId}"]`),item=>{const numbered=/([^-]+)-([0-9]+)/.exec(item.id);if(item.id===assocId||(numbered&&numbered[1]===assocId)){openParentDetails(item);item.scrollIntoView();setTimeout(()=>{window.location.replace("#"+item.id)},0)}})}}}}function onHashChange(ev){hideSidebar();handleHashes(ev)}function openParentDetails(elem){while(elem){if(elem.tagName==="DETAILS"){elem.open=true}elem=elem.parentNode}}function expandSection(id){openParentDetails(document.getElementById(id))}function handleEscape(ev){searchState.clearInputTimeout();searchState.hideResults();ev.preventDefault();searchState.defocus();window.hideAllModals(true)}function handleShortcut(ev){const disableShortcuts=getSettingValue("disable-shortcuts")==="true";if(ev.ctrlKey||ev.altKey||ev.metaKey||disableShortcuts){return}if(document.activeElement.tagName==="INPUT"&&document.activeElement.type!=="checkbox"&&document.activeElement.type!=="radio"){switch(getVirtualKey(ev)){case"Escape":handleEscape(ev);break}}else{switch(getVirtualKey(ev)){case"Escape":handleEscape(ev);break;case"s":case"S":ev.preventDefault();searchState.focus();break;case"+":ev.preventDefault();expandAllDocs();break;case"-":ev.preventDefault();collapseAllDocs();break;case"?":showHelp();break;default:break}}}document.addEventListener("keypress",handleShortcut);document.addEventListener("keydown",handleShortcut);function addSidebarItems(){if(!window.SIDEBAR_ITEMS){return}const sidebar=document.getElementsByClassName("sidebar-elems")[0];function block(shortty,id,longty){const filtered=window.SIDEBAR_ITEMS[shortty];if(!filtered){return}const modpath=hasClass(document.querySelector(".rustdoc"),"mod")?"../":"";const h3=document.createElement("h3");h3.innerHTML=`${longty}`;const ul=document.createElement("ul");ul.className="block "+shortty;for(const name of filtered){let path;if(shortty==="mod"){path=`${modpath}${name}/index.html`}else{path=`${modpath}${shortty}.${name}.html`}let current_page=document.location.href.toString();if(current_page.endsWith("/")){current_page+="index.html"}const link=document.createElement("a");link.href=path;if(path===current_page){link.className="current"}link.textContent=name;const li=document.createElement("li");li.appendChild(link);ul.appendChild(li)}sidebar.appendChild(h3);sidebar.appendChild(ul)}if(sidebar){block("primitive","primitives","Primitive Types");block("mod","modules","Modules");block("macro","macros","Macros");block("struct","structs","Structs");block("enum","enums","Enums");block("constant","constants","Constants");block("static","static","Statics");block("trait","traits","Traits");block("fn","functions","Functions");block("type","types","Type Aliases");block("union","unions","Unions");block("foreigntype","foreign-types","Foreign Types");block("keyword","keywords","Keywords");block("opaque","opaque-types","Opaque Types");block("attr","attributes","Attribute Macros");block("derive","derives","Derive Macros");block("traitalias","trait-aliases","Trait Aliases")}}window.register_implementors=imp=>{const implementors=document.getElementById("implementors-list");const synthetic_implementors=document.getElementById("synthetic-implementors-list");const inlined_types=new Set();const TEXT_IDX=0;const SYNTHETIC_IDX=1;const TYPES_IDX=2;if(synthetic_implementors){onEachLazy(synthetic_implementors.getElementsByClassName("impl"),el=>{const aliases=el.getAttribute("data-aliases");if(!aliases){return}aliases.split(",").forEach(alias=>{inlined_types.add(alias)})})}let currentNbImpls=implementors.getElementsByClassName("impl").length;const traitName=document.querySelector(".main-heading h1 > .trait").textContent;const baseIdName="impl-"+traitName+"-";const libs=Object.getOwnPropertyNames(imp);const script=document.querySelector("script[data-ignore-extern-crates]");const ignoreExternCrates=new Set((script?script.getAttribute("data-ignore-extern-crates"):"").split(","));for(const lib of libs){if(lib===window.currentCrate||ignoreExternCrates.has(lib)){continue}const structs=imp[lib];struct_loop:for(const struct of structs){const list=struct[SYNTHETIC_IDX]?synthetic_implementors:implementors;if(struct[SYNTHETIC_IDX]){for(const struct_type of struct[TYPES_IDX]){if(inlined_types.has(struct_type)){continue struct_loop}inlined_types.add(struct_type)}}const code=document.createElement("h3");code.innerHTML=struct[TEXT_IDX];addClass(code,"code-header");onEachLazy(code.getElementsByTagName("a"),elem=>{const href=elem.getAttribute("href");if(href&&!href.startsWith("#")&&!/^(?:[a-z+]+:)?\/\//.test(href)){elem.setAttribute("href",window.rootPath+href)}});const currentId=baseIdName+currentNbImpls;const anchor=document.createElement("a");anchor.href="#"+currentId;addClass(anchor,"anchor");const display=document.createElement("div");display.id=currentId;addClass(display,"impl");display.appendChild(anchor);display.appendChild(code);list.appendChild(display);currentNbImpls+=1}}};if(window.pending_implementors){window.register_implementors(window.pending_implementors)}window.register_type_impls=imp=>{if(!imp||!imp[window.currentCrate]){return}window.pending_type_impls=null;const idMap=new Map();let implementations=document.getElementById("implementations-list");let trait_implementations=document.getElementById("trait-implementations-list");let trait_implementations_header=document.getElementById("trait-implementations");const script=document.querySelector("script[data-self-path]");const selfPath=script?script.getAttribute("data-self-path"):null;const mainContent=document.querySelector("#main-content");const sidebarSection=document.querySelector(".sidebar section");let methods=document.querySelector(".sidebar .block.method");let associatedTypes=document.querySelector(".sidebar .block.associatedtype");let associatedConstants=document.querySelector(".sidebar .block.associatedconstant");let sidebarTraitList=document.querySelector(".sidebar .block.trait-implementation");for(const impList of imp[window.currentCrate]){const types=impList.slice(2);const text=impList[0];const isTrait=impList[1]!==0;const traitName=impList[1];if(types.indexOf(selfPath)===-1){continue}let outputList=isTrait?trait_implementations:implementations;if(outputList===null){const outputListName=isTrait?"Trait Implementations":"Implementations";const outputListId=isTrait?"trait-implementations-list":"implementations-list";const outputListHeaderId=isTrait?"trait-implementations":"implementations";const outputListHeader=document.createElement("h2");outputListHeader.id=outputListHeaderId;outputListHeader.innerText=outputListName;outputList=document.createElement("div");outputList.id=outputListId;if(isTrait){const link=document.createElement("a");link.href=`#${outputListHeaderId}`;link.innerText="Trait Implementations";const h=document.createElement("h3");h.appendChild(link);trait_implementations=outputList;trait_implementations_header=outputListHeader;sidebarSection.appendChild(h);sidebarTraitList=document.createElement("ul");sidebarTraitList.className="block trait-implementation";sidebarSection.appendChild(sidebarTraitList);mainContent.appendChild(outputListHeader);mainContent.appendChild(outputList)}else{implementations=outputList;if(trait_implementations){mainContent.insertBefore(outputListHeader,trait_implementations_header);mainContent.insertBefore(outputList,trait_implementations_header)}else{const mainContent=document.querySelector("#main-content");mainContent.appendChild(outputListHeader);mainContent.appendChild(outputList)}}}const template=document.createElement("template");template.innerHTML=text;onEachLazy(template.content.querySelectorAll("a"),elem=>{const href=elem.getAttribute("href");if(href&&!href.startsWith("#")&&!/^(?:[a-z+]+:)?\/\//.test(href)){elem.setAttribute("href",window.rootPath+href)}});onEachLazy(template.content.querySelectorAll("[id]"),el=>{let i=0;if(idMap.has(el.id)){i=idMap.get(el.id)}else if(document.getElementById(el.id)){i=1;while(document.getElementById(`${el.id}-${2 * i}`)){i=2*i}while(document.getElementById(`${el.id}-${i}`)){i+=1}}if(i!==0){const oldHref=`#${el.id}`;const newHref=`#${el.id}-${i}`;el.id=`${el.id}-${i}`;onEachLazy(template.content.querySelectorAll("a[href]"),link=>{if(link.getAttribute("href")===oldHref){link.href=newHref}})}idMap.set(el.id,i+1)});const templateAssocItems=template.content.querySelectorAll("section.tymethod, "+"section.method, section.associatedtype, section.associatedconstant");if(isTrait){const li=document.createElement("li");const a=document.createElement("a");a.href=`#${template.content.querySelector(".impl").id}`;a.textContent=traitName;li.appendChild(a);sidebarTraitList.append(li)}else{onEachLazy(templateAssocItems,item=>{let block=hasClass(item,"associatedtype")?associatedTypes:(hasClass(item,"associatedconstant")?associatedConstants:(methods));if(!block){const blockTitle=hasClass(item,"associatedtype")?"Associated Types":(hasClass(item,"associatedconstant")?"Associated Constants":("Methods"));const blockClass=hasClass(item,"associatedtype")?"associatedtype":(hasClass(item,"associatedconstant")?"associatedconstant":("method"));const blockHeader=document.createElement("h3");const blockLink=document.createElement("a");blockLink.href="#implementations";blockLink.innerText=blockTitle;blockHeader.appendChild(blockLink);block=document.createElement("ul");block.className=`block ${blockClass}`;const insertionReference=methods||sidebarTraitList;if(insertionReference){const insertionReferenceH=insertionReference.previousElementSibling;sidebarSection.insertBefore(blockHeader,insertionReferenceH);sidebarSection.insertBefore(block,insertionReferenceH)}else{sidebarSection.appendChild(blockHeader);sidebarSection.appendChild(block)}if(hasClass(item,"associatedtype")){associatedTypes=block}else if(hasClass(item,"associatedconstant")){associatedConstants=block}else{methods=block}}const li=document.createElement("li");const a=document.createElement("a");a.innerText=item.id.split("-")[0].split(".")[1];a.href=`#${item.id}`;li.appendChild(a);block.appendChild(li)})}outputList.appendChild(template.content)}for(const list of[methods,associatedTypes,associatedConstants,sidebarTraitList]){if(!list){continue}const newChildren=Array.prototype.slice.call(list.children);newChildren.sort((a,b)=>{const aI=a.innerText;const bI=b.innerText;return aI"+window.NOTABLE_TRAITS[notable_ty]+"
"}else{if(e.getAttribute("title")!==null){e.setAttribute("data-title",e.getAttribute("title"));e.removeAttribute("title")}if(e.getAttribute("data-title")!==null){const titleContent=document.createElement("div");titleContent.className="content";titleContent.appendChild(document.createTextNode(e.getAttribute("data-title")));wrapper.appendChild(titleContent)}}wrapper.className="tooltip popover";const focusCatcher=document.createElement("div");focusCatcher.setAttribute("tabindex","0");focusCatcher.onfocus=hideTooltip;wrapper.appendChild(focusCatcher);const pos=e.getBoundingClientRect();wrapper.style.top=(pos.top+window.scrollY+pos.height)+"px";wrapper.style.left=0;wrapper.style.right="auto";wrapper.style.visibility="hidden";const body=document.getElementsByTagName("body")[0];body.appendChild(wrapper);const wrapperPos=wrapper.getBoundingClientRect();const finalPos=pos.left+window.scrollX-wrapperPos.width+24;if(finalPos>0){wrapper.style.left=finalPos+"px"}else{wrapper.style.setProperty("--popover-arrow-offset",(wrapperPos.right-pos.right+4)+"px")}wrapper.style.visibility="";window.CURRENT_TOOLTIP_ELEMENT=wrapper;window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE=e;clearTooltipHoverTimeout(window.CURRENT_TOOLTIP_ELEMENT);wrapper.onpointerenter=ev=>{if(ev.pointerType!=="mouse"){return}clearTooltipHoverTimeout(e)};wrapper.onpointerleave=ev=>{if(ev.pointerType!=="mouse"){return}if(!e.TOOLTIP_FORCE_VISIBLE&&!e.contains(ev.relatedTarget)){setTooltipHoverTimeout(e,false);addClass(wrapper,"fade-out")}}}function setTooltipHoverTimeout(element,show){clearTooltipHoverTimeout(element);if(!show&&!window.CURRENT_TOOLTIP_ELEMENT){return}if(show&&window.CURRENT_TOOLTIP_ELEMENT){return}if(window.CURRENT_TOOLTIP_ELEMENT&&window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE!==element){return}element.TOOLTIP_HOVER_TIMEOUT=setTimeout(()=>{if(show){showTooltip(element)}else if(!element.TOOLTIP_FORCE_VISIBLE){hideTooltip(false)}},show?window.RUSTDOC_TOOLTIP_HOVER_MS:window.RUSTDOC_TOOLTIP_HOVER_EXIT_MS)}function clearTooltipHoverTimeout(element){if(element.TOOLTIP_HOVER_TIMEOUT!==undefined){removeClass(window.CURRENT_TOOLTIP_ELEMENT,"fade-out");clearTimeout(element.TOOLTIP_HOVER_TIMEOUT);delete element.TOOLTIP_HOVER_TIMEOUT}}function tooltipBlurHandler(event){if(window.CURRENT_TOOLTIP_ELEMENT&&!window.CURRENT_TOOLTIP_ELEMENT.contains(document.activeElement)&&!window.CURRENT_TOOLTIP_ELEMENT.contains(event.relatedTarget)&&!window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE.contains(document.activeElement)&&!window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE.contains(event.relatedTarget)){setTimeout(()=>hideTooltip(false),0)}}function hideTooltip(focus){if(window.CURRENT_TOOLTIP_ELEMENT){if(window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE.TOOLTIP_FORCE_VISIBLE){if(focus){window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE.focus()}window.CURRENT_TOOLTIP_ELEMENT.TOOLTIP_BASE.TOOLTIP_FORCE_VISIBLE=false}const body=document.getElementsByTagName("body")[0];body.removeChild(window.CURRENT_TOOLTIP_ELEMENT);clearTooltipHoverTimeout(window.CURRENT_TOOLTIP_ELEMENT);window.CURRENT_TOOLTIP_ELEMENT=null}}onEachLazy(document.getElementsByClassName("tooltip"),e=>{e.onclick=()=>{e.TOOLTIP_FORCE_VISIBLE=e.TOOLTIP_FORCE_VISIBLE?false:true;if(window.CURRENT_TOOLTIP_ELEMENT&&!e.TOOLTIP_FORCE_VISIBLE){hideTooltip(true)}else{showTooltip(e);window.CURRENT_TOOLTIP_ELEMENT.setAttribute("tabindex","0");window.CURRENT_TOOLTIP_ELEMENT.focus();window.CURRENT_TOOLTIP_ELEMENT.onblur=tooltipBlurHandler}return false};e.onpointerenter=ev=>{if(ev.pointerType!=="mouse"){return}setTooltipHoverTimeout(e,true)};e.onpointermove=ev=>{if(ev.pointerType!=="mouse"){return}setTooltipHoverTimeout(e,true)};e.onpointerleave=ev=>{if(ev.pointerType!=="mouse"){return}if(!e.TOOLTIP_FORCE_VISIBLE&&window.CURRENT_TOOLTIP_ELEMENT&&!window.CURRENT_TOOLTIP_ELEMENT.contains(ev.relatedTarget)){setTooltipHoverTimeout(e,false);addClass(window.CURRENT_TOOLTIP_ELEMENT,"fade-out")}}});const sidebar_menu_toggle=document.getElementsByClassName("sidebar-menu-toggle")[0];if(sidebar_menu_toggle){sidebar_menu_toggle.addEventListener("click",()=>{const sidebar=document.getElementsByClassName("sidebar")[0];if(!hasClass(sidebar,"shown")){showSidebar()}else{hideSidebar()}})}function helpBlurHandler(event){blurHandler(event,getHelpButton(),window.hidePopoverMenus)}function buildHelpMenu(){const book_info=document.createElement("span");const channel=getVar("channel");book_info.className="top";book_info.innerHTML=`You can find more information in \
+the rustdoc book.`;const shortcuts=[["?","Show this help dialog"],["S","Focus the search field"],["↑","Move up in search results"],["↓","Move down in search results"],["← / →","Switch result tab (when results focused)"],["⏎","Go to active search result"],["+","Expand all sections"],["-","Collapse all sections"],].map(x=>"Keyboard Shortcuts
- "+shortcuts+"
fn:) to \
+ restrict the search to a given item kind.","Accepted kinds are: fn, mod, struct, \
+ enum, trait, type, macro, \
+ and const.","Search functions by type signature (e.g., vec -> usize or \
+ -> vec or String, enum:Cow -> bool)","You can look for items with an exact name by putting double quotes around \
+ your request: \"string\"","Look for functions that accept or return \
+ slices and \
+ arrays by writing \
+ square brackets (e.g., -> [u8] or [] -> Option)","Look for items inside another one by searching for a path: vec::Vec",].map(x=>""+x+"
").join("");const div_infos=document.createElement("div");addClass(div_infos,"infos");div_infos.innerHTML="Search Tricks
"+infos;const rustdoc_version=document.createElement("span");rustdoc_version.className="bottom";const rustdoc_version_code=document.createElement("code");rustdoc_version_code.innerText="rustdoc "+getVar("rustdoc-version");rustdoc_version.appendChild(rustdoc_version_code);const container=document.createElement("div");if(!isHelpPage){container.className="popover"}container.id="help";container.style.display="none";const side_by_side=document.createElement("div");side_by_side.className="side-by-side";side_by_side.appendChild(div_shortcuts);side_by_side.appendChild(div_infos);container.appendChild(book_info);container.appendChild(side_by_side);container.appendChild(rustdoc_version);if(isHelpPage){const help_section=document.createElement("section");help_section.appendChild(container);document.getElementById("main-content").appendChild(help_section);container.style.display="block"}else{const help_button=getHelpButton();help_button.appendChild(container);container.onblur=helpBlurHandler;help_button.onblur=helpBlurHandler;help_button.children[0].onblur=helpBlurHandler}return container}window.hideAllModals=switchFocus=>{hideSidebar();window.hidePopoverMenus();hideTooltip(switchFocus)};window.hidePopoverMenus=()=>{onEachLazy(document.querySelectorAll(".search-form .popover"),elem=>{elem.style.display="none"})};function getHelpMenu(buildNeeded){let menu=getHelpButton().querySelector(".popover");if(!menu&&buildNeeded){menu=buildHelpMenu()}return menu}function showHelp(){getHelpButton().querySelector("a").focus();const menu=getHelpMenu(true);if(menu.style.display==="none"){window.hideAllModals();menu.style.display=""}}if(isHelpPage){showHelp();document.querySelector(`#${HELP_BUTTON_ID} > a`).addEventListener("click",event=>{const target=event.target;if(target.tagName!=="A"||target.parentElement.id!==HELP_BUTTON_ID||event.ctrlKey||event.altKey||event.metaKey){return}event.preventDefault()})}else{document.querySelector(`#${HELP_BUTTON_ID} > a`).addEventListener("click",event=>{const target=event.target;if(target.tagName!=="A"||target.parentElement.id!==HELP_BUTTON_ID||event.ctrlKey||event.altKey||event.metaKey){return}event.preventDefault();const menu=getHelpMenu(true);const shouldShowHelp=menu.style.display==="none";if(shouldShowHelp){showHelp()}else{window.hidePopoverMenus()}})}setMobileTopbar();addSidebarItems();addSidebarCrates();onHashChange(null);window.addEventListener("hashchange",onHashChange);searchState.setup()}());(function(){const SIDEBAR_MIN=100;const SIDEBAR_MAX=500;const RUSTDOC_MOBILE_BREAKPOINT=700;const BODY_MIN=400;const SIDEBAR_VANISH_THRESHOLD=SIDEBAR_MIN/2;const sidebarButton=document.getElementById("sidebar-button");if(sidebarButton){sidebarButton.addEventListener("click",e=>{removeClass(document.documentElement,"hide-sidebar");updateLocalStorage("hide-sidebar","false");if(document.querySelector(".rustdoc.src")){window.rustdocToggleSrcSidebar()}e.preventDefault()})}let currentPointerId=null;let desiredSidebarSize=null;let pendingSidebarResizingFrame=false;const resizer=document.querySelector(".sidebar-resizer");const sidebar=document.querySelector(".sidebar");if(!resizer||!sidebar){return}const isSrcPage=hasClass(document.body,"src");function hideSidebar(){if(isSrcPage){window.rustdocCloseSourceSidebar();updateLocalStorage("src-sidebar-width",null);document.documentElement.style.removeProperty("--src-sidebar-width");sidebar.style.removeProperty("--src-sidebar-width");resizer.style.removeProperty("--src-sidebar-width")}else{addClass(document.documentElement,"hide-sidebar");updateLocalStorage("hide-sidebar","true");updateLocalStorage("desktop-sidebar-width",null);document.documentElement.style.removeProperty("--desktop-sidebar-width");sidebar.style.removeProperty("--desktop-sidebar-width");resizer.style.removeProperty("--desktop-sidebar-width")}}function showSidebar(){if(isSrcPage){window.rustdocShowSourceSidebar()}else{removeClass(document.documentElement,"hide-sidebar");updateLocalStorage("hide-sidebar","false")}}function changeSidebarSize(size){if(isSrcPage){updateLocalStorage("src-sidebar-width",size);sidebar.style.setProperty("--src-sidebar-width",size+"px");resizer.style.setProperty("--src-sidebar-width",size+"px")}else{updateLocalStorage("desktop-sidebar-width",size);sidebar.style.setProperty("--desktop-sidebar-width",size+"px");resizer.style.setProperty("--desktop-sidebar-width",size+"px")}}function isSidebarHidden(){return isSrcPage?!hasClass(document.documentElement,"src-sidebar-expanded"):hasClass(document.documentElement,"hide-sidebar")}function resize(e){if(currentPointerId===null||currentPointerId!==e.pointerId){return}e.preventDefault();const pos=e.clientX-3;if(pos\
+${item.alias} - see \
+
`}resultName.insertAdjacentHTML("beforeend",`${alias}\
+${item.displayPath}${name}\
+
`);const description=document.createElement("div");description.className="desc";description.insertAdjacentHTML("beforeend",item.desc);link.appendChild(description);output.appendChild(link)})}else if(query.error===null){output.className="search-failed"+extraClass;output.innerHTML="No results :("+"Try on DuckDuckGo?
"+"Or try looking in one of these:
- The Rust Reference "+" for technical details about the language.
- Rust By "+"Example for expository code examples.
- The Rust Book for "+"introductions to language features and the language itself.
- Docs.rs for documentation of crates released on"+" crates.io.
Results${crates}
`;if(results.query.error!==null){const error=results.query.error;error.forEach((value,index)=>{value=value.split("<").join("<").split(">").join(">");if(index%2!==0){error[index]=`${value.replaceAll(" ", " ")}`}else{error[index]=value}});output+=`Query parser error: "${error.join("")}".
`;output+=""+makeTabHeader(0,"In Names",ret_others[1])+"
";currentTab=0}else if(results.query.foundElems<=1&&results.query.returned.length===0){output+=""+makeTabHeader(0,"In Names",ret_others[1])+makeTabHeader(1,"In Parameters",ret_in_args[1])+makeTabHeader(2,"In Return Types",ret_returned[1])+"
"}else{const signatureTabTitle=results.query.elems.length===0?"In Function Return Types":results.query.returned.length===0?"In Function Parameters":"In Function Signatures";output+=""+makeTabHeader(0,signatureTabTitle,ret_others[1])+"
";currentTab=0}if(results.query.correction!==null){const orig=results.query.returned.length>0?results.query.returned[0].name:results.query.elems[0].name;output+=""+`Type "${orig}" not found. `+"Showing results for closest type name "+`"${results.query.correction}" instead.
`}if(results.query.proposeCorrectionFrom!==null){const orig=results.query.proposeCorrectionFrom;const targ=results.query.proposeCorrectionTo;output+=""+`Type "${orig}" not found and used as generic parameter. `+`Consider searching for "${targ}" instead.
`}const resultsElem=document.createElement("div");resultsElem.id="results";resultsElem.appendChild(ret_others[0]);resultsElem.appendChild(ret_in_args[0]);resultsElem.appendChild(ret_returned[0]);search.innerHTML=output;const crateSearch=document.getElementById("crate-search");if(crateSearch){crateSearch.addEventListener("input",updateCrate)}search.appendChild(resultsElem);searchState.showResults(search);const elems=document.getElementById("search-tabs").childNodes;searchState.focusedByTab=[];let i=0;for(const elem of elems){const j=i;elem.onclick=()=>printTab(j);searchState.focusedByTab.push(null);i+=1}printTab(currentTab)}function updateSearchHistory(url){if(!browserSupportsHistoryApi()){return}const params=searchState.getQueryStringParams();if(!history.state&&!params.search){history.pushState(null,"",url)}else{history.replaceState(null,"",url)}}function search(forced){const query=parseQuery(searchState.input.value.trim());let filterCrates=getFilterCrates();if(!forced&&query.userQuery===currentResults){if(query.userQuery.length>0){putBackSearch()}return}searchState.setLoadingSearch();const params=searchState.getQueryStringParams();if(filterCrates===null&¶ms["filter-crate"]!==undefined){filterCrates=params["filter-crate"]}searchState.title="Results for "+query.original+" - Rust";updateSearchHistory(buildUrl(query.original,filterCrates));showResults(execQuery(query,filterCrates,window.currentCrate),params.go_to_first,filterCrates)}function buildItemSearchTypeAll(types,lowercasePaths){return types.length>0?types.map(type=>buildItemSearchType(type,lowercasePaths)):EMPTY_GENERICS_ARRAY}const EMPTY_BINDINGS_MAP=new Map();const EMPTY_GENERICS_ARRAY=[];let TYPES_POOL=new Map();function buildItemSearchType(type,lowercasePaths,isAssocType){const PATH_INDEX_DATA=0;const GENERICS_DATA=1;const BINDINGS_DATA=2;let pathIndex,generics,bindings;if(typeof type==="number"){pathIndex=type;generics=EMPTY_GENERICS_ARRAY;bindings=EMPTY_BINDINGS_MAP}else{pathIndex=type[PATH_INDEX_DATA];generics=buildItemSearchTypeAll(type[GENERICS_DATA],lowercasePaths);if(type.length>BINDINGS_DATA&&type[BINDINGS_DATA].length>0){bindings=new Map(type[BINDINGS_DATA].map(binding=>{const[assocType,constraints]=binding;return[buildItemSearchType(assocType,lowercasePaths,true).id,buildItemSearchTypeAll(constraints,lowercasePaths),]}))}else{bindings=EMPTY_BINDINGS_MAP}}let result;if(pathIndex<0){result={id:pathIndex,ty:TY_GENERIC,path:null,generics,bindings,}}else if(pathIndex===0){result={id:null,ty:null,path:null,generics,bindings,}}else{const item=lowercasePaths[pathIndex-1];result={id:buildTypeMapIndex(item.name,isAssocType),ty:item.ty,path:item.path,generics,bindings,}}const cr=TYPES_POOL.get(result.id);if(cr){if(cr.generics.length===result.generics.length&&cr.generics!==result.generics&&cr.generics.every((x,i)=>result.generics[i]===x)){result.generics=cr.generics}if(cr.bindings.size===result.bindings.size&&cr.bindings!==result.bindings){let ok=true;for(const[k,v]of cr.bindings.entries()){const v2=result.bindings.get(v);if(!v2){ok=false;break}if(v!==v2&&v.length===v2.length&&v.every((x,i)=>v2[i]===x)){result.bindings.set(k,v)}else if(v!==v2){ok=false;break}}if(ok){result.bindings=cr.bindings}}if(cr.ty===result.ty&&cr.path===result.path&&cr.bindings===result.bindings&&cr.generics===result.generics&&cr.ty===result.ty){return cr}}TYPES_POOL.set(result.id,result);return result}function buildFunctionSearchType(itemFunctionDecoder,lowercasePaths){const c=itemFunctionDecoder.string.charCodeAt(itemFunctionDecoder.offset);itemFunctionDecoder.offset+=1;const[zero,ua,la,ob,cb]=["0","@","`","{","}"].map(c=>c.charCodeAt(0));if(c===la){return null}if(c>=zero&&c
+
`}else{const checked=setting["default"]===true?" checked":"";output+=`\
+${setting_name}
+ `;onEach(setting["options"],option=>{const checked=option===setting["default"]?" checked":"";const full=`${js_data_name}-${option.replace(/ /g,"-")}`;output+=`\
+ `});output+=`\
+
+\
+ \
+
`}}return output}function buildSettingsPage(){const theme_names=getVar("themes").split(",").filter(t=>t);theme_names.push("light","dark","ayu");const settings=[{"name":"Theme","js_name":"theme","default":"system preference","options":theme_names.concat("system preference"),},{"name":"Preferred light theme","js_name":"preferred-light-theme","default":"light","options":theme_names,},{"name":"Preferred dark theme","js_name":"preferred-dark-theme","default":"dark","options":theme_names,},{"name":"Auto-hide item contents for large items","js_name":"auto-hide-large-items","default":true,},{"name":"Auto-hide item methods' documentation","js_name":"auto-hide-method-docs","default":false,},{"name":"Auto-hide trait implementation documentation","js_name":"auto-hide-trait-implementations","default":false,},{"name":"Directly go to item in search if there is only one result","js_name":"go-to-only-result","default":false,},{"name":"Show line numbers on code examples","js_name":"line-numbers","default":false,},{"name":"Hide persistent navigation bar","js_name":"hide-sidebar","default":false,},{"name":"Disable keyboard shortcuts","js_name":"disable-shortcuts","default":false,},];const elementKind=isSettingsPage?"section":"div";const innerHTML=`${buildSettingsPageSections(settings)}
`;const el=document.createElement(elementKind);el.id="settings";if(!isSettingsPage){el.className="popover"}el.innerHTML=innerHTML;if(isSettingsPage){document.getElementById(MAIN_ID).appendChild(el)}else{el.setAttribute("tabindex","-1");getSettingsButton().appendChild(el)}return el}const settingsMenu=buildSettingsPage();function displaySettings(){settingsMenu.style.display="";onEachLazy(settingsMenu.querySelectorAll("input[type='checkbox']"),el=>{const val=getSettingValue(el.id);const checked=val==="true";if(checked!==el.checked&&val!==null){el.checked=checked}})}function settingsBlurHandler(event){blurHandler(event,getSettingsButton(),window.hidePopoverMenus)}if(isSettingsPage){getSettingsButton().onclick=event=>{event.preventDefault()}}else{const settingsButton=getSettingsButton();const settingsMenu=document.getElementById("settings");settingsButton.onclick=event=>{if(settingsMenu.contains(event.target)){return}event.preventDefault();const shouldDisplaySettings=settingsMenu.style.display==="none";window.hideAllModals();if(shouldDisplaySettings){displaySettings()}};settingsButton.onblur=settingsBlurHandler;settingsButton.querySelector("a").onblur=settingsBlurHandler;onEachLazy(settingsMenu.querySelectorAll("input"),el=>{el.onblur=settingsBlurHandler});settingsMenu.onblur=settingsBlurHandler}setTimeout(()=>{setEvents(settingsMenu);if(!isSettingsPage){displaySettings()}removeClass(getSettingsButton(),"rotate")},0)})()
\ No newline at end of file
diff --git a/ch3-coop/static.files/src-script-e66d777a5a92e9b2.js b/ch3-coop/static.files/src-script-e66d777a5a92e9b2.js
new file mode 100644
index 000000000..d0aebb851
--- /dev/null
+++ b/ch3-coop/static.files/src-script-e66d777a5a92e9b2.js
@@ -0,0 +1 @@
+"use strict";(function(){const rootPath=getVar("root-path");const NAME_OFFSET=0;const DIRS_OFFSET=1;const FILES_OFFSET=2;const RUSTDOC_MOBILE_BREAKPOINT=700;function closeSidebarIfMobile(){if(window.innerWidthwhere\n T: Send,
",1,["os::sync::up::UPSafeCell"]],["impl Send for TaskContext",1,["os::task::context::TaskContext"]],["impl Send for TaskControlBlock",1,["os::task::task::TaskControlBlock"]],["impl Send for TaskStatus",1,["os::task::task::TaskStatus"]],["impl Send for TaskManager",1,["os::task::TaskManager"]],["impl Send for TaskManagerInner",1,["os::task::TaskManagerInner"]],["impl Send for TASK_MANAGER",1,["os::task::TASK_MANAGER"]],["impl Send for TrapContext",1,["os::trap::context::TrapContext"]]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/marker/trait.StructuralPartialEq.js b/ch3-coop/trait.impl/core/marker/trait.StructuralPartialEq.js
new file mode 100644
index 000000000..56a32e1b0
--- /dev/null
+++ b/ch3-coop/trait.impl/core/marker/trait.StructuralPartialEq.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl StructuralPartialEq for TaskStatus"]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/marker/trait.Sync.js b/ch3-coop/trait.impl/core/marker/trait.Sync.js
new file mode 100644
index 000000000..226348ee8
--- /dev/null
+++ b/ch3-coop/trait.impl/core/marker/trait.Sync.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl Sync for Stdout",1,["os::console::Stdout"]],["impl Sync for KernelStack",1,["os::loader::KernelStack"]],["impl Sync for UserStack",1,["os::loader::UserStack"]],["impl Sync for TaskContext",1,["os::task::context::TaskContext"]],["impl Sync for TaskControlBlock",1,["os::task::task::TaskControlBlock"]],["impl Sync for TaskStatus",1,["os::task::task::TaskStatus"]],["impl Sync for TaskManager",1,["os::task::TaskManager"]],["impl Sync for TaskManagerInner",1,["os::task::TaskManagerInner"]],["impl Sync for TASK_MANAGER",1,["os::task::TASK_MANAGER"]],["impl Sync for TrapContext",1,["os::trap::context::TrapContext"]],["impl<T> Sync for UPSafeCell<T>"]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/marker/trait.Unpin.js b/ch3-coop/trait.impl/core/marker/trait.Unpin.js
new file mode 100644
index 000000000..ddcf85ca9
--- /dev/null
+++ b/ch3-coop/trait.impl/core/marker/trait.Unpin.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl Unpin for Stdout",1,["os::console::Stdout"]],["impl Unpin for KernelStack",1,["os::loader::KernelStack"]],["impl Unpin for UserStack",1,["os::loader::UserStack"]],["impl<T> Unpin for UPSafeCell<T>where\n T: Unpin,
",1,["os::sync::up::UPSafeCell"]],["impl Unpin for TaskContext",1,["os::task::context::TaskContext"]],["impl Unpin for TaskControlBlock",1,["os::task::task::TaskControlBlock"]],["impl Unpin for TaskStatus",1,["os::task::task::TaskStatus"]],["impl Unpin for TaskManager",1,["os::task::TaskManager"]],["impl Unpin for TaskManagerInner",1,["os::task::TaskManagerInner"]],["impl Unpin for TASK_MANAGER",1,["os::task::TASK_MANAGER"]],["impl Unpin for TrapContext",1,["os::trap::context::TrapContext"]]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/ops/deref/trait.Deref.js b/ch3-coop/trait.impl/core/ops/deref/trait.Deref.js
new file mode 100644
index 000000000..6b7d5ffc9
--- /dev/null
+++ b/ch3-coop/trait.impl/core/ops/deref/trait.Deref.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl Deref for TASK_MANAGER"]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js b/ch3-coop/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js
new file mode 100644
index 000000000..27ce2d6ba
--- /dev/null
+++ b/ch3-coop/trait.impl/core/panic/unwind_safe/trait.RefUnwindSafe.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl RefUnwindSafe for Stdout",1,["os::console::Stdout"]],["impl RefUnwindSafe for KernelStack",1,["os::loader::KernelStack"]],["impl RefUnwindSafe for UserStack",1,["os::loader::UserStack"]],["impl<T> !RefUnwindSafe for UPSafeCell<T>",1,["os::sync::up::UPSafeCell"]],["impl RefUnwindSafe for TaskContext",1,["os::task::context::TaskContext"]],["impl RefUnwindSafe for TaskControlBlock",1,["os::task::task::TaskControlBlock"]],["impl RefUnwindSafe for TaskStatus",1,["os::task::task::TaskStatus"]],["impl !RefUnwindSafe for TaskManager",1,["os::task::TaskManager"]],["impl RefUnwindSafe for TaskManagerInner",1,["os::task::TaskManagerInner"]],["impl RefUnwindSafe for TASK_MANAGER",1,["os::task::TASK_MANAGER"]],["impl RefUnwindSafe for TrapContext",1,["os::trap::context::TrapContext"]]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js b/ch3-coop/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js
new file mode 100644
index 000000000..022339d92
--- /dev/null
+++ b/ch3-coop/trait.impl/core/panic/unwind_safe/trait.UnwindSafe.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl UnwindSafe for Stdout",1,["os::console::Stdout"]],["impl UnwindSafe for KernelStack",1,["os::loader::KernelStack"]],["impl UnwindSafe for UserStack",1,["os::loader::UserStack"]],["impl<T> UnwindSafe for UPSafeCell<T>where\n T: UnwindSafe,
",1,["os::sync::up::UPSafeCell"]],["impl UnwindSafe for TaskContext",1,["os::task::context::TaskContext"]],["impl UnwindSafe for TaskControlBlock",1,["os::task::task::TaskControlBlock"]],["impl UnwindSafe for TaskStatus",1,["os::task::task::TaskStatus"]],["impl UnwindSafe for TaskManager",1,["os::task::TaskManager"]],["impl UnwindSafe for TaskManagerInner",1,["os::task::TaskManagerInner"]],["impl UnwindSafe for TASK_MANAGER",1,["os::task::TASK_MANAGER"]],["impl UnwindSafe for TrapContext",1,["os::trap::context::TrapContext"]]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/trait.impl/lazy_static/trait.LazyStatic.js b/ch3-coop/trait.impl/lazy_static/trait.LazyStatic.js
new file mode 100644
index 000000000..abeb86103
--- /dev/null
+++ b/ch3-coop/trait.impl/lazy_static/trait.LazyStatic.js
@@ -0,0 +1,3 @@
+(function() {var implementors = {
+"os":[["impl LazyStatic for TASK_MANAGER"]]
+};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()
\ No newline at end of file
diff --git a/ch3-coop/wheel.svg b/ch3-coop/wheel.svg
deleted file mode 100644
index 01da3b24c..000000000
--- a/ch3-coop/wheel.svg
+++ /dev/null
@@ -1 +0,0 @@
-
\ No newline at end of file