Kthread poison checker
[akaros.git] / kern / include / kthread.h
1 /* Copyright (c) 2010 The Regents of the University of California
2  * Barret Rhoden <brho@cs.berkeley.edu>
3  * See LICENSE for details.
4  *
5  * Kernel threading.  These are for blocking within the kernel for whatever
6  * reason, usually during blocking IO operations.  Check out
7  * Documentation/kthreads.txt for more info than you care about. */
8
9 #ifndef ROS_KERN_KTHREAD_H
10 #define ROS_KERN_KTHREAD_H
11
12 #include <ros/common.h>
13 #include <trap.h>
14 #include <sys/queue.h>
15 #include <atomic.h>
16
17 struct proc;
18 struct kthread;
19 struct semaphore;
20 struct semaphore_entry;
21 TAILQ_HEAD(kthread_tailq, kthread);
22 LIST_HEAD(semaphore_list, semaphore_entry);
23
24
25 /* This captures the essence of a kernel context that we want to suspend.  When
26  * a kthread is running, we make sure its stacktop is the default kernel stack,
27  * meaning it will receive the interrupts from userspace. */
28 struct kthread {
29         struct kernel_ctx                       context;
30         uintptr_t                                       stacktop;
31         struct proc                                     *proc;
32         struct syscall                          *sysc;
33         void                                            *errbuf;        /* TODO: avoiding include loops */
34         TAILQ_ENTRY(kthread)            link;
35         /* ID, other shit, etc */
36 };
37
38 /* Semaphore for kthreads to sleep on.  0 or less means you need to sleep */
39 struct semaphore {
40         struct kthread_tailq            waiters;
41         int                                             nr_signals;
42         spinlock_t                                      lock;
43         bool                                            irq_okay;
44 };
45
46 struct cond_var {
47         struct semaphore                        sem;
48         spinlock_t                                      lock;
49         unsigned long                           nr_waiters;
50         bool                                            irq_okay;
51 };
52
53 /* TODO: consider building this into struct semaphore */
54 struct semaphore_entry {
55         struct semaphore sem;
56         int fd;
57         LIST_ENTRY(semaphore_entry) link;
58 };
59
60 void kthread_init(void);
61 void restart_kthread(struct kthread *kthread);
62 void kthread_runnable(struct kthread *kthread);
63 void kthread_yield(void);
64 /* Debugging */
65 void check_poison(char *msg);
66
67 void sem_init(struct semaphore *sem, int signals);
68 void sem_init_irqsave(struct semaphore *sem, int signals);
69 void sem_down(struct semaphore *sem);
70 bool sem_up(struct semaphore *sem);
71 void sem_down_irqsave(struct semaphore *sem, int8_t *irq_state);
72 bool sem_up_irqsave(struct semaphore *sem, int8_t *irq_state);
73
74 void cv_init(struct cond_var *cv);
75 void cv_init_irqsave(struct cond_var *cv);
76 void cv_lock(struct cond_var *cv);
77 void cv_unlock(struct cond_var *cv);
78 void cv_lock_irqsave(struct cond_var *cv, int8_t *irq_state);
79 void cv_unlock_irqsave(struct cond_var *cv, int8_t *irq_state);
80 void cv_wait_and_unlock(struct cond_var *cv);   /* does not mess with irqs */
81 void cv_wait(struct cond_var *cv);
82 void __cv_signal(struct cond_var *cv);
83 void __cv_broadcast(struct cond_var *cv);
84 void cv_signal(struct cond_var *cv);
85 void cv_broadcast(struct cond_var *cv);
86 void cv_signal_irqsave(struct cond_var *cv, int8_t *irq_state);
87 void cv_broadcast_irqsave(struct cond_var *cv, int8_t *irq_state);
88
89 #endif /* ROS_KERN_KTHREAD_H */