MPC TLB shootdowns
[akaros.git] / tests / mhello.c
index 5c0be1e..55edd22 100644 (file)
@@ -21,7 +21,7 @@ int main(int argc, char** argv)
        uint32_t vcoreid;
        int retval;
 
-       mcs_barrier_init(&b, max_vcores() - 1);
+       mcs_barrier_init(&b, max_vcores());
 
 /* begin: stuff userspace needs to do before switching to multi-mode */
        if (vcore_init())
@@ -56,8 +56,9 @@ int main(int argc, char** argv)
                       vcoreid, &temp, temp);
                printf("Multi-Goodbye, world, from PID: %d!\n", sys_getpid());
                //retval = sys_resource_req(RES_CORES, 2, 0);
-               //retval = vcore_request(vcore_max_vcores()-2);
-               retval = vcore_request(3);
+               printf("Requesting %d vcores\n",max_vcores());
+               retval = vcore_request(max_vcores());
+               //retval = vcore_request(5);
                printf("This is vcore0, right after vcore_request, retval=%d\n", retval);
        }
 
@@ -81,11 +82,12 @@ int main(int argc, char** argv)
                while(1) {
                        printf("Vcore %d Spinning (%d), temp = %08x!\n", vcoreid, ctr++, temp);
                        udelay(5000000);
+                       //exit(0);
                }
        }
 
        printf("Vcore %d Done!\n", vcoreid);
-       mcs_barrier_wait(&b,vcore_id());
+       //mcs_barrier_wait(&b,vcore_id());
 
        printf("All Cores Done!\n", vcoreid);
        while(1); // manually kill from the monitor
@@ -132,8 +134,8 @@ void vcore_entry(void)
                        udelay(5000000);
                } */
                printf("restarting vcore0 from userspace\n");
-               /* Do one last check for notifs before clearing pending */
                vcpd->notif_pending = 0;
+               /* Do one last check for notifs after clearing pending */
                /* // testing for missing a notif
                if (first_time) {
                        first_time = FALSE;
@@ -155,6 +157,9 @@ void vcore_entry(void)
 
        printf("Hello from vcore_entry in vcore %d with temp addr %p and temp %p\n",
               vcoreid, &temp, temp);
-       mcs_barrier_wait(&b,vcore_id());
+       vcore_request(1);
+       //mcs_barrier_wait(&b,vcore_id());
+       udelay(vcoreid * 10000000);
+       exit(0);
        while(1);
 }