Changeset 407 for trunk/kernel/kern/process.h

Timestamp:

Nov 7, 2017, 3:08:12 PM (6 years ago)

Author:

alain

Message:

First implementation of fork/exec.

File:

• trunk/kernel/kern/process.h (modified) (7 diffs)

trunk/kernel/kern/process.h

@@ -143 +143 @@
 {
     xptr_t             parent_xp;      /*! extended pointer on parent process descriptor    */
+    bool_t             keep_pid;       /*! keep parent PID if true / new PID if false       */
 
     char               path[CONFIG_VFS_MAX_PATH_LENGTH];   /*!  .elf file path              */
@@ -175 +176 @@
 /*********************************************************************************************
  * This function allocates memory and initializes the "process_init" descriptor and the
- * associated "thread_init" descriptor. It should be called once at the end of the kernel
- * initialisation procedure, by the kernel "process_zero".
+ * associated "thread_init" descriptor in the local cluster. It is called once at the end
+ * of the kernel initialisation procedure, by the local kernel process.
  * The "process_init" is the first user process, and all other user processes will be forked
  * from this process. The code executed by "process_init" is stored in a .elf file, whose
- * pathname is defined by the CONFIG_PROCESS_INIT_PATH argument. It uses fork/exec syscalls
- * to create the "shell" user process, and various other user daemon processes.
- * Practically, it builds the exec_info structure, registers the stdin / stdout / stderr
- * pseudo-file descriptors and the vfs_root and vfs_cwd in parent process_zero, and calls
- * the generic process_make_exec() function, that makes the real job.
+ * pathname is defined by the CONFIG_PROCESS_INIT_PATH argument. 
+ * Practically, it builds the exec_info structure, and calls the process_make_exec() 
+ * function, that make the real job.
  ********************************************************************************************/
 void process_init_create();
@@ -253 +252 @@
  * and the associated main thread, from information found in the <exec_info> structure
  * (defined in the process.h file), that must be built by the caller.
+ * - If the <keep_pid> field is true, the new process inherits its PID from the parent PID.
+ * - If the <keep_pid> field is false, a new PID is allocated from the local cluster manager.
  * The new process inherits from the parent process (i) the open file descriptors, (ii) the
  * vfs_root and the vfs_cwd inodes.
@@ -268 +269 @@
 
 
-/********************   Signal Management Operations   **************************************/
-
-/*********************************************************************************************
- * This function TODO [AG]
- ********************************************************************************************/
-void process_signal_handler( process_t * process );
-
-
 /********************   File Management Operations   ****************************************/
 
@@ -287 +280 @@
 /*********************************************************************************************
  * This function uses as many remote accesses as required, to reset an entry in fd_array[],
- * in all clusters containing a copy. The entry is identified by the <file_id> argument.
+ * in all clusters containing a copy. The entry is identified by the <fdid> argument.
  * This function must be executed by a thread running reference cluster, that contains
  * the complete list of process descriptors copies.
  *********************************************************************************************
  * @ process  : pointer on the local process descriptor.
- * @ file_id  : file descriptor index in the fd_array.
+ * @ fdid     : file descriptor index in the fd_array.
  ********************************************************************************************/
 void process_fd_remove( process_t * process,
-                        uint32_t    file_id );
+                        uint32_t    fdid );
 
 /*********************************************************************************************
@@ -306 +299 @@
  *********************************************************************************************
  * @ process  : pointer on the local process descriptor.
- * @ file_id  : file descriptor index in the fd_array.
+ * @ fdid     : file descriptor index in the fd_array.
  * @ return extended pointer on file descriptor if success / return XPTR_NULL if not found.
  ********************************************************************************************/
 xptr_t process_fd_get_xptr( process_t * process,
-                            uint32_t    file_id );
+                            uint32_t    fdid );
 
 /*********************************************************************************************
@@ -328 +321 @@
  *********************************************************************************************
  * @ file_xp  : extended pointer on the file descriptor to be registered.
- * @ file_id  : [out] buffer for fd_array slot index.
+ * @ fdid     : [out] buffer for fd_array slot index.
  * @ return 0 if success / return EMFILE if array full.
  ********************************************************************************************/
-error_t process_fd_register( xptr_t      file_xp,
-                             uint32_t  * file_id );
+error_t process_fd_register( process_t * process,
+                             xptr_t      file_xp,
+                             uint32_t  * fdid );
 
 /*********************************************************************************************