Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, and Cheng Tan NeurIPS 2024, Datasets and Benchmarks Track, Vancouver, Canada, December 2024. [pdf, code, website (to appear)]

Course information Course Number: CS 5600 Lectures: MonWed 14:50 - 16:30 Room: Science Engineering Complex 102 Instructor: Cheng Tan Teaching Assistants: Saket Kumar, Suteja Bhimashankar Patil, and Micah Weston Staff mailing list: …

This will be used for context switch. It will save registers on the old stack, store current stack pointer to “old_sp”, switch stack to the “new_sp”, and restore registers from the new stack, finally return (to ra).

Volume II: RISC-V Privileged Architectures V20211203 39 Cheng Tan, CS6640 ... Cheng Tan, CS6640 egos-2k+ syscall workflow --- sys_send/recv (syscall.c)

https://docs.pmem.io/persistent-memory/getting-started-guide/what-is-pmdk Above figures are borrowed from An Empirical Guide to the Behavior and Use of Scalable Persistent Memory …

USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023). [8] Tianhao Wei, Zhihao Jia, Changliu Liu, and Cheng Tan. Building Verified Neural Networks for Computer Systems with Ouroboros. European Conference on Computer Systems Conference on Machine Learning and Systems (MLSys 2023). [7] Jian Zhang, Ye Ji, Shuai Mu, and Cheng Tan.

Cheng Tan, CS6640 egos-2k+ physical memory layout (updated 09/01/2023) HIGH MEM ADDR ------- +----------------------+ <- 0x8040_0000

CSR satp (page table root) (1-bit MODE)Page table entry (PTE)

CS5600, Cheng Tan 3/27/23, 7:28 AM CS5600, Handout Week12.a // Code snippets borrowed from WeensyOS boot loader // They illustrate how kernel "talks" to a disk through programmed I/O:

CS5600, Cheng Tan 106 2. This monitor is a model of a database with multiple readers and 107 writers. The high−level goal here is (a) to give a writer exclusive 108 access (a single active writer means there should be no other writers 109 and no readers) while (b) allowing multiple readers.