#ifndef DEVICES_VGA_H #define DEVICES_VGA_H void vga_putc (int); #endif /* devices/vga.h */
…
/* Creates several threads all at the same priority and ensures that they consistently run in the same round-robin order. Based on a test originally…
#include “devices/ide.h” #include #include #include #include #include “devices/block.h” #include “devices/partition.h” #include “devices/timer.h” #include “threads/io.h” #include “threads/interrupt.h” #include “threads/lock.h” /* The code in this file is…
/* The main thread acquires a lock. Then it creates a higher-priority thread that blocks acquiring the lock, causing it to donate their priorities to…
/* Verifies that memory mappings persist after file close. */ #include #include #include “tests/vm/sample.inc” #include “tests/arc4.h” #include “tests/lib.h” #include “tests/main.h” #define ACTUAL ((void *) 0x10000000)…
#include “threads/loader.h” #### Kernel loader. #### This code should be stored in the first sector of a hard disk. #### When the BIOS runs, it…
Agenda • Definitions of Risk • Chance of Loss • Peril and Hazard • Classification of Risk • Major Personal Risks and Commercial Risks •…
Extreme: Nested and chained priority donation: 5 priority-donate-nest 5 priority-donate-chain