Changeset 672 for trunk/kernel/mm/ppm.c

Timestamp:

Nov 19, 2020, 11:49:01 PM (3 years ago)

Author:

alain

Message:

1) Introduce up to 4 command lines arguments in the KSH "load" command.
These arguments are transfered to the user process through the
argc/argv mechanism, using the user space "args" vseg.

2) Introduce the named and anonymous "pipes", for inter-process communication
through the pipe() and mkfifo() syscalls.

3) Introduce the "chat" application to validate the two above mechanisms.

4) Improve printk() and assert() fonctions in printk.c.

File:

• trunk/kernel/mm/ppm.c (modified) (4 diffs)

trunk/kernel/mm/ppm.c

@@ -158 +158 @@
         page_t   * pages_tbl   = ppm->pages_tbl;
 
-assert( !page_is_flag( page , PG_FREE ) ,
+assert( __FUNCTION__, !page_is_flag( page , PG_FREE ) ,
 "page already released : ppn = %x\n" , ppm_page2ppn( XPTR( local_cxy , page ) ) );
 
-assert( !page_is_flag( page , PG_RESERVED ) ,
+assert( __FUNCTION__, !page_is_flag( page , PG_RESERVED ) ,
 "reserved page : ppn = %x\n" , ppm_page2ppn( XPTR( local_cxy , page ) ) );
 
@@ -232 +232 @@
 
 // check order
-assert( (order < CONFIG_PPM_MAX_ORDER) , "illegal order argument = %d\n" , order );
+assert( __FUNCTION__, (order < CONFIG_PPM_MAX_ORDER) , "illegal order argument = %d\n" , order );
 
     //build extended pointer on lock protecting remote PPM
@@ -388 +388 @@
 
 // check order
-assert( (order < CONFIG_PPM_MAX_ORDER) , "illegal order argument = %d\n" , order );
+assert( __FUNCTION__, (order < CONFIG_PPM_MAX_ORDER) , "illegal order argument = %d\n" , order );
 
     // get local pointer on PPM (same in all clusters)
@@ -548 +548 @@
         remote_busylock_acquire( lock_xp );
 
-assert( !page_remote_is_flag( page_xp , PG_FREE ) ,
+assert( __FUNCTION__, !page_remote_is_flag( page_xp , PG_FREE ) ,
 "page already released : ppn = %x\n" , ppm_page2ppn(XPTR( page_cxy , page_ptr ) ) );
 
-assert( !page_remote_is_flag( page_xp , PG_RESERVED ) ,
+assert( __FUNCTION__, !page_remote_is_flag( page_xp , PG_RESERVED ) ,
 "reserved page : ppn = %x\n" , ppm_page2ppn(XPTR( page_cxy , page_ptr ) ) );