Week2: Some interesting paper from ATC/OSDI 2022 - Xudong Sun Automatic Reliability Testing For Cluster Management Controllers Fuzz test DuoAI Ivy vs CoQ What is the advantages of Ivy compared to other verification language like CoQ? Because I have heard of CoQ but Ivy is new to me. RESIN: Memory Leak
10/28/2022Introduction History Manually 1989 Machenical telephone switch Circuit switching is wasteful Packet Switch 1959
9/9/2022OSI Model https://www.forcepoint.com/zh-hans/cyber-edu/osi-model Performance Metrics (性能与指标) Bandwidth (Throughput)
1/5/2022Basic Concepts 操作系统起着分离运行、幻象(抽象层?)、粘合(高级)的作用 Process Program state PC, reg, Execution flag, Stack Address Space
12/29/2021