2 76193d7c 2003-09-30 devnull * Some notes on locking:
4 76193d7c 2003-09-30 devnull * All the locking woes come from implementing
5 76193d7c 2003-09-30 devnull * threadinterrupt (and threadkill).
7 76193d7c 2003-09-30 devnull * _threadgetproc()->thread is always a live pointer.
8 76193d7c 2003-09-30 devnull * p->threads, p->ready, and _threadrgrp also contain
9 76193d7c 2003-09-30 devnull * live thread pointers. These may only be consulted
10 76193d7c 2003-09-30 devnull * while holding p->lock or _threadrgrp.lock; in procs
11 76193d7c 2003-09-30 devnull * other than p, the pointers are only guaranteed to be live
12 76193d7c 2003-09-30 devnull * while the lock is still being held.
14 76193d7c 2003-09-30 devnull * Thread structures can only be freed by the proc
15 76193d7c 2003-09-30 devnull * they belong to. Threads marked with t->inrendez
16 76193d7c 2003-09-30 devnull * need to be extracted from the _threadrgrp before
17 76193d7c 2003-09-30 devnull * being freed.
19 76193d7c 2003-09-30 devnull * _threadrgrp.lock cannot be acquired while holding p->lock.
22 76193d7c 2003-09-30 devnull #include <assert.h>
23 76193d7c 2003-09-30 devnull #include <lib9.h>
24 76193d7c 2003-09-30 devnull #include <thread.h>
25 76193d7c 2003-09-30 devnull #include "label.h"
27 76193d7c 2003-09-30 devnull typedef struct Thread Thread;
28 76193d7c 2003-09-30 devnull typedef struct Proc Proc;
29 76193d7c 2003-09-30 devnull typedef struct Tqueue Tqueue;
30 76193d7c 2003-09-30 devnull typedef struct Pqueue Pqueue;
31 76193d7c 2003-09-30 devnull typedef struct Rgrp Rgrp;
32 76193d7c 2003-09-30 devnull typedef struct Execargs Execargs;
34 76193d7c 2003-09-30 devnull /* must match list in sched.c */
35 76193d7c 2003-09-30 devnull typedef enum
40 76193d7c 2003-09-30 devnull Rendezvous,
43 76193d7c 2003-09-30 devnull typedef enum
45 76193d7c 2003-09-30 devnull Channone,
47 76193d7c 2003-09-30 devnull Chansend,
48 76193d7c 2003-09-30 devnull Chanrecv,
49 76193d7c 2003-09-30 devnull } Chanstate;
53 76193d7c 2003-09-30 devnull RENDHASH = 10009,
54 76193d7c 2003-09-30 devnull Printsize = 2048,
55 76193d7c 2003-09-30 devnull NPRIV = 8,
58 76193d7c 2003-09-30 devnull struct Rgrp
60 76193d7c 2003-09-30 devnull Lock lock;
61 76193d7c 2003-09-30 devnull Thread *hash[RENDHASH];
64 76193d7c 2003-09-30 devnull struct Tqueue /* Thread queue */
66 76193d7c 2003-09-30 devnull int asleep;
67 76193d7c 2003-09-30 devnull Thread *head;
68 76193d7c 2003-09-30 devnull Thread *tail;
71 76193d7c 2003-09-30 devnull struct Thread
73 76193d7c 2003-09-30 devnull Lock lock; /* protects thread data structure */
74 76193d7c 2003-09-30 devnull Label sched; /* for context switches */
75 76193d7c 2003-09-30 devnull int id; /* thread id */
76 76193d7c 2003-09-30 devnull int grp; /* thread group */
77 76193d7c 2003-09-30 devnull int moribund; /* thread needs to die */
78 76193d7c 2003-09-30 devnull State state; /* run state */
79 76193d7c 2003-09-30 devnull State nextstate; /* next run state */
80 76193d7c 2003-09-30 devnull uchar *stk; /* top of stack (lowest address of stack) */
81 76193d7c 2003-09-30 devnull uint stksize; /* stack size */
82 76193d7c 2003-09-30 devnull Thread *next; /* next on ready queue */
84 76193d7c 2003-09-30 devnull Proc *proc; /* proc of this thread */
85 76193d7c 2003-09-30 devnull Thread *nextt; /* next on list of threads in this proc */
86 76193d7c 2003-09-30 devnull Thread *prevt; /* prev on list of threads in this proc */
87 76193d7c 2003-09-30 devnull int ret; /* return value for Exec, Fork */
89 76193d7c 2003-09-30 devnull char *cmdname; /* ptr to name of thread */
91 76193d7c 2003-09-30 devnull int inrendez;
92 76193d7c 2003-09-30 devnull Thread *rendhash; /* Trgrp linked list */
93 76193d7c 2003-09-30 devnull ulong rendtag; /* rendezvous tag */
94 76193d7c 2003-09-30 devnull ulong rendval; /* rendezvous value */
95 76193d7c 2003-09-30 devnull int rendbreak; /* rendezvous has been taken */
97 76193d7c 2003-09-30 devnull Chanstate chan; /* which channel operation is current */
98 76193d7c 2003-09-30 devnull Alt *alt; /* pointer to current alt structure (debugging) */
100 76193d7c 2003-09-30 devnull void* udata[NPRIV]; /* User per-thread data pointer */
103 76193d7c 2003-09-30 devnull struct Execargs
105 76193d7c 2003-09-30 devnull char *prog;
106 76193d7c 2003-09-30 devnull char **args;
107 76193d7c 2003-09-30 devnull int fd[2];
110 76193d7c 2003-09-30 devnull struct Proc
112 76193d7c 2003-09-30 devnull Lock lock;
113 76193d7c 2003-09-30 devnull Label sched; /* for context switches */
114 76193d7c 2003-09-30 devnull Proc *link; /* in proctab */
115 76193d7c 2003-09-30 devnull int pid; /* process id */
116 76193d7c 2003-09-30 devnull int splhi; /* delay notes */
117 76193d7c 2003-09-30 devnull Thread *thread; /* running thread */
119 76193d7c 2003-09-30 devnull int needexec;
120 76193d7c 2003-09-30 devnull Execargs exec; /* exec argument */
121 76193d7c 2003-09-30 devnull Proc *newproc; /* fork argument */
122 76193d7c 2003-09-30 devnull char exitstr[ERRMAX]; /* exit status */
124 76193d7c 2003-09-30 devnull int rforkflag;
125 76193d7c 2003-09-30 devnull int nthreads;
126 76193d7c 2003-09-30 devnull Tqueue threads; /* All threads of this proc */
127 76193d7c 2003-09-30 devnull Tqueue ready; /* Runnable threads */
128 76193d7c 2003-09-30 devnull Lock readylock;
130 76193d7c 2003-09-30 devnull char printbuf[Printsize];
131 76193d7c 2003-09-30 devnull int blocked; /* In a rendezvous */
132 76193d7c 2003-09-30 devnull int pending; /* delayed note pending */
133 76193d7c 2003-09-30 devnull int nonotes; /* delay notes */
134 76193d7c 2003-09-30 devnull uint nextID; /* ID of most recently created thread */
135 76193d7c 2003-09-30 devnull Proc *next; /* linked list of Procs */
137 76193d7c 2003-09-30 devnull void *arg; /* passed between shared and unshared stk */
138 76193d7c 2003-09-30 devnull char str[ERRMAX]; /* used by threadexits to avoid malloc */
139 76193d7c 2003-09-30 devnull char errbuf[ERRMAX]; /* errstr */
141 76193d7c 2003-09-30 devnull void* udata; /* User per-proc data pointer */
144 76193d7c 2003-09-30 devnull struct Pqueue { /* Proc queue */
145 76193d7c 2003-09-30 devnull Lock lock;
146 76193d7c 2003-09-30 devnull Proc *head;
147 76193d7c 2003-09-30 devnull Proc **tail;
150 76193d7c 2003-09-30 devnull struct Ioproc
152 76193d7c 2003-09-30 devnull int tid;
153 76193d7c 2003-09-30 devnull Channel *c, *creply;
154 76193d7c 2003-09-30 devnull int inuse;
155 76193d7c 2003-09-30 devnull long (*op)(va_list*);
156 76193d7c 2003-09-30 devnull va_list arg;
157 76193d7c 2003-09-30 devnull long ret;
158 76193d7c 2003-09-30 devnull char err[ERRMAX];
159 76193d7c 2003-09-30 devnull Ioproc *next;
162 76193d7c 2003-09-30 devnull void _gotolabel(Label*);
163 76193d7c 2003-09-30 devnull int _setlabel(Label*);
164 76193d7c 2003-09-30 devnull void _freeproc(Proc*);
165 76193d7c 2003-09-30 devnull Proc* _newproc(void(*)(void*), void*, uint, char*, int, int);
166 76193d7c 2003-09-30 devnull int _procsplhi(void);
167 76193d7c 2003-09-30 devnull void _procsplx(int);
168 76193d7c 2003-09-30 devnull void _sched(void);
169 76193d7c 2003-09-30 devnull int _schedexec(Execargs*);
170 76193d7c 2003-09-30 devnull void _schedexecwait(void);
171 76193d7c 2003-09-30 devnull void _schedexit(Proc*);
172 76193d7c 2003-09-30 devnull int _schedfork(Proc*);
173 76193d7c 2003-09-30 devnull void _schedinit(void*);
174 76193d7c 2003-09-30 devnull void _systhreadinit(void);
175 76193d7c 2003-09-30 devnull void _threadassert(char*);
176 76193d7c 2003-09-30 devnull void _threadbreakrendez(void);
177 76193d7c 2003-09-30 devnull void __threaddebug(ulong, char*, ...);
178 76193d7c 2003-09-30 devnull #define _threaddebug if(!_threaddebuglevel){}else __threaddebug
179 76193d7c 2003-09-30 devnull void _threadexitsall(char*);
180 76193d7c 2003-09-30 devnull void _threadflagrendez(Thread*);
181 76193d7c 2003-09-30 devnull Proc* _threadgetproc(void);
182 76193d7c 2003-09-30 devnull Proc* _threaddelproc(void);
183 76193d7c 2003-09-30 devnull void _threadsetproc(Proc*);
184 76193d7c 2003-09-30 devnull void _threadinitstack(Thread*, void(*)(void*), void*);
185 76193d7c 2003-09-30 devnull void* _threadmalloc(long, int);
186 76193d7c 2003-09-30 devnull void _threadnote(void*, char*);
187 76193d7c 2003-09-30 devnull void _threadready(Thread*);
188 76193d7c 2003-09-30 devnull ulong _threadrendezvous(ulong, ulong);
189 76193d7c 2003-09-30 devnull void _threadsignal(void);
190 76193d7c 2003-09-30 devnull void _threadsysfatal(char*, va_list);
191 76193d7c 2003-09-30 devnull long _xdec(long*);
192 76193d7c 2003-09-30 devnull void _xinc(long*);
193 76193d7c 2003-09-30 devnull void _threadremove(Proc*, Thread*);
195 76193d7c 2003-09-30 devnull extern int _threaddebuglevel;
196 76193d7c 2003-09-30 devnull extern char* _threadexitsallstatus;
197 76193d7c 2003-09-30 devnull extern Pqueue _threadpq;
198 76193d7c 2003-09-30 devnull extern Channel* _threadwaitchan;
199 76193d7c 2003-09-30 devnull extern Rgrp _threadrgrp;
200 76193d7c 2003-09-30 devnull extern void _stackfree(void*);
202 76193d7c 2003-09-30 devnull #define DBGAPPL (1 << 0)
203 76193d7c 2003-09-30 devnull #define DBGSCHED (1 << 16)
204 76193d7c 2003-09-30 devnull #define DBGCHAN (1 << 17)
205 76193d7c 2003-09-30 devnull #define DBGREND (1 << 18)
206 76193d7c 2003-09-30 devnull /* #define DBGKILL (1 << 19) */
207 76193d7c 2003-09-30 devnull #define DBGNOTE (1 << 20)
208 76193d7c 2003-09-30 devnull #define DBGEXEC (1 << 21)
210 76193d7c 2003-09-30 devnull #define ioproc_arg(io, type) (va_arg((io)->arg, type))
211 76193d7c 2003-09-30 devnull extern int _threadgetpid(void);
212 76193d7c 2003-09-30 devnull extern void _threadmemset(void*, int, int);
213 76193d7c 2003-09-30 devnull extern void _threaddebugmemset(void*, int, int);
