Compare commits
93 Commits
user-memor
...
vm/page-sw
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
ac31fb1e1e | ||
|
|
f06c91cf0d | ||
|
|
19d5b02341 | ||
|
|
0288e13206 | ||
|
|
60faf995ea | ||
|
|
723055f485 | ||
|
|
1e236a5c47 | ||
|
|
4bf6914cfa | ||
|
|
fb73d694bf | ||
|
|
1b73e415d7 | ||
|
|
47a7dfae04 | ||
|
|
9a3c8a1c38 | ||
|
|
08eafcf7ef | ||
|
|
df7d847978 | ||
|
|
fbcd3c9f19 | ||
|
|
6190d1bee6 | ||
|
|
6adf2e743b | ||
|
|
05a48cf9c6 | ||
|
|
bb16abdc0d | ||
|
|
8e278b349a | ||
|
|
9d35beb2e4 | ||
|
|
7ce512305e | ||
|
|
775b73a3e9 | ||
|
|
d8edc6d3fe | ||
|
|
5682974f9d | ||
|
|
6f85d7642d | ||
|
|
94adc11f03 | ||
|
|
40c553d68b | ||
|
|
13de832586 | ||
|
|
5c661c2e24 | ||
|
|
5f40d83e66 | ||
|
|
149bb42889 | ||
|
|
4f84a83611 | ||
|
|
c74a8c55aa | ||
|
|
c670c29e47 | ||
|
|
ea2725f606 | ||
|
|
af7f2ba873 | ||
|
|
3ef5264b6e | ||
|
|
605050e38d | ||
|
6225a2eb8b
|
|||
|
aedb72246b
|
|||
|
e1f0258f8e
|
|||
|
|
eed4ce5130 | ||
|
8567434231
|
|||
| e76712d3fd | |||
|
|
8f82f9d747 | ||
|
|
9ee29ac40a | ||
|
2566948a32
|
|||
| 222aeff90f | |||
|
|
ea3b3594ea | ||
|
|
6b1dbdd34f | ||
|
|
7daf4fb079 | ||
|
|
a7f1d519da | ||
|
|
0f1bce2e88 | ||
|
|
f4c900e56c | ||
|
|
82d45880f7 | ||
|
|
1c757ecdfe | ||
|
|
6a1d10a19b | ||
|
|
0e50603eef | ||
|
|
7947ac78e8 | ||
|
|
4b0d0a51f0 | ||
|
|
eff0837fdc | ||
|
|
9b82947beb | ||
|
|
5e2e7199f2 | ||
|
|
bbe41e178d | ||
|
|
e4036c715f | ||
|
|
3a46e0f73a | ||
|
|
8821851459 | ||
|
|
1a2ff35231 | ||
|
|
79b3b8fda7 | ||
|
f5e498e0a9
|
|||
| d02b956221 | |||
|
|
927c376d02 | ||
|
|
fa2fb4a711 | ||
|
|
31ea215805 | ||
|
e7cb16b301
|
|||
|
|
9549ca28e5 | ||
|
|
b1c5819469 | ||
|
|
287130ca7b | ||
|
|
4f586bb4da | ||
|
|
d890c2353e | ||
|
|
eb4f23c290 | ||
|
|
26de38cdba | ||
|
|
6e59e8c9f3 | ||
|
|
30e49846b5 | ||
|
005791edd2
|
|||
|
8bcd0a467c
|
|||
|
dd979f34c8
|
|||
|
ca9d23edf9
|
|||
|
|
d878dbc132 | ||
|
|
b0400693ae | ||
|
|
3418425f20 | ||
|
|
a69b9c808e |
@@ -16,18 +16,13 @@ stages:
|
|||||||
script:
|
script:
|
||||||
- cd src/$DIR
|
- cd src/$DIR
|
||||||
- make check | tee build.log
|
- make check | tee build.log
|
||||||
- grep -q "FAIL tests/$DIR" build.log && exit 1 || exit 0
|
- grep -vE "^FAIL $IGNORE\$" build.log | grep -q "FAIL tests/$DIR" && exit 1 || exit 0
|
||||||
|
|
||||||
test_devices:
|
test_devices:
|
||||||
extends: .pintos_tests
|
extends: .pintos_tests
|
||||||
variables:
|
variables:
|
||||||
DIR: devices
|
DIR: devices
|
||||||
|
|
||||||
test_filesys:
|
|
||||||
extends: .pintos_tests
|
|
||||||
variables:
|
|
||||||
DIR: filesys
|
|
||||||
|
|
||||||
test_threads:
|
test_threads:
|
||||||
extends: .pintos_tests
|
extends: .pintos_tests
|
||||||
variables:
|
variables:
|
||||||
@@ -42,3 +37,4 @@ test_vm:
|
|||||||
extends: .pintos_tests
|
extends: .pintos_tests
|
||||||
variables:
|
variables:
|
||||||
DIR: vm
|
DIR: vm
|
||||||
|
IGNORE: (tests/vm/page-parallel|tests/vm/page-merge-seq|tests/vm/page-merge-par|tests/vm/page-merge-stk|tests/vm/page-merge-mm|tests/vm/mmap-read|tests/vm/mmap-close|tests/vm/mmap-overlap|tests/vm/mmap-twice|tests/vm/mmap-write|tests/vm/mmap-exit|tests/vm/mmap-shuffle|tests/vm/mmap-clean|tests/vm/mmap-inherit|tests/vm/mmap-misalign|tests/vm/mmap-null|tests/vm/mmap-over-code|tests/vm/mmap-over-data|tests/vm/mmap-over-stk|tests/vm/mmap-remove)
|
||||||
|
|||||||
@@ -62,7 +62,10 @@ userprog_SRC += userprog/gdt.c # GDT initialization.
|
|||||||
userprog_SRC += userprog/tss.c # TSS management.
|
userprog_SRC += userprog/tss.c # TSS management.
|
||||||
|
|
||||||
# Virtual memory code.
|
# Virtual memory code.
|
||||||
|
vm_SRC += vm/frame.c # Frame table manager.
|
||||||
|
vm_SRC += vm/page.c # Page table manager.
|
||||||
vm_SRC += devices/swap.c # Swap block manager.
|
vm_SRC += devices/swap.c # Swap block manager.
|
||||||
|
vm_SRC += vm/stackgrowth.c # Stack growth functions.
|
||||||
#vm_SRC = vm/file.c # Some other file.
|
#vm_SRC = vm/file.c # Some other file.
|
||||||
|
|
||||||
# Filesystem code.
|
# Filesystem code.
|
||||||
|
|||||||
@@ -4,7 +4,7 @@ SRCDIR = ..
|
|||||||
# To add a new test, put its name on the PROGS list
|
# To add a new test, put its name on the PROGS list
|
||||||
# and then add a name_SRC line that lists its source files.
|
# and then add a name_SRC line that lists its source files.
|
||||||
PROGS = cat cmp cp echo halt hex-dump mcat mcp rm \
|
PROGS = cat cmp cp echo halt hex-dump mcat mcp rm \
|
||||||
bubsort insult lineup matmult recursor
|
bubsort insult lineup matmult recursor args-ovf
|
||||||
|
|
||||||
# Should work from task 2 onward.
|
# Should work from task 2 onward.
|
||||||
cat_SRC = cat.c
|
cat_SRC = cat.c
|
||||||
@@ -18,6 +18,7 @@ lineup_SRC = lineup.c
|
|||||||
ls_SRC = ls.c
|
ls_SRC = ls.c
|
||||||
recursor_SRC = recursor.c
|
recursor_SRC = recursor.c
|
||||||
rm_SRC = rm.c
|
rm_SRC = rm.c
|
||||||
|
args-ovf_SRC = args-ovf.c
|
||||||
|
|
||||||
# Should work in task 3; also in task 4 if VM is included.
|
# Should work in task 3; also in task 4 if VM is included.
|
||||||
bubsort_SRC = bubsort.c
|
bubsort_SRC = bubsort.c
|
||||||
|
|||||||
13
src/examples/args-ovf.c
Normal file
13
src/examples/args-ovf.c
Normal file
File diff suppressed because one or more lines are too long
@@ -9,14 +9,14 @@ sc-bad-arg sc-bad-num sc-boundary sc-boundary-2 halt exit create-normal \
|
|||||||
create-empty create-null create-bad-ptr create-long create-exists \
|
create-empty create-null create-bad-ptr create-long create-exists \
|
||||||
create-bound open-normal open-missing open-boundary open-empty \
|
create-bound open-normal open-missing open-boundary open-empty \
|
||||||
open-null open-bad-ptr open-twice close-normal close-twice close-stdin \
|
open-null open-bad-ptr open-twice close-normal close-twice close-stdin \
|
||||||
close-stdout close-bad-fd read-normal read-bad-ptr read-boundary \
|
close-stdout close-bad-fd read-normal read-bad-ptr read-bad-buf read-boundary \
|
||||||
read-zero read-stdout read-bad-fd write-normal write-bad-ptr \
|
read-zero read-stdout read-bad-fd write-normal write-bad-ptr write-bad-buf \
|
||||||
write-boundary write-zero write-stdin write-bad-fd exec-once exec-arg \
|
write-boundary write-zero write-stdin write-bad-fd exec-once exec-arg \
|
||||||
exec-large-arg exec-multiple exec-missing exec-over-arg exec-over-args \
|
exec-large-arg exec-multiple exec-missing exec-over-arg exec-over-args \
|
||||||
exec-bad-ptr wait-simple wait-twice wait-killed wait-load-kill \
|
exec-bad-ptr wait-simple wait-twice wait-killed wait-load-kill \
|
||||||
wait-bad-pid wait-bad-child multi-recurse multi-child-fd rox-simple \
|
wait-bad-pid wait-bad-child multi-recurse multi-child-fd rox-simple \
|
||||||
rox-child rox-multichild bad-read bad-write bad-read2 bad-write2 \
|
rox-child rox-multichild bad-read bad-write bad-read2 bad-write2 \
|
||||||
bad-jump bad-jump2 bad-maths)
|
bad-jump bad-jump2 bad-maths overflow-stack)
|
||||||
|
|
||||||
tests/userprog_PROGS = $(tests/userprog_TESTS) $(addprefix \
|
tests/userprog_PROGS = $(tests/userprog_TESTS) $(addprefix \
|
||||||
tests/userprog/,child-simple child-args child-bad child-close child-rox exec-exit)
|
tests/userprog/,child-simple child-args child-bad child-close child-rox exec-exit)
|
||||||
@@ -36,6 +36,7 @@ tests/userprog/bad-read2_SRC = tests/userprog/bad-read2.c tests/main.c
|
|||||||
tests/userprog/bad-write2_SRC = tests/userprog/bad-write2.c tests/main.c
|
tests/userprog/bad-write2_SRC = tests/userprog/bad-write2.c tests/main.c
|
||||||
tests/userprog/bad-jump2_SRC = tests/userprog/bad-jump2.c tests/main.c
|
tests/userprog/bad-jump2_SRC = tests/userprog/bad-jump2.c tests/main.c
|
||||||
tests/userprog/bad-maths_SRC = tests/userprog/bad-maths.c tests/main.c
|
tests/userprog/bad-maths_SRC = tests/userprog/bad-maths.c tests/main.c
|
||||||
|
tests/userprog/overflow-stack_SRC = tests/userprog/overflow-stack.c tests/main.c
|
||||||
tests/userprog/sc-boundary_SRC = tests/userprog/sc-boundary.c \
|
tests/userprog/sc-boundary_SRC = tests/userprog/sc-boundary.c \
|
||||||
tests/userprog/boundary.c tests/main.c
|
tests/userprog/boundary.c tests/main.c
|
||||||
tests/userprog/sc-boundary-2_SRC = tests/userprog/sc-boundary-2.c \
|
tests/userprog/sc-boundary-2_SRC = tests/userprog/sc-boundary-2.c \
|
||||||
@@ -66,6 +67,7 @@ tests/userprog/close-stdout_SRC = tests/userprog/close-stdout.c tests/main.c
|
|||||||
tests/userprog/close-bad-fd_SRC = tests/userprog/close-bad-fd.c tests/main.c
|
tests/userprog/close-bad-fd_SRC = tests/userprog/close-bad-fd.c tests/main.c
|
||||||
tests/userprog/read-normal_SRC = tests/userprog/read-normal.c tests/main.c
|
tests/userprog/read-normal_SRC = tests/userprog/read-normal.c tests/main.c
|
||||||
tests/userprog/read-bad-ptr_SRC = tests/userprog/read-bad-ptr.c tests/main.c
|
tests/userprog/read-bad-ptr_SRC = tests/userprog/read-bad-ptr.c tests/main.c
|
||||||
|
tests/userprog/read-bad-buf_SRC = tests/userprog/read-bad-buf.c tests/main.c
|
||||||
tests/userprog/read-boundary_SRC = tests/userprog/read-boundary.c \
|
tests/userprog/read-boundary_SRC = tests/userprog/read-boundary.c \
|
||||||
tests/userprog/boundary.c tests/main.c
|
tests/userprog/boundary.c tests/main.c
|
||||||
tests/userprog/read-zero_SRC = tests/userprog/read-zero.c tests/main.c
|
tests/userprog/read-zero_SRC = tests/userprog/read-zero.c tests/main.c
|
||||||
@@ -73,6 +75,7 @@ tests/userprog/read-stdout_SRC = tests/userprog/read-stdout.c tests/main.c
|
|||||||
tests/userprog/read-bad-fd_SRC = tests/userprog/read-bad-fd.c tests/main.c
|
tests/userprog/read-bad-fd_SRC = tests/userprog/read-bad-fd.c tests/main.c
|
||||||
tests/userprog/write-normal_SRC = tests/userprog/write-normal.c tests/main.c
|
tests/userprog/write-normal_SRC = tests/userprog/write-normal.c tests/main.c
|
||||||
tests/userprog/write-bad-ptr_SRC = tests/userprog/write-bad-ptr.c tests/main.c
|
tests/userprog/write-bad-ptr_SRC = tests/userprog/write-bad-ptr.c tests/main.c
|
||||||
|
tests/userprog/write-bad-buf_SRC = tests/userprog/write-bad-buf.c tests/main.c
|
||||||
tests/userprog/write-boundary_SRC = tests/userprog/write-boundary.c \
|
tests/userprog/write-boundary_SRC = tests/userprog/write-boundary.c \
|
||||||
tests/userprog/boundary.c tests/main.c
|
tests/userprog/boundary.c tests/main.c
|
||||||
tests/userprog/write-zero_SRC = tests/userprog/write-zero.c tests/main.c
|
tests/userprog/write-zero_SRC = tests/userprog/write-zero.c tests/main.c
|
||||||
@@ -122,10 +125,12 @@ tests/userprog/close-normal_PUTFILES += tests/userprog/sample.txt
|
|||||||
tests/userprog/close-twice_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/close-twice_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/read-normal_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/read-normal_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/read-bad-ptr_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/read-bad-ptr_PUTFILES += tests/userprog/sample.txt
|
||||||
|
tests/userprog/read-bad-buf_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/read-boundary_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/read-boundary_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/read-zero_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/read-zero_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/write-normal_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/write-normal_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/write-bad-ptr_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/write-bad-ptr_PUTFILES += tests/userprog/sample.txt
|
||||||
|
tests/userprog/write-bad-buf_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/write-boundary_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/write-boundary_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/write-zero_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/write-zero_PUTFILES += tests/userprog/sample.txt
|
||||||
tests/userprog/multi-child-fd_PUTFILES += tests/userprog/sample.txt
|
tests/userprog/multi-child-fd_PUTFILES += tests/userprog/sample.txt
|
||||||
|
|||||||
@@ -1,5 +1,9 @@
|
|||||||
Full robustness of argument passing code:
|
Full robustness of argument passing and syscall handling code:
|
||||||
- Test user stack overflow robustness of "exec" system calls.
|
- Test user stack overflow robustness of "exec" system calls and user code.
|
||||||
5 exec-over-arg
|
5 exec-over-arg
|
||||||
5 exec-over-args
|
5 exec-over-args
|
||||||
|
5 overflow-stack
|
||||||
|
|
||||||
|
- Test syscall user provided buffer validity checks.
|
||||||
|
5 read-bad-buf
|
||||||
|
5 write-bad-buf
|
||||||
|
|||||||
@@ -2,11 +2,7 @@
|
|||||||
use strict;
|
use strict;
|
||||||
use warnings;
|
use warnings;
|
||||||
use tests::tests;
|
use tests::tests;
|
||||||
check_expected ([<<'EOF', <<'EOF']);
|
check_expected ([<<'EOF']);
|
||||||
(exec-bad-ptr) begin
|
|
||||||
(exec-bad-ptr) end
|
|
||||||
exec-bad-ptr: exit(0)
|
|
||||||
EOF
|
|
||||||
(exec-bad-ptr) begin
|
(exec-bad-ptr) begin
|
||||||
exec-bad-ptr: exit(-1)
|
exec-bad-ptr: exit(-1)
|
||||||
EOF
|
EOF
|
||||||
|
|||||||
@@ -2,11 +2,7 @@
|
|||||||
use strict;
|
use strict;
|
||||||
use warnings;
|
use warnings;
|
||||||
use tests::tests;
|
use tests::tests;
|
||||||
check_expected ([<<'EOF', <<'EOF']);
|
check_expected ([<<'EOF']);
|
||||||
(open-bad-ptr) begin
|
|
||||||
(open-bad-ptr) end
|
|
||||||
open-bad-ptr: exit(0)
|
|
||||||
EOF
|
|
||||||
(open-bad-ptr) begin
|
(open-bad-ptr) begin
|
||||||
open-bad-ptr: exit(-1)
|
open-bad-ptr: exit(-1)
|
||||||
EOF
|
EOF
|
||||||
|
|||||||
17
src/tests/userprog/overflow-stack.c
Normal file
17
src/tests/userprog/overflow-stack.c
Normal file
@@ -0,0 +1,17 @@
|
|||||||
|
/* Attempt to overflow the user stack by allocating a 4kB buffer and writing into it.
|
||||||
|
The process must be terminated with -1 exit code until stack growth has been implemented in Task 3
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <string.h>
|
||||||
|
#include <syscall.h>
|
||||||
|
#include "tests/lib.h"
|
||||||
|
#include "tests/main.h"
|
||||||
|
|
||||||
|
void
|
||||||
|
test_main (void)
|
||||||
|
{
|
||||||
|
char stack_obj[4096];
|
||||||
|
memset (stack_obj, 'a', sizeof stack_obj);
|
||||||
|
memset (stack_obj+10, '\0', 1);
|
||||||
|
msg ("buffer: %s", stack_obj);
|
||||||
|
}
|
||||||
14
src/tests/userprog/overflow-stack.ck
Normal file
14
src/tests/userprog/overflow-stack.ck
Normal file
@@ -0,0 +1,14 @@
|
|||||||
|
# -*- perl -*-
|
||||||
|
use strict;
|
||||||
|
use warnings;
|
||||||
|
use tests::tests;
|
||||||
|
check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF',<<'EOF']);
|
||||||
|
(overflow-stack) begin
|
||||||
|
overflow-stack: exit(-1)
|
||||||
|
EOF
|
||||||
|
(overflow-stack) begin
|
||||||
|
(overflow-stack) buffer: aaaaaaaaaa
|
||||||
|
(overflow-stack) end
|
||||||
|
overflow-stack: exit(0)
|
||||||
|
EOF
|
||||||
|
pass;
|
||||||
17
src/tests/userprog/read-bad-buf.c
Normal file
17
src/tests/userprog/read-bad-buf.c
Normal file
@@ -0,0 +1,17 @@
|
|||||||
|
/* Passes a buffer to the read system call that starts in valid memory, but runs into kernel space.
|
||||||
|
The process must be terminated with -1 exit code.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <syscall.h>
|
||||||
|
#include "tests/lib.h"
|
||||||
|
#include "tests/main.h"
|
||||||
|
|
||||||
|
void
|
||||||
|
test_main (void)
|
||||||
|
{
|
||||||
|
int handle;
|
||||||
|
CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
|
||||||
|
|
||||||
|
read (handle, (char *) 0xbfffffe0, 100);
|
||||||
|
fail ("should not have survived read()");
|
||||||
|
}
|
||||||
10
src/tests/userprog/read-bad-buf.ck
Normal file
10
src/tests/userprog/read-bad-buf.ck
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
# -*- perl -*-
|
||||||
|
use strict;
|
||||||
|
use warnings;
|
||||||
|
use tests::tests;
|
||||||
|
check_expected (IGNORE_KERNEL_FAULTS => 1, [<<'EOF']);
|
||||||
|
(read-bad-buf) begin
|
||||||
|
(read-bad-buf) open "sample.txt"
|
||||||
|
read-bad-buf: exit(-1)
|
||||||
|
EOF
|
||||||
|
pass;
|
||||||
@@ -2,12 +2,7 @@
|
|||||||
use strict;
|
use strict;
|
||||||
use warnings;
|
use warnings;
|
||||||
use tests::tests;
|
use tests::tests;
|
||||||
check_expected ([<<'EOF', <<'EOF']);
|
check_expected ([<<'EOF']);
|
||||||
(read-bad-ptr) begin
|
|
||||||
(read-bad-ptr) open "sample.txt"
|
|
||||||
(read-bad-ptr) end
|
|
||||||
read-bad-ptr: exit(0)
|
|
||||||
EOF
|
|
||||||
(read-bad-ptr) begin
|
(read-bad-ptr) begin
|
||||||
(read-bad-ptr) open "sample.txt"
|
(read-bad-ptr) open "sample.txt"
|
||||||
read-bad-ptr: exit(-1)
|
read-bad-ptr: exit(-1)
|
||||||
|
|||||||
17
src/tests/userprog/write-bad-buf.c
Normal file
17
src/tests/userprog/write-bad-buf.c
Normal file
@@ -0,0 +1,17 @@
|
|||||||
|
/* Passes a buffer to the write system call that starts in valid memory, but runs into kernel space.
|
||||||
|
The process must be terminated with -1 exit code.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <syscall.h>
|
||||||
|
#include "tests/lib.h"
|
||||||
|
#include "tests/main.h"
|
||||||
|
|
||||||
|
void
|
||||||
|
test_main (void)
|
||||||
|
{
|
||||||
|
int handle;
|
||||||
|
CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
|
||||||
|
|
||||||
|
write (handle, (char *) 0xbffffff0, 32);
|
||||||
|
fail ("should have exited with -1");
|
||||||
|
}
|
||||||
10
src/tests/userprog/write-bad-buf.ck
Normal file
10
src/tests/userprog/write-bad-buf.ck
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
# -*- perl -*-
|
||||||
|
use strict;
|
||||||
|
use warnings;
|
||||||
|
use tests::tests;
|
||||||
|
check_expected (IGNORE_KERNEL_FAULTS => 1, [<<'EOF']);
|
||||||
|
(write-bad-buf) begin
|
||||||
|
(write-bad-buf) open "sample.txt"
|
||||||
|
write-bad-buf: exit(-1)
|
||||||
|
EOF
|
||||||
|
pass;
|
||||||
@@ -2,12 +2,7 @@
|
|||||||
use strict;
|
use strict;
|
||||||
use warnings;
|
use warnings;
|
||||||
use tests::tests;
|
use tests::tests;
|
||||||
check_expected ([<<'EOF', <<'EOF']);
|
check_expected ([<<'EOF']);
|
||||||
(write-bad-ptr) begin
|
|
||||||
(write-bad-ptr) open "sample.txt"
|
|
||||||
(write-bad-ptr) end
|
|
||||||
write-bad-ptr: exit(0)
|
|
||||||
EOF
|
|
||||||
(write-bad-ptr) begin
|
(write-bad-ptr) begin
|
||||||
(write-bad-ptr) open "sample.txt"
|
(write-bad-ptr) open "sample.txt"
|
||||||
write-bad-ptr: exit(-1)
|
write-bad-ptr: exit(-1)
|
||||||
|
|||||||
@@ -32,6 +32,7 @@
|
|||||||
#include "tests/threads/tests.h"
|
#include "tests/threads/tests.h"
|
||||||
#endif
|
#endif
|
||||||
#ifdef VM
|
#ifdef VM
|
||||||
|
#include "vm/frame.h"
|
||||||
#include "devices/swap.h"
|
#include "devices/swap.h"
|
||||||
#endif
|
#endif
|
||||||
#ifdef FILESYS
|
#ifdef FILESYS
|
||||||
@@ -101,6 +102,9 @@ main (void)
|
|||||||
palloc_init (user_page_limit);
|
palloc_init (user_page_limit);
|
||||||
malloc_init ();
|
malloc_init ();
|
||||||
paging_init ();
|
paging_init ();
|
||||||
|
#ifdef VM
|
||||||
|
frame_init ();
|
||||||
|
#endif
|
||||||
|
|
||||||
/* Segmentation. */
|
/* Segmentation. */
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
|
|||||||
@@ -119,14 +119,14 @@ sema_up (struct semaphore *sema)
|
|||||||
|
|
||||||
old_level = intr_disable ();
|
old_level = intr_disable ();
|
||||||
if (!list_empty (&sema->waiters))
|
if (!list_empty (&sema->waiters))
|
||||||
{
|
{
|
||||||
/* Enforces wake-up of the highest priority thread waiting for the
|
/* Enforces wake-up of the highest priority thread waiting for the
|
||||||
semaphore. */
|
semaphore. */
|
||||||
struct list_elem *e = list_max (&sema->waiters, priority_less, NULL);
|
struct list_elem *e = list_max (&sema->waiters, priority_less, NULL);
|
||||||
list_remove (e);
|
list_remove (e);
|
||||||
thread_unblock (list_entry (e, struct thread, elem));
|
thread_unblock (list_entry (e, struct thread, elem));
|
||||||
thread_unblocked = true;
|
thread_unblocked = true;
|
||||||
}
|
}
|
||||||
sema->value++;
|
sema->value++;
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
|
|
||||||
@@ -134,12 +134,12 @@ sema_up (struct semaphore *sema)
|
|||||||
priority that the current running thread, including the case when called
|
priority that the current running thread, including the case when called
|
||||||
within an interrupt handler. */
|
within an interrupt handler. */
|
||||||
if (thread_unblocked)
|
if (thread_unblocked)
|
||||||
{
|
{
|
||||||
if (intr_context ())
|
if (intr_context ())
|
||||||
intr_yield_on_return ();
|
intr_yield_on_return ();
|
||||||
else
|
else
|
||||||
thread_yield ();
|
thread_yield ();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
static void sema_test_helper (void *sema_);
|
static void sema_test_helper (void *sema_);
|
||||||
@@ -212,6 +212,7 @@ donate_priority (struct thread *donee) {
|
|||||||
ASSERT (intr_get_level () == INTR_OFF);
|
ASSERT (intr_get_level () == INTR_OFF);
|
||||||
|
|
||||||
struct thread *donor = thread_current ();
|
struct thread *donor = thread_current ();
|
||||||
|
list_remove (&donor->donor_elem);
|
||||||
list_push_back (&donee->donors_list, &donor->donor_elem);
|
list_push_back (&donee->donors_list, &donor->donor_elem);
|
||||||
|
|
||||||
while (donee != NULL)
|
while (donee != NULL)
|
||||||
@@ -260,6 +261,7 @@ lock_acquire (struct lock *lock)
|
|||||||
ASSERT (!lock_held_by_current_thread (lock));
|
ASSERT (!lock_held_by_current_thread (lock));
|
||||||
|
|
||||||
struct thread *t = thread_current ();
|
struct thread *t = thread_current ();
|
||||||
|
ASSERT (t->waiting_lock == NULL);
|
||||||
|
|
||||||
enum intr_level old_level = intr_disable ();
|
enum intr_level old_level = intr_disable ();
|
||||||
if (lock->holder != NULL)
|
if (lock->holder != NULL)
|
||||||
@@ -341,7 +343,6 @@ lock_release (struct lock *lock)
|
|||||||
released, transfer the remaining orphaned donors to its donor list. */
|
released, transfer the remaining orphaned donors to its donor list. */
|
||||||
if (max_donor != NULL)
|
if (max_donor != NULL)
|
||||||
{
|
{
|
||||||
list_remove (&max_donor->donor_elem);
|
|
||||||
while (!list_empty (&orphan_list))
|
while (!list_empty (&orphan_list))
|
||||||
list_push_back (&max_donor->donors_list, list_pop_front (&orphan_list));
|
list_push_back (&max_donor->donors_list, list_pop_front (&orphan_list));
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -15,6 +15,7 @@
|
|||||||
#include "threads/switch.h"
|
#include "threads/switch.h"
|
||||||
#include "threads/synch.h"
|
#include "threads/synch.h"
|
||||||
#include "threads/vaddr.h"
|
#include "threads/vaddr.h"
|
||||||
|
#include "vm/page.h"
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
#include "userprog/process.h"
|
#include "userprog/process.h"
|
||||||
#include "userprog/syscall.h"
|
#include "userprog/syscall.h"
|
||||||
@@ -71,7 +72,7 @@ static void kernel_thread (thread_func *, void *aux);
|
|||||||
static void idle (void *aux UNUSED);
|
static void idle (void *aux UNUSED);
|
||||||
static struct thread *running_thread (void);
|
static struct thread *running_thread (void);
|
||||||
static struct thread *next_thread_to_run (void);
|
static struct thread *next_thread_to_run (void);
|
||||||
static void init_process_result (struct thread *t);
|
static bool init_process_result (struct thread *t);
|
||||||
static void init_thread (struct thread *, const char *name, int nice,
|
static void init_thread (struct thread *, const char *name, int nice,
|
||||||
int priority, fp32_t recent_cpu);
|
int priority, fp32_t recent_cpu);
|
||||||
static bool is_thread (struct thread *) UNUSED;
|
static bool is_thread (struct thread *) UNUSED;
|
||||||
@@ -84,6 +85,10 @@ void thread_schedule_tail (struct thread *prev);
|
|||||||
static tid_t allocate_tid (void);
|
static tid_t allocate_tid (void);
|
||||||
static bool donor_priority_less (const struct list_elem *a_,
|
static bool donor_priority_less (const struct list_elem *a_,
|
||||||
const struct list_elem *b_, void *aux UNUSED);
|
const struct list_elem *b_, void *aux UNUSED);
|
||||||
|
static unsigned process_result_hash (const struct hash_elem *e,
|
||||||
|
void *aux UNUSED);
|
||||||
|
static bool process_result_less (const struct hash_elem *a,
|
||||||
|
const struct hash_elem *b, void *aux UNUSED);
|
||||||
|
|
||||||
/* Initializes the threading system by transforming the code
|
/* Initializes the threading system by transforming the code
|
||||||
that's currently running into a thread. This can't work in
|
that's currently running into a thread. This can't work in
|
||||||
@@ -122,6 +127,13 @@ thread_init (void)
|
|||||||
void
|
void
|
||||||
thread_start (void)
|
thread_start (void)
|
||||||
{
|
{
|
||||||
|
/* Malloc has been initalised, we can allocate the child results table
|
||||||
|
for the main thread. */
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
if (!hash_init (&t->child_results, process_result_hash, process_result_less,
|
||||||
|
t))
|
||||||
|
PANIC ("Failed to initialise child results table for main thread.");
|
||||||
|
|
||||||
/* Create the idle thread. */
|
/* Create the idle thread. */
|
||||||
struct semaphore idle_started;
|
struct semaphore idle_started;
|
||||||
sema_init (&idle_started, 0);
|
sema_init (&idle_started, 0);
|
||||||
@@ -241,11 +253,30 @@ thread_create (const char *name, int priority,
|
|||||||
struct thread *parent_thread = thread_current ();
|
struct thread *parent_thread = thread_current ();
|
||||||
init_thread (t, name, parent_thread->nice, priority, parent_thread->recent_cpu);
|
init_thread (t, name, parent_thread->nice, priority, parent_thread->recent_cpu);
|
||||||
tid = t->tid = allocate_tid ();
|
tid = t->tid = allocate_tid ();
|
||||||
init_process_result (t);
|
if (!init_process_result (t))
|
||||||
|
{
|
||||||
|
palloc_free_page (t);
|
||||||
|
return TID_ERROR;
|
||||||
|
}
|
||||||
|
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
hash_init (&t->open_files, fd_hash, fd_less, NULL);
|
/* Initialize the thread's file descriptor table. */
|
||||||
#endif
|
t->fd_counter = MINIMUM_USER_FD;
|
||||||
|
|
||||||
|
bool success = hash_init (&t->open_files, fd_hash, fd_less, NULL);
|
||||||
|
success = success && hash_init (&t->child_results, process_result_hash,
|
||||||
|
process_result_less, t);
|
||||||
|
#ifdef VM
|
||||||
|
success = success && hash_init (&t->pages, page_hash, page_less, NULL);
|
||||||
|
#endif
|
||||||
|
|
||||||
|
if (!success)
|
||||||
|
{
|
||||||
|
palloc_free_page (t);
|
||||||
|
free (t->result);
|
||||||
|
return TID_ERROR;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
/* Prepare thread for first run by initializing its stack.
|
/* Prepare thread for first run by initializing its stack.
|
||||||
Do this atomically so intermediate values for the 'stack'
|
Do this atomically so intermediate values for the 'stack'
|
||||||
@@ -269,9 +300,7 @@ thread_create (const char *name, int priority,
|
|||||||
|
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
|
|
||||||
/* No need to synchronise child_results since it is only ever accessed by one
|
hash_insert (&parent_thread->child_results, &t->result->elem);
|
||||||
thread. By the nature of increasing TIDs, this list is ordered. */
|
|
||||||
list_push_back (&parent_thread->child_results, &t->result->elem);
|
|
||||||
|
|
||||||
/* Add to run queue. */
|
/* Add to run queue. */
|
||||||
thread_unblock (t);
|
thread_unblock (t);
|
||||||
@@ -373,7 +402,9 @@ thread_exit (void)
|
|||||||
and schedule another process. That process will destroy us
|
and schedule another process. That process will destroy us
|
||||||
when it calls thread_schedule_tail(). */
|
when it calls thread_schedule_tail(). */
|
||||||
intr_disable ();
|
intr_disable ();
|
||||||
list_remove (&thread_current()->allelem);
|
struct thread *t = thread_current ();
|
||||||
|
list_remove (&t->allelem);
|
||||||
|
list_remove (&t->donor_elem);
|
||||||
thread_current ()->status = THREAD_DYING;
|
thread_current ()->status = THREAD_DYING;
|
||||||
schedule ();
|
schedule ();
|
||||||
NOT_REACHED ();
|
NOT_REACHED ();
|
||||||
@@ -647,15 +678,18 @@ is_thread (struct thread *t)
|
|||||||
}
|
}
|
||||||
|
|
||||||
/* Allocate and initialise a process result for given thread. */
|
/* Allocate and initialise a process result for given thread. */
|
||||||
static void
|
static bool
|
||||||
init_process_result (struct thread *t)
|
init_process_result (struct thread *t)
|
||||||
{
|
{
|
||||||
struct process_result *result = malloc (sizeof (struct process_result));
|
struct process_result *result = malloc (sizeof (struct process_result));
|
||||||
|
if (result == NULL)
|
||||||
|
return false;
|
||||||
result->tid = t->tid;
|
result->tid = t->tid;
|
||||||
result->exit_status = t->exit_status;
|
result->exit_status = -1;
|
||||||
lock_init (&result->lock);
|
lock_init (&result->lock);
|
||||||
sema_init (&result->sema, 0);
|
sema_init (&result->sema, 0);
|
||||||
t->result = result;
|
t->result = result;
|
||||||
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Does basic initialization of T as a blocked thread named
|
/* Does basic initialization of T as a blocked thread named
|
||||||
@@ -679,15 +713,13 @@ init_thread (struct thread *t, const char *name, int nice, int priority,
|
|||||||
t->base_priority
|
t->base_priority
|
||||||
= thread_mlfqs ? calculate_bsd_priority (recent_cpu, nice) : priority;
|
= thread_mlfqs ? calculate_bsd_priority (recent_cpu, nice) : priority;
|
||||||
list_init (&t->donors_list);
|
list_init (&t->donors_list);
|
||||||
|
list_push_back (&t->donors_list, &t->donor_elem);
|
||||||
t->waiting_lock = NULL;
|
t->waiting_lock = NULL;
|
||||||
|
|
||||||
t->nice = nice;
|
t->nice = nice;
|
||||||
t->recent_cpu = recent_cpu;
|
t->recent_cpu = recent_cpu;
|
||||||
t->priority = t->base_priority;
|
t->priority = t->base_priority;
|
||||||
|
|
||||||
t->exit_status = -1;
|
|
||||||
list_init (&t->child_results);
|
|
||||||
|
|
||||||
old_level = intr_disable ();
|
old_level = intr_disable ();
|
||||||
list_push_back (&all_list, &t->allelem);
|
list_push_back (&all_list, &t->allelem);
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
@@ -818,6 +850,29 @@ allocate_tid (void)
|
|||||||
return tid;
|
return tid;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Hashing function needed for child_results table.
|
||||||
|
Returns hash of process_result's TID. */
|
||||||
|
static unsigned
|
||||||
|
process_result_hash (const struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
const struct process_result *result
|
||||||
|
= hash_entry (e, struct process_result, elem);
|
||||||
|
return hash_int (result->tid);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Comparator function needed for child_results table.
|
||||||
|
Returns less than comparison on process_results' TIDs. */
|
||||||
|
static bool
|
||||||
|
process_result_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
||||||
|
void *aux UNUSED)
|
||||||
|
{
|
||||||
|
const struct process_result *a
|
||||||
|
= hash_entry (a_, struct process_result, elem);
|
||||||
|
const struct process_result *b
|
||||||
|
= hash_entry (b_, struct process_result, elem);
|
||||||
|
return a->tid < b->tid;
|
||||||
|
}
|
||||||
|
|
||||||
/* Offset of `stack' member within `struct thread'.
|
/* Offset of `stack' member within `struct thread'.
|
||||||
Used by switch.S, which can't figure it out on its own. */
|
Used by switch.S, which can't figure it out on its own. */
|
||||||
uint32_t thread_stack_ofs = offsetof (struct thread, stack);
|
uint32_t thread_stack_ofs = offsetof (struct thread, stack);
|
||||||
|
|||||||
@@ -32,6 +32,9 @@ typedef int tid_t;
|
|||||||
#define NICE_DEFAULT 0 /* Default niceness. */
|
#define NICE_DEFAULT 0 /* Default niceness. */
|
||||||
#define NICE_MAX 20 /* Highest niceness. */
|
#define NICE_MAX 20 /* Highest niceness. */
|
||||||
|
|
||||||
|
/* File Descriptors. */
|
||||||
|
#define MINIMUM_USER_FD 2 /* Minimum file descriptor for user programs. */
|
||||||
|
|
||||||
/* A process result, synchronised between parent and child. */
|
/* A process result, synchronised between parent and child. */
|
||||||
struct process_result
|
struct process_result
|
||||||
{
|
{
|
||||||
@@ -41,7 +44,7 @@ struct process_result
|
|||||||
struct lock lock; /* Lock the exit_status and sema. */
|
struct lock lock; /* Lock the exit_status and sema. */
|
||||||
struct semaphore sema; /* Semaphore to signal the parent that the exit_status
|
struct semaphore sema; /* Semaphore to signal the parent that the exit_status
|
||||||
has been set. */
|
has been set. */
|
||||||
struct list_elem elem; /* List element for the parent's children list. */
|
struct hash_elem elem; /* Hash element for the parent's children map. */
|
||||||
};
|
};
|
||||||
|
|
||||||
/* A kernel thread or user process.
|
/* A kernel thread or user process.
|
||||||
@@ -125,21 +128,27 @@ struct thread
|
|||||||
|
|
||||||
/* Process wait properties. */
|
/* Process wait properties. */
|
||||||
struct process_result *result; /* Result of the process. */
|
struct process_result *result; /* Result of the process. */
|
||||||
struct list child_results; /* List of children's of this thread
|
struct hash child_results; /* Map of children's of this thread
|
||||||
process results. */
|
TID to process result. */
|
||||||
struct file *exec_file; /* Thread's currently running file */
|
struct file *exec_file; /* Thread's currently running file */
|
||||||
|
|
||||||
/* Shared between thread.c and synch.c. */
|
/* Shared between thread.c and synch.c. */
|
||||||
struct list_elem elem; /* List element. */
|
struct list_elem elem; /* List element. */
|
||||||
|
|
||||||
int exit_status; /* Exit Status: 0 = successful exit. */
|
|
||||||
|
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
/* Owned by userprog/process.c. */
|
/* Owned by userprog/process.c. */
|
||||||
uint32_t *pagedir; /* Page directory. */
|
uint32_t *pagedir; /* Page directory. */
|
||||||
struct hash open_files; /* Hash Table of FD -> Struct File */
|
unsigned int fd_counter; /* File descriptor counter for thread's
|
||||||
|
open files. */
|
||||||
|
struct hash open_files; /* Hash Table of FD -> Struct File. */
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
#ifdef VM
|
||||||
|
struct hash pages; /* Table of open user pages. */
|
||||||
|
#endif
|
||||||
|
|
||||||
|
void *curr_esp;
|
||||||
|
|
||||||
/* Owned by thread.c. */
|
/* Owned by thread.c. */
|
||||||
unsigned magic; /* Detects stack overflow. */
|
unsigned magic; /* Detects stack overflow. */
|
||||||
};
|
};
|
||||||
|
|||||||
@@ -1,15 +1,25 @@
|
|||||||
#include "userprog/exception.h"
|
#include "userprog/exception.h"
|
||||||
#include <inttypes.h>
|
#include <inttypes.h>
|
||||||
#include <stdio.h>
|
#include <stdio.h>
|
||||||
|
#include "stdbool.h"
|
||||||
#include "userprog/gdt.h"
|
#include "userprog/gdt.h"
|
||||||
#include "threads/interrupt.h"
|
#include "threads/interrupt.h"
|
||||||
#include "threads/thread.h"
|
#include "threads/thread.h"
|
||||||
|
#ifdef VM
|
||||||
|
#include "vm/stackgrowth.h"
|
||||||
|
#include "vm/frame.h"
|
||||||
|
#include "vm/page.h"
|
||||||
|
#include "devices/swap.h"
|
||||||
|
#include "threads/vaddr.h"
|
||||||
|
#include "userprog/pagedir.h"
|
||||||
|
#endif
|
||||||
|
|
||||||
/* Number of page faults processed. */
|
/* Number of page faults processed. */
|
||||||
static long long page_fault_cnt;
|
static long long page_fault_cnt;
|
||||||
|
|
||||||
static void kill (struct intr_frame *);
|
static void kill (struct intr_frame *);
|
||||||
static void page_fault (struct intr_frame *);
|
static void page_fault (struct intr_frame *);
|
||||||
|
bool try_fetch_page (void *upage, bool write);
|
||||||
|
|
||||||
/* Registers handlers for interrupts that can be caused by user
|
/* Registers handlers for interrupts that can be caused by user
|
||||||
programs.
|
programs.
|
||||||
@@ -145,13 +155,48 @@ page_fault (struct intr_frame *f)
|
|||||||
write = (f->error_code & PF_W) != 0;
|
write = (f->error_code & PF_W) != 0;
|
||||||
user = (f->error_code & PF_U) != 0;
|
user = (f->error_code & PF_U) != 0;
|
||||||
|
|
||||||
/* Kernel page fault is further handled by the kernel itself. */
|
#ifdef VM
|
||||||
|
void *upage = pg_round_down (fault_addr);
|
||||||
|
if (not_present && is_user_vaddr(upage))
|
||||||
|
{
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
void *esp = user ? f->esp : t->curr_esp;
|
||||||
|
|
||||||
|
/* Check if the non-present user page is in the swap partition.
|
||||||
|
If so, swap it back into main memory, updating the PTE for
|
||||||
|
the faulted virtual address to point to the newly allocated
|
||||||
|
frame. */
|
||||||
|
if (page_in_swap (t, fault_addr))
|
||||||
|
{
|
||||||
|
size_t swap_slot = page_get_swap (t, fault_addr);
|
||||||
|
void *kpage = frame_alloc (0, upage, t);
|
||||||
|
swap_in (kpage, swap_slot);
|
||||||
|
|
||||||
|
bool writeable = pagedir_is_writable (t->pagedir, upage);
|
||||||
|
if (pagedir_set_page (t->pagedir, upage, kpage, writeable)) return;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Handle user page faults that need to be resolved by dynamic
|
||||||
|
stack growth by checking if this is such a fault and responding
|
||||||
|
accordingly. */
|
||||||
|
if (handle_stack_fault (fault_addr, esp)) return;
|
||||||
|
|
||||||
|
/* Handle user page faults that need to be resolved by lazy loading
|
||||||
|
of executable files by checking if they contain entries in the
|
||||||
|
SPT hash map and responding accordingly. */
|
||||||
|
if (try_fetch_page (upage, write))
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Allows for page faults within a kernel context to communicate with
|
||||||
|
user pages for sending error codes. */
|
||||||
if (!user)
|
if (!user)
|
||||||
{
|
{
|
||||||
f->eip = (void *)f->eax;
|
f->eip = (void *)f->eax;
|
||||||
f->eax = 0xffffffff;
|
f->eax = 0xffffffff;
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
/* To implement virtual memory, delete the rest of the function
|
/* To implement virtual memory, delete the rest of the function
|
||||||
body, and replace it with code that brings in the page to
|
body, and replace it with code that brings in the page to
|
||||||
@@ -164,3 +209,35 @@ page_fault (struct intr_frame *f)
|
|||||||
kill (f);
|
kill (f);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifdef VM
|
||||||
|
bool
|
||||||
|
try_fetch_page (void *upage, bool write)
|
||||||
|
{
|
||||||
|
/* Check if the page is in the supplemental page table. That is, it is a page
|
||||||
|
that is expected to be in memory. */
|
||||||
|
struct page_entry *page = page_get (upage);
|
||||||
|
if (page == NULL)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
/* An attempt to write to a non-writeable should fail. */
|
||||||
|
if (write && !page->writable)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
/* Load the page into memory based on the type of data it is expecting. */
|
||||||
|
bool success = false;
|
||||||
|
switch (page->type) {
|
||||||
|
case PAGE_EXECUTABLE:
|
||||||
|
success = page_load (page, page->writable);
|
||||||
|
break;
|
||||||
|
default:
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (success && page->writable &&
|
||||||
|
!pagedir_is_writable(thread_current()->pagedir, upage))
|
||||||
|
pagedir_set_writable(thread_current()->pagedir, upage, true);
|
||||||
|
|
||||||
|
return success;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|||||||
@@ -1,6 +1,8 @@
|
|||||||
#ifndef USERPROG_EXCEPTION_H
|
#ifndef USERPROG_EXCEPTION_H
|
||||||
#define USERPROG_EXCEPTION_H
|
#define USERPROG_EXCEPTION_H
|
||||||
|
|
||||||
|
#include <stdbool.h>
|
||||||
|
|
||||||
/* Page fault error code bits that describe the cause of the exception. */
|
/* Page fault error code bits that describe the cause of the exception. */
|
||||||
#define PF_P 0x1 /* 0: not-present page. 1: access rights violation. */
|
#define PF_P 0x1 /* 0: not-present page. 1: access rights violation. */
|
||||||
#define PF_W 0x2 /* 0: read, 1: write. */
|
#define PF_W 0x2 /* 0: read, 1: write. */
|
||||||
@@ -8,5 +10,7 @@
|
|||||||
|
|
||||||
void exception_init (void);
|
void exception_init (void);
|
||||||
void exception_print_stats (void);
|
void exception_print_stats (void);
|
||||||
|
bool
|
||||||
|
try_fetch_page (void *upage, bool write);
|
||||||
|
|
||||||
#endif /* userprog/exception.h */
|
#endif /* userprog/exception.h */
|
||||||
|
|||||||
@@ -7,7 +7,6 @@
|
|||||||
#include "threads/palloc.h"
|
#include "threads/palloc.h"
|
||||||
|
|
||||||
static uint32_t *active_pd (void);
|
static uint32_t *active_pd (void);
|
||||||
static void invalidate_pagedir (uint32_t *);
|
|
||||||
|
|
||||||
/* Creates a new page directory that has mappings for kernel
|
/* Creates a new page directory that has mappings for kernel
|
||||||
virtual addresses, but none for user virtual addresses.
|
virtual addresses, but none for user virtual addresses.
|
||||||
@@ -53,7 +52,7 @@ pagedir_destroy (uint32_t *pd)
|
|||||||
on CREATE. If CREATE is true, then a new page table is
|
on CREATE. If CREATE is true, then a new page table is
|
||||||
created and a pointer into it is returned. Otherwise, a null
|
created and a pointer into it is returned. Otherwise, a null
|
||||||
pointer is returned. */
|
pointer is returned. */
|
||||||
static uint32_t *
|
uint32_t *
|
||||||
lookup_page (uint32_t *pd, const void *vaddr, bool create)
|
lookup_page (uint32_t *pd, const void *vaddr, bool create)
|
||||||
{
|
{
|
||||||
uint32_t *pt, *pde;
|
uint32_t *pt, *pde;
|
||||||
@@ -278,7 +277,7 @@ active_pd (void)
|
|||||||
This function invalidates the TLB if PD is the active page
|
This function invalidates the TLB if PD is the active page
|
||||||
directory. (If PD is not active then its entries are not in
|
directory. (If PD is not active then its entries are not in
|
||||||
the TLB, so there is no need to invalidate anything.) */
|
the TLB, so there is no need to invalidate anything.) */
|
||||||
static void
|
void
|
||||||
invalidate_pagedir (uint32_t *pd)
|
invalidate_pagedir (uint32_t *pd)
|
||||||
{
|
{
|
||||||
if (active_pd () == pd)
|
if (active_pd () == pd)
|
||||||
|
|||||||
@@ -6,6 +6,7 @@
|
|||||||
|
|
||||||
uint32_t *pagedir_create (void);
|
uint32_t *pagedir_create (void);
|
||||||
void pagedir_destroy (uint32_t *pd);
|
void pagedir_destroy (uint32_t *pd);
|
||||||
|
uint32_t *lookup_page (uint32_t *pd, const void *vaddr, bool create);
|
||||||
bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
|
bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
|
||||||
void *pagedir_get_page (uint32_t *pd, const void *upage);
|
void *pagedir_get_page (uint32_t *pd, const void *upage);
|
||||||
void pagedir_clear_page (uint32_t *pd, void *upage);
|
void pagedir_clear_page (uint32_t *pd, void *upage);
|
||||||
@@ -16,5 +17,6 @@ void pagedir_set_accessed (uint32_t *pd, const void *upage, bool accessed);
|
|||||||
bool pagedir_is_writable (uint32_t *pd, const void *upage);
|
bool pagedir_is_writable (uint32_t *pd, const void *upage);
|
||||||
void pagedir_set_writable (uint32_t *pd, const void *upage, bool writable);
|
void pagedir_set_writable (uint32_t *pd, const void *upage, bool writable);
|
||||||
void pagedir_activate (uint32_t *pd);
|
void pagedir_activate (uint32_t *pd);
|
||||||
|
void invalidate_pagedir (uint32_t *pd);
|
||||||
|
|
||||||
#endif /* userprog/pagedir.h */
|
#endif /* userprog/pagedir.h */
|
||||||
|
|||||||
@@ -1,5 +1,6 @@
|
|||||||
#include "userprog/process.h"
|
#include "userprog/process.h"
|
||||||
#include <debug.h>
|
#include <debug.h>
|
||||||
|
#include <hash.h>
|
||||||
#include <inttypes.h>
|
#include <inttypes.h>
|
||||||
#include <list.h>
|
#include <list.h>
|
||||||
#include <round.h>
|
#include <round.h>
|
||||||
@@ -8,6 +9,7 @@
|
|||||||
#include <string.h>
|
#include <string.h>
|
||||||
#include "userprog/gdt.h"
|
#include "userprog/gdt.h"
|
||||||
#include "userprog/pagedir.h"
|
#include "userprog/pagedir.h"
|
||||||
|
#include "userprog/syscall.h"
|
||||||
#include "userprog/tss.h"
|
#include "userprog/tss.h"
|
||||||
#include "filesys/directory.h"
|
#include "filesys/directory.h"
|
||||||
#include "filesys/file.h"
|
#include "filesys/file.h"
|
||||||
@@ -22,11 +24,19 @@
|
|||||||
#include "threads/vaddr.h"
|
#include "threads/vaddr.h"
|
||||||
#include "threads/synch.h"
|
#include "threads/synch.h"
|
||||||
#include "devices/timer.h"
|
#include "devices/timer.h"
|
||||||
|
#include "vm/page.h"
|
||||||
|
#ifdef VM
|
||||||
|
#include "vm/frame.h"
|
||||||
|
#endif
|
||||||
|
|
||||||
/* Defines the native number of bytes processed by the processor
|
/* Defines the native number of bytes processed by the processor
|
||||||
(for the purposes of alignment). */
|
(for the purposes of alignment). */
|
||||||
#define WORD_SIZE 4
|
#define WORD_SIZE 4
|
||||||
|
|
||||||
|
/* Defines non-negative integer division wherein the result is always rounded
|
||||||
|
up. */
|
||||||
|
#define DIV_CEIL(x, y) ((x + (y - 1)) / y)
|
||||||
|
|
||||||
/* Keeps track of the position of pointers to user program arguments
|
/* Keeps track of the position of pointers to user program arguments
|
||||||
within a linked list. */
|
within a linked list. */
|
||||||
struct arg_elem
|
struct arg_elem
|
||||||
@@ -39,16 +49,18 @@ struct arg_elem
|
|||||||
that executes process_start for the purpose of starting a user process. */
|
that executes process_start for the purpose of starting a user process. */
|
||||||
struct process_start_data
|
struct process_start_data
|
||||||
{
|
{
|
||||||
char *cmd; /* Pointer to a copy of the command used to execute the process.
|
|
||||||
Allocated a page that must be freed by process_start. */
|
|
||||||
char *cmd_saveptr; /* Value pointed to by 'saveptr' argument used by
|
char *cmd_saveptr; /* Value pointed to by 'saveptr' argument used by
|
||||||
successive calls to strtok_r to split 'cmd' into
|
successive calls to strtok_r to split 'cmd' into
|
||||||
tokens while maintaining state. */
|
tokens while maintaining state. */
|
||||||
char file_name[FNAME_MAX_LEN + 1]; /* Name of the file of the process to
|
char file_name[FNAME_MAX_LEN + 1]; /* Name of the file of the process to
|
||||||
be started. */
|
be started. */
|
||||||
|
bool success; /* Indicates whether the process was successfully loaded. */
|
||||||
|
struct semaphore loaded; /* Semaphore used to signal that the process has
|
||||||
|
finished attempting to load. */
|
||||||
};
|
};
|
||||||
|
|
||||||
static thread_func start_process NO_RETURN;
|
static thread_func start_process NO_RETURN;
|
||||||
|
static void destruct_process_result (struct hash_elem *e, void *aux UNUSED);
|
||||||
static bool load (const char *cmdline, void (**eip) (void), void **esp);
|
static bool load (const char *cmdline, void (**eip) (void), void **esp);
|
||||||
|
|
||||||
/* Starts a new thread running a user program executed via
|
/* Starts a new thread running a user program executed via
|
||||||
@@ -60,12 +72,7 @@ process_execute (const char *cmd)
|
|||||||
{
|
{
|
||||||
char *cmd_copy;
|
char *cmd_copy;
|
||||||
tid_t tid;
|
tid_t tid;
|
||||||
|
struct process_start_data data;
|
||||||
struct process_start_data *data = malloc (sizeof (struct process_start_data));
|
|
||||||
if (data == NULL)
|
|
||||||
{
|
|
||||||
return TID_ERROR;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Make a copy of command.
|
/* Make a copy of command.
|
||||||
Otherwise there's a race between the caller and load(). */
|
Otherwise there's a race between the caller and load(). */
|
||||||
@@ -79,25 +86,41 @@ process_execute (const char *cmd)
|
|||||||
|
|
||||||
/* Retrieve first argument of command, which is the file name
|
/* Retrieve first argument of command, which is the file name
|
||||||
of the process. */
|
of the process. */
|
||||||
char *file_name = strtok_r (cmd_copy, " ", &data->cmd_saveptr);
|
char *file_name = strtok_r (cmd_copy, " ", &data.cmd_saveptr);
|
||||||
|
|
||||||
/* Validates that the current file to be executed is a valid file */
|
/* Validates that the current file to be executed can be opened/exists. */
|
||||||
if (filesys_open (file_name) == NULL)
|
lock_acquire (&filesys_lock);
|
||||||
|
struct file *file = filesys_open (file_name);
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
if (file == NULL)
|
||||||
return TID_ERROR;
|
return TID_ERROR;
|
||||||
|
|
||||||
/* Create a new thread to execute the command, by initializing
|
/* Create a new thread to execute the command, by initializing
|
||||||
it running the function 'start_process' with the appropriate
|
it running the function 'start_process' with the appropriate
|
||||||
arguments. For details of arguments, see 'start_process'. */
|
arguments. For details of arguments, see 'start_process'. */
|
||||||
data->cmd = cmd_copy;
|
strlcpy (data.file_name, file_name, FNAME_MAX_LEN + 1);
|
||||||
strlcpy (data->file_name, file_name, FNAME_MAX_LEN + 1);
|
sema_init (&data.loaded, 0);
|
||||||
|
data.success = false;
|
||||||
|
|
||||||
tid = thread_create (file_name, PRI_DEFAULT, start_process, data);
|
tid = thread_create (file_name, PRI_DEFAULT, start_process, &data);
|
||||||
if (tid == TID_ERROR)
|
|
||||||
palloc_free_page (cmd_copy);
|
/* Wait until process file has finished attempting to load via the child
|
||||||
|
thread before reporting success of starting execution. */
|
||||||
|
if (tid != TID_ERROR)
|
||||||
|
{
|
||||||
|
sema_down (&data.loaded);
|
||||||
|
if (!data.success)
|
||||||
|
tid = TID_ERROR;
|
||||||
|
}
|
||||||
|
|
||||||
|
palloc_free_page (cmd_copy);
|
||||||
return tid;
|
return tid;
|
||||||
}
|
}
|
||||||
|
|
||||||
static bool install_page (void *upage, void *kpage, bool writable);
|
static void *get_usr_kpage (enum palloc_flags flags, void *upage);
|
||||||
|
static void free_usr_kpage (void *kpage);
|
||||||
|
bool install_page (void *upage, void *kpage, bool writable);
|
||||||
|
|
||||||
static bool process_init_stack (char *cmd_saveptr, void **esp, char *file_name);
|
static bool process_init_stack (char *cmd_saveptr, void **esp, char *file_name);
|
||||||
static void *push_to_stack (void **esp, void *data, size_t data_size);
|
static void *push_to_stack (void **esp, void *data, size_t data_size);
|
||||||
#define push_var_to_stack(esp, var) (push_to_stack (esp, &var, sizeof (var)))
|
#define push_var_to_stack(esp, var) (push_to_stack (esp, &var, sizeof (var)))
|
||||||
@@ -105,14 +128,15 @@ static void *push_to_stack (void **esp, void *data, size_t data_size);
|
|||||||
/* Make the current thread execute 'cmd', passing in a copy of the
|
/* Make the current thread execute 'cmd', passing in a copy of the
|
||||||
command string used for processing, the saveptr used by strtok_r
|
command string used for processing, the saveptr used by strtok_r
|
||||||
(in order to further tokenize the same command and retrieve its
|
(in order to further tokenize the same command and retrieve its
|
||||||
arguments), as well as the name of the file being executed. This
|
arguments), the name of the file being executed, and a semaphore that
|
||||||
involves loading the specified file and starting it running. */
|
calls sema_up to indicate that the 'success' variable passed to it
|
||||||
|
has been updated to indicate whether the process file loading succeeded.
|
||||||
|
This involves loading the specified file and calling its main () function
|
||||||
|
with the specified command arguments. */
|
||||||
static void
|
static void
|
||||||
start_process (void *proc_start_data)
|
start_process (void *proc_start_data)
|
||||||
{
|
{
|
||||||
struct intr_frame if_;
|
struct intr_frame if_;
|
||||||
bool success;
|
|
||||||
|
|
||||||
struct process_start_data *data = proc_start_data;
|
struct process_start_data *data = proc_start_data;
|
||||||
|
|
||||||
/* Initialize interrupt frame and load executable. */
|
/* Initialize interrupt frame and load executable. */
|
||||||
@@ -120,33 +144,46 @@ start_process (void *proc_start_data)
|
|||||||
if_.gs = if_.fs = if_.es = if_.ds = if_.ss = SEL_UDSEG;
|
if_.gs = if_.fs = if_.es = if_.ds = if_.ss = SEL_UDSEG;
|
||||||
if_.cs = SEL_UCSEG;
|
if_.cs = SEL_UCSEG;
|
||||||
if_.eflags = FLAG_IF | FLAG_MBS;
|
if_.eflags = FLAG_IF | FLAG_MBS;
|
||||||
success = load (data->file_name, &if_.eip, &if_.esp);
|
|
||||||
|
|
||||||
/* If load failed, quit. */
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
if (!success)
|
lock_acquire (&filesys_lock);
|
||||||
{
|
|
||||||
palloc_free_page (data->cmd);
|
|
||||||
goto fail;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Initialize user process stack and free page used to store the
|
|
||||||
command that executed the process. */
|
|
||||||
success = process_init_stack (data->cmd_saveptr, &if_.esp, data->file_name);
|
|
||||||
palloc_free_page (data->cmd);
|
|
||||||
|
|
||||||
/* If stack initialization failed, free resources and quit. */
|
|
||||||
if (!success)
|
|
||||||
{
|
|
||||||
process_exit ();
|
|
||||||
goto fail;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* NOTE: Currently, the file being executed is closed in load () and then
|
|
||||||
reopened here. Because load is an exported public function, this
|
|
||||||
might be necessary. */
|
|
||||||
struct file *exec_file = filesys_open (data->file_name);
|
struct file *exec_file = filesys_open (data->file_name);
|
||||||
thread_current ()->exec_file = exec_file;
|
if (exec_file == NULL)
|
||||||
|
{
|
||||||
|
/* If the executable file cannot be opened, free resources and quit. */
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
sema_up (&data->loaded);
|
||||||
|
thread_exit ();
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Deny write to the executable file to prevent writing to it and release the
|
||||||
|
file system lock. */
|
||||||
file_deny_write (exec_file);
|
file_deny_write (exec_file);
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
thread_current ()->exec_file = exec_file;
|
||||||
|
|
||||||
|
/* Load the ELF executable file, and store the success of the operation in
|
||||||
|
the 'success' variable in data. */
|
||||||
|
data->success = load (data->file_name, &if_.eip, &if_.esp);
|
||||||
|
|
||||||
|
/* If load was sucessful, initialize user process stack and free page used
|
||||||
|
to store the command that executed the process. */
|
||||||
|
if (data->success)
|
||||||
|
{
|
||||||
|
data->success =
|
||||||
|
process_init_stack (data->cmd_saveptr, &if_.esp, data->file_name);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Signal that the process has finished attempting to load. */
|
||||||
|
bool success = data->success;
|
||||||
|
sema_up (&data->loaded);
|
||||||
|
|
||||||
|
/* If the load was unsuccessful or if it was but the stack initialization
|
||||||
|
failed, exit the thread. */
|
||||||
|
if (!success)
|
||||||
|
thread_exit ();
|
||||||
|
|
||||||
/* Start the user process by simulating a return from an
|
/* Start the user process by simulating a return from an
|
||||||
interrupt, implemented by intr_exit (in
|
interrupt, implemented by intr_exit (in
|
||||||
@@ -156,11 +193,6 @@ start_process (void *proc_start_data)
|
|||||||
and jump to it. */
|
and jump to it. */
|
||||||
asm volatile ("movl %0, %%esp; jmp intr_exit" : : "g" (&if_) : "memory");
|
asm volatile ("movl %0, %%esp; jmp intr_exit" : : "g" (&if_) : "memory");
|
||||||
NOT_REACHED ();
|
NOT_REACHED ();
|
||||||
|
|
||||||
/* If starting the process failed, free its common resources and exit. */
|
|
||||||
fail:
|
|
||||||
free (data);
|
|
||||||
thread_exit ();
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Helper function that initializes the stack of a newly created
|
/* Helper function that initializes the stack of a newly created
|
||||||
@@ -168,6 +200,10 @@ start_process (void *proc_start_data)
|
|||||||
static bool
|
static bool
|
||||||
process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
||||||
{
|
{
|
||||||
|
ASSERT (cmd_saveptr != NULL);
|
||||||
|
ASSERT (esp != NULL);
|
||||||
|
ASSERT (file_name != NULL);
|
||||||
|
|
||||||
/* Load command line argument *data* to user process stack.
|
/* Load command line argument *data* to user process stack.
|
||||||
This can't cause overflow due to enforcing that the size of
|
This can't cause overflow due to enforcing that the size of
|
||||||
command line input must fit in a page. Also keep track
|
command line input must fit in a page. Also keep track
|
||||||
@@ -179,8 +215,12 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
int arg_count = 0;
|
int arg_count = 0;
|
||||||
while (arg != NULL)
|
while (arg != NULL)
|
||||||
{
|
{
|
||||||
|
/* filename has already been validated to be a safe-to-access string,
|
||||||
|
so we can safely use strlen here. Filename has already been
|
||||||
|
split from the command line arguments. */
|
||||||
push_to_stack (esp, arg, (strlen (arg) + 1) * sizeof (char));
|
push_to_stack (esp, arg, (strlen (arg) + 1) * sizeof (char));
|
||||||
|
|
||||||
|
/* Try to allocate memory for the argument pointer. */
|
||||||
struct arg_elem *arg_elem = malloc (sizeof (struct arg_elem));
|
struct arg_elem *arg_elem = malloc (sizeof (struct arg_elem));
|
||||||
if (arg_elem == NULL)
|
if (arg_elem == NULL)
|
||||||
{
|
{
|
||||||
@@ -189,9 +229,11 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Store the argument pointer in the linked list. */
|
||||||
arg_elem->arg = *esp;
|
arg_elem->arg = *esp;
|
||||||
list_push_front (&arg_list, &arg_elem->elem);
|
list_push_front (&arg_list, &arg_elem->elem);
|
||||||
|
|
||||||
|
/* Increment the argument count and get the next argument. */
|
||||||
arg_count++;
|
arg_count++;
|
||||||
arg = strtok_r (NULL, " ", &cmd_saveptr);
|
arg = strtok_r (NULL, " ", &cmd_saveptr);
|
||||||
}
|
}
|
||||||
@@ -207,13 +249,23 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
+ return_addr_size;
|
+ return_addr_size;
|
||||||
|
|
||||||
/* If pushing the rest of the data required for the stack would cause
|
/* If pushing the rest of the data required for the stack would cause
|
||||||
overflow, allocate an extra page that is contiguous within the
|
overflow, allocate as many extra pages as needed to the user process
|
||||||
virtual address space (below the current address range). */
|
contiguously in the virtual address space below the initial page. */
|
||||||
if (PHYS_BASE - *esp + remaining_size > PGSIZE)
|
int overflow_bytes = (PHYS_BASE - *esp) + remaining_size - PGSIZE;
|
||||||
|
if (overflow_bytes > 0)
|
||||||
{
|
{
|
||||||
uint8_t *kpage = palloc_get_page (PAL_USER | PAL_ZERO);
|
/* Calculate the number of pages needed to allocate. */
|
||||||
if (!install_page (((uint8_t *) PHYS_BASE) - PGSIZE * 2, kpage, true))
|
int pages_needed = DIV_CEIL (overflow_bytes, PGSIZE);
|
||||||
return false;
|
|
||||||
|
/* Allocate the pages and map them to the user process. */
|
||||||
|
void *upage;
|
||||||
|
uint8_t *kpage;
|
||||||
|
for (int i = 1; i < pages_needed + 1; i++)
|
||||||
|
{
|
||||||
|
upage = ((uint8_t *) PHYS_BASE) - PGSIZE * (i + 1);
|
||||||
|
kpage = get_usr_kpage (PAL_ZERO, upage);
|
||||||
|
if (!install_page (upage, kpage, true)) return false;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Align stack pointer to word size before pushing argv elements for
|
/* Align stack pointer to word size before pushing argv elements for
|
||||||
@@ -271,39 +323,35 @@ push_to_stack (void **esp, void *data, size_t data_size)
|
|||||||
* This function will be implemented in task 2.
|
* This function will be implemented in task 2.
|
||||||
* For now, it does nothing. */
|
* For now, it does nothing. */
|
||||||
int
|
int
|
||||||
process_wait (tid_t child_tid UNUSED)
|
process_wait (tid_t child_tid)
|
||||||
{
|
{
|
||||||
struct process_result *child_result = NULL;
|
struct thread *t = thread_current ();
|
||||||
struct list_elem *e;
|
struct process_result fake_result;
|
||||||
struct thread *cur = thread_current ();
|
fake_result.tid = child_tid;
|
||||||
for (e = list_begin (&cur->child_results);
|
struct hash_elem *e = hash_find (&t->child_results, &fake_result.elem);
|
||||||
e != list_end (&cur->child_results); e = list_next (e))
|
if (e == NULL)
|
||||||
{
|
|
||||||
struct process_result *result
|
|
||||||
= list_entry (e, struct process_result, elem);
|
|
||||||
if (result->tid == child_tid)
|
|
||||||
{
|
|
||||||
child_result = result;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
/* List is ordered, allowing us to break early. */
|
|
||||||
else if (result->tid > child_tid)
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
if (child_result == NULL)
|
|
||||||
return -1;
|
return -1;
|
||||||
|
|
||||||
|
struct process_result *child_result
|
||||||
|
= hash_entry (e, struct process_result, elem);
|
||||||
/* Wait for child to die. */
|
/* Wait for child to die. */
|
||||||
sema_down (&child_result->sema);
|
sema_down (&child_result->sema);
|
||||||
|
|
||||||
/* We need lock release in process_exit, so we need to acquire (and possibly
|
/* We need lock release in process_exit, so we need to acquire (and possibly
|
||||||
wait) for it here to ensure we don't free the lock memory before it is
|
wait) for it here to ensure we don't free the lock memory before it is
|
||||||
released in process_exit. */
|
released in process_exit. */
|
||||||
lock_acquire (&child_result->lock);
|
lock_acquire (&child_result->lock);
|
||||||
/* To prevent waiting for child twice, remove it from the list.
|
/* To prevent waiting for child twice, remove it from the table.
|
||||||
No need to use lock since this is the only thread with access to
|
No need to use lock since this is the only thread with access to
|
||||||
the struct process_result now. */
|
the struct process_result now. */
|
||||||
list_remove (&child_result->elem);
|
hash_delete (&t->child_results, &child_result->elem);
|
||||||
|
|
||||||
|
/* Get the exit status of the child */
|
||||||
int exit_status = child_result->exit_status;
|
int exit_status = child_result->exit_status;
|
||||||
|
|
||||||
|
/* Release the lock */
|
||||||
lock_release (&child_result->lock);
|
lock_release (&child_result->lock);
|
||||||
|
/* Result no-longer used by parent, nor child. Deallocate it. */
|
||||||
free (child_result);
|
free (child_result);
|
||||||
return exit_status;
|
return exit_status;
|
||||||
}
|
}
|
||||||
@@ -315,50 +363,30 @@ process_exit (void)
|
|||||||
struct thread *cur = thread_current ();
|
struct thread *cur = thread_current ();
|
||||||
uint32_t *pd;
|
uint32_t *pd;
|
||||||
|
|
||||||
printf ("%s: exit(%d)\n", cur->name, cur->exit_status);
|
/* Clean up all open files */
|
||||||
file_close (cur->exec_file);
|
hash_destroy (&cur->open_files, fd_cleanup);
|
||||||
|
#ifdef VM
|
||||||
|
hash_destroy (&cur->pages, page_cleanup);
|
||||||
|
#endif
|
||||||
|
|
||||||
|
/* Close the executable file, implicitly allowing it to be written to. */
|
||||||
|
if (cur->exec_file != NULL)
|
||||||
|
{
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
|
lock_acquire (&filesys_lock);
|
||||||
|
file_close (cur->exec_file);
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
}
|
||||||
|
|
||||||
/* Update process result. */
|
|
||||||
if (cur->result != NULL)
|
if (cur->result != NULL)
|
||||||
{
|
{
|
||||||
lock_acquire (&cur->result->lock);
|
printf ("%s: exit(%d)\n", cur->name, cur->result->exit_status);
|
||||||
cur->result->exit_status = cur->exit_status;
|
/* Update own process result. */
|
||||||
/* Parent has died, child has to free the struct process_result * */
|
destruct_process_result (&cur->result->elem, cur);
|
||||||
if (sema_try_down (&cur->result->sema))
|
|
||||||
{
|
|
||||||
lock_release (&cur->result->lock);
|
|
||||||
free (cur->result);
|
|
||||||
}
|
|
||||||
/* Parent is still alive and will be the one to free the
|
|
||||||
struct process_result *, and may be waiting so call sema_up */
|
|
||||||
else
|
|
||||||
{
|
|
||||||
sema_up (&cur->result->sema);
|
|
||||||
lock_release (&cur->result->lock);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Free child process results or signal parent's death. */
|
/* Free child process results or signal parent's death. */
|
||||||
struct list_elem *e;
|
hash_destroy (&cur->child_results, destruct_process_result);
|
||||||
for (e = list_begin (&cur->child_results);
|
|
||||||
e != list_end (&cur->child_results); e = list_next (e))
|
|
||||||
{
|
|
||||||
struct process_result *result
|
|
||||||
= list_entry (e, struct process_result, elem);
|
|
||||||
lock_acquire (&result->lock);
|
|
||||||
/* Child has died (and was not waited for). Free the result. */
|
|
||||||
if (sema_try_down (&result->sema))
|
|
||||||
{
|
|
||||||
lock_release (&result->lock);
|
|
||||||
free (result);
|
|
||||||
}
|
|
||||||
/* Child is still alive, signal via sema that parent has died. */
|
|
||||||
else
|
|
||||||
{
|
|
||||||
sema_up (&result->sema);
|
|
||||||
lock_release (&result->lock);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Destroy the current process's page directory and switch back
|
/* Destroy the current process's page directory and switch back
|
||||||
to the kernel-only page directory. */
|
to the kernel-only page directory. */
|
||||||
@@ -378,6 +406,28 @@ process_exit (void)
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Destruct a process_result, with multi-thread awareness.
|
||||||
|
If the other thread is running, simply signals death. Otherwise
|
||||||
|
frees the result. */
|
||||||
|
static void
|
||||||
|
destruct_process_result (struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
struct process_result *result = hash_entry (e, struct process_result, elem);
|
||||||
|
lock_acquire (&result->lock);
|
||||||
|
/* Other thread has died (and was not waited for). Free the result. */
|
||||||
|
if (sema_try_down (&result->sema))
|
||||||
|
{
|
||||||
|
lock_release (&result->lock);
|
||||||
|
free (result);
|
||||||
|
}
|
||||||
|
/* Other thread is still alive, signal via sema that parent has died. */
|
||||||
|
else
|
||||||
|
{
|
||||||
|
sema_up (&result->sema);
|
||||||
|
lock_release (&result->lock);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/* Sets up the CPU for running user code in the current
|
/* Sets up the CPU for running user code in the current
|
||||||
thread.
|
thread.
|
||||||
This function is called on every context switch. */
|
This function is called on every context switch. */
|
||||||
@@ -476,6 +526,7 @@ load (const char *file_name, void (**eip) (void), void **esp)
|
|||||||
off_t file_ofs;
|
off_t file_ofs;
|
||||||
bool success = false;
|
bool success = false;
|
||||||
int i;
|
int i;
|
||||||
|
lock_acquire (&filesys_lock);
|
||||||
|
|
||||||
/* Allocate and activate page directory. */
|
/* Allocate and activate page directory. */
|
||||||
t->pagedir = pagedir_create ();
|
t->pagedir = pagedir_create ();
|
||||||
@@ -574,7 +625,10 @@ load (const char *file_name, void (**eip) (void), void **esp)
|
|||||||
|
|
||||||
done:
|
done:
|
||||||
/* We arrive here whether the load is successful or not. */
|
/* We arrive here whether the load is successful or not. */
|
||||||
|
#ifndef VM
|
||||||
file_close (file);
|
file_close (file);
|
||||||
|
#endif
|
||||||
|
lock_release (&filesys_lock);
|
||||||
return success;
|
return success;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -641,12 +695,34 @@ validate_segment (const struct Elf32_Phdr *phdr, struct file *file)
|
|||||||
or disk read error occurs. */
|
or disk read error occurs. */
|
||||||
static bool
|
static bool
|
||||||
load_segment (struct file *file, off_t ofs, uint8_t *upage,
|
load_segment (struct file *file, off_t ofs, uint8_t *upage,
|
||||||
uint32_t read_bytes, uint32_t zero_bytes, bool writable)
|
uint32_t read_bytes, uint32_t zero_bytes, bool writable)
|
||||||
{
|
{
|
||||||
ASSERT ((read_bytes + zero_bytes) % PGSIZE == 0);
|
ASSERT ((read_bytes + zero_bytes) % PGSIZE == 0);
|
||||||
ASSERT (pg_ofs (upage) == 0);
|
ASSERT (pg_ofs (upage) == 0);
|
||||||
ASSERT (ofs % PGSIZE == 0);
|
ASSERT (ofs % PGSIZE == 0);
|
||||||
|
|
||||||
|
#ifdef VM
|
||||||
|
while (read_bytes > 0 || zero_bytes > 0)
|
||||||
|
{
|
||||||
|
/* Calculate how to fill this page.
|
||||||
|
We will read PAGE_READ_BYTES bytes from FILE
|
||||||
|
and zero the final PAGE_ZERO_BYTES bytes. */
|
||||||
|
size_t page_read_bytes = read_bytes < PGSIZE ? read_bytes : PGSIZE;
|
||||||
|
size_t page_zero_bytes = PGSIZE - page_read_bytes;
|
||||||
|
|
||||||
|
/* Add the page metadata to the SPT to be lazy loaded later on */
|
||||||
|
if (page_insert (file, ofs, upage, page_read_bytes, page_zero_bytes,
|
||||||
|
writable, PAGE_EXECUTABLE) == NULL)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
/* Advance. */
|
||||||
|
read_bytes -= page_read_bytes;
|
||||||
|
zero_bytes -= page_zero_bytes;
|
||||||
|
ofs += PGSIZE;
|
||||||
|
upage += PGSIZE;
|
||||||
|
}
|
||||||
|
return true;
|
||||||
|
#else
|
||||||
file_seek (file, ofs);
|
file_seek (file, ofs);
|
||||||
while (read_bytes > 0 || zero_bytes > 0)
|
while (read_bytes > 0 || zero_bytes > 0)
|
||||||
{
|
{
|
||||||
@@ -663,7 +739,7 @@ load_segment (struct file *file, off_t ofs, uint8_t *upage,
|
|||||||
if (kpage == NULL){
|
if (kpage == NULL){
|
||||||
|
|
||||||
/* Get a new page of memory. */
|
/* Get a new page of memory. */
|
||||||
kpage = palloc_get_page (PAL_USER);
|
kpage = get_usr_kpage (0, upage);
|
||||||
if (kpage == NULL){
|
if (kpage == NULL){
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
@@ -671,7 +747,7 @@ load_segment (struct file *file, off_t ofs, uint8_t *upage,
|
|||||||
/* Add the page to the process's address space. */
|
/* Add the page to the process's address space. */
|
||||||
if (!install_page (upage, kpage, writable))
|
if (!install_page (upage, kpage, writable))
|
||||||
{
|
{
|
||||||
palloc_free_page (kpage);
|
free_usr_kpage (kpage);
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -696,6 +772,7 @@ load_segment (struct file *file, off_t ofs, uint8_t *upage,
|
|||||||
upage += PGSIZE;
|
upage += PGSIZE;
|
||||||
}
|
}
|
||||||
return true;
|
return true;
|
||||||
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Create a minimal stack by mapping a zeroed page at the top of
|
/* Create a minimal stack by mapping a zeroed page at the top of
|
||||||
@@ -705,19 +782,54 @@ setup_stack (void **esp)
|
|||||||
{
|
{
|
||||||
uint8_t *kpage;
|
uint8_t *kpage;
|
||||||
bool success = false;
|
bool success = false;
|
||||||
|
|
||||||
kpage = palloc_get_page (PAL_USER | PAL_ZERO);
|
void *upage = ((uint8_t *) PHYS_BASE) - PGSIZE;
|
||||||
|
|
||||||
|
kpage = get_usr_kpage (PAL_ZERO, upage);
|
||||||
if (kpage != NULL)
|
if (kpage != NULL)
|
||||||
{
|
{
|
||||||
success = install_page (((uint8_t *) PHYS_BASE) - PGSIZE, kpage, true);
|
success = install_page (upage, kpage, true);
|
||||||
if (success)
|
if (success)
|
||||||
*esp = PHYS_BASE;
|
*esp = PHYS_BASE;
|
||||||
else
|
else
|
||||||
palloc_free_page (kpage);
|
free_usr_kpage (kpage);
|
||||||
}
|
}
|
||||||
return success;
|
return success;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Claims a page from the user pool for ownership by the current thread
|
||||||
|
and returns its kernel address, updating the frame table if VM
|
||||||
|
is enabled. Requires the intended virtual address for where the page
|
||||||
|
will be installed. */
|
||||||
|
static void *
|
||||||
|
get_usr_kpage (enum palloc_flags flags, void *upage)
|
||||||
|
{
|
||||||
|
void *page;
|
||||||
|
#ifdef VM
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
if (pagedir_get_page (t->pagedir, upage) != NULL)
|
||||||
|
return NULL;
|
||||||
|
else
|
||||||
|
page = frame_alloc (flags, upage, t);
|
||||||
|
pagedir_set_accessed (t->pagedir, upage, true);
|
||||||
|
#else
|
||||||
|
page = palloc_get_page (flags | PAL_USER);
|
||||||
|
#endif
|
||||||
|
return page;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Frees a page belonging to a user process given its kernel address,
|
||||||
|
updating the frame table if VM is enabled. */
|
||||||
|
static void
|
||||||
|
free_usr_kpage (void *kpage)
|
||||||
|
{
|
||||||
|
#ifdef VM
|
||||||
|
frame_free (kpage);
|
||||||
|
#else
|
||||||
|
palloc_free_page (kpage);
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
/* Adds a mapping from user virtual address UPAGE to kernel
|
/* Adds a mapping from user virtual address UPAGE to kernel
|
||||||
virtual address KPAGE to the page table.
|
virtual address KPAGE to the page table.
|
||||||
If WRITABLE is true, the user process may modify the page;
|
If WRITABLE is true, the user process may modify the page;
|
||||||
@@ -727,7 +839,7 @@ setup_stack (void **esp)
|
|||||||
with palloc_get_page().
|
with palloc_get_page().
|
||||||
Returns true on success, false if UPAGE is already mapped or
|
Returns true on success, false if UPAGE is already mapped or
|
||||||
if memory allocation fails. */
|
if memory allocation fails. */
|
||||||
static bool
|
bool
|
||||||
install_page (void *upage, void *kpage, bool writable)
|
install_page (void *upage, void *kpage, bool writable)
|
||||||
{
|
{
|
||||||
struct thread *t = thread_current ();
|
struct thread *t = thread_current ();
|
||||||
|
|||||||
@@ -8,4 +8,6 @@ int process_wait (tid_t);
|
|||||||
void process_exit (void);
|
void process_exit (void);
|
||||||
void process_activate (void);
|
void process_activate (void);
|
||||||
|
|
||||||
|
bool install_page (void *upage, void *kpage, bool writable);
|
||||||
|
|
||||||
#endif /* userprog/process.h */
|
#endif /* userprog/process.h */
|
||||||
|
|||||||
@@ -15,9 +15,7 @@
|
|||||||
#include <syscall-nr.h>
|
#include <syscall-nr.h>
|
||||||
|
|
||||||
#define MAX_SYSCALL_ARGS 3
|
#define MAX_SYSCALL_ARGS 3
|
||||||
|
#define EXIT_FAILURE -1
|
||||||
static struct lock filesys_lock;
|
|
||||||
static unsigned fd_counter = MIN_USER_FD;
|
|
||||||
|
|
||||||
struct open_file
|
struct open_file
|
||||||
{
|
{
|
||||||
@@ -56,15 +54,15 @@ static int get_user (const uint8_t *);
|
|||||||
static bool put_user (uint8_t *, uint8_t);
|
static bool put_user (uint8_t *, uint8_t);
|
||||||
|
|
||||||
/* A struct defining a syscall_function pointer along with its arity. */
|
/* A struct defining a syscall_function pointer along with its arity. */
|
||||||
typedef struct
|
struct syscall_arguments
|
||||||
{
|
{
|
||||||
syscall_function function; /* Function pointer. */
|
syscall_function function; /* Function pointer. */
|
||||||
int arity; /* Number of arguments of the function. */
|
int arity; /* Number of arguments of the function. */
|
||||||
} syscall_arguments;
|
};
|
||||||
|
|
||||||
/* A look-up table mapping numbers to system call functions with their number of
|
/* A look-up table mapping numbers to system call functions with their number of
|
||||||
arguments. */
|
arguments. */
|
||||||
static const syscall_arguments syscall_lookup[] =
|
static const struct syscall_arguments syscall_lookup[] =
|
||||||
{
|
{
|
||||||
[SYS_HALT] = {(syscall_function) syscall_halt, 0},
|
[SYS_HALT] = {(syscall_function) syscall_halt, 0},
|
||||||
[SYS_EXIT] = {(syscall_function) syscall_exit, 1},
|
[SYS_EXIT] = {(syscall_function) syscall_exit, 1},
|
||||||
@@ -84,8 +82,7 @@ static const syscall_arguments syscall_lookup[] =
|
|||||||
/* The number of syscall functions (i.e, number of elements) within the
|
/* The number of syscall functions (i.e, number of elements) within the
|
||||||
syscall_lookup table. */
|
syscall_lookup table. */
|
||||||
static const int LOOKUP_SIZE
|
static const int LOOKUP_SIZE
|
||||||
= sizeof (syscall_lookup) / sizeof (syscall_arguments);
|
= sizeof (syscall_lookup) / sizeof (struct syscall_arguments);
|
||||||
|
|
||||||
|
|
||||||
/* Initialises the syscall handling system, as well as a global lock to
|
/* Initialises the syscall handling system, as well as a global lock to
|
||||||
synchronise all file access between processes. */
|
synchronise all file access between processes. */
|
||||||
@@ -96,7 +93,7 @@ syscall_init (void)
|
|||||||
lock_init (&filesys_lock);
|
lock_init (&filesys_lock);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Function that takes a interrupt frame containing a syscall and its args.
|
/* Function that takes an interrupt frame containing a syscall and its args.
|
||||||
Validates the arguments and pointers before calling the relevant
|
Validates the arguments and pointers before calling the relevant
|
||||||
high-level system call function, storing its output (if any) in f->eax */
|
high-level system call function, storing its output (if any) in f->eax */
|
||||||
static void
|
static void
|
||||||
@@ -105,12 +102,13 @@ syscall_handler (struct intr_frame *f)
|
|||||||
/* First, read the system call number from the stack. */
|
/* First, read the system call number from the stack. */
|
||||||
validate_user_pointer (f->esp, sizeof (uintptr_t), false);
|
validate_user_pointer (f->esp, sizeof (uintptr_t), false);
|
||||||
uintptr_t syscall_number = *(int *)f->esp;
|
uintptr_t syscall_number = *(int *)f->esp;
|
||||||
|
thread_current ()->curr_esp = f->esp;
|
||||||
|
|
||||||
/* Ensures the number corresponds to a system call that can be handled. */
|
/* Ensures the number corresponds to a system call that can be handled. */
|
||||||
if (syscall_number >= LOOKUP_SIZE)
|
if (syscall_number >= LOOKUP_SIZE)
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
|
|
||||||
syscall_arguments syscall = syscall_lookup[syscall_number];
|
struct syscall_arguments syscall = syscall_lookup[syscall_number];
|
||||||
|
|
||||||
/* Next, read and copy the arguments from the stack pointer. */
|
/* Next, read and copy the arguments from the stack pointer. */
|
||||||
validate_user_pointer (f->esp + sizeof (uintptr_t),
|
validate_user_pointer (f->esp + sizeof (uintptr_t),
|
||||||
@@ -137,24 +135,18 @@ syscall_exit (int status)
|
|||||||
{
|
{
|
||||||
/* Sets exit_status of the thread to status. thread_exit () will call
|
/* Sets exit_status of the thread to status. thread_exit () will call
|
||||||
process_exit () if user programs are allowed. */
|
process_exit () if user programs are allowed. */
|
||||||
thread_current ()->exit_status = status;
|
thread_current ()->result->exit_status = status;
|
||||||
thread_exit ();
|
thread_exit ();
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Executes a given command with the relevant args, by calling process_execute.
|
/* Executes a given command with the relevant args, by calling process_execute.
|
||||||
Acquires the filesystem lock as process_execute accesses the file system.
|
Returns PID for the process that is running the CMD_LINE. */
|
||||||
Returns PID for the process that is running the CMD_LINE
|
|
||||||
*/
|
|
||||||
static pid_t
|
static pid_t
|
||||||
syscall_exec (const char *cmd_line)
|
syscall_exec (const char *cmd_line)
|
||||||
{
|
{
|
||||||
validate_user_string (cmd_line, false);
|
validate_user_string (cmd_line, false);
|
||||||
|
|
||||||
lock_acquire (&filesys_lock);
|
return process_execute (cmd_line); /* Returns the PID of the new process */
|
||||||
pid_t pid = process_execute(cmd_line);
|
|
||||||
lock_release (&filesys_lock);
|
|
||||||
|
|
||||||
return pid;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Handles the syscall of wait. Effectively a wrapper for process_wait as the
|
/* Handles the syscall of wait. Effectively a wrapper for process_wait as the
|
||||||
@@ -162,21 +154,23 @@ syscall_exec (const char *cmd_line)
|
|||||||
static int
|
static int
|
||||||
syscall_wait (pid_t pid)
|
syscall_wait (pid_t pid)
|
||||||
{
|
{
|
||||||
return process_wait (pid);
|
return process_wait (pid); /* Returns the exit status of the waited process */
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Handles the syscall for file creation. First validates the user file
|
/* Handles the syscall for file creation. First validates the user file
|
||||||
pointer. Acquires the file system lock to prevent synchronisation issues,
|
pointer. Acquires the file system lock to prevent synchronisation issues,
|
||||||
and then uses FILESYS_CREATE to create the file, returning the same status */
|
and then uses FILESYS_CREATE to create the file, returning the same status */
|
||||||
static bool
|
static bool
|
||||||
syscall_create (const char *file UNUSED, unsigned initial_size UNUSED)
|
syscall_create (const char *file, unsigned initial_size)
|
||||||
{
|
{
|
||||||
validate_user_string (file, false);
|
validate_user_string (file, false);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
bool status = filesys_create (file, initial_size);
|
bool status = filesys_create (file, initial_size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the status of the file creation. */
|
||||||
return status;
|
return status;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -188,10 +182,12 @@ syscall_remove (const char *file)
|
|||||||
{
|
{
|
||||||
validate_user_string (file, false);
|
validate_user_string (file, false);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
bool status = filesys_remove (file);
|
bool status = filesys_remove (file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the status of the file removal. */
|
||||||
return status;
|
return status;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -204,21 +200,29 @@ syscall_open (const char *file)
|
|||||||
{
|
{
|
||||||
validate_user_string (file, false);
|
validate_user_string (file, false);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
struct file *ptr = filesys_open (file);
|
struct file *ptr = filesys_open (file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* If the file could not be opened, return failure. */
|
||||||
if (ptr == NULL)
|
if (ptr == NULL)
|
||||||
return -1;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
/* Allocate space for a struct representing a mapping from an FD to a struct
|
/* Allocate space for a struct representing a mapping from an FD to a struct
|
||||||
file. */
|
file. */
|
||||||
struct open_file *file_info
|
struct open_file *file_info
|
||||||
= (struct open_file*) malloc (sizeof (struct open_file));
|
= (struct open_file*) malloc (sizeof (struct open_file));
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return -1;
|
{
|
||||||
|
/* If we could not allocate memory for the file_info struct, close the
|
||||||
|
file and return failure. */
|
||||||
|
file_close (ptr);
|
||||||
|
return EXIT_FAILURE;
|
||||||
|
}
|
||||||
|
|
||||||
/* Populate the above struct, with a unique FD and the current open file */
|
/* Populate the above struct, with a unique FD and the current open file */
|
||||||
file_info->fd = fd_counter++;
|
file_info->fd = thread_current ()->fd_counter++;
|
||||||
file_info->file = ptr;
|
file_info->file = ptr;
|
||||||
|
|
||||||
/* Add the new FD->file mapping to the hashtable for the current thread */
|
/* Add the new FD->file mapping to the hashtable for the current thread */
|
||||||
@@ -234,14 +238,17 @@ syscall_open (const char *file)
|
|||||||
static int
|
static int
|
||||||
syscall_filesize (int fd)
|
syscall_filesize (int fd)
|
||||||
{
|
{
|
||||||
|
/* Try to get the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return -1;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent any race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes = file_length (file_info->file);
|
int bytes = file_length (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes in the file. */
|
||||||
return bytes;
|
return bytes;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -254,8 +261,8 @@ syscall_read (int fd, void *buffer, unsigned size)
|
|||||||
{
|
{
|
||||||
/* Only console (fd = 0) or other files, not including STDOUT, (fd > 1) are
|
/* Only console (fd = 0) or other files, not including STDOUT, (fd > 1) are
|
||||||
allowed. */
|
allowed. */
|
||||||
if (fd < 0 || fd == STDOUT_FILENO)
|
if (fd < STDIN_FILENO || fd == STDOUT_FILENO)
|
||||||
return -1;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
validate_user_pointer (buffer, size, true);
|
validate_user_pointer (buffer, size, true);
|
||||||
|
|
||||||
@@ -263,21 +270,27 @@ syscall_read (int fd, void *buffer, unsigned size)
|
|||||||
{
|
{
|
||||||
/* Reading from the console. */
|
/* Reading from the console. */
|
||||||
char *write_buffer = buffer;
|
char *write_buffer = buffer;
|
||||||
for (int i = 0; i < size; i++)
|
for (unsigned i = 0; i < size; i++)
|
||||||
write_buffer[i] = input_getc ();
|
write_buffer[i] = input_getc ();
|
||||||
|
|
||||||
|
/* In case of console, read is always (eventually) successful. So return
|
||||||
|
the size for the number of bytes read. */
|
||||||
return size;
|
return size;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
/* Reading from a file. */
|
/* Reading from a file. */
|
||||||
|
/* Find the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return -1;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race-conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes_written = file_read (file_info->file, buffer, size);
|
int bytes_written = file_read (file_info->file, buffer, size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes read. */
|
||||||
return bytes_written;
|
return bytes_written;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -300,19 +313,25 @@ syscall_write (int fd, const void *buffer, unsigned size)
|
|||||||
{
|
{
|
||||||
/* Writing to the console. */
|
/* Writing to the console. */
|
||||||
putbuf (buffer, size);
|
putbuf (buffer, size);
|
||||||
|
|
||||||
|
/* In case of console, write is always successful. So return the size for
|
||||||
|
the number of bytes written. */
|
||||||
return size;
|
return size;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
/* Writing to a file. */
|
/* Writing to a file. */
|
||||||
|
/* Find the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes = file_write (file_info->file, buffer, size);
|
int bytes = file_write (file_info->file, buffer, size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes written. */
|
||||||
return bytes;
|
return bytes;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -324,13 +343,10 @@ syscall_write (int fd, const void *buffer, unsigned size)
|
|||||||
static void
|
static void
|
||||||
syscall_seek (int fd, unsigned position)
|
syscall_seek (int fd, unsigned position)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, do nothing. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info != NULL)
|
if (file_info != NULL)
|
||||||
{
|
|
||||||
lock_acquire (&filesys_lock);
|
|
||||||
file_seek (file_info->file, position);
|
file_seek (file_info->file, position);
|
||||||
lock_release (&filesys_lock);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Handles the syscall for returning the next byte in a file referenced by
|
/* Handles the syscall for returning the next byte in a file referenced by
|
||||||
@@ -339,14 +355,14 @@ syscall_seek (int fd, unsigned position)
|
|||||||
static unsigned
|
static unsigned
|
||||||
syscall_tell (int fd)
|
syscall_tell (int fd)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, return 0. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
lock_acquire (&filesys_lock);
|
|
||||||
unsigned pos = file_tell (file_info->file);
|
unsigned pos = file_tell (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
|
||||||
|
|
||||||
|
/* Return the current position in the file. */
|
||||||
return pos;
|
return pos;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -356,14 +372,21 @@ syscall_tell (int fd)
|
|||||||
static void
|
static void
|
||||||
syscall_close (int fd)
|
syscall_close (int fd)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, do nothing. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info != NULL)
|
if (file_info != NULL)
|
||||||
{
|
{
|
||||||
|
/* File exists */
|
||||||
|
/* First, remove the file from the hash table of open files. */
|
||||||
hash_delete (&thread_current ()->open_files, &file_info->elem);
|
hash_delete (&thread_current ()->open_files, &file_info->elem);
|
||||||
|
|
||||||
|
/* Then, close the file, acquiring the file system lock to prevent race
|
||||||
|
conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
file_close (file_info->file);
|
file_close (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Free the memory allocated for the file_info struct. */
|
||||||
free (file_info);
|
free (file_info);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -373,7 +396,12 @@ syscall_close (int fd)
|
|||||||
unsigned
|
unsigned
|
||||||
fd_hash (const struct hash_elem *element, void *aux UNUSED)
|
fd_hash (const struct hash_elem *element, void *aux UNUSED)
|
||||||
{
|
{
|
||||||
return hash_int (hash_entry (element, struct open_file, elem)->fd);
|
/* We use the FD as the hash value. This is because the FD is incremented
|
||||||
|
sequentially and is therefore unique for each file. It positively affects
|
||||||
|
the performance of the hash table: 1. It is unique so no need to call
|
||||||
|
expensive hash functions. 2. It being sequential means that the hash table
|
||||||
|
is more likely to be weight balanced. */
|
||||||
|
return hash_entry (element, struct open_file, elem)->fd;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Comparator function for the open_file table. Compares two entries based on
|
/* Comparator function for the open_file table. Compares two entries based on
|
||||||
@@ -388,6 +416,20 @@ fd_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
|||||||
return a->fd < b->fd;
|
return a->fd < b->fd;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Function to clean up an open file entry. Closes the file and frees the
|
||||||
|
associated memory. */
|
||||||
|
void
|
||||||
|
fd_cleanup (struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
struct open_file *file_info = hash_entry (e, struct open_file, elem);
|
||||||
|
|
||||||
|
lock_acquire (&filesys_lock);
|
||||||
|
file_close (file_info->file);
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
free (file_info);
|
||||||
|
}
|
||||||
|
|
||||||
/* Gets a file from its descriptor (FD number). If there is no file with the fd
|
/* Gets a file from its descriptor (FD number). If there is no file with the fd
|
||||||
FD it returns NULL. */
|
FD it returns NULL. */
|
||||||
static struct open_file *
|
static struct open_file *
|
||||||
@@ -420,17 +462,17 @@ validate_user_pointer (const void *ptr, size_t size, bool check_write)
|
|||||||
valid user virtual memory address. */
|
valid user virtual memory address. */
|
||||||
void *last = ptr + size - 1;
|
void *last = ptr + size - 1;
|
||||||
if (!is_user_vaddr (last))
|
if (!is_user_vaddr (last))
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
ptr = pg_round_down (ptr);
|
ptr = pg_round_down (ptr);
|
||||||
while (ptr <= last)
|
while (ptr <= last)
|
||||||
{
|
{
|
||||||
int result;
|
int result;
|
||||||
/* Check read access to pointer. */
|
/* Check read access to pointer. */
|
||||||
if ((result = get_user (ptr)) == -1)
|
if ((result = get_user (ptr)) == -1)
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
/* Check write access to pointer (if required). */
|
/* Check write access to pointer (if required). */
|
||||||
if (check_write && !put_user (ptr, result))
|
if (check_write && !put_user (ptr, result))
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
ptr += PGSIZE;
|
ptr += PGSIZE;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -440,18 +482,33 @@ validate_user_pointer (const void *ptr, size_t size, bool check_write)
|
|||||||
static void
|
static void
|
||||||
validate_user_string (const char *ptr, bool check_write)
|
validate_user_string (const char *ptr, bool check_write)
|
||||||
{
|
{
|
||||||
while (true)
|
size_t offset = (uintptr_t) ptr % PGSIZE;
|
||||||
|
|
||||||
|
for (;;)
|
||||||
{
|
{
|
||||||
|
void *page = pg_round_down (ptr);
|
||||||
|
|
||||||
|
if (!is_user_vaddr (page))
|
||||||
|
syscall_exit (EXIT_FAILURE);
|
||||||
if (!is_user_vaddr (ptr))
|
if (!is_user_vaddr (ptr))
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
int result;
|
int result;
|
||||||
if ((result = get_user ((const uint8_t *)ptr)) == -1)
|
if ((result = get_user ((const uint8_t *)ptr)) == -1)
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
if (check_write && !put_user ((uint8_t *)ptr, result))
|
if (check_write && !put_user ((uint8_t *)ptr, result))
|
||||||
thread_exit ();
|
syscall_exit (EXIT_FAILURE);
|
||||||
if (*ptr == '\0')
|
|
||||||
return;
|
while (offset < PGSIZE)
|
||||||
ptr++;
|
{
|
||||||
|
if (*ptr == '\0')
|
||||||
|
return; /* We reached the end of the string without issues. */
|
||||||
|
|
||||||
|
ptr++;
|
||||||
|
offset++;
|
||||||
|
}
|
||||||
|
|
||||||
|
offset = 0;
|
||||||
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -479,4 +536,4 @@ put_user (uint8_t *udst, uint8_t byte)
|
|||||||
: "=&a"(error_code), "=m"(*udst)
|
: "=&a"(error_code), "=m"(*udst)
|
||||||
: "q"(byte));
|
: "q"(byte));
|
||||||
return error_code != -1;
|
return error_code != -1;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -2,14 +2,16 @@
|
|||||||
#define USERPROG_SYSCALL_H
|
#define USERPROG_SYSCALL_H
|
||||||
|
|
||||||
#include <hash.h>
|
#include <hash.h>
|
||||||
|
#include "threads/synch.h"
|
||||||
#define MIN_USER_FD 2
|
|
||||||
|
|
||||||
typedef int pid_t;
|
typedef int pid_t;
|
||||||
|
|
||||||
|
struct lock filesys_lock;
|
||||||
|
|
||||||
void syscall_init (void);
|
void syscall_init (void);
|
||||||
|
|
||||||
unsigned fd_hash (const struct hash_elem *element, void *aux);
|
unsigned fd_hash (const struct hash_elem *element, void *aux);
|
||||||
bool fd_less (const struct hash_elem *a, const struct hash_elem *b, void *aux);
|
bool fd_less (const struct hash_elem *a, const struct hash_elem *b, void *aux);
|
||||||
|
void fd_cleanup (struct hash_elem *e, void *aux);
|
||||||
|
|
||||||
#endif /* userprog/syscall.h */
|
#endif /* userprog/syscall.h */
|
||||||
|
|||||||
262
src/vm/frame.c
Normal file
262
src/vm/frame.c
Normal file
@@ -0,0 +1,262 @@
|
|||||||
|
#include <debug.h>
|
||||||
|
#include <hash.h>
|
||||||
|
#include <list.h>
|
||||||
|
#include <string.h>
|
||||||
|
|
||||||
|
#include "frame.h"
|
||||||
|
#include "page.h"
|
||||||
|
#include "threads/malloc.h"
|
||||||
|
#include "threads/vaddr.h"
|
||||||
|
#include "userprog/pagedir.h"
|
||||||
|
#include "threads/synch.h"
|
||||||
|
#include "devices/swap.h"
|
||||||
|
|
||||||
|
/* Hash table that maps every active frame's kernel virtual address
|
||||||
|
to its corresponding 'frame_metadata'.*/
|
||||||
|
struct hash frame_table;
|
||||||
|
|
||||||
|
/* Linked list used to represent the circular queue in the 'clock'
|
||||||
|
algorithm for page eviction. Iterating from the element that is
|
||||||
|
currently pointed at by 'next_victim' yields an ordering of the entries
|
||||||
|
from oldest to newest (in terms of when they were added or checked
|
||||||
|
for having been referenced by a process). */
|
||||||
|
struct list lru_list;
|
||||||
|
|
||||||
|
/* The next element in lru_list to be considered for eviction (oldest added
|
||||||
|
or referenced page in the circular queue). If this page has has an
|
||||||
|
'accessed' bit of 0 when considering eviction, then it will be the next
|
||||||
|
victim. Otherwise, the next element in the queue is similarly considered. */
|
||||||
|
struct list_elem *next_victim = NULL;
|
||||||
|
|
||||||
|
/* Synchronisation variables. */
|
||||||
|
/* Protects access to 'lru_list'. */
|
||||||
|
struct lock lru_lock;
|
||||||
|
|
||||||
|
struct frame_metadata
|
||||||
|
{
|
||||||
|
void *frame; /* The kernel virtual address holding the frame. */
|
||||||
|
void *upage; /* The user virtual address pointing to the frame. */
|
||||||
|
struct thread *owner; /* Pointer to the thread that owns the frame. */
|
||||||
|
struct hash_elem hash_elem; /* Tracks the position of the frame metadata
|
||||||
|
within 'frame_table', whose key is the
|
||||||
|
kernel virtual address of the frame. */
|
||||||
|
struct list_elem list_elem; /* Tracks the position of the frame metadata
|
||||||
|
in either the 'active' or 'inactive' list,
|
||||||
|
so a victim can be chosen for eviction. */
|
||||||
|
};
|
||||||
|
|
||||||
|
hash_hash_func frame_metadata_hash;
|
||||||
|
hash_less_func frame_metadata_less;
|
||||||
|
|
||||||
|
static struct list_elem *lru_next (struct list_elem *e);
|
||||||
|
static struct list_elem *lru_prev (struct list_elem *e);
|
||||||
|
static struct frame_metadata *get_victim (void);
|
||||||
|
|
||||||
|
/* Initialize the frame system by initializing the frame (hash) table with
|
||||||
|
the frame_metadata hashing and comparison functions, as well as initializing
|
||||||
|
'lru_list' and its associated synchronisation primitives. */
|
||||||
|
void
|
||||||
|
frame_init (void)
|
||||||
|
{
|
||||||
|
hash_init (&frame_table, frame_metadata_hash, frame_metadata_less, NULL);
|
||||||
|
|
||||||
|
list_init (&lru_list);
|
||||||
|
lock_init (&lru_lock);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* TODO: Consider synchronisation more closely (i.e. just for hash
|
||||||
|
table). */
|
||||||
|
/* Attempt to allocate a frame for a user process, either by direct
|
||||||
|
allocation of a user page if there is sufficient RAM, or by
|
||||||
|
evicting a currently active page if memory allocated for user
|
||||||
|
processes is fulled and storing it in swap. If swap is full in
|
||||||
|
the former case, panic the kernel. */
|
||||||
|
void *
|
||||||
|
frame_alloc (enum palloc_flags flags, void *upage, struct thread *owner)
|
||||||
|
{
|
||||||
|
struct frame_metadata *frame_metadata;
|
||||||
|
flags |= PAL_USER;
|
||||||
|
|
||||||
|
lock_acquire (&lru_lock);
|
||||||
|
void *frame = palloc_get_page (flags);
|
||||||
|
|
||||||
|
/* If a frame couldn't be allocated we must be out of main memory. Thus,
|
||||||
|
obtain a victim page to replace with our page, and swap the victim
|
||||||
|
into disk. */
|
||||||
|
if (frame == NULL)
|
||||||
|
{
|
||||||
|
/* 1. Obtain victim. */
|
||||||
|
if (next_victim == NULL)
|
||||||
|
PANIC ("Couldn't allocate a single page to main memory!\n");
|
||||||
|
|
||||||
|
struct frame_metadata *victim = get_victim ();
|
||||||
|
ASSERT (victim != NULL); /* get_victim () should never return null. */
|
||||||
|
|
||||||
|
/* 2. Swap out victim into disk. */
|
||||||
|
/* Mark page as 'not present' and flag the page directory as having
|
||||||
|
been modified *before* eviction begins to prevent the owner of the
|
||||||
|
victim page from accessing/modifying it mid-eviction. */
|
||||||
|
pagedir_clear_page (victim->owner->pagedir, victim->upage);
|
||||||
|
|
||||||
|
// TODO: Lock PTE of victim page for victim process.
|
||||||
|
|
||||||
|
size_t swap_slot = swap_out (victim->frame);
|
||||||
|
page_set_swap (victim->owner, victim->upage, swap_slot);
|
||||||
|
|
||||||
|
/* If zero flag is set, zero out the victim page. */
|
||||||
|
if (flags & PAL_ZERO)
|
||||||
|
memset (victim->frame, 0, PGSIZE);
|
||||||
|
|
||||||
|
/* 3. Indicate that the new frame's metadata will be stored
|
||||||
|
inside the same structure that stored the victim's metadata.
|
||||||
|
As both the new frame and the victim frame share the same kernel
|
||||||
|
virtual address, the hash map need not be updated, and neither
|
||||||
|
the list_elem value as both share the same lru_list position. */
|
||||||
|
frame_metadata = victim;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* If sufficient main memory allows the frame to be directly allocated,
|
||||||
|
we must update the frame table with a new entry, and grow lru_list. */
|
||||||
|
else
|
||||||
|
{
|
||||||
|
/* Must own lru_lock here, as otherwise there is a race condition
|
||||||
|
with next_victim either being NULL or uninitialized. */
|
||||||
|
frame_metadata = malloc (sizeof (struct frame_metadata));
|
||||||
|
frame_metadata->frame = frame;
|
||||||
|
|
||||||
|
/* Newly allocated frames are pushed to the back of the circular queue
|
||||||
|
represented by lru_list. Must explicitly handle the case where the
|
||||||
|
circular queue is empty (when next_victim == NULL). */
|
||||||
|
if (next_victim == NULL)
|
||||||
|
{
|
||||||
|
list_push_back (&lru_list, &frame_metadata->list_elem);
|
||||||
|
next_victim = &frame_metadata->list_elem;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
struct list_elem *lru_tail = lru_prev (next_victim);
|
||||||
|
list_insert (lru_tail, &frame_metadata->list_elem);
|
||||||
|
}
|
||||||
|
|
||||||
|
hash_insert (&frame_table, &frame_metadata->hash_elem);
|
||||||
|
}
|
||||||
|
|
||||||
|
frame_metadata->upage = upage;
|
||||||
|
frame_metadata->owner = owner;
|
||||||
|
lock_release (&lru_lock);
|
||||||
|
|
||||||
|
return frame_metadata->frame;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Attempt to deallocate a frame for a user process by removing it from the
|
||||||
|
frame table as well as lru_list, and freeing the underlying page
|
||||||
|
memory & metadata struct. Panics if the frame isn't active in memory. */
|
||||||
|
void
|
||||||
|
frame_free (void *frame)
|
||||||
|
{
|
||||||
|
struct frame_metadata key_metadata;
|
||||||
|
key_metadata.frame = frame;
|
||||||
|
|
||||||
|
struct hash_elem *e =
|
||||||
|
hash_delete (&frame_table, &key_metadata.hash_elem);
|
||||||
|
if (e == NULL) PANIC ("Attempted to free a frame at kernel address %p, "
|
||||||
|
"but this address is not allocated!\n", frame);
|
||||||
|
|
||||||
|
struct frame_metadata *frame_metadata =
|
||||||
|
hash_entry (e, struct frame_metadata, hash_elem);
|
||||||
|
|
||||||
|
lock_acquire (&lru_lock);
|
||||||
|
list_remove (&frame_metadata->list_elem);
|
||||||
|
|
||||||
|
/* If we're freeing the frame marked as the next victim, update
|
||||||
|
next_victim to either be the next least recently used page, or NULL
|
||||||
|
if no pages are loaded in main memory. */
|
||||||
|
if (&frame_metadata->list_elem == next_victim)
|
||||||
|
{
|
||||||
|
if (list_empty (&lru_list))
|
||||||
|
next_victim = NULL;
|
||||||
|
else
|
||||||
|
next_victim = lru_next (next_victim);
|
||||||
|
}
|
||||||
|
lock_release (&lru_lock);
|
||||||
|
|
||||||
|
free (frame_metadata);
|
||||||
|
palloc_free_page (frame);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* TODO: Account for page aliases when checking accessed bit. */
|
||||||
|
/* A pre-condition for calling this function is that the calling thread
|
||||||
|
owns lru_lock and that lru_list is non-empty. */
|
||||||
|
static struct frame_metadata *
|
||||||
|
get_victim (void)
|
||||||
|
{
|
||||||
|
struct list_elem *e = next_victim;
|
||||||
|
struct frame_metadata *frame_metadata;
|
||||||
|
uint32_t *pd;
|
||||||
|
void *upage;
|
||||||
|
for (;;)
|
||||||
|
{
|
||||||
|
frame_metadata = list_entry (e, struct frame_metadata, list_elem);
|
||||||
|
pd = frame_metadata->owner->pagedir;
|
||||||
|
upage = frame_metadata->upage;
|
||||||
|
e = lru_next (e);
|
||||||
|
|
||||||
|
if (!pagedir_is_accessed (pd, upage))
|
||||||
|
break;
|
||||||
|
|
||||||
|
pagedir_set_accessed (pd, upage, false);
|
||||||
|
}
|
||||||
|
|
||||||
|
next_victim = e;
|
||||||
|
return frame_metadata;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Hash function for frame metadata, used for storing entries in the
|
||||||
|
frame table. */
|
||||||
|
unsigned
|
||||||
|
frame_metadata_hash (const struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
struct frame_metadata *frame_metadata =
|
||||||
|
hash_entry (e, struct frame_metadata, hash_elem);
|
||||||
|
|
||||||
|
return hash_bytes (&frame_metadata->frame, sizeof (frame_metadata->frame));
|
||||||
|
}
|
||||||
|
|
||||||
|
/* 'less_func' comparison function for frame metadata, used for comparing
|
||||||
|
the keys of the frame table. Returns true iff the kernel virtual address
|
||||||
|
of the first frame is less than that of the second frame. */
|
||||||
|
bool
|
||||||
|
frame_metadata_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
||||||
|
void *aux UNUSED)
|
||||||
|
{
|
||||||
|
struct frame_metadata *a =
|
||||||
|
hash_entry (a_, struct frame_metadata, hash_elem);
|
||||||
|
struct frame_metadata *b =
|
||||||
|
hash_entry (b_, struct frame_metadata, hash_elem);
|
||||||
|
|
||||||
|
return a->frame < b->frame;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Returns the next recently used element after the one provided, which
|
||||||
|
is achieved by iterating through lru_list like a circular queue
|
||||||
|
(wrapping around the list at the tail). */
|
||||||
|
static struct list_elem *
|
||||||
|
lru_next (struct list_elem *e)
|
||||||
|
{
|
||||||
|
if (!list_empty (&lru_list) && e == list_back (&lru_list))
|
||||||
|
return list_front (&lru_list);
|
||||||
|
|
||||||
|
return list_next (e);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Returns the previous recently used element after the one provided, which
|
||||||
|
is achieved by iterating through lru_list like a circular queue
|
||||||
|
(wrapping around the list at the head). */
|
||||||
|
static struct list_elem *
|
||||||
|
lru_prev (struct list_elem *e)
|
||||||
|
{
|
||||||
|
if (!list_empty (&lru_list) && e == list_front (&lru_list))
|
||||||
|
return list_back (&lru_list);
|
||||||
|
|
||||||
|
return list_prev (e);
|
||||||
|
}
|
||||||
11
src/vm/frame.h
Normal file
11
src/vm/frame.h
Normal file
@@ -0,0 +1,11 @@
|
|||||||
|
#ifndef VM_FRAME_H
|
||||||
|
#define VM_FRAME_H
|
||||||
|
|
||||||
|
#include "threads/thread.h"
|
||||||
|
#include "threads/palloc.h"
|
||||||
|
|
||||||
|
void frame_init (void);
|
||||||
|
void *frame_alloc (enum palloc_flags, void *, struct thread *);
|
||||||
|
void frame_free (void *frame);
|
||||||
|
|
||||||
|
#endif /* vm/frame.h */
|
||||||
158
src/vm/page.c
Normal file
158
src/vm/page.c
Normal file
@@ -0,0 +1,158 @@
|
|||||||
|
#include "page.h"
|
||||||
|
#include <string.h>
|
||||||
|
#include <stdio.h>
|
||||||
|
#include "filesys/file.h"
|
||||||
|
#include "threads/pte.h"
|
||||||
|
#include "threads/malloc.h"
|
||||||
|
#include "threads/palloc.h"
|
||||||
|
#include "userprog/process.h"
|
||||||
|
#include "userprog/pagedir.h"
|
||||||
|
#include "vm/frame.h"
|
||||||
|
|
||||||
|
#define SWAP_FLAG_BIT 9
|
||||||
|
#define ADDR_START_BIT 12
|
||||||
|
|
||||||
|
/* Hashing function needed for the SPT table. Returns a hash for an entry,
|
||||||
|
based on its upage. */
|
||||||
|
unsigned
|
||||||
|
page_hash (const struct hash_elem *e, UNUSED void *aux)
|
||||||
|
{
|
||||||
|
struct page_entry *page = hash_entry (e, struct page_entry, elem);
|
||||||
|
return hash_ptr (page->upage);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Comparator function for the SPT table. Compares two entries based on their
|
||||||
|
upages. */
|
||||||
|
bool
|
||||||
|
page_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
||||||
|
void *aux UNUSED)
|
||||||
|
{
|
||||||
|
const struct page_entry *a = hash_entry (a_, struct page_entry, elem);
|
||||||
|
const struct page_entry *b = hash_entry (b_, struct page_entry, elem);
|
||||||
|
|
||||||
|
return a->upage < b->upage;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Allocate and insert a new page entry into the thread's page table. */
|
||||||
|
struct page_entry *
|
||||||
|
page_insert (struct file *file, off_t ofs, void *upage, uint32_t read_bytes,
|
||||||
|
uint32_t zero_bytes, bool writable, enum page_type type)
|
||||||
|
{
|
||||||
|
struct page_entry *page = malloc(sizeof (struct page_entry));
|
||||||
|
if (page == NULL)
|
||||||
|
return NULL;
|
||||||
|
|
||||||
|
page->file = file;
|
||||||
|
page->offset = ofs;
|
||||||
|
page->upage = upage;
|
||||||
|
page->read_bytes = read_bytes;
|
||||||
|
page->zero_bytes = zero_bytes;
|
||||||
|
page->writable = writable;
|
||||||
|
page->type = type;
|
||||||
|
|
||||||
|
hash_insert (&thread_current ()->pages, &page->elem);
|
||||||
|
return page;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Gets a page_entry from the starting address of the page. Returns NULL if no
|
||||||
|
such page_entry exists in the hash map.*/
|
||||||
|
struct page_entry *
|
||||||
|
page_get (void *upage)
|
||||||
|
{
|
||||||
|
struct page_entry fake_page_entry;
|
||||||
|
fake_page_entry.upage = upage;
|
||||||
|
|
||||||
|
struct hash_elem *e
|
||||||
|
= hash_find (&thread_current ()->pages, &fake_page_entry.elem);
|
||||||
|
|
||||||
|
if (e == NULL)
|
||||||
|
return NULL;
|
||||||
|
|
||||||
|
return hash_entry (e, struct page_entry, elem);
|
||||||
|
}
|
||||||
|
|
||||||
|
bool
|
||||||
|
page_load (struct page_entry *page, bool writable)
|
||||||
|
{
|
||||||
|
/* Allocate a frame for the page. If a frame allocation fails, then
|
||||||
|
frame_alloc should try to evict a page. If it is still NULL, the OS
|
||||||
|
panics as this should not happen if eviction is working correctly. */
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
void *frame = frame_alloc (0, page->upage, t);
|
||||||
|
pagedir_set_accessed (t->pagedir, page->upage, true);
|
||||||
|
if (frame == NULL)
|
||||||
|
PANIC ("Could not allocate a frame to load page into memory.");
|
||||||
|
|
||||||
|
/* Map the page to the frame. */
|
||||||
|
if (!install_page (page->upage, frame, writable))
|
||||||
|
{
|
||||||
|
frame_free (frame);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Move the file pointer to the correct location in the file. Then, read the
|
||||||
|
data from the file into the frame. Checks that we were able to read the
|
||||||
|
expected number of bytes. */
|
||||||
|
file_seek (page->file, page->offset);
|
||||||
|
if (file_read (page->file, frame, page->read_bytes) != (int) page->read_bytes)
|
||||||
|
{
|
||||||
|
frame_free (frame);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Zero out the remaining bytes in the frame. */
|
||||||
|
memset (frame + page->read_bytes, 0, page->zero_bytes);
|
||||||
|
|
||||||
|
/* Mark the page as loaded successfully. */
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Function to clean up a page_entry. Given the elem of that page_entry, frees
|
||||||
|
the page_entry itself. */
|
||||||
|
void
|
||||||
|
page_cleanup (struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
free (hash_entry (e, struct page_entry, elem));
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Updates the 'owner' thread's page table entry for virtual address 'upage'
|
||||||
|
to flag the page as being stored in swap, and stores the specified swap slot
|
||||||
|
value in the entry at the address bits for later retrieval from disk. */
|
||||||
|
void
|
||||||
|
page_set_swap (struct thread *owner, void *upage, size_t swap_slot)
|
||||||
|
{
|
||||||
|
uint32_t *pte = lookup_page (owner->pagedir, upage, false);
|
||||||
|
|
||||||
|
/* Store the provided swap slot in the address bits of the page table
|
||||||
|
entry, truncating excess bits. */
|
||||||
|
*pte |= (1 << SWAP_FLAG_BIT);
|
||||||
|
uint32_t swap_slot_bits = (swap_slot << ADDR_START_BIT) & PTE_ADDR;
|
||||||
|
*pte = (*pte & PTE_FLAGS) | swap_slot_bits;
|
||||||
|
|
||||||
|
invalidate_pagedir (owner->pagedir);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Returns true iff the page with user address 'upage' owned by 'owner'
|
||||||
|
is flagged to be in the swap disk via the owner's page table. */
|
||||||
|
bool
|
||||||
|
page_in_swap (struct thread *owner, void *upage)
|
||||||
|
{
|
||||||
|
uint32_t *pte = lookup_page (owner->pagedir, upage, false);
|
||||||
|
return pte != NULL &&
|
||||||
|
(*pte & (1 << SWAP_FLAG_BIT)) != 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Given that the page with user address 'upage' owned by 'owner' is flagged
|
||||||
|
to be in the swap disk via the owner's page table, returns its stored
|
||||||
|
swap slot. Otherwise panics the kernel. */
|
||||||
|
size_t
|
||||||
|
page_get_swap (struct thread *owner, void *upage)
|
||||||
|
{
|
||||||
|
uint32_t *pte = lookup_page (owner->pagedir, upage, false);
|
||||||
|
|
||||||
|
ASSERT (pte != NULL);
|
||||||
|
ASSERT ((*pte & PTE_P) == 0);
|
||||||
|
|
||||||
|
/* Masks the address bits and returns truncated value. */
|
||||||
|
return ((*pte & PTE_ADDR) >> ADDR_START_BIT);
|
||||||
|
}
|
||||||
39
src/vm/page.h
Normal file
39
src/vm/page.h
Normal file
@@ -0,0 +1,39 @@
|
|||||||
|
#ifndef VM_PAGE_H
|
||||||
|
#define VM_PAGE_H
|
||||||
|
|
||||||
|
#include "threads/thread.h"
|
||||||
|
#include "filesys/off_t.h"
|
||||||
|
|
||||||
|
enum page_type {
|
||||||
|
PAGE_EXECUTABLE,
|
||||||
|
PAGE_EMPTY
|
||||||
|
};
|
||||||
|
|
||||||
|
struct page_entry {
|
||||||
|
enum page_type type; /* Type of Data that should go into the page */
|
||||||
|
void *upage; /* Start Address of the User Page (Key of hash table). */
|
||||||
|
|
||||||
|
/* File Data */
|
||||||
|
struct file *file; /* Pointer to the file for executables. */
|
||||||
|
off_t offset; /* Offset of the page content within the file. */
|
||||||
|
uint32_t read_bytes; /* Number of bytes to read within the page. */
|
||||||
|
uint32_t zero_bytes; /* Number of bytes to zero within the page. */
|
||||||
|
bool writable; /* Flag for whether this page is writable or not. */
|
||||||
|
|
||||||
|
struct hash_elem elem; /* An elem for the hash table. */
|
||||||
|
};
|
||||||
|
|
||||||
|
unsigned page_hash (const struct hash_elem *e, void *aux);
|
||||||
|
bool page_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
||||||
|
void *aux);
|
||||||
|
struct page_entry *page_insert (struct file *file, off_t ofs, void *upage,
|
||||||
|
uint32_t read_bytes, uint32_t zero_bytes,
|
||||||
|
bool writable, enum page_type type);
|
||||||
|
struct page_entry *page_get (void *upage);
|
||||||
|
bool page_load (struct page_entry *page, bool writable);
|
||||||
|
void page_cleanup (struct hash_elem *e, void *aux);
|
||||||
|
void page_set_swap (struct thread *, void *, size_t);
|
||||||
|
bool page_in_swap (struct thread *, void *);
|
||||||
|
size_t page_get_swap (struct thread *, void *);
|
||||||
|
|
||||||
|
#endif /* vm/frame.h */
|
||||||
59
src/vm/stackgrowth.c
Normal file
59
src/vm/stackgrowth.c
Normal file
@@ -0,0 +1,59 @@
|
|||||||
|
#include <stdio.h>
|
||||||
|
#include "stackgrowth.h"
|
||||||
|
#include "frame.h"
|
||||||
|
#include "threads/palloc.h"
|
||||||
|
#include "threads/thread.h"
|
||||||
|
#include "threads/vaddr.h"
|
||||||
|
#include "userprog/pagedir.h"
|
||||||
|
|
||||||
|
#define MAX_STACK_ACCESS_DIST 32
|
||||||
|
|
||||||
|
static bool is_stack_fault (const void *addr, const void *esp);
|
||||||
|
static bool grow_stack (const void *addr);
|
||||||
|
|
||||||
|
/* Determine whether a particular page fault occured due to a stack
|
||||||
|
access below the stack pointer that should induce stack growth, and
|
||||||
|
if so grow the stack by a single page (capped at MAX_STACK_SIZE). */
|
||||||
|
bool
|
||||||
|
handle_stack_fault (const void *ptr, const void *esp)
|
||||||
|
{
|
||||||
|
return is_stack_fault (ptr, esp) && grow_stack (ptr);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Determines whether a particular page fault appears to be caused by
|
||||||
|
a stack access that should induce dynamic stack growth. Stack size
|
||||||
|
is capped at MAX_STACK_SIZE. */
|
||||||
|
static bool
|
||||||
|
is_stack_fault (const void *addr, const void *esp)
|
||||||
|
{
|
||||||
|
return ((uint32_t*)addr >= ((uint32_t*)esp - MAX_STACK_ACCESS_DIST) &&
|
||||||
|
((PHYS_BASE - pg_round_down (addr)) <= MAX_STACK_SIZE));
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Grows the stack of the process running inside the current thread by a single
|
||||||
|
page given a user virtual address inside of the page wherein the new section
|
||||||
|
of the stack should be allocated. */
|
||||||
|
static bool
|
||||||
|
grow_stack (const void *addr)
|
||||||
|
{
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
void *last_page = pg_round_down (addr);
|
||||||
|
|
||||||
|
/* This function should only be called when dealing with a faulting stack
|
||||||
|
access that induces stack growth, so the provided address shouldn't be
|
||||||
|
present in a page within the current thread's page directory. */
|
||||||
|
ASSERT (pagedir_get_page (t->pagedir, last_page) == NULL);
|
||||||
|
|
||||||
|
uint8_t *new_page = frame_alloc (PAL_ZERO, last_page, t);
|
||||||
|
if (new_page == NULL)
|
||||||
|
return false;
|
||||||
|
|
||||||
|
if (!pagedir_set_page (t->pagedir, last_page, new_page, true))
|
||||||
|
{
|
||||||
|
frame_free (new_page);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
10
src/vm/stackgrowth.h
Normal file
10
src/vm/stackgrowth.h
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
#ifndef VM_GROWSTACK_H
|
||||||
|
#define VM_GROWSTACK_H
|
||||||
|
|
||||||
|
#include <stdio.h>
|
||||||
|
|
||||||
|
#define MAX_STACK_SIZE 8388608 // (8MB)
|
||||||
|
|
||||||
|
bool handle_stack_fault (const void *ptr, const void *esp);
|
||||||
|
|
||||||
|
#endif /* vm/frame.h */
|
||||||
Reference in New Issue
Block a user