proc.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468
  1. /*
  2. * Copyright (c) 2013
  3. * The President and Fellows of Harvard College.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions
  7. * are met:
  8. * 1. Redistributions of source code must retain the above copyright
  9. * notice, this list of conditions and the following disclaimer.
  10. * 2. Redistributions in binary form must reproduce the above copyright
  11. * notice, this list of conditions and the following disclaimer in the
  12. * documentation and/or other materials provided with the distribution.
  13. * 3. Neither the name of the University nor the names of its contributors
  14. * may be used to endorse or promote products derived from this software
  15. * without specific prior written permission.
  16. *
  17. * THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY AND CONTRIBUTORS ``AS IS'' AND
  18. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  19. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  20. * ARE DISCLAIMED. IN NO EVENT SHALL THE UNIVERSITY OR CONTRIBUTORS BE LIABLE
  21. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  22. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  23. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  24. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  25. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  26. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  27. * SUCH DAMAGE.
  28. */
  29. /*
  30. * Process support.
  31. *
  32. * There is (intentionally) not much here; you will need to add stuff
  33. * and maybe change around what's already present.
  34. *
  35. * p_lock is intended to be held when manipulating the pointers in the
  36. * proc structure, not while doing any significant work with the
  37. * things they point to. Rearrange this (and/or change it to be a
  38. * regular lock) as needed.
  39. *
  40. * Unless you're implementing multithreaded user processes, the only
  41. * process that will have more than one thread is the kernel process.
  42. */
  43. #include <types.h>
  44. #include <proc.h>
  45. #include <current.h>
  46. #include <addrspace.h>
  47. #include <vnode.h>
  48. #include <vfs.h>
  49. #include <synch.h>
  50. #include <kern/fcntl.h>
  51. #include <list.h>
  52. #include <limits.h>
  53. #include <kern/errno.h>
  54. typedef struct list list;
  55. typedef struct procs procs;
  56. //The process for the kernel; this holds all the kernel-only threads.
  57. struct proc * kproc;
  58. // The process array
  59. procs * processes;
  60. // The lock for the above array
  61. struct lock * proclock;
  62. /*
  63. * Mechanism for making the kernel menu thread sleep while processes are running
  64. */
  65. #ifdef UW
  66. /* count of the number of processes, excluding kproc */
  67. static volatile unsigned int proc_count;
  68. /* provides mutual exclusion for proc_count */
  69. /* it would be better to use a lock here, but we use a semaphore because locks are not implemented in the base kernel */
  70. static struct semaphore * proc_count_mutex;
  71. /* used to signal the kernel menu thread when there are no processes */
  72. struct semaphore * no_proc_sem;
  73. #endif // UW
  74. /*
  75. * Create a proc structure.
  76. */
  77. static struct proc * proc_create(const char * name)
  78. {
  79. struct proc * proc;
  80. proc = kmalloc(sizeof(*proc));
  81. if (proc == NULL)
  82. {
  83. return NULL;
  84. }
  85. proc->p_name = kstrdup(name);
  86. if (proc->p_name == NULL)
  87. {
  88. kfree(proc);
  89. return NULL;
  90. }
  91. proc->kids = newlist();
  92. if (!(proc->kids))
  93. {
  94. kfree(proc);
  95. return NULL;
  96. }
  97. threadarray_init(&proc->p_threads);
  98. spinlock_init(&proc->p_lock);
  99. proc->waitlock = lock_create("threadlock");
  100. proc->waiting = cv_create("threadcv");
  101. /* VM fields */
  102. proc->p_addrspace = NULL;
  103. /* VFS fields */
  104. proc->p_cwd = NULL;
  105. #ifdef UW
  106. proc->console = NULL;
  107. #endif // UW
  108. // My additions
  109. proc->pid = 0;
  110. proc->parent = NULL;
  111. proc->exitcode = -1;
  112. return proc;
  113. }
  114. static procs * create_procs(void)
  115. {
  116. procs * temp = kmalloc(sizeof(procs));
  117. if (!(temp)) panic("Could not create process list!\n");
  118. temp->lastpid = PID_MIN - 1;
  119. return temp;
  120. }
  121. struct proc * getChild(struct proc * p, int pid)
  122. {
  123. lock_acquire(proclock);
  124. int result = listearch(p->kids, pid);
  125. lock_release(proclock);
  126. if (!(result)) return NULL;
  127. return processes->pids[pid];
  128. }
  129. int assignpid(struct proc * proc)
  130. {
  131. lock_acquire(proclock);
  132. for (int i = processes->lastpid + 1; i <= PID_MAX; i++)
  133. {
  134. if (processes->pids[i] == 0)
  135. {
  136. proc->pid = i;
  137. processes->lastpid = i;
  138. processes->pids[i] = proc;
  139. lock_release(proclock);
  140. return i;
  141. }
  142. if (i == PID_MAX)
  143. {
  144. i = PID_MIN - 1;
  145. continue;
  146. }
  147. if (i == processes->lastpid)
  148. {
  149. lock_release(proclock);
  150. return 0;
  151. }
  152. }
  153. lock_release(proclock);
  154. return 0;
  155. }
  156. void add_child(struct proc * parent, int pid)
  157. {
  158. listsert(parent->kids, pid);
  159. }
  160. /*
  161. static void delete_procs()
  162. {
  163. kfree(processes->pids);
  164. lock_destroy(proclock);
  165. }*/
  166. /*
  167. * Destroy a proc structure.
  168. */
  169. void proc_destroy(struct proc * proc)
  170. {
  171. KASSERT(proc != NULL);
  172. KASSERT(proc != kproc);
  173. /*
  174. * We don't take p_lock in here because we must have the only
  175. * reference to this structure. (Otherwise it would be
  176. * incorrect to destroy it.)
  177. */
  178. /* VFS fields */
  179. if (proc->p_cwd)
  180. {
  181. VOP_DECREF(proc->p_cwd);
  182. proc->p_cwd = NULL;
  183. }
  184. #ifndef UW // in the UW version, space destruction occurs in sys_exit, not here
  185. if (proc->p_addrspace)
  186. {
  187. /*
  188. * In case p is the currently running process (which
  189. * it might be in some circumstances, or if this code
  190. * gets moved into exit as suggested above), clear
  191. * p_addrspace before calling as_destroy. Otherwise if
  192. * as_destroy sleeps (which is quite possible) when we
  193. * come back we'll be calling as_activate on a
  194. * half-destroyed address space. This tends to be
  195. * messily fatal.
  196. */
  197. struct addrspace * as;
  198. as_deactivate();
  199. as = curproc_setas(NULL);
  200. as_destroy(as);
  201. }
  202. #endif // UW
  203. /*
  204. #ifdef UW
  205. if (proc->console)
  206. {
  207. vfs_close(proc->console);
  208. }
  209. #endif // UW */
  210. //threadarray_cleanup(&proc->p_threads);
  211. lock_acquire(proclock);
  212. processes->pids[proc->pid] = NULL; // update available PIDs
  213. lock_release(proclock);
  214. lock_destroy(proc->waitlock);
  215. cv_destroy(proc->waiting);
  216. kfree(proc->p_name);
  217. kfree(proc);
  218. #ifdef UW
  219. /* decrement the process count */
  220. /* note: kproc is not included as_copy in the process count, but proc_destroy
  221. is never called on kproc (see KASSERT above), so we're OK to decrement
  222. the proc_count unconditionally here */
  223. P(proc_count_mutex);
  224. KASSERT(proc_count > 0);
  225. proc_count--;
  226. /* signal the kernel menu thread if the process count has reached zero */
  227. if (proc_count == 0)
  228. {
  229. V(no_proc_sem);
  230. }
  231. V(proc_count_mutex);
  232. #endif // UW
  233. }
  234. /*
  235. * Create the process structure for the kernel.
  236. */
  237. void proc_bootstrap(void)
  238. {
  239. processes = create_procs();
  240. kproc = proc_create("[kernel]");
  241. if (kproc == NULL)
  242. {
  243. panic("proc_create for kproc failed\n");
  244. }
  245. #ifdef UW
  246. proc_count = 0;
  247. proc_count_mutex = sem_create("proc_count_mutex",1);
  248. if (proc_count_mutex == NULL)
  249. {
  250. panic("could not create proc_count_mutex semaphore\n");
  251. }
  252. no_proc_sem = sem_create("no_proc_sem",0);
  253. if (no_proc_sem == NULL)
  254. {
  255. panic("could not create no_proc_sem semaphore\n");
  256. }
  257. #endif // UW
  258. int processesLen = PID_MAX;
  259. for (int i = 0; i <= processesLen; i++)
  260. {
  261. processes->pids[i] = NULL;
  262. }
  263. proclock = lock_create("proclock");
  264. if (!(proclock)) panic("Process manager lock could not be created!\n");
  265. }
  266. /*
  267. * Create a fresh proc for use by runprogram.
  268. *
  269. * It will have no address space and will inherit the current
  270. * process's (that is, the kernel menu's) current directory.
  271. */
  272. struct proc * proc_create_runprogram(const char * name)
  273. {
  274. struct proc * proc;
  275. char * console_path;
  276. proc = proc_create(name);
  277. if (proc == NULL)
  278. {
  279. return NULL;
  280. }
  281. #ifdef UW
  282. /* open the console - this should always succeed */
  283. console_path = kstrdup("con:");
  284. if (console_path == NULL)
  285. {
  286. panic("unable to copy console path name during process creation\n");
  287. }
  288. if (vfs_open(console_path,O_WRONLY,0,&(proc->console)))
  289. {
  290. panic("unable to open the console during process creation\n");
  291. }
  292. kfree(console_path);
  293. #endif // UW
  294. /* VM fields */
  295. proc->p_addrspace = NULL;
  296. /* VFS fields */
  297. #ifdef UW
  298. /* we do not need to acquire the p_lock here, the running thread should
  299. have the only reference to this process */
  300. /* also, acquiring the p_lock is problematic because VOP_INCREF may block */
  301. if (curproc->p_cwd != NULL)
  302. {
  303. VOP_INCREF(curproc->p_cwd);
  304. proc->p_cwd = curproc->p_cwd;
  305. }
  306. #else // UW
  307. spinlock_acquire(&curproc->p_lock);
  308. if (curproc->p_cwd != NULL)
  309. {
  310. VOP_INCREF(curproc->p_cwd);
  311. proc->p_cwd = curproc->p_cwd;
  312. }
  313. spinlock_release(&curproc->p_lock);
  314. #endif // UW
  315. #ifdef UW
  316. /* increment the count of processes */
  317. /* we are assuming that all procs, including those created by fork(),
  318. are created using a call to proc_create_runprogram */
  319. P(proc_count_mutex);
  320. proc_count++;
  321. if (!(assignpid(proc)))
  322. {
  323. kfree(proc);
  324. return NULL;
  325. }
  326. V(proc_count_mutex);
  327. #endif // UW
  328. return proc;
  329. }
  330. /*
  331. * Add a thread to a process. Either the thread or the process might
  332. * or might not be current.
  333. */
  334. int proc_addthread(struct proc * proc, struct thread * t)
  335. {
  336. int result;
  337. KASSERT(t->t_proc == NULL);
  338. spinlock_acquire(&proc->p_lock);
  339. result = threadarray_add(&proc->p_threads, t, NULL);
  340. spinlock_release(&proc->p_lock);
  341. if (result)
  342. {
  343. return result;
  344. }
  345. t->t_proc = proc;
  346. return 0;
  347. }
  348. /*
  349. * Remove a thread from its process. Either the thread or the process
  350. * might or might not be current.
  351. */
  352. void proc_remthread(struct thread * t)
  353. {
  354. struct proc *proc;
  355. unsigned i, num;
  356. proc = t->t_proc;
  357. KASSERT(proc != NULL);
  358. spinlock_acquire(&proc->p_lock);
  359. /* ugh: find the thread in the array */
  360. num = threadarray_num(&proc->p_threads);
  361. for (i=0; i<num; i++)
  362. {
  363. if (threadarray_get(&proc->p_threads, i) == t)
  364. {
  365. threadarray_remove(&proc->p_threads, i);
  366. spinlock_release(&proc->p_lock);
  367. t->t_proc = NULL;
  368. return;
  369. }
  370. }
  371. /* Did not find it. */
  372. spinlock_release(&proc->p_lock);
  373. panic("Thread (%p) has escaped from its process (%p)\n", t, proc);
  374. }
  375. /*
  376. * Fetch the address space of the current process. Caution: it isn't
  377. * refcounted. If you implement multithreaded processes, make sure to
  378. * set up a refcount scheme or some other method to make this safe.
  379. */
  380. struct addrspace * curproc_getas(void)
  381. {
  382. struct addrspace *as;
  383. #ifdef UW
  384. /* Until user processes are created, threads used in testing
  385. * (i.e., kernel threads) have no process or address space.
  386. */
  387. if (curproc == NULL)
  388. {
  389. return NULL;
  390. }
  391. #endif
  392. spinlock_acquire(&curproc->p_lock);
  393. as = curproc->p_addrspace;
  394. spinlock_release(&curproc->p_lock);
  395. return as;
  396. }
  397. /*
  398. * Change the address space of the current process, and return the old
  399. * one.
  400. */
  401. struct addrspace * curproc_setas(struct addrspace * newas)
  402. {
  403. struct addrspace * oldas;
  404. struct proc * proc = curproc;
  405. spinlock_acquire(&proc->p_lock);
  406. oldas = proc->p_addrspace;
  407. proc->p_addrspace = newas;
  408. spinlock_release(&proc->p_lock);
  409. return oldas;
  410. }