refactor: Optimize the signal context overhead

[lunaix-os.git] / lunaix-os / includes / lunaix / process.h

diff --git a/lunaix-os/includes/lunaix/process.h b/lunaix-os/includes/lunaix/process.h
index 76ecaccf0b2884deb0460a345006aae62a7fb69b..7d385a472d899283bb2773cc581513245df4df1e 100644 (file)
--- a/lunaix-os/includes/lunaix/process.h
+++ b/lunaix-os/includes/lunaix/process.h
@@ -1,84 +1,198 @@
 #ifndef __LUNAIX_PROCESS_H
 #define __LUNAIX_PROCESS_H
 
 #ifndef __LUNAIX_PROCESS_H
 #define __LUNAIX_PROCESS_H
 

-#include <stdint.h>

 #include <arch/x86/interrupts.h>
 #include <arch/x86/interrupts.h>

-#include <lunaix/mm/mm.h>
-#include <lunaix/types.h>

 #include <lunaix/clock.h>
 #include <lunaix/clock.h>

+#include <lunaix/ds/waitq.h>
+#include <lunaix/fs.h>
+#include <lunaix/mm/mm.h>
+#include <lunaix/mm/region.h>
+#include <lunaix/signal.h>

 #include <lunaix/timer.h>
 #include <lunaix/timer.h>

+#include <lunaix/types.h>
+#include <stdint.h>

 
 // 虽然内核不是进程，但为了区分，这里使用Pid=-1来指代内核。这主要是方便物理页所有权检查。
 #define KERNEL_PID -1
 
 
 // 虽然内核不是进程，但为了区分，这里使用Pid=-1来指代内核。这主要是方便物理页所有权检查。
 #define KERNEL_PID -1
 

-#define PROC_STOPPED 0
-#define PROC_RUNNING 1
-#define PROC_TERMNAT 2
-#define PROC_DESTROY 4
-#define PROC_BLOCKED 8
-#define PROC_CREATED 16
-
-#define PROC_TERMMASK 0x6
-
+/*
+    |C|Bk|De|Tn|Pu|Rn|
+         \----/
+            Dt
+
+    Group Dt: whether this process is terminated.
+
+    Rn: Running
+    Tn: Terminated
+    De: Destoryed
+    Pu: Paused
+    Bk: Blocked
+    C : Created
+*/
+
+#define PS_READY 0
+#define PS_RUNNING 1
+#define PS_TERMNAT 2
+#define PS_DESTROY 4
+#define PS_PAUSED 8
+#define PS_BLOCKED 16
+#define PS_CREATED 32
+
+#define PS_GrBP (PS_PAUSED | PS_BLOCKED)
+#define PS_GrDT (PS_TERMNAT | PS_DESTROY)
+
+#define proc_terminated(proc) (((proc)->state) & PS_GrDT)
+#define proc_hanged(proc) (((proc)->state) & PS_BLOCKED)
+#define proc_runnable(proc) (((proc)->state) & PS_PAUSED)
+
+#define PROC_FINPAUSE 1
+
+struct sigact
+{
+    struct sigact* prev;
+    sigset_t sa_mask;
+    void* sa_actor;
+    void* sa_handler;
+    pid_t sender;
+};

 
 

-struct proc_mm {
-    heap_context_t u_heap;
-    struct mm_region* regions;
+struct sighail
+{
+    sigset_t sig_pending;
+    sigset_t sig_mask;
+    struct sigact* inprogress;
+    struct sigact signals[_SIG_NUM];

 };
 
 };
 

