added IGNORE_USER_FAULTS clause to match specification
[pintos-anon] / src / userprog / exception.c
1 #include "userprog/exception.h"
2 #include <inttypes.h>
3 #include <stdio.h>
4 #include "userprog/gdt.h"
5 #include "threads/interrupt.h"
6 #include "threads/thread.h"
7
8 /* Number of page faults processed. */
9 static long long page_fault_cnt;
10
11 static void kill (struct intr_frame *);
12 static void page_fault (struct intr_frame *);
13
14 /* Registers handlers for interrupts that can be caused by user
15    programs.
16
17    In a real Unix-like OS, most of these interrupts would be
18    passed along to the user process in the form of signals, as
19    described in [SV-386] 3-24 and 3-25, but we don't implement
20    signals.  Instead, we'll make them simply kill the user
21    process.
22
23    Page faults are an exception.  Here they are treated the same
24    way as other exceptions, but this will need to change to
25    implement virtual memory.
26
27    Refer to [IA32-v3a] section 5.15 "Exception and Interrupt
28    Reference" for a description of each of these exceptions. */
29 void
30 exception_init (void) 
31 {
32   /* These exceptions can be raised explicitly by a user program,
33      e.g. via the INT, INT3, INTO, and BOUND instructions.  Thus,
34      we set DPL==3, meaning that user programs are allowed to
35      invoke them via these instructions. */
36   intr_register_int (3, 3, INTR_ON, kill, "#BP Breakpoint Exception");
37   intr_register_int (4, 3, INTR_ON, kill, "#OF Overflow Exception");
38   intr_register_int (5, 3, INTR_ON, kill,
39                      "#BR BOUND Range Exceeded Exception");
40
41   /* These exceptions have DPL==0, preventing user processes from
42      invoking them via the INT instruction.  They can still be
43      caused indirectly, e.g. #DE can be caused by dividing by
44      0.  */
45   intr_register_int (0, 0, INTR_ON, kill, "#DE Divide Error");
46   intr_register_int (1, 0, INTR_ON, kill, "#DB Debug Exception");
47   intr_register_int (6, 0, INTR_ON, kill, "#UD Invalid Opcode Exception");
48   intr_register_int (7, 0, INTR_ON, kill,
49                      "#NM Device Not Available Exception");
50   intr_register_int (11, 0, INTR_ON, kill, "#NP Segment Not Present");
51   intr_register_int (12, 0, INTR_ON, kill, "#SS Stack Fault Exception");
52   intr_register_int (13, 0, INTR_ON, kill, "#GP General Protection Exception");
53   intr_register_int (16, 0, INTR_ON, kill, "#MF x87 FPU Floating-Point Error");
54   intr_register_int (19, 0, INTR_ON, kill,
55                      "#XF SIMD Floating-Point Exception");
56
57   /* Most exceptions can be handled with interrupts turned on.
58      We need to disable interrupts for page faults because the
59      fault address is stored in CR2 and needs to be preserved. */
60   intr_register_int (14, 0, INTR_OFF, page_fault, "#PF Page-Fault Exception");
61 }
62
63 /* Prints exception statistics. */
64 void
65 exception_print_stats (void) 
66 {
67   printf ("Exception: %lld page faults\n", page_fault_cnt);
68 }
69
70 /* Handler for an exception (probably) caused by a user process. */
71 static void
72 kill (struct intr_frame *f) 
73 {
74   /* This interrupt is one (probably) caused by a user process.
75      For example, the process might have tried to access unmapped
76      virtual memory (a page fault).  For now, we simply kill the
77      user process.  Later, we'll want to handle page faults in
78      the kernel.  Real Unix-like operating systems pass most
79      exceptions back to the process via signals, but we don't
80      implement them. */
81      
82   /* The interrupt frame's code segment value tells us where the
83      exception originated. */
84   switch (f->cs)
85     {
86     case SEL_UCSEG:
87       /* User's code segment, so it's a user exception, as we
88          expected.  Kill the user process.  */
89       printf ("%s: dying due to interrupt %#04x (%s).\n",
90               thread_name (), f->vec_no, intr_name (f->vec_no));
91       intr_dump_frame (f);
92       thread_exit (); 
93
94     case SEL_KCSEG:
95       /* Kernel's code segment, which indicates a kernel bug.
96          Kernel code shouldn't throw exceptions.  (Page faults
97          may cause kernel exceptions--but they shouldn't arrive
98          here.)  Panic the kernel to make the point.  */
99       intr_dump_frame (f);
100       PANIC ("Kernel bug - unexpected interrupt in kernel"); 
101
102     default:
103       /* Some other code segment?  Shouldn't happen.  Panic the
104          kernel. */
105       printf ("Interrupt %#04x (%s) in unknown segment %04x\n",
106              f->vec_no, intr_name (f->vec_no), f->cs);
107       thread_exit ();
108     }
109 }
110
111 /* Page fault handler.  This is a skeleton that must be filled in
112    to implement virtual memory.  Some solutions to project 2 may
113    also require modifying this code.
114
115    At entry, the address that faulted is in CR2 (Control Register
116    2) and information about the fault, formatted as described in
117    the PF_* macros in exception.h, is in F's error_code member.  The
118    example code here shows how to parse that information.  You
119    can find more information about both of these in the
120    description of "Interrupt 14--Page Fault Exception (#PF)" in
121    [IA32-v3a] section 5.15 "Exception and Interrupt Reference". */
122 static void
123 page_fault (struct intr_frame *f) 
124 {
125   bool not_present;  /* True: not-present page, false: writing r/o page. */
126   bool write;        /* True: access was write, false: access was read. */
127   bool user;         /* True: access by user, false: access by kernel. */
128   void *fault_addr;  /* Fault address. */
129
130   /* Obtain faulting address, the virtual address that was
131      accessed to cause the fault.  It may point to code or to
132      data.  It is not necessarily the address of the instruction
133      that caused the fault (that's f->eip).
134      See [IA32-v2a] "MOV--Move to/from Control Registers" and
135      [IA32-v3a] 5.15 "Interrupt 14--Page Fault Exception
136      (#PF)". */
137   asm ("movl %%cr2, %0" : "=r" (fault_addr));
138
139   /* Turn interrupts back on (they were only off so that we could
140      be assured of reading CR2 before it changed). */
141   intr_enable ();
142
143   /* Count page faults. */
144   page_fault_cnt++;
145
146   /* Determine cause. */
147   not_present = (f->error_code & PF_P) == 0;
148   write = (f->error_code & PF_W) != 0;
149   user = (f->error_code & PF_U) != 0;
150
151   /* To implement virtual memory, delete the rest of the function
152      body, and replace it with code that brings in the page to
153      which fault_addr refers. */
154   printf ("Page fault at %p: %s error %s page in %s context.\n",
155           fault_addr,
156           not_present ? "not present" : "rights violation",
157           write ? "writing" : "reading",
158           user ? "user" : "kernel");
159   kill (f);
160 }
161