Канал: Gabriel Parmer

The Composite Component-Based OS

The Composite Component-Based OS

GW AdvOS: Microkernel IPC Design and Optimization

GW AdvOS: Microkernel IPC Design and Optimization

GW AdvOS: User Management of Kernel Memory

GW AdvOS: User Management of Kernel Memory

GW AdvOS: Capability Delegation and Revocation

GW AdvOS: Capability Delegation and Revocation

GW AdvOS: Capability-based OS design

GW AdvOS: Capability-based OS design

GW AdvOS: What makes an interface good?

GW AdvOS: What makes an interface good?

GW AdvOS: System Module Implementation Concerns

GW AdvOS: System Module Implementation Concerns

GW AdvOS: System Design, Abstraction, Modularity, and Structure

GW AdvOS: System Design, Abstraction, Modularity, and Structure

GWU OS: Security

GWU OS: Security

GWU OS: Crash Consistency

GWU OS: Crash Consistency

GWU OS: File System Implementation for Devices

GWU OS: File System Implementation for Devices

GWU OS: File System Indexing

GWU OS: File System Indexing

GWU OS: Filesystem API

GWU OS: Filesystem API

GWU OS: Page-tables

GWU OS: Page-tables

GWU OS: Memory Protection

GWU OS: Memory Protection

GWU OS: Memory Allocation - Slab and Buddy Allocators

GWU OS: Memory Allocation - Slab and Buddy Allocators

GWU OS: memory allocation - malloc and free

GWU OS: memory allocation - malloc and free

GWU OS: Linux and Real-time Scheduling

GWU OS: Linux and Real-time Scheduling

GWU OS: Scheduling

GWU OS: Scheduling

GWU OS: Deadlocks

GWU OS: Deadlocks

Lab 6: Synchronization and Condition Variables

Lab 6: Synchronization and Condition Variables

GWU OS: Synchronization Examples

GWU OS: Synchronization Examples

GWU OS: Synchronization Abstractions

GWU OS: Synchronization Abstractions

Lab 5: working with race conditions and synchronization

Lab 5: working with race conditions and synchronization

GWU OS: Synchronization - atomic instructions

GWU OS: Synchronization - atomic instructions

GWU OS: Synchronization - critical sections

GWU OS: Synchronization - critical sections

Lab 4: process management

Lab 4: process management

GWU OS: Threading

GWU OS: Threading

GWU OS: Inter-Process Communication (IPC)

GWU OS: Inter-Process Communication (IPC)

Lab 3: xv6 system calls

Lab 3: xv6 system calls

GWU OS: Process API

GWU OS: Process API

GWU OS: Processes + xv6 swtch walkthrough

GWU OS: Processes + xv6 swtch walkthrough

Lab 2: C practice

Lab 2: C practice

GWU OS: System Structure - monolithic kernels, microkernels, VMs, and containers

GWU OS: System Structure - monolithic kernels, microkernels, VMs, and containers

GWU OS: System Architecture -- I/O interactions

GWU OS: System Architecture -- I/O interactions

Lab 1: Unix, Makefiles, Testing, and GDB

Lab 1: Unix, Makefiles, Testing, and GDB

GWU OS: System Architecture -- System Calls

GWU OS: System Architecture -- System Calls

EMSOFT 2020 - eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

EMSOFT 2020 - eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

Makefiles: 95% of what you need to know

Makefiles: 95% of what you need to know

C Tutorial: polymorphism in C

C Tutorial: polymorphism in C

C Tutorial: void *, generic data-structures, and functions

C Tutorial: void *, generic data-structures, and functions

C Tutorial: visibility and includes

C Tutorial: visibility and includes