…
# -*- perl -*- use strict; use warnings; use tests::tests; use tests::threads::mlfqs; check_mlfqs_fair ([0…9], 25);
Stretch: Single level priority donation, including multiple donations: 3 priority-donate-single 3 priority-donate-one 3 priority-donate-lower 3 priority-donate-multiple 2 priority-donate-multiple2 3 priority-donate-sema 3 priority-donate-condvar
/* Test program for printf() in lib/stdio.c. Attempts to test printf() functionality that is not sufficiently tested elsewhere in Pintos. This is not a test…
#ifndef DEVICES_TIMER_H #define DEVICES_TIMER_H #include #include /* Number of timer interrupts per second. */ #define TIMER_FREQ 100 void timer_init (void); void timer_calibrate (void); int64_t timer_ticks…
diff -urp orig/bochs-2.1.1/gui/Makefile.in bochs-2.1.1/gui/Makefile.in — orig/bochs-2.1.1/gui/Makefile.in 2003-11-28 07:07:28.000000000 -0800 +++ bochs-2.1.1/gui/Makefile.in 2004-09-13 15:05:09.402039000 -0700 @@ -44,7 +44,7 @@ SHELL = /bin/sh @SET_MAKE@ CXX = @CXX@…
#ifndef FILESYS_OFF_T_H #define FILESYS_OFF_T_H #include /* An offset within a file. This is a separate header because multiple headers want this definition but not any…
#ifndef DEVICES_INTQ_H #define DEVICES_INTQ_H #include “threads/interrupt.h” #include “threads/lock.h” /* An “interrupt queue”, a circular buffer shared between kernel threads and external interrupt handlers. Interrupt queue…
#ifndef THREADS_PTE_H #define THREADS_PTE_H #include “threads/vaddr.h” /* Functions and macros for working with x86 hardware page tables. See vaddr.h for more generic functions and macros…
#! /bin/sh -e if test -z “$SRCDIR” || test -z “$PINTOSDIR” || test -z “$DSTDIR”; then echo “usage: env SRCDIR= PINTOSDIR= DSTDIR= sh $0″ echo…