refactor: Optimize the context switch 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 32b74dff5397e2fe29ce13eab3ef89ea3191f317..bb55f0219c632897a8f6bfe4fc6e7d5a6d8a4745 100644 (file)
--- a/lunaix-os/includes/lunaix/process.h
+++ b/lunaix-os/includes/lunaix/process.h
@@ -3,7 +3,11 @@
 
 #include <arch/x86/interrupts.h>
 #include <lunaix/clock.h>
 
 #include <arch/x86/interrupts.h>
 #include <lunaix/clock.h>

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

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

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

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


@@ -11,46 +15,148 @@
 // 虽然内核不是进程，但为了区分，这里使用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
+/*
+    |C|Bk|De|Tn|Pu|Rn|
+         \----/
+            Dt

 
 

-#define PROC_TERMMASK 0x6
+    Group Dt: whether this process is terminated.

 
 

-struct proc_mm
+    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(state) ((state)&PS_GrDT)
+#define PROC_HANGED(state) ((state)&PS_BLOCKED)
+#define PROC_RUNNABLE(state) ((state)&PS_PAUSED)
+
+#define PROC_FINPAUSE 1
+
+struct proc_sigstate
+{
+    isr_param proc_regs;
+    char fxstate[512] __attribute__((aligned(16)));
+};
+
+struct sigact
+{
+    struct sigact* prev;
+    sigset_t sa_mask;
+    void* sa_actor;
+    void* sa_handler;
+    pid_t sender;
+};
+
+struct sighail

 {
 {

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

 };
 
 };
 

+struct proc_sig
+{
+    int sig_num;
+    void* sigact;
+    void* sighand;
+    struct proc_sigstate prev_context;
+} __attribute__((packed));
+

 struct proc_info
 {
 struct proc_info
 {

-    pid_t pid;
-    struct proc_info* parent;
-    isr_param intr_ctx;
+    /*
+        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
+    void* fxstate;            // offset = 92 -> 64 -> 68 -> 20
+
+    /* ---- critical section end ---- */
+
+    struct llist_header tasks;

     struct llist_header siblings;
     struct llist_header children;
     struct llist_header grp_member;
     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;

+    int flags;
+    struct sighail sigctx;
+    struct v_fdtable* fdtable;
+    struct v_dnode* cwd;

     pid_t pgid;
     pid_t pgid;

-    struct lx_timer* timer;

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

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

 
 

+static inline void
+resume_current()
+{
+    __current->state = PS_RUNNING;
+}
+
+/**
+ * @brief 分配并初始化一个进程控制块
+ *
+ * @return struct proc_info*
+ */
+struct proc_info*
+alloc_process();
+
+/**
+ * @brief 初始化进程用户空间
+ *
+ * @param pcb
+ */

 void
 void

-init_proc(struct proc_info* pcb);
+init_proc_user_space(struct proc_info* pcb);

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


@@ -58,13 +164,13 @@ init_proc(struct proc_info* pcb);
  * @param process
  */
 void
  * @param process
  */
 void

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

 
 pid_t
 destroy_process(pid_t pid);
 
 void
 
 pid_t
 destroy_process(pid_t pid);
 
 void

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

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


@@ -93,4 +199,7 @@ 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 */