Changeset 409 for trunk/kernel/kern/cluster.c

Timestamp:

Dec 20, 2017, 4:51:09 PM (6 years ago)

Author:

alain

Message:

Fix bugs in exec

File:

• trunk/kernel/kern/cluster.c (modified) (1 diff)

trunk/kernel/kern/cluster.c

@@ -281 +281 @@
     lpid_t lpid       = LPID_FROM_PID( pid );
 
+    pmgr_t  * pm = &LOCAL_CLUSTER->pmgr;
+
     // check pid argument
-    if( (lpid >= CONFIG_MAX_PROCESS_PER_CLUSTER) || (owner_cxy != local_cxy) )
-    {
-        panic("illegal PID");
-    }
-
-    pmgr_t  * pm = &LOCAL_CLUSTER->pmgr;
+    assert( (lpid < CONFIG_MAX_PROCESS_PER_CLUSTER) && (owner_cxy == local_cxy) ,
+    __FUNCTION__ , "illegal PID" );
+
+    // check number of copies
+    assert( (pm->copies_nr[lpid] == 0) ,
+    __FUNCTION__ , "number of copies must be 0" );  
 
     // get the process manager lock