-struct proc_info {
-    pid_t pid;
-    struct proc_info* parent;
-    isr_param intr_ctx;
+struct proc_sig
+{
+    int sig_num;
+    void* sigact;
+    void* sighand;
+    isr_param* saved_ictx;
+} __attribute__((packed));
+
+struct proc_info
+{
+    /*
+        Any change to *critical section*, including layout, size
+        must be reflected in kernel/asm/x86/interrupt.S to avoid
+        disaster!
+     */
+
+    /* ---- critical section start ---- */
+
+    pid_t pid;                // offset = 0
+    struct proc_info* parent; // offset = 4
+    isr_param* intr_ctx;      // offset = 8
+    ptr_t ustack_top;         // offset = 84 -> 56 -> 60 -> 12
+    ptr_t page_table;         // offset = 88 -> 60 -> 64 -> 16
+
+    /* ---- critical section end ---- */
+
+    struct llist_header tasks;

     struct llist_header siblings;
     struct llist_header children;
     struct llist_header siblings;
     struct llist_header children;

+    struct llist_header grp_member;
+    waitq_t waitqueue;
+
+    struct
+    {
+        struct llist_header sleepers;
+        time_t wakeup_time;
+        time_t alarm_time;
+    } sleep;
+

     struct proc_mm mm;
     struct proc_mm mm;

-    void* page_table;

     time_t created;
     time_t created;

-    uint8_t state;
+    u8_t state;

     int32_t exit_code;
     int32_t k_status;
     int32_t exit_code;
     int32_t k_status;

-    struct lx_timer* timer;
+    int flags;
+    struct sighail sigctx;
+    struct v_fdtable* fdtable;
+    struct v_dnode* cwd;
+    pid_t pgid;

 };
 
 extern volatile struct proc_info* __current;
 
 };
 
 extern volatile struct proc_info* __current;
 

+static inline void
+block_current()
+{
+    __current->state = PS_BLOCKED;
+}
+
+static inline void
+pause_current()
+{
+    __current->state = PS_PAUSED;
+}

 
 

-pid_t alloc_pid();
+static inline void
+resume_current()
+{
+    __current->state = PS_RUNNING;
+}

 
 

-void init_proc(struct proc_info *pcb);
+/**
+ * @brief 分配并初始化一个进程控制块
+ *
+ * @return struct proc_info*
+ */
+struct proc_info*
+alloc_process();
+
+/**
+ * @brief 初始化进程用户空间
+ *
+ * @param pcb
+ */
+void
+init_proc_user_space(struct proc_info* pcb);

 
 /**
  * @brief 向系统发布一个进程，使其可以被调度。
 
 /**
  * @brief 向系统发布一个进程，使其可以被调度。

- * 
- * @param process 
+ *
+ * @param process

  */
  */

-void push_process(struct proc_info* process);
+void
+commit_process(struct proc_info* process);

 
 

-pid_t destroy_process(pid_t pid);
+pid_t
+destroy_process(pid_t pid);

 
 

-void setup_proc_mem(struct proc_info* proc, uintptr_t kstack_from);
+void
+copy_kernel_stack(struct proc_info* proc, ptr_t kstack_from);

 
 /**
  * @brief 复制当前进程（LunaixOS的类 fork (unix) 实现）
 
 /**
  * @brief 复制当前进程（LunaixOS的类 fork (unix) 实现）

- * 
+ *

  */
  */

-pid_t dup_proc();
+pid_t
+dup_proc();

 
 /**
  * @brief 创建新进程（LunaixOS的类 CreateProcess (Windows) 实现）
 
 /**
  * @brief 创建新进程（LunaixOS的类 CreateProcess (Windows) 实现）

- * 
+ *

  */
  */

-void new_proc();
+void
+new_proc();

 
 /**
  * @brief 终止（退出）当前进程
 
 /**
  * @brief 终止（退出）当前进程

- * 
+ *

  */
  */

-void terminate_proc(int exit_code);
+void
+terminate_proc(int exit_code);
+
+int
+orphaned_proc(pid_t pid);

 
 

-int orphaned_proc(pid_t pid);
+struct proc_info*
+get_process(pid_t pid);

 
 

-struct proc_info* get_process(pid_t pid);
+void
+proc_setsignal(struct proc_info* proc, int signum);

 
 #endif /* __LUNAIX_PROCESS_H */
 
 #endif /* __LUNAIX_PROCESS_H */