fn:) to \
restrict the search to a given item kind.","Accepted kinds are: fn, mod, struct, \
enum, trait, type, macro, \
diff --git a/ch2/os/all.html b/ch2/os/all.html
index 8c07d38a..c811c5e1 100644
--- a/ch2/os/all.html
+++ b/ch2/os/all.html
@@ -1,5 +1,7 @@
pub fn print_app_info()print apps info
-pub fn print_app_info()print apps info
+static KERNEL_STACK: KernelStackstatic KERNEL_STACK: KernelStackstruct APP_MANAGER {
+
+
+ Struct os::batch::APP_MANAGER
source · [−]struct APP_MANAGER {
__private_field: (),
-}
Fields
__private_field: ()Methods from Deref<Target = UPSafeCell<AppManager>>
Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
-Trait Implementations
type Target = UPSafeCell<AppManager>
The resulting type after dereferencing.
-
Dereferences the value.
-Auto Trait Implementations
impl RefUnwindSafe for APP_MANAGER
impl Send for APP_MANAGER
impl Sync for APP_MANAGER
impl Unpin for APP_MANAGER
impl UnwindSafe for APP_MANAGER
Blanket Implementations
__private_field: ()Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
+The resulting type after dereferencing.
+Dereferences the value.
+Mutably borrows from an owned value. Read more
+struct AppManager {
+
+
+ Struct os::batch::AppManager
source · [−]Fields
num_app: usizecurrent_app: usizeapp_start: [usize; 17]Implementations
Auto Trait Implementations
impl RefUnwindSafe for AppManager
impl Send for AppManager
impl Sync for AppManager
impl Unpin for AppManager
impl UnwindSafe for AppManager
Blanket Implementations
num_app: usizecurrent_app: usizeapp_start: [usize; 17]Mutably borrows from an owned value. Read more
+#[repr(align(4096))]struct KernelStack {
+
+
+ Struct os::batch::KernelStack
source · [−]Fields
data: [u8; 8192]Implementations
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
data: [u8; 8192]Mutably borrows from an owned value. Read more
+#[repr(align(4096))]struct UserStack {
+
+ Fields
data: [u8; 8192]Implementations
Auto Trait Implementations
impl RefUnwindSafe for UserStack
impl UnwindSafe for UserStack
Blanket Implementations
data: [u8; 8192]Mutably borrows from an owned value. Read more
+struct Stdout;Writes a string slice into this writer, returning whether the write +
+struct Stdout;Mutably borrows from an owned value. Read more
+The main module and entrypoint
+ +The main module and entrypoint
Various facilities of the kernels are implemented as submodules. The most important ones are:
batch subsystem
-SBI console driver, for text output
-The panic handler
-SBI call wrappers
-Synchronization and interior mutability primitives
+SBI console driver, for text output
+The panic handler
+SBI call wrappers
+Synchronization and interior mutability primitives
Implementation of syscalls
Trap handling functionality
pub fn shutdown() -> !SBI call wrappers
+ +SBI call wrappers
use sbi call to putchar in console (qemu uart handler)
-handle SBI call with which SBI_id and other arguments
handle SBI call with which SBI_id and other arguments
use sbi call to getchar from console (qemu uart handler) use sbi call to shutdown the kernel
-Synchronization and interior mutability primitives
+ +Synchronization and interior mutability primitives
pub use up::UPSafeCell;Uniprocessor interior mutability primitives
-Uniprocessor interior mutability primitives
+
pub struct UPSafeCell<T> {
+
+ pub struct UPSafeCell<T> {
inner: RefCell<T>,
}
Expand description
Wrap a static data structure inside it so that we are
able to access it without any unsafe.
@@ -10,17 +12,19 @@ able to access it without any unsafe.
In order to get mutable reference of inner data, call
exclusive_access.
Fields
inner: RefCell<T>inner data
-Implementations
User is responsible to guarantee that inner struct is only used in
+
Implementations
sourceimpl<T> UPSafeCell<T>
Trait Implementations
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
+sourcepub fn exclusive_access(&self) -> RefMut<'_, T>
Exclusive access inner data in UPSafeCell. Panic if the data has been borrowed.
+Mutably borrows from an owned value. Read more
+Implementation of syscalls
+ +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
@@ -12,10 +14,10 @@ U-mode’ exception, which is handled as one of the cases in
sys_ then the name of the syscall. You can find functions like this in
submodules, and you should also implement syscalls this way.
#[repr(C)]pub struct TrapContext {
+
+ #[repr(C)]pub struct TrapContext {
pub x: [usize; 32],
pub sstatus: Sstatus,
pub sepc: usize,
@@ -10,16 +12,18 @@
Fields
x: [usize; 32]general regs[0..31]
sstatus: SstatusCSR sstatus
sepc: usizeCSR sepc
-Implementations
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
Mutably borrows from an owned value. Read more
+#[no_mangle]
+
+
+ Function os::trap::trap_handler
source · [−]#[no_mangle]
pub fn trap_handler(cx: &mut TrapContext) -> &mut TrapContext
Expand description
handle an interrupt, exception, or system call from user space
- Trap handling functionality
+ +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
@@ -13,10 +15,10 @@ context, ensuring that Rust code safely runs, and transfers control to
was. For example, timer interrupts trigger task preemption, and syscalls go
to syscall().
Trap Context
initialize CSR stvec as the entry of __alltraps
handle an interrupt, exception, or system call from user space
-#[repr(C)]pub struct TrapContext {
+
+
+ Struct os::trap::TrapContext
source · [−]#[repr(C)]pub struct TrapContext {
pub x: [usize; 32],
pub sstatus: Sstatus,
pub sepc: usize,
@@ -10,16 +12,18 @@
Fields
x: [usize; 32]general regs[0..31]
sstatus: SstatusCSR sstatus
sepc: usizeCSR sepc
-Implementations
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
Mutably borrows from an owned value. Read more
+which SBI_id and other arguments","use sbi call to getchar from console (qemu uart handler) …","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 …","","inner data","","User is responsible to guarantee that inner struct is only …","","","","","","File and filesystem-related syscalls","App 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","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","","","","","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,1,2,3,4,2,1,3,4,2,1,2,3,4,1,3,4,2,1,2,3,4,0,3,4,2,1,2,2,2,0,2,3,0,3,4,2,1,3,4,2,1,3,4,2,1,0,5,5,5,5,0,5,5,5,5,0,0,0,0,0,0,0,0,6,6,6,6,6,6,6,6,6,6,0,0,0,0,0,0,0,0,0,0,0,7,7,0,7,0,7,7,7,7,7,7,7,7,7,7,7,7],"f":[null,[[]],null,null,null,null,[[],["never",15]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,null,null,[[],["upsafecell",3]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[["usize",15]]],[[]],null,[[]],[[]],[[["trapcontext",3]],["trapcontext",3]],[[],["never",15]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],null,[[]],[[]],[[]],[[]],[[["arguments",3]]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[["str",15]],["result",6]],[[["panicinfo",3]],["never",15]],null,null,[[["usize",15]]],[[["usize",15],["usize",15],["usize",15],["usize",15]],["usize",15]],[[],["never",15]],null,null,[[]],[[]],[[],["refmut",3]],[[]],null,[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],null,null,null,null,[[["usize",15]],["isize",15]],null,[[["usize",15],["usize",15]],["isize",15]],[[["i32",15]],["never",15]],null,null,[[]],null,null,[[["trapcontext",3]],["trapcontext",3]],null,null,[[["usize",15],["usize",15]]],[[]],[[]],[[]],[[]],null,[[["usize",15]]],null,[[],["result",4]],[[],["result",4]],[[],["typeid",3]],null],"p":[[3,"APP_MANAGER"],[3,"AppManager"],[3,"KernelStack"],[3,"UserStack"],[3,"Stdout"],[3,"UPSafeCell"],[3,"TrapContext"]]}\
+"os":{"doc":"The main module and entrypoint","t":[0,5,0,0,14,14,5,0,0,0,0,17,3,17,3,7,17,3,17,7,17,3,12,12,11,11,11,11,11,11,11,11,12,12,12,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,12,5,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,3,11,11,11,11,5,11,11,11,11,5,17,17,5,5,5,0,3,11,11,11,11,12,11,11,11,11,11,17,17,0,0,5,17,5,5,3,0,5,12,12,5,12,3,11,11,11,11,11,12,11,12,11,11,11,12],"n":["batch","clear_bss","console","lang_items","print","println","rust_main","sbi","sync","syscall","trap","APP_BASE_ADDRESS","APP_MANAGER","APP_SIZE_LIMIT","AppManager","KERNEL_STACK","KERNEL_STACK_SIZE","KernelStack","MAX_APP_NUM","USER_STACK","USER_STACK_SIZE","UserStack","__private_field","app_start","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","current_app","data","data","deref","from","from","from","from","get_current_app","get_sp","get_sp","init","into","into","into","into","load_app","move_to_next_app","num_app","print_app_info","print_app_info","push_context","run_next_app","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","Stdout","borrow","borrow_mut","from","into","print","try_from","try_into","type_id","write_str","panic","SBI_CONSOLE_PUTCHAR","SBI_SHUTDOWN","console_putchar","sbi_call","shutdown","up","UPSafeCell","borrow","borrow_mut","exclusive_access","from","inner","into","new","try_from","try_into","type_id","SYSCALL_EXIT","SYSCALL_WRITE","fs","process","syscall","FD_STDOUT","sys_write","sys_exit","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":["os","","","","","","","","","","","os::batch","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","os::console","","","","","","","","","","os::lang_items","os::sbi","","","","","os::sync","os::sync::up","","","","","","","","","","","os::syscall","","","","","os::syscall::fs","","os::syscall::process","os::trap","","","","","","","os::trap::context","","","","","","","","","","","",""],"d":["batch subsystem","clear BSS segment","SBI console driver, for text output","The panic handler","print string macro","println string macro","the rust entry-point of os","SBI call wrappers","Synchronization and interior mutability primitives","Implementation of syscalls","Trap handling functionality","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","init batch subsystem","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","print apps info","","","run next app","","","","","","","","","","","","","","","","Returns the argument unchanged.","Calls U::from(self).","","","","","","","","","use sbi call to putchar in console (qemu uart handler)","handle SBI call with which SBI_id and other arguments","use sbi call to getchar from console (qemu uart handler) …","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","App 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","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,1,2,3,4,2,1,3,4,2,1,2,3,4,1,3,4,2,1,2,3,4,0,3,4,2,1,2,2,2,0,2,3,0,3,4,2,1,3,4,2,1,3,4,2,1,0,5,5,5,5,0,5,5,5,5,0,0,0,0,0,0,0,0,6,6,6,6,6,6,6,6,6,6,0,0,0,0,0,0,0,0,0,0,0,7,7,0,7,0,7,7,7,7,7,7,7,7,7,7,7,7],"f":[null,[[]],null,null,null,null,[[],["never",0]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["",0]],null,null,null,[[["",0]],["upsafecell",3]],[[]],[[]],[[]],[[]],[[["",0]],["usize",0]],[[["",0]],["usize",0]],[[["",0]],["usize",0]],[[]],[[]],[[]],[[]],[[]],[[["",0],["usize",0]]],[[["",0]]],null,[[]],[[["",0]]],[[["",0],["trapcontext",3]],["trapcontext",3]],[[],["never",0]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[["",0]],["typeid",3]],[[["",0]],["typeid",3]],[[["",0]],["typeid",3]],[[["",0]],["typeid",3]],null,[[["",0]],["",0]],[[["",0]],["",0]],[[]],[[]],[[["arguments",3]]],[[],["result",4]],[[],["result",4]],[[["",0]],["typeid",3]],[[["",0],["str",0]],["result",6]],[[["panicinfo",3]],["never",0]],null,null,[[["usize",0]]],[[["usize",0],["usize",0],["usize",0],["usize",0]],["usize",0]],[[],["never",0]],null,null,[[["",0]],["",0]],[[["",0]],["",0]],[[["",0]],["refmut",3]],[[]],null,[[]],[[]],[[],["result",4]],[[],["result",4]],[[["",0]],["typeid",3]],null,null,null,null,[[["usize",0]],["isize",0]],null,[[["usize",0],["usize",0]],["isize",0]],[[["i32",0]],["never",0]],null,null,[[]],null,null,[[["trapcontext",3]],["trapcontext",3]],null,null,[[["usize",0],["usize",0]]],[[["",0]],["",0]],[[["",0]],["",0]],[[]],[[]],null,[[["",0],["usize",0]]],null,[[],["result",4]],[[],["result",4]],[[["",0]],["typeid",3]],null],"p":[[3,"APP_MANAGER"],[3,"AppManager"],[3,"KernelStack"],[3,"UserStack"],[3,"Stdout"],[3,"UPSafeCell"],[3,"TrapContext"]]}\
}');
if (window.initSearch) {window.initSearch(searchIndex)};
\ No newline at end of file
diff --git a/ch2/search.js b/ch2/search.js
index 3aa50607..a8026db5 100644
--- a/ch2/search.js
+++ b/ch2/search.js
@@ -1,2 +1,2 @@
-(function(){var 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",];var TY_PRIMITIVE=itemTypes.indexOf("primitive");var TY_KEYWORD=itemTypes.indexOf("keyword");function printTab(nb){if(nb===0||nb===1||nb===2){searchState.currentTab=nb}var nb_copy=nb;onEachLazy(document.getElementById("titles").childNodes,function(elem){if(nb_copy===0){addClass(elem,"selected")}else{removeClass(elem,"selected")}nb_copy-=1});onEachLazy(document.getElementById("results").childNodes,function(elem){if(nb===0){addClass(elem,"active")}else{removeClass(elem,"active")}nb-=1})}function removeEmptyStringsFromArray(x){for(var i=0,len=x.length;i
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 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 + ++