Changeset 676 for trunk/user/ksh

Timestamp:

Nov 20, 2020, 12:11:35 AM (4 years ago)

Author:

alain

Message:

Introduce chat application to test the named pipes.

File:

• trunk/user/ksh/ksh.c (modified) (47 diffs)

trunk/user/ksh/ksh.c

@@ -58 +58 @@
 
 #define DEBUG_MAIN          0
-#define DEBUG_INTER         0
 #define DEBUG_EXECUTE       0
 #define DEBUG_CMD_CAT       0
@@ -105 +104 @@
 pthread_t       trdid;                      // interactive thread identifier
 
+char            cmd[CMD_MAX_SIZE];                  // buffer for one command
+
+char            elf_path[PATH_MAX_SIZE];    // pathname for cmd_load command
+
 char            pathname[PATH_MAX_SIZE];    // pathname for a file
 
-char            pathnew[PATH_MAX_SIZE];     // used by the rename command
+char            pathnew[PATH_MAX_SIZE];     // used by the cmd_rename command
  
-char            string[128];                // used by snprintf() for debug
+char            string[256];                // used by snprintf() for debug
 
 //////////////////////////////////////////////////////////////////////////////////////////
@@ -124 +127 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s enters" , __FUNCTION__);
-display_string( string );
+printf("\n[ksh] %s enters" , __FUNCTION__);
 #endif
 
@@ -139 +141 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s : after strcpy" , __FUNCTION__ );
-display_string( string );
+printf("\n[ksh] %s : after strcpy" , __FUNCTION__ );
 #endif
 
@@ -154 +155 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s : file %s open", __FUNCTION__, pathname );
-display_string( string );
+printf("\n[ksh] %s : file %s open", __FUNCTION__, pathname );
 #endif
 
@@ -181 +181 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s : size = %d",
-__FUNCTION__, size );
-display_string( string );
+printf("\n[ksh] %s : size = %d", __FUNCTION__, size );
 #endif
 
@@ -208 +206 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s : mapped file %d to buffer %x",
-__FUNCTION__, fd , buf );
-display_string( string );
+printf("\n[ksh] %s : mapped file %d to buffer %x", __FUNCTION__, fd , buf );
 #endif
 
@@ -223 +219 @@
 
 #if DEBUG_CMD_CAT
-snprintf( string , 128 , "[ksh] %s : unmapped file %d from buffer %x", 
-__FUNCTION__, fd , buf );
-display_string( string );
+printf("\n[ksh] %s : unmapped file %d from buffer %x", __FUNCTION__, fd , buf );
 #endif
 
@@ -273 +267 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] enter %s" , __FUNCTION__);
-display_string( string );
+printf("\n[ksh] enter %s" , __FUNCTION__);
 #endif
 
@@ -297 +290 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : file %s open", __FUNCTION__, argv[1] );
-display_string( string );
+printf("\n[ksh] %s : file %s open", __FUNCTION__, argv[1] );
 #endif
 
@@ -310 +302 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : got stats for %s", __FUNCTION__, argv[1] );
-display_string( string );
+printf("\n[ksh] %s : got stats for %s", __FUNCTION__, argv[1] );
 #endif
 
@@ -335 +326 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : file %s open", __FUNCTION__, argv[2] );
-display_string( string );
+printf("\n[ksh] %s : file %s open", __FUNCTION__, argv[2] );
 #endif
 
@@ -346 +336 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : got stats for %s", __FUNCTION__, argv[2] );
-display_string( string );
+printf("\n[ksh] %s : got stats for %s", __FUNCTION__, argv[2] );
 #endif
 
@@ -370 +359 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : read %d bytes from %s", __FUNCTION__, len, argv[1] );
-display_string( string );
+printf("\n[ksh] %s : read %d bytes from %s", __FUNCTION__, len, argv[1] );
 #endif
 
@@ -382 +370 @@
 
 #if DEBUG_CMD_CP
-snprintf( string , 128 , "[ksh] %s : write %d bytes to %s", __FUNCTION__, len, argv[2] );
-display_string( string );
+printf("\n[ksh] %s : write %d bytes to %s", __FUNCTION__, len, argv[2] );
 #endif
 
@@ -416 +403 @@
                "         display  fat      min      nslots\n"
                "         display  fat      cxy      0\n"
