fix tp0-1

kernel/proc.c

@@ -296,6 +296,14 @@ growproc(int n)
   return 0;
 }
 
+void __attribute__ ((noinline)) set_pointer(char **p){
+  *p = (char*) 0;
+}
+
+void __attribute__ ((noinline))  write_pointer(char *p){
+  *p = 42;
+}
+
 // Create a new process, copying the parent.
 // Sets up child kernel stack to return as if from fork() system call.
 int
@@ -338,6 +346,10 @@ fork(void)
 
   np->state = RUNNABLE;
 
+  char *mon_pointeur;
+  set_pointer(&mon_pointeur);
+  write_pointer(mon_pointeur);
+
   release(&np->lock);
 
   return pid;
@@ -534,7 +546,7 @@ scheduler(void)
       // again to avoid a race between interrupt and WFI.
       c->intena = 0;
 
-      // release(&p->lock);
+      release(&p->lock);
     }
     if(found == 0){
       asm volatile("wfi");