refactor: full rewrite of signal feature

[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 efa11666674b9602bdc07100d8bd6bc35fe2896b..a8ac5d84c19e85aa48aa15341c07c7957a361526 100644 (file)
--- a/lunaix-os/includes/lunaix/process.h
+++ b/lunaix-os/includes/lunaix/process.h
@@ -1,74 +1,205 @@
 #ifndef __LUNAIX_PROCESS_H
 #define __LUNAIX_PROCESS_H
 
-#include <stdint.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/region.h>
+#include <lunaix/signal.h>
+#include <lunaix/timer.h>
 #include <lunaix/types.h>
-#include <lunaix/clock.h>
+#include <stdint.h>
 
 // 虽然内核不是进程，但为了区分，这里使用Pid=-1来指代内核。这主要是方便物理页所有权检查。
 #define KERNEL_PID -1
 
-#define PROC_CREATED 0
-#define PROC_RUNNING 1
-#define PROC_STOPPED 2
-#define PROC_TERMNAT 3
-#define PROC_DESTROY 4
+/*
+    |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(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 proc_mm {
-    heap_context_t u_heap;
-    struct mm_region* region;
+struct sighail
+{
+    sigset_t sig_pending;
+    sigset_t sig_mask;
+    struct sigact* inprogress;
+    struct sigact signals[_SIG_NUM];
 };
 
-struct proc_info {
-    pid_t pid;
-    pid_t parent;
-    isr_param intr_ctx;
+struct proc_sig
+{
+    int sig_num;
+    void* sigact;
+    void* sighand;
+    struct proc_sigstate prev_context;
+} __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
+    ptr_t page_table;         // offset = 88 -> 60 -> 64
+    void* fxstate;            // offset = 92 -> 64 -> 68
+
+    /* ---- critical section end ---- */
+
+    struct llist_header tasks;
+    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;
-    void* page_table;
     time_t created;
-    time_t parent_created;
-    uint8_t state;
+    u8_t state;
     int32_t exit_code;
     int32_t k_status;
+    int flags;
+    struct sighail sigctx;
+    struct v_fdtable* fdtable;
+    struct v_dnode* cwd;
+    pid_t pgid;
 };
 
-extern 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;
+}
+
+/**
+ * @brief 分配并初始化一个进程控制块
+ *
+ * @return struct proc_info*
+ */
+struct proc_info*
+alloc_process();
+
+/**
+ * @brief 初始化进程用户空间
+ *
+ * @param pcb
+ */
+void
+init_proc_user_space(struct proc_info* pcb);
 
 /**
  * @brief 向系统发布一个进程，使其可以被调度。
- * 
- * @param process 
+ *
+ * @param process
  */
-void push_process(struct proc_info* process);
+void
+commit_process(struct proc_info* process);
 
-void destroy_process(pid_t pid);
+pid_t
+destroy_process(pid_t pid);
 
-void* dup_pagetable(pid_t pid);
+void
+setup_proc_mem(struct proc_info* proc, ptr_t kstack_from);
 
 /**
  * @brief 复制当前进程（LunaixOS的类 fork (unix) 实现）
- * 
+ *
  */
-void dup_proc();
+pid_t
+dup_proc();
 
 /**
  * @brief 创建新进程（LunaixOS的类 CreateProcess (Windows) 实现）
- * 
+ *
  */
-void new_proc();
+void
+new_proc();
 
 /**
  * @brief 终止（退出）当前进程
- * 
+ *
  */
-void terminate_process(int exit_code);
+void
+terminate_proc(int exit_code);
+
+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 */