-               "         display  socket   pid      fdid\n" );
+               "         display  socket   pid      fdid\n" 
+               "         display  fd       pid\n"
+               "         display  fbf      pid\n" );
     }
     ////////////////////////////////////
@@ -578 +567 @@
         }
     }
-    ///////////////////////////////////////////
+    /////////////////////////////////////////
     else if( strcmp( argv[1] , "fat" ) == 0 )
     {
@@ -596 +585 @@
         }
     }
-    ///////////////////////////////////////////
+    ////////////////////////////////////////////
     else if( strcmp( argv[1] , "socket" ) == 0 )
     {
@@ -614 +603 @@
         }
     }
+    ////////////////////////////////////////
+    else if( strcmp( argv[1] , "fd" ) == 0 ) 
+    {
+        if( argc != 3 )
+        {
+                    printf("  usage: display fd pid\n");
+            }
+        else
+        {
+            unsigned int pid = atoi(argv[2]);
+            
+            if( display_fd_array( pid ) )
+            {
+                printf("  error: cannot found process %x\n", pid );
+            }
+        }
+    }
+    ////////////////////////////////////////
+    else if( strcmp( argv[1] , "fbf" ) == 0 ) 
+    {
+        if( argc != 3 )
+        {
+                    printf("  usage: display fbf pid\n"
+                   "         display fbf 0 (all processes)");
+            }
+        else
+        {
+            unsigned int pid = atoi(argv[2]);
+            
+            if( display_fbf_windows( pid ) )
+            {
+                printf("  error: cannot found process %x\n", pid );
+            }
+        }
+    }
     ////
     else
@@ -632 +656 @@
         if (argc != 2) 
     {
-                printf("  usage: %s pid\n", argv[0]);
+                printf("  usage: fg pid\n");
         }
     else
@@ -658 +682 @@
         unsigned int i;
 
-        if (argc != 1) 
-    {
-                printf("  usage: %s\n", argv[0]);
+        if( (argc != 1) || (argv[0] == NULL) ) 
+    {
+                printf("  usage: help\n");
         }
     else
@@ -676 +700 @@
 }   // end cmd_help()
 
+/////////////////////////////////////////////////
+static void cmd_history( int argc , char **argv )
+{
+        unsigned int i;
+
+        if( (argc != 1) || (argv[0] == NULL) ) 
+    {
+                printf("  usage: history\n"); 
+        }
+    else
+    {
+            printf("--- registered commands ---\n");
+            for (i = 0; i < LOG_DEPTH; i++) 
+        {
+                    printf(" - %d\t: %s\n", i, &log_entries[i].buf);
+            }
+    }
+
+    // release semaphore to get next command
+    sem_post( &semaphore );
+
+} // end cmd_history()
+
 //////////////////////////////////////////////
 static void cmd_kill( int argc , char **argv )
@@ -683 +730 @@
         if (argc != 2) 
     {
-                printf("  usage: %s pid\n", argv[0]);
+                printf("  usage: kill pid\n", argv[0]);
         }
     else
@@ -710 +757 @@
         int                  ret_fork;           // return value from fork 
         int                  ret_exec;           // return value from exec
-    unsigned int         ksh_pid;            // KSH process PID
+    unsigned int         cmd_ok;             // command arguments acceptable
     unsigned int         background;         // background execution if non zero
