X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=51d6bdd43d7ee39ed3eb1b7dcf3b20881639ba48;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hp=cf7a896222a5e2370b8f03827fda4fbaf9c8d4c1;hpb=f0ad7eb8b43516c7a2999fd217ec85d954dfc791;p=pintos-anon diff --git a/src/threads/init.c b/src/threads/init.c index cf7a896..51d6bdd 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -39,16 +39,28 @@ size_t ram_pages; /* Page directory with kernel mappings only. */ uint32_t *base_page_dir; -#ifdef FILESYS -/* -f: Format the filesystem? */ -static bool format_filesys; -#endif +/* -o mlfqs: + If false (default), use round-robin scheduler. + If true, use multi-level feedback queue scheduler. */ +bool enable_mlfqs; #ifdef USERPROG /* -ex: Initial program to run. */ static char *initial_program; #endif +#ifdef VM +/* -o random-paging: + If false (default), use LRU page replacement policy. + If true, use random page replacement policy. */ +bool enable_random_paging; +#endif + +#ifdef FILESYS +/* -f: Format the filesystem? */ +static bool format_filesys; +#endif + /* -q: Power off after kernel tasks complete? */ bool power_off_when_done; @@ -120,13 +132,8 @@ main (void) /* Run a user program. */ if (initial_program != NULL) { - tid_t tid; printf ("\nExecuting '%s':\n", initial_program); - tid = process_execute (initial_program); -#ifdef THREAD_JOIN_IMPLEMENTED - if (tid != TID_ERROR) - thread_join (tid); -#endif + process_wait (process_execute (initial_program)); } #else /* Run the compiled-in test function. */ @@ -194,7 +201,7 @@ paging_init (void) aka PDBR (page directory base register). This activates our new page tables immediately. See [IA32-v2a] "MOV--Move to/from Control Registers" and [IA32-v3] 3.7.5. */ - asm volatile ("movl %0,%%cr3" :: "r" (vtop (base_page_dir))); + asm volatile ("mov %%cr3, %0" :: "r" (vtop (base_page_dir))); } /* Parses the command line. */ @@ -225,10 +232,20 @@ argv_init (void) /* Parse the words. */ for (i = 0; i < argc; i++) - if (!strcmp (argv[i], "-rs")) + if (!strcmp (argv[i], "-o")) + { + i++; + if (!strcmp (argv[i], "mlfqs")) + enable_mlfqs = true; +#ifdef VM + else if (!strcmp (argv[i], "random-paging")) + enable_random_paging = true; +#endif + else + PANIC ("unknown option `-o %s' (use -u for help)", argv[i]); + } + else if (!strcmp (argv[i], "-rs")) random_init (atoi (argv[++i])); - else if (!strcmp (argv[i], "-d")) - debug_enable (argv[++i]); else if (!strcmp (argv[i], "-q")) power_off_when_done = true; #ifdef USERPROG @@ -253,30 +270,30 @@ argv_init (void) fsutil_remove_file = argv[++i]; else if (!strcmp (argv[i], "-ls")) fsutil_list_files = true; - else if (!strcmp (argv[i], "-D")) - fsutil_dump_filesys = true; #endif else if (!strcmp (argv[i], "-u")) { printf ( "Kernel options:\n" - " -rs SEED Seed random seed to SEED.\n" - " -d CLASS[,...] Enable the given classes of debug messages.\n" + " -o mlfqs Use multi-level feedback queue scheduler.\n" #ifdef USERPROG " -ex 'PROG [ARG...]' Run PROG, passing the optional arguments.\n" " -ul USER_MAX Limit user memory to USER_MAX pages.\n" #endif +#ifdef VM + " -o random-paging Use random page replacement policy.\n" +#endif #ifdef FILESYS " -f Format the filesystem disk (hdb or hd0:1).\n" - " -ci FILENAME SIZE Copy SIZE bytes from the scratch disk (hdc\n" - " or hd1:0) into the filesystem as FILENAME\n" - " -co FILENAME Copy FILENAME to the scratch disk, with\n" - " size at start of sector 0 and data afterward\n" - " -p FILENAME Print the contents of FILENAME\n" - " -r FILENAME Delete FILENAME\n" - " -ls List the files in the filesystem\n" - " -D Dump complete filesystem contents\n" + " -ci FILE SIZE Copy SIZE bytes from the scratch disk (hdc\n" + " or hd1:0) into the filesystem as FILE.\n" + " -co FILE Copy FILE to the scratch disk, with\n" + " size at start of sector 0 and data after.\n" + " -p FILE Print the contents of FILE.\n" + " -r FILE Delete FILE.\n" + " -ls List files in the root directory.\n" #endif + " -rs SEED Set random seed to SEED.\n" " -q Power off after doing requested actions.\n" " -u Print this help message and power off.\n" );