Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: make shared files table private

Browse Source
This commit is contained in:
Gleb Koval
2024-12-05 15:55:09 +00:00
parent 7c8b0fa99a
commit 675e28c3f2
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/vm/page.c
View File

@@ -14,6 +14,9 @@
#define SWAP_FLAG_BIT 9 #define SWAP_FLAG_BIT 9
#define ADDR_START_BIT 12 #define ADDR_START_BIT 12
struct hash shared_files;
struct lock shared_files_lock;
static unsigned page_hash (const struct hash_elem *e, void *aux UNUSED); static unsigned page_hash (const struct hash_elem *e, void *aux UNUSED);
static bool page_less (const struct hash_elem *a_, const struct hash_elem *b_, static bool page_less (const struct hash_elem *a_, const struct hash_elem *b_,
void *aux UNUSED); void *aux UNUSED);

3
src/vm/page.h
View File

@@ -5,9 +5,6 @@
#include "threads/synch.h" #include "threads/synch.h"
#include "filesys/off_t.h" #include "filesys/off_t.h"
struct hash shared_files;
struct lock shared_files_lock;
enum page_type { enum page_type {
PAGE_EXECUTABLE, PAGE_EXECUTABLE,
PAGE_EMPTY PAGE_EMPTY