-    unsigned int         placement;          // placement specified if non zero
-    unsigned int         cxy;                // target cluster if placement specified
+    unsigned int         place;              // user placement if non zero
+    char               * arg[5];             // array of pointers on main thread arguments
+    unsigned int         args_nr;            // number of aruments in this array
+
+    char                 undef[] = { "undefined" };
+
+    // arguments analysis of argv[] array that contains at most 8 strings:
+    // - the two first arguments ("cmd_type" & "elf_path") are mandatory 
+    // - the six next ("-pcxy","arg0","arg1","arg2","arg3","&") are optional
+
+     // analyse the optional arguments 
+    if( argc == 2 )                            // no optional arguments
+    {
+        cmd_ok     = 1;
+        background = 0;
+        place      = 0;
+        arg[0]     = undef;
+        arg[1]     = undef;
+        arg[2]     = undef;
+        arg[3]     = undef;
+        args_nr    = 0;
+    }
+    else if( ((argc >= 4) && (argc <= 8)) &&
+             (argv[2][0] == '-') && (argv[2][1] == 'p') &&           
+             (strcmp(argv[argc-1] , "&" ) == 0) )     // background, place, 0 to 4 args
+    {
+        cmd_ok     = 1;
+        background = 1;
+        place      = 0xFF000000 | atoi( argv[2] + 2 );
+        arg[0]     = (argc > 4) ? argv[3] : undef;
+        arg[1]     = (argc > 5) ? argv[4] : undef;
+        arg[2]     = (argc > 6) ? argv[5] : undef;
+        arg[3]     = (argc > 7) ? argv[6] : undef;
+        args_nr    = argc - 4;
+    }
+    else if( ((argc >= 3) && (argc <= 7)) &&
+             (argv[2][0] == '-') && (argv[2][1] == 'p') && 
+             (strcmp(argv[argc-1] , "&" ) != 0) )     // place, no background, 0 to 4 args
+    {
+        cmd_ok     = 1;
+        background = 0;
+        place      = 0xFF000000 | atoi( argv[2] + 2 );
+        arg[0]     = (argc > 3) ? argv[3] : undef;
+        arg[1]     = (argc > 4) ? argv[4] : undef;
+        arg[2]     = (argc > 5) ? argv[5] : undef;
+        arg[3]     = (argc > 6) ? argv[6] : undef;
+        args_nr    = argc - 3;
+    }
+    else if( ((argc >=3) && (argc <= 7))  &&       
+             ((argv[2][0] != '-') || (argv[2][1] != 'p')) && 
+             (strcmp(argv[argc-1] , "&" ) == 0) )     // no place, background, 0 to 4 args
+    {
+        cmd_ok     = 1;
+        background = 1;
+        place      = 0;
+        arg[0]     = (argc > 3) ? argv[2] : undef;
+        arg[1]     = (argc > 4) ? argv[3] : undef;
+        arg[2]     = (argc > 5) ? argv[4] : undef;
+        arg[3]     = (argc > 6) ? argv[5] : undef;
+        args_nr    = argc - 3;
+    }
+    else if( (argc >= 3) && (argc <= 6 ) )     // no place, no background, 0 to 4 args
+    {
+        cmd_ok     = 1;
+        background = 0;
+        place      = 0;
+        arg[0]     = (argc > 2) ? argv[2] : undef;
+        arg[1]     = (argc > 3) ? argv[3] : undef;
+        arg[2]     = (argc > 4) ? argv[4] : undef;
+        arg[3]     = (argc > 5) ? argv[5] : undef;
+        args_nr    = argc - 2;
+    }
+    else                                    // illegal optional arguments
+    {
+        cmd_ok = 0;
+        background = 0;
+        place      = 0;
+        arg[0]     = undef;
+        arg[1]     = undef;
+        arg[2]     = undef;
+        arg[3]     = undef;
+        args_nr    = 0;
+    }
+
+    // check syntax errors
+    if( cmd_ok == 0 )
+    {
+        printf("  usage: load elf_path [-pcxy] [arg0] [arg1] [arg2] [arg3] [&]\n");
+
+        // release semaphore to get next command
+        sem_post( &semaphore );
+
+        return;
+    }
+
+    // get elf_path
+    strcpy( elf_path , argv[1] );
 
 #if DEBUG_CMD_LOAD
