Chengjun Chen
Chengjun Chen
In our current mapping-related operations, such as handling page faults, we need to acquire the large lock of the `VmarInner` first, which prevents actual parallel operations on multiple mappings. This...
Currently when handling page faults, we usually acquire a cursor from vmspace to determine the current mapping situation, then do the page fault. ```rust /// handle single page fault. ......
# Describe the bug https://github.com/occlum/occlum/blob/be4de47940ca6f9c3a9d4873587dfa592b2b2dc6/src/libos/src/process/do_robust_list.rs#L128-L134 Theoretically, the outermost termination condition for the iteration should be to check whether `entry_ptr` points to the virtual address of the current `RobustList` in user...
This PR is splitted from #1487 , with only making the ostd logger injectable.
## Motivation When debugging, users often need to get more detailed infomation so that they usually need to set a high `LOG_LEVEL` like `Info`, `Debug` or `Trace`. However, currently the...
This PR makes the logger in OSTD injectable, so that we can implement more complex loggers later without increasing the TCB size. In addition, this PR implement a `FilterLogger` in...
This PR tries to enhance the `SysTree`. First, this PR aims to enable the `SysTree` system to provide read/write capabilities for attributes, which is required for @StevenJiang1110 uevent-related testing. Secondly,...
## Motivation Currently, when creating a cursor from `VmSpace`, it will hold some spinlocks to allow concurrent accesses to the page table. Therefore, in some scenarios where sleeping might be...
## Introduction & Motivation **XArray** is a highly efficient data structure designed for managing pointers. It provides a flexible and scalable way to store and retrieve data using integer indices,...
When using systemd as the init process, the original system `exit` only terminates the current shell and cannot shut down the entire system. Therefore, it is necessary to implement the...