-snprintf( string , 128 , "[ksh] enter %s" , __FUNCTION__);
-display_string( string );
-#endif
-
-        if( (argc < 2) || (argc > 4) )  
-    {
-                printf("  usage: %s pathname [cxy] [&]\n", argv[0] );
-        }
-    else
-    {
-            strcpy( pathname , argv[1] );
-
-        if( argc == 2 )
-        {
-            background = 0;
-            placement  = 0;
-            cxy        = 0;
-        }
-        else if( argc == 3 )
-        {
-            if( (argv[2][0] == '&') && (argv[2][1] == 0) )
-            {
-                background = 1;
-                placement  = 0;
-                cxy        = 0;
-            }
-            else 
-            {
-                background = 0;
-                placement  = 1;
-                cxy        = atoi( argv[2] );
-            }
-        }
-        else  // argc == 4
-        { 
-            background = ( (argv[3][0] == '&') && (argv[3][1] == 0) );
-            placement  = 1;
-            cxy        = atoi( argv[2] );
-        }
-
-        // get KSH process PID
-        ksh_pid = getpid();
+printf("\n[ksh] %s : path <%s> / place %x / args_nr %d / bg %d\n"
+"                 arg0 %s / arg1 %s / arg2 %s / arg3 %s\n",
+__FUNCTION__, elf_path , place , args_nr , background , arg[0] , arg[1] , arg[2] , arg[3] );
+#endif
+
+    // set NULL pointers in args[] array
+    if     ( arg[0] == undef ) arg[0] = NULL;
+    else if( arg[1] == undef ) arg[1] = NULL;
+    else if( arg[2] == undef ) arg[2] = NULL;
+    else if( arg[3] == undef ) arg[3] = NULL;
+    else                       arg[4] = NULL;
+
+    // set target cluster if required
+    if( place ) place_fork( place & 0xFFFF );
+
+    // KSH process fork CHILD process
+        ret_fork = fork();
+
+    if ( ret_fork < 0 )     // it is a failure reported to KSH
+    {
+        printf("  error: ksh process unable to fork\n");
+    }
+    else if (ret_fork == 0) // it is the CHILD process 
+    {
 
 #if DEBUG_CMD_LOAD
-snprintf( string , 128 , "[ksh] %s : <%s> / bg %d / place %d / cxy %x",
-__FUNCTION__, argv[1], background, placement, cxy );
-display_string( string );
-#endif
-
-        // set target cluster if required
-        if( placement ) place_fork( cxy );
-
-        // KSH process fork CHILD process
-            ret_fork = fork();
-
-        if ( ret_fork < 0 )     // it is a failure reported to KSH
-        {
-            printf("  error: ksh process unable to fork\n");
-        }
-        else if (ret_fork == 0) // it is the CHILD process 
-        {
+printf("\n[ksh] %s : child (pid %x) after fork, before exec\n",
+ __FUNCTION__ , getpid() );
+#endif
+
+        // CHILD process exec NEW process
+        ret_exec = execve( elf_path , arg , NULL );
 
 #if DEBUG_CMD_LOAD
-snprintf( string , 128 , "[ksh] %s : child (%x) after fork, before exec",
-__FUNCTION__ , getpid() );
-display_string( string );
-#endif
-
-            // CHILD process exec NEW process
-            ret_exec = execve( pathname , NULL , NULL );
+printf("\n[ksh] %s : child (pid %x) after exec / ret_exec %x\n",
+ __FUNCTION__, getpid(), ret_exec );
+#endif
+
+        // this is only executed in case of exec failure
+        if( ret_exec )
+        {
+            printf("  error: child process unable to exec <%s>\n", pathname );
+            exit( 0 );
+        }   
+        } 
+    else                    // it is the KSH process : ret_fork is the new process PID
+    {
 
 #if DEBUG_CMD_LOAD
-snprintf( string , 128 , "[ksh] %s : child (%x) after exec / ret_exec %x",
-__FUNCTION__ , getpid(), ret_exec );
-display_string( string );
-#endif
-
-            // this is only executed in case of exec failure
-            if( ret_exec )
-            {
-                printf("  error: child process unable to exec <%s>\n", pathname );
-                exit( 0 );
-            }   
-            } 
-        else                    // it is the KSH process : ret_fork is the new process PID
-        {
-
-#if DEBUG_CMD_LOAD
-snprintf( string , 128 , "[ksh] %s : ksh (%x) after fork / ret_fork %x",
-__FUNCTION__, getpid(), ret_fork );
-display_string( string );
-#endif
-            // when the new process is launched in background, the KSH process 
-            // takes the TXT ownership, and release the semaphore to get the next command.
-            // Otherwise, the child process keep the TXT ownership, and the semaphore will
-            // be released by the KSH main thread when the child process exit
-
-            if( background )    //  KSH must keep TXT ownership
-            {
-                // get back the TXT ownership
-                fg( ksh_pid );
-
-                // release semaphore to get next command
-                sem_post( &semaphore );
-            }
+printf("\n[ksh] %s : ksh (pid %x) after fork / ret_fork %x\n",
+ __FUNCTION__, getpid(), ret_fork );
+#endif
+        // when the new process is launched in background, the KSH process 
+        // takes the TXT ownership, and releases the semaphore to get the next command.
+        // Otherwise, the child process keep the TXT ownership, and the semaphore will
+        // be released by the KSH main thread when the child process exit
+
+        if( background )    //  KSH must keep TXT ownership
+        {
+            // KSH get back the TXT ownership
+            fg( getpid() );
+
+            // release semaphore to get next command
+            sem_post( &semaphore );
         }
     }
 }   // end cmd_load
-
-/////////////////////////////////////////////
-static void cmd_log( int argc , char **argv )
-{
-        unsigned int i;
-
-        if (argc != 1)
-    {
-                printf("  usage: %s\n", argv[0], argc ); 
-        }
-    else
-    {
-            printf("--- registered commands ---\n");
-            for (i = 0; i < LOG_DEPTH; i++) 
-        {
-                    printf(" - %d\t: %s\n", i, &log_entries[i].buf);
-            }
-    }
-
-    // release semaphore to get next command
-    sem_post( &semaphore );
-
-} // end cmd_log()
-
 
 ////////////////////////////////////////////
@@ -856 +933 @@
 
 #if DEBUG_CMD_LS
-snprintf( string , 128 , "[ksh] enter %s" , __FUNCTION__);
-display_string( string );
+printf("\n[ksh] enter %s" , __FUNCTION__);
 #endif
 
@@ -876 +952 @@
 
 #if DEBUG_CMD_LS
-snprintf( string , 128 , "[ksh] %s : directory <%s> open / DIR %x",
-__FUNCTION__, pathname , dir );
-display_string( string );
+printf("\n[ksh] %s : directory <%s> open / DIR %x", __FUNCTION__, pathname , dir );
 #endif
 
@@ -899 +973 @@
 
 #if DEBUG_CMD_LS
-snprintf( string , 128 , "[ksh] %s : directory <%s> closed",
-__FUNCTION__, pathname );
-display_string( string );
+printf("\n[ksh] %s : directory <%s> closed", __FUNCTION__, pathname );
 #endif
 
@@ -964 +1036 @@
 
 #if DEBUG_CMD_PS
-snprintf( string , 128 , "[ksh] enter %s" , __FUNCTION__);
-display_string( string );
-#endif
-
-        if (argc != 1)
-    {
-                printf("  usage: %s\n", argv[0]);
+printf("\n[ksh] enter %s" , __FUNCTION__);
+#endif
+
+        if( (argc != 1) || (argv[0] == NULL) ) 
+    {
+                printf("  usage: ps\n");
         }
     else
@@ -987 +1058 @@
 
 #if DEBUG_CMD_PS
-snprintf( string , 128 , "\n[ksh] %s : call display_cluster_process()", __FUNCTION__ );
-display_string( string );
+printf("\n[ksh] %s : call display_cluster_process()", __FUNCTION__ );
 #endif
 
@@ -1005 +1075 @@
 static void cmd_pwd( int argc , char **argv )
 {
-        if (argc != 1)
-    {
-                printf("  usage: %s\n", argv[0]);
+        if( (argc != 1) || (argv[0] == NULL) ) 
+    {
+                printf("  usage: pwd\n");
         }
     else 
@@ -1031 +1101 @@
         if (argc != 2)
     {
-                printf("  usage: %s pathname\n", argv[0]);
+                printf("  usage: rm pathname\n");
         }
     else
@@ -1056 +1126 @@
         if (argc != 2)
     {
-                printf("  usage: %s pathname\n", argv[0]);
+                printf("  usage: stat pathname\n");
         }
     else
@@ -1084 +1154 @@
 static void cmd_rmdir( int argc , char **argv )
 {
-    // same as cmd_rm()
-        cmd_rm (argc , argv );
-}
+        if (argc != 2)
+    {
+                printf("  usage: rmdir pathname\n");
+        }
+    else
+    {
+            strcpy( pathname , argv[1] );
+
+        if ( unlink( pathname ) )
+        {
+                    printf("  error: unable to remove <%s>\n", pathname );
+            }
+    }
+
+    // release semaphore to get next command
+    sem_post( &semaphore );
+
+}  // end cmd_rmdir()
 
 ///////////////////////////////////////////////
@@ -1153 +1238 @@
         { "load",    "load an user application",                        cmd_load    },
         { "help",    "list available commands",                         cmd_help    },
+        { "history", "list registered commands",                        cmd_history },
         { "kill",    "kill a process (all threads)",                    cmd_kill    },
-        { "log",     "list registered commands",                        cmd_log     },
         { "ls",      "list directory entries",                          cmd_ls      },
         { "mkdir",   "create a new directory",                          cmd_mkdir   },
@@ -1179 +1264 @@
 
 #if DEBUG_EXECUTE
-snprintf( string , 128 , "[ksh] enter %s for command <%s>" , __FUNCTION__ , buf );
-display_string( string );
-#endif
-
-        // build argc/argv
+printf("\n[ksh] enter %s for command <%s>" , __FUNCTION__ , buf );
+#endif
+
+        // build argc/argv : 
+    // arg[0] is the command type
+    // - other arg[i] are the command arguments 
+
         for (i = 0; i < len; i++) 
     {
@@ -1209 +1296 @@
 
 #if DEBUG_EXECUTE
-snprintf( string , 128 , "\n[ksh] in %s : argc = %d / arg0 = %s / arg1 = %s",
-__FUNCTION__ , argc , argv[0], argv[1] );
+printf("\n[ksh] in %s : argc = %d / type = %s", __FUNCTION__ , argc , argv[0] );
 #endif
 
@@ -1245 +1331 @@
         unsigned int   state;                   // escape sequence state
 
-        char           cmd[CMD_MAX_SIZE];               // buffer for one command
 
 /*  direct command to help debug
 
-    int pid = getpid();
-
-    if( pid == 3 )
+    if( getpid() == 2 )
     {
         if( sem_wait( &semaphore ) )
@@ -1260 +1343 @@
         else
         {
-            strcpy( cmd , "load bin/user/tcp_server.elf" );
+            strcpy( cmd , "load bin/user/chat.elf 0" );
             printf("[ksh] %s\n", cmd );
             execute( cmd );
         }
     }
-    else if( getpid() == 4 )
+
+    else if( getpid() == 3 )
     {
         if( sem_wait( &semaphore ) )
@@ -1274 +1358 @@
         else
         {
-            strcpy( cmd , "load bin/user/tcp_client.elf" );
+            strcpy( cmd , "load bin/user/chat.elf 1" );
             printf("[ksh] %s\n", cmd );
             execute( cmd );
@@ -1281 +1365 @@
 
 */
-
 
         enum fsm_states 
@@ -1318 +1401 @@
             state       = NORMAL;
         end_command = 0;
-
-#if DEBUG_INTER 
-snprintf( string , 128 , "[ksh] %s : request a new command", __FUNCTION__ );
-display_string( string );
-#endif
 
         // internal loop on characters in one command
@@ -1349 +1427 @@
                                             cmd[count] = 0;
                         count++;
-#if DEBUG_INTER
-snprintf( string , 128 , "[ksh] %s : get command <%s>", __FUNCTION__, cmd );
-display_string( string );
-#endif
+
                         // register command in log_entries[] array
                                             strncpy( log_entries[ptw].buf , cmd , count );
@@ -1359 +1434 @@
                                             ptr = ptw;
 
-#if DEBUG_INTER
-snprintf( string , 128 , "[ksh] %s : execute <%s>", __FUNCTION__, cmd );
-display_string( string );
-#endif
                         // echo character
                         putchar( c );
@@ -1479 +1550 @@
                 }  // end internal while loop on characters
 
-#if DEBUG_INTER 
-snprintf( string , 128 , "\n[ksh] %s : complete <%s> command", __FUNCTION__, cmd );
-display_string( string );
-#endif
-
         // block interactive thread if KSH loose TXT ownership
         if ( sem_wait( &semaphore ) )
@@ -1518 +1584 @@
 
 #if DEBUG_MAIN
-snprintf( string , 128 , "\n[ksh] main thread started on core[%x,%d]", cxy , lid ); 
-display_string( string );
+printf("\n[ksh] main started on core[%x,%d]", cxy , lid ); 
 #endif
     
@@ -1530 +1595 @@
 
 #if DEBUG_MAIN
-snprintf( string , 128 , "\n[ksh] main initialized semaphore" ); 
-display_string( string );
+printf("\n[ksh] main initialized semaphore" ); 
 #endif
     
@@ -1544 +1608 @@
                     NULL ); 
 #if DEBUG_MAIN
-snprintf( string , 128 , "\n[ksh] main thread launched interactive thread %x", trdid ); 
-display_string( string );
+printf("\n[ksh] main thread launched interactive thread %x", trdid ); 
 #endif