\u30c6\u30ad\u30b9\u30c8\u306e62\u30da\u30fc\u30b8<\/p>\n
1. sleep\u306f\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u56de\u907f\u3059\u308b\u305f\u3081\u306b lk != &ptable.lock \u3067\u3042\u308b\u304b\u3069\u3046\u304b\u30c1\u30a7\u30c3\u30af\u3092\u884c\u3046\u3002<\/p>\n
if(lk != &ptable.lock){\r\n acquire(&ptable.lock);\r\n release(lk);\r\n}<\/pre>\n\u3092<\/p>\n
release(lk);\r\nacquire(&ptable.lock);<\/pre>\n\u306b\u7f6e\u304d\u63db\u3048\u3066\u3001\u305d\u306e\u7279\u6b8a\u306a\u5834\u5408\uff08\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u304c\u8d77\u304d\u308b\u5834\u5408\uff09\u305d\u306e\u3082\u306e\u3092\u9664\u53bb\u3057\u305f\u3068\u3059\u308b\u3002
\n\u3053\u308c\u306fsleep\u3092\u58ca\u3059\u3060\u308d\u3046\u3002
\n\u3069\u3046\u3044\u3046\u6d41\u308c\u3067\u554f\u984c\u304c\u8d77\u304d\u308b\u304b\u8aac\u660e\u3057\u306a\u3055\u3044\u3002<\/p>\n
2. \u307b\u3068\u3093\u3069\u306e\u30d7\u30ed\u30bb\u30b9\u306e\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u51e6\u7406\u306f\u3001exit\u3068wait\u306e\u3069\u3061\u3089\u304b\u4e00\u65b9\u307e\u305f\u306f\u4e21\u65b9\u3067\u51fa\u6765\u305f\u306f\u305a\u3060\u3002
\n\u304c\u3057\u304b\u3057\u3001 exit\u306fp->kstack\u3092\u89e3\u653e\u3059\u3079\u304d\u3067\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3092\u4ee5\u524d\u306e\u7bc0\u3067\u898b\u305f\u3002
\n\u3060\u3063\u305f\u3089\u3001exit\u306f\u958b\u3044\u3066\u3044\u308b\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u305f\u3081\u306e\u3082\u306e\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u3002
\n\u4f55\u6545\u304b\uff1f
\n\u30d1\u30a4\u30d7\u3068\u3044\u3046\u8a00\u8449\u3092\u3064\u304b\u3063\u3066\u8aac\u660e\u3057\u306a\u3055\u3044\u3002<\/p>\n
3. xv6\u7528\u306e\u30bb\u30de\u30d5\u30a9\u3092\u5b9f\u88c5\u3057\u306a\u3055\u3044\u3002
\nmutex\u306f\u4f7f\u3048\u308b\u304c\u3001sleep\u3068wakeup\u306f\u4f7f\u3048\u306a\u3044\u3082\u306e\u3068\u3059\u308b\u3002
\nxv6\u306e\u4e2d\u3067sleep\u3068wakeup\u3092\u4f7f\u3063\u3066\u308b\u3068\u3053\u308d\u3092\u30bb\u30de\u30d5\u30a9\u3067\u7f6e\u304d\u63db\u3048\u306a\u3055\u3044\u3002
\n\u305d\u306e\u7d50\u679c\u3092\u63a8\u5bdf\u3057\u306a\u3055\u3044\u3002<\/p>\n
\u4f5c\u696d<\/h3>\n
1. \u306b\u3064\u3044\u3066
\n\u3053\u308c\u306f”\u8d77\u304d\u640d\u306a\u3044\u306e\u554f\u984c”\u304c\u8d77\u304d\u308b\u30d1\u30bf\u30fc\u30f3\u304b\u3068\u601d\u3044\u307e\u3059\u3002
\nsleep\u306e\u547c\u3073\u51fa\u3057\u5074\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u306e\u305f\u3081\u306elk\u304c\u89e3\u653e\u3055\u308c\u3066\u3044\u308b\u306e\u306b\u3001\u307e\u3060sleep\/wakeup\u306e\u305f\u3081\u306e&ptable.lock\u304c\u78ba\u4fdd\u3055\u308c\u3066\u3044\u306a\u3044\u30bf\u30a4\u30df\u30f3\u30b0\u304c\u751f\u307e\u308c\u3066\u3057\u307e\u3046\u305f\u3081\u3001\u305d\u306e\u30bf\u30a4\u30df\u30f3\u30b0\uff08\u307e\u3060\u30b9\u30ea\u30fc\u30d7\u306f\u5b8c\u4e86\u3057\u3066\u306a\u3044\u6bb5\u968e\uff09\u3067\u5225\u306e\u30d7\u30ed\u30bb\u30b9\u306b\u3088\u308b\u540c\u3058\u30c1\u30e3\u30f3\u30cd\u30eb\u4e0a\u306ewakeup\u304c\u5b9f\u884c\u3055\u308c\u3066\u3057\u307e\u3046\u5371\u967a\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n
proc.c\u306esleep\u95a2\u6570\uff08\u5909\u66f4\u524d\u306e\u30bd\u30fc\u30b9\u3002\u53c2\u8003\u7528\uff09<\/p>\n
\/\/ Atomically release lock and sleep on chan.\r\n\/\/ Reacquires lock when awakened.\r\nvoid\r\nsleep(void *chan, struct spinlock *lk)\r\n{\r\n if(proc == 0)\r\n panic("sleep");\r\n\r\n if(lk == 0)\r\n panic("sleep without lk");\r\n\r\n \/\/ Must acquire ptable.lock in order to\r\n \/\/ change p->state and then call sched.\r\n \/\/ Once we hold ptable.lock, we can be\r\n \/\/ guaranteed that we won't miss any wakeup\r\n \/\/ (wakeup runs with ptable.lock locked),\r\n \/\/ so it's okay to release lk.\r\n if(lk != &ptable.lock){ \/\/DOC: sleeplock0\r\n acquire(&ptable.lock); \/\/DOC: sleeplock1\r\n release(lk);\r\n }\r\n\r\n \/\/ Go to sleep.\r\n proc->chan = chan;\r\n proc->state = SLEEPING;\r\n sched();\r\n\r\n \/\/ Tidy up.\r\n proc->chan = 0;\r\n\r\n \/\/ Reacquire original lock.\r\n if(lk != &ptable.lock){ \/\/DOC: sleeplock2\r\n release(&ptable.lock);\r\n acquire(lk);\r\n }\r\n}<\/pre>\n2. \u306b\u3064\u3044\u3066
\n\u3061\u3087\u3063\u3068\u8cea\u554f\u306e\u5185\u5bb9\u304c\u3088\u304f\u5206\u304b\u308a\u307e\u305b\u3093\u304c\u3001\u300c\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u51e6\u7406\u306b\u3064\u3044\u3066wait\u3067\u5b50\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u3001exit\u3067\u81ea\u8eab\u306e\u30d5\u30a1\u30a4\u30eb\u30c7\u30a3\u30b9\u30af\u30ea\u30d7\u30bf\u3092\u305d\u308c\u305e\u308c\u53d7\u3051\u6301\u3064\u3088\u3046\u306a\u5f79\u5272\u306b\u306a\u3063\u3066\u308b\u306e\u306f\u4f55\u6545\u304b\uff1f\u300d\u3068\u3044\u3046\u8cea\u554f\u3060\u3068\u4eee\u5b9a\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n
\u307e\u305await\u306b\u3064\u3044\u3066\u306f\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u3092\u5f85\u3064\u305f\u3081\u306b\u89aa\u30d7\u30ed\u30bb\u30b9\u3067\u4f7f\u308f\u308c\u308b\u306e\u3067\u3001\u305d\u306e\u4e2d\u3067\u5b50\u30d7\u30ed\u30bb\u30b9\u305d\u308c\u305e\u308c\u306eproc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u306e\u306f\u7406\u306b\u304b\u306a\u3063\u3066\u308b\u3068\u8a00\u3048\u307e\u3059\u3002
\n\uff08\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u3059\u3079\u3066\u7d42\u4e86\u3057ZOMBIE\u306b\u306a\u3063\u305f\u76f4\u5f8c\u306bwait\u306f\u51e6\u7406\u3092\u53d7\u3051\u7d99\u3050\u4e8b\u304c\u51fa\u6765\u308b\u306e\u3067\u3002\uff09<\/p>\n
\u3082\u3057exit\u3067proc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u3068\u3057\u305f\u3089\u3001exit\u95a2\u6570\u306e\u51e6\u7406\u4e2d\u306f\u307e\u3060\u30d7\u30ed\u30bb\u30b9\u306f\u751f\u304d\u3066\u3044\u3066\u3001\u751f\u304d\u3066\u3044\u308b\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u305d\u308c\u81ea\u8eab\u3067\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u306e\u306f\u3001\uff08\u3061\u3083\u3093\u3068\u8ffd\u3063\u3066\u307e\u305b\u3093\u304c\uff09\u3044\u304b\u306b\u3082\u554f\u984c\u3042\u308a\u305d\u3046\u3067\u3059\u3002
\n\u5c11\u306a\u304f\u3068\u3082p->kstack\u306fexit\u4e2d\u3067\u306f\u89e3\u653e\u51fa\u6765\u307e\u305b\u3093\u3002<\/p>\n
exit\u306b\u3064\u3044\u3066\u306f\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u7d42\u4e86\u3059\u308b\u305f\u3081\u306b\u5b50\u30d7\u30ed\u30bb\u30b9\u3067\u4f7f\u308f\u308c\u308b\uff08\u89aa\u30d7\u30ed\u30bb\u30b9\u3067\u3082\u4f7f\u308f\u308c\u307e\u3059\u304c\u3001\u305d\u308c\u306f\u305d\u306e\u30d7\u30ed\u30bb\u30b9\u306e\u3055\u3089\u306b\u89aa\u3001\u4f8b\u3048\u3070\u30b7\u30a7\u30eb\u3001\u306b\u5bfe\u3057\u3066\u4f7f\u308f\u308c\u308b\u3082\u306e\u306a\u306e\u3067\u3001\u540c\u3058\u3053\u3068\u3067\u3059\uff09\u3068\u6562\u3048\u3066\u8003\u3048\u3066\u307f\u308b\u3068\u3001\u305d\u308c\u305e\u308c\u306e\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u3082\u3064\u30d5\u30a1\u30a4\u30eb\u3092\u3053\u306e\u30bf\u30a4\u30df\u30f3\u30b0\u3067\u9589\u3058\u308b\u306e\u3082\u7406\u306b\u304b\u306a\u3063\u3066\u308b\u3068\u8a00\u3048\u307e\u3059\u3002<\/p>\n
\u305d\u308c\u305e\u308c\u306e\u30d7\u30ed\u30bb\u30b9\u304c\u958b\u3044\u3066\u3044\u308b\u30d5\u30a1\u30a4\u30eb\u306f\u3001proc\u69cb\u9020\u4f53\u306eofile\u306b\u60c5\u5831\u304c\u3042\u308a\u3001\u89aa\u5b50\u95a2\u4fc2\u3067\u3042\u308d\u3046\u3068\u305d\u308c\u306f\u30d7\u30ed\u30bb\u30b9\u9593\u3067\u5168\u304f\u30d0\u30e9\u30d0\u30e9\u306b\u306a\u308a\u5f97\u308b\u306e\u3067\u3001\u305d\u308c\u305e\u308c\u306e\u30d7\u30ed\u30bb\u30b9\u304c\u8cac\u4efb\u3092\u3082\u3063\u3066\u81ea\u5206\u304c\u958b\u3044\u305f\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u306e\u304c\u30b7\u30f3\u30d7\u30eb\u3067\u826f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n
\u3082\u3057\u3053\u308c\u3092wait\u3067\u884c\u3046\u3068\u3059\u308b\u3068\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3057\u3066\u308b\u90e8\u5206\u306b\u30d5\u30a1\u30a4\u30eb\u306e\u89e3\u653e\u51e6\u7406\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u3068\u601d\u3044\u307e\u3059\u3002
\n\u3057\u304b\u3057\u305d\u308c\u3060\u3068\u89aa\u304cwait\u3092\u547c\u3076\u307e\u3067\u5b50\u304c\u958b\u3044\u305f\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308c\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n
\u307e\u305f\u3001\u300c\u89aa\u304c\u4f55\u304b\u306e\u51e6\u7406\u3092\u7e70\u308a\u8fd4\u3059\u305f\u3081\u306b\u30e1\u30a4\u30f3\u30eb\u30fc\u30d7\u3092\u5b9f\u884c\u3057\u3001\u305d\u306e\u30e1\u30a4\u30f3\u30eb\u30fc\u30d7\u4e2d\u306b\u5b50\u306e\u751f\u6210\u3092\u7e70\u308a\u8fd4\u3057\u3001\u5b50\u306f\u5404\u3005\u52dd\u624b\u306b\u51e6\u7406\u3092\u884c\u3044\u3001\u89aa\u304c\u5b50\u306eexit\u3092\u5f85\u3064\u5fc5\u8981\u306a\u304f\u3001\u89aa\u304cwait\u3092\u547c\u3076\u306e\u306f\u89aa\u304c\u7d42\u4e86\u3059\u308b\u3068\u304d\u3060\u3051\u300d\u3068\u3044\u3046\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u3082\u3042\u308a\u5f97\u307e\u3059\u3002\uff08\u30b5\u30fc\u30d0\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u3088\u304f\u3042\u308b\u30d1\u30bf\u30fc\u30f3\u3067\u3059\uff09<\/p>\n
\u305d\u306e\u5834\u5408\u3001wait\u3067\u5b50\u306e\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u308b\u3068\u3001\u7121\u6570\u306e\u5b50\u304c\u958b\u3044\u305f\u7121\u6570\u306e\u30d5\u30a1\u30a4\u30eb\u304c\u89aa\u304c\u7d42\u4e86\u3059\u308b\u307e\u3067\u5168\u304f\u9589\u3058\u3089\u308c\u306a\u3044\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002
\n\u3082\u3061\u308d\u3093\u3053\u306e\u5834\u5408\u3082\u3001wait\u3092\u6700\u5f8c\u3060\u3051\u3058\u3083\u306a\u304f\u3066\u9069\u5b9c\u547c\u3076\u3053\u3068\u3067\u3053\u306e\u554f\u984c\u3092\u56de\u907f\u3059\u308b\u3053\u3068\u306f\u51fa\u6765\u308b\u306f\u305a\u3067\u3059\u304c\u3001\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306f\u843d\u3061\u308b\u306f\u305a\u3067\u3059\u3002
\n\u305d\u308c\u304c\u7121\u8996\u51fa\u6765\u308b\u7a0b\u5ea6\u3060\u3063\u305f\u3068\u3057\u3066\u3082\u3001\u30e6\u30fc\u30b6\u30b5\u30a4\u30c9\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3051\u308b\u6c7a\u307e\u308a\u3054\u3068\u3092\u5897\u3084\u3059\u306e\u306f\u3042\u307e\u308a\u826f\u3044\u3084\u308a\u65b9\u3068\u306f\u601d\u3048\u307e\u305b\u3093\u3002<\/p>\n
proc.c\u306eexit, wait\u95a2\u6570\uff08\u53c2\u8003\u7528\uff09<\/p>\n
\/\/ Exit the current process. Does not return.\r\n\/\/ An exited process remains in the zombie state\r\n\/\/ until its parent calls wait() to find out it exited.\r\nvoid\r\nexit(void)\r\n{\r\n struct proc *p;\r\n int fd;\r\n\r\n if(proc == initproc)\r\n panic("init exiting");\r\n\r\n \/\/ Close all open files.\r\n for(fd = 0; fd < NOFILE; fd++){\r\n if(proc->ofile[fd]){\r\n fileclose(proc->ofile[fd]);\r\n proc->ofile[fd] = 0;\r\n }\r\n }\r\n\r\n iput(proc->cwd);\r\n proc->cwd = 0;\r\n\r\n acquire(&ptable.lock);\r\n\r\n \/\/ Parent might be sleeping in wait().\r\n wakeup1(proc->parent);\r\n\r\n \/\/ Pass abandoned children to init.\r\n for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){\r\n if(p->parent == proc){\r\n p->parent = initproc;\r\n if(p->state == ZOMBIE)\r\n wakeup1(initproc);\r\n }\r\n }\r\n\r\n \/\/ Jump into the scheduler, never to return.\r\n proc->state = ZOMBIE;\r\n sched();\r\n panic("zombie exit");\r\n}\r\n\r\n\/\/ Wait for a child process to exit and return its pid.\r\n\/\/ Return -1 if this process has no children.\r\nint\r\nwait(void)\r\n{\r\n struct proc *p;\r\n int havekids, pid;\r\n\r\n acquire(&ptable.lock);\r\n for(;;){\r\n \/\/ Scan through table looking for zombie children.\r\n havekids = 0;\r\n for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){\r\n if(p->parent != proc)\r\n continue;\r\n havekids = 1;\r\n if(p->state == ZOMBIE){\r\n \/\/ Found one.\r\n pid = p->pid;\r\n kfree(p->kstack);\r\n p->kstack = 0;\r\n freevm(p->pgdir);\r\n p->state = UNUSED;\r\n p->pid = 0;\r\n p->parent = 0;\r\n p->name[0] = 0;\r\n p->killed = 0;\r\n release(&ptable.lock);\r\n return pid;\r\n }\r\n }\r\n\r\n \/\/ No point waiting if we don't have any children.\r\n if(!havekids || proc->killed){\r\n release(&ptable.lock);\r\n return -1;\r\n }\r\n\r\n \/\/ Wait for children to exit. (See wakeup1 call in proc_exit.)\r\n sleep(proc, &ptable.lock); \/\/DOC: wait-sleep\r\n }\r\n}<\/pre>\n3. \u306b\u3064\u3044\u3066
\n\u307e\u305a\u306fxv6\u3067\u4f7f\u308f\u308c\u3066\u308b\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u3068mutex\u306e\u9055\u3044\u3092\u3002
\n\u3069\u3061\u3089\u3082\u51e6\u7406\u306e\u540c\u671f\u5316\uff08\u76f4\u5217\u5316\uff09\u306e\u305f\u3081\u306b\u4f7f\u308f\u308c\u308b\u3082\u306e\u3067\u3059\u304c\u3001<\/p>\n
\u30b9\u30d4\u30f3\u30ed\u30c3\u30af
\n\u30ed\u30c3\u30af\u304c\u7372\u5f97\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u30d3\u30b8\u30fc\u30a6\u30a7\u30a4\u30c8\u3067\u5f85\u3064\u65b9\u5f0f\u3002
\n\u30d3\u30b8\u30fc\u30a6\u30a7\u30a4\u30c8\u3068\u805e\u304f\u3068\u91cd\u305d\u3046\u3067\u306f\u3042\u308b\u304c\u3001\u5178\u578b\u7684\u306b\u306fC\u306e\u30b3\u30fc\u30c9\u306b\u3057\u3066\u6570\u884c\u5206\u5f85\u3064\u9593\u3060\u3051\uff08\u3082\u3061\u308d\u3093\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u9664\u3044\u305f\u6700\u60aa\u306e\u5834\u5408\u3001\u304b\u306a\u308a\u9577\u3044\u9593CPU\u3092\u6d6a\u8cbb\u3059\u308b\u5834\u5408\u3082\u6709\u308a\u3046\u308b\uff09\u3067\u3001\u4ed6\u3067\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u3066\u304b\u3089\u7372\u5f97\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u306e\u30bf\u30a4\u30e0\u30e9\u30b0\u304c\u7a76\u6975\u7684\u306b\u5c0f\u3055\u3044\uff08\u3082\u3061\u308d\u3093\u4ed6\u3068\u306e\u7372\u5f97\u7af6\u4e89\u304c\u3042\u3063\u3066\u305d\u308c\u306b\u7834\u308c\u305f\u5074\u306e\u8996\u70b9\u304b\u3089\u306e\u307f\u898b\u308b\u3068\u305d\u306e\u9650\u308a\u3067\u306f\u306a\u3044\u304c\u3001\u5168\u4f53\u3068\u3057\u3066\u306f\u30ed\u30c3\u30af\u304c\u5fc5\u8981\u3068\u3055\u308c\u3066\u308b\u306e\u306b\u8ab0\u3082\u7372\u5f97\u3057\u3066\u3044\u306a\u3044\u3068\u3044\u3046\u7a7a\u767d\u671f\u9593\u3092\u6700\u5c0f\u306b\u51fa\u6765\u308b\uff09\u3002<\/p>\n
mutex
\nmutex\u306f\u8272\u3093\u306aOS\u3067\u8272\u3093\u306a\u5b9f\u88c5\u304c\u3042\u3063\u3066\u3001\u4ed5\u69d8\u7684\u306b\u3082\u305d\u308c\u305e\u308c\u5fae\u5999\u306b\u9055\u3063\u3066\u305f\u308a\u3059\u308b\u306e\u3067\u3001\u3053\u3053\u306fxv6\u7684\u306b\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3055\u308c\u308b\u3068\u3057\u307e\u3059\u3002<\/p>\n
\u30ed\u30c3\u30af\u304c\u78ba\u4fdd\u51fa\u6765\u305f\u5834\u5408\u306f\u3059\u3050\u306b\u547c\u3073\u51fa\u3057\u5143\u306b\u623b\u308b\u3002
\n\u30ed\u30c3\u30af\u304c\u78ba\u4fdd\u3067\u304d\u306a\u304b\u3063\u305f\u5834\u5408\u306fsleep\u3057\u3066\u78ba\u4fdd\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u5f85\u3064\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u306f\u51fa\u6765\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u3068\u304d\u306f\u89e3\u653e\u3057\u305f\u5f8cwakeup\u3092\u547c\u3073\u3001\u4ed6\u306e\u30ed\u30c3\u30af\u89e3\u653e\u5f85\u3061\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u8d77\u3053\u3059\u3002
\n\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306f\u3001
\nvoid acquiremutex(struct mutex *m);
\nvoid releasemutex(struct mutex *m);
\n\u3068\u3059\u308b\u3002<\/p>\n
\u3068\u3001\u3053\u3053\u307e\u3067\u8003\u3048\u305f\u3082\u306e\u306e\u3001\u305d\u306e\u3088\u3046\u306amutex\u3092\u4f7f\u3044\u3001\u76f4\u63a5sleep\u3068wakeup\u3092\u4f7f\u308f\u306a\u3044\u30bb\u30de\u30d5\u30a9\u306e\u5b9f\u88c5\u306f\u8003\u3048\u3064\u304b\u305a\u3002
\n\u524d\u63d0\u304c\u304a\u304b\u3057\u3044\u306e\u304b\u982d\u304c\u304a\u304b\u3057\u3044\u306e\u304b\u2026<\/p>\n
\u611f\u60f3<\/h3>\n
3\u304c\u624b\u3082\u8db3\u3082\u51fa\u306a\u304f\u3066\u304f\u3084\u3057\u3044<\/p>\n","protected":false},"excerpt":{"rendered":"
\u30c6\u30ad\u30b9\u30c8\u306e62\u30da\u30fc\u30b8<\/p>\n
\u672c\u6587<\/h3>\n
1. sleep\u306f\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u56de\u907f\u3059\u308b\u305f\u3081\u306b lk != &ptable.lock \u3067\u3042\u308b\u304b\u3069\u3046\u304b\u30c1\u30a7\u30c3\u30af\u3092\u884c\u3046\u3002<\/p>\n
if(lk != &ptable.lock){\r\n acquire(&ptable.lock);\r\n release(lk);\r\n}<\/pre>\n\u3092<\/p>\n
release(lk);\r\nacquire(&ptable.lock);<\/pre>\n\u306b\u7f6e\u304d\u63db\u3048\u3066\u3001\u305d\u306e\u7279\u6b8a\u306a\u5834\u5408\uff08\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u304c\u8d77\u304d\u308b\u5834\u5408\uff09\u305d\u306e\u3082\u306e\u3092\u9664\u53bb\u3057\u305f\u3068\u3059\u308b\u3002
\n\u3053\u308c\u306fsleep\u3092\u58ca\u3059\u3060\u308d\u3046\u3002
\n\u3069\u3046\u3044\u3046\u6d41\u308c\u3067\u554f\u984c\u304c\u8d77\u304d\u308b\u304b\u8aac\u660e\u3057\u306a\u3055\u3044\u3002<\/p>\n
2. \u307b\u3068\u3093\u3069\u306e\u30d7\u30ed\u30bb\u30b9\u306e\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u51e6\u7406\u306f\u3001exit\u3068wait\u306e\u3069\u3061\u3089\u304b\u4e00\u65b9\u307e\u305f\u306f\u4e21\u65b9\u3067\u51fa\u6765\u305f\u306f\u305a\u3060\u3002
\n\u304c\u3057\u304b\u3057\u3001 exit\u306fp->kstack\u3092\u89e3\u653e\u3059\u3079\u304d\u3067\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3092\u4ee5\u524d\u306e\u7bc0\u3067\u898b\u305f\u3002
\n\u3060\u3063\u305f\u3089\u3001exit\u306f\u958b\u3044\u3066\u3044\u308b\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u305f\u3081\u306e\u3082\u306e\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u3002
\n\u4f55\u6545\u304b\uff1f
\n\u30d1\u30a4\u30d7\u3068\u3044\u3046\u8a00\u8449\u3092\u3064\u304b\u3063\u3066\u8aac\u660e\u3057\u306a\u3055\u3044\u3002<\/p>\n
3. xv6\u7528\u306e\u30bb\u30de\u30d5\u30a9\u3092\u5b9f\u88c5\u3057\u306a\u3055\u3044\u3002
\nmutex\u306f\u4f7f\u3048\u308b\u304c\u3001sleep\u3068wakeup\u306f\u4f7f\u3048\u306a\u3044\u3082\u306e\u3068\u3059\u308b\u3002
\nxv6\u306e\u4e2d\u3067sleep\u3068wakeup\u3092\u4f7f\u3063\u3066\u308b\u3068\u3053\u308d\u3092\u30bb\u30de\u30d5\u30a9\u3067\u7f6e\u304d\u63db\u3048\u306a\u3055\u3044\u3002
\n\u305d\u306e\u7d50\u679c\u3092\u63a8\u5bdf\u3057\u306a\u3055\u3044\u3002<\/p>\n
\u4f5c\u696d<\/h3>\n
1. \u306b\u3064\u3044\u3066
\n\u3053\u308c\u306f”\u8d77\u304d\u640d\u306a\u3044\u306e\u554f\u984c”\u304c\u8d77\u304d\u308b\u30d1\u30bf\u30fc\u30f3\u304b\u3068\u601d\u3044\u307e\u3059\u3002
\nsleep\u306e\u547c\u3073\u51fa\u3057\u5074\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u306e\u305f\u3081\u306elk\u304c\u89e3\u653e\u3055\u308c\u3066\u3044\u308b\u306e\u306b\u3001\u307e\u3060sleep\/wakeup\u306e\u305f\u3081\u306e&ptable.lock\u304c\u78ba\u4fdd\u3055\u308c\u3066\u3044\u306a\u3044\u30bf\u30a4\u30df\u30f3\u30b0\u304c\u751f\u307e\u308c\u3066\u3057\u307e\u3046\u305f\u3081\u3001\u305d\u306e\u30bf\u30a4\u30df\u30f3\u30b0\uff08\u307e\u3060\u30b9\u30ea\u30fc\u30d7\u306f\u5b8c\u4e86\u3057\u3066\u306a\u3044\u6bb5\u968e\uff09\u3067\u5225\u306e\u30d7\u30ed\u30bb\u30b9\u306b\u3088\u308b\u540c\u3058\u30c1\u30e3\u30f3\u30cd\u30eb\u4e0a\u306ewakeup\u304c\u5b9f\u884c\u3055\u308c\u3066\u3057\u307e\u3046\u5371\u967a\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n
proc.c\u306esleep\u95a2\u6570\uff08\u5909\u66f4\u524d\u306e\u30bd\u30fc\u30b9\u3002\u53c2\u8003\u7528\uff09<\/p>\n
\/\/ Atomically release lock and sleep on chan.\r\n\/\/ Reacquires lock when awakened.\r\nvoid\r\nsleep(void *chan, struct spinlock *lk)\r\n{\r\n if(proc == 0)\r\n panic("sleep");\r\n\r\n if(lk == 0)\r\n panic("sleep without lk");\r\n\r\n \/\/ Must acquire ptable.lock in order to\r\n \/\/ change p->state and then call sched.\r\n \/\/ Once we hold ptable.lock, we can be\r\n \/\/ guaranteed that we won't miss any wakeup\r\n \/\/ (wakeup runs with ptable.lock locked),\r\n \/\/ so it's okay to release lk.\r\n if(lk != &ptable.lock){ \/\/DOC: sleeplock0\r\n acquire(&ptable.lock); \/\/DOC: sleeplock1\r\n release(lk);\r\n }\r\n\r\n \/\/ Go to sleep.\r\n proc->chan = chan;\r\n proc->state = SLEEPING;\r\n sched();\r\n\r\n \/\/ Tidy up.\r\n proc->chan = 0;\r\n\r\n \/\/ Reacquire original lock.\r\n if(lk != &ptable.lock){ \/\/DOC: sleeplock2\r\n release(&ptable.lock);\r\n acquire(lk);\r\n }\r\n}<\/pre>\n2. \u306b\u3064\u3044\u3066
\n\u3061\u3087\u3063\u3068\u8cea\u554f\u306e\u5185\u5bb9\u304c\u3088\u304f\u5206\u304b\u308a\u307e\u305b\u3093\u304c\u3001\u300c\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u51e6\u7406\u306b\u3064\u3044\u3066wait\u3067\u5b50\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u3001exit\u3067\u81ea\u8eab\u306e\u30d5\u30a1\u30a4\u30eb\u30c7\u30a3\u30b9\u30af\u30ea\u30d7\u30bf\u3092\u305d\u308c\u305e\u308c\u53d7\u3051\u6301\u3064\u3088\u3046\u306a\u5f79\u5272\u306b\u306a\u3063\u3066\u308b\u306e\u306f\u4f55\u6545\u304b\uff1f\u300d\u3068\u3044\u3046\u8cea\u554f\u3060\u3068\u4eee\u5b9a\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n
\u307e\u305await\u306b\u3064\u3044\u3066\u306f\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u3092\u5f85\u3064\u305f\u3081\u306b\u89aa\u30d7\u30ed\u30bb\u30b9\u3067\u4f7f\u308f\u308c\u308b\u306e\u3067\u3001\u305d\u306e\u4e2d\u3067\u5b50\u30d7\u30ed\u30bb\u30b9\u305d\u308c\u305e\u308c\u306eproc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u306e\u306f\u7406\u306b\u304b\u306a\u3063\u3066\u308b\u3068\u8a00\u3048\u307e\u3059\u3002
\n\uff08\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u3059\u3079\u3066\u7d42\u4e86\u3057ZOMBIE\u306b\u306a\u3063\u305f\u76f4\u5f8c\u306bwait\u306f\u51e6\u7406\u3092\u53d7\u3051\u7d99\u3050\u4e8b\u304c\u51fa\u6765\u308b\u306e\u3067\u3002\uff09<\/p>\n
\u3082\u3057exit\u3067proc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u3068\u3057\u305f\u3089\u3001exit\u95a2\u6570\u306e\u51e6\u7406\u4e2d\u306f\u307e\u3060\u30d7\u30ed\u30bb\u30b9\u306f\u751f\u304d\u3066\u3044\u3066\u3001\u751f\u304d\u3066\u3044\u308b\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u305d\u308c\u81ea\u8eab\u3067\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3059\u308b\u306e\u306f\u3001\uff08\u3061\u3083\u3093\u3068\u8ffd\u3063\u3066\u307e\u305b\u3093\u304c\uff09\u3044\u304b\u306b\u3082\u554f\u984c\u3042\u308a\u305d\u3046\u3067\u3059\u3002
\n\u5c11\u306a\u304f\u3068\u3082p->kstack\u306fexit\u4e2d\u3067\u306f\u89e3\u653e\u51fa\u6765\u307e\u305b\u3093\u3002<\/p>\n
exit\u306b\u3064\u3044\u3066\u306f\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u7d42\u4e86\u3059\u308b\u305f\u3081\u306b\u5b50\u30d7\u30ed\u30bb\u30b9\u3067\u4f7f\u308f\u308c\u308b\uff08\u89aa\u30d7\u30ed\u30bb\u30b9\u3067\u3082\u4f7f\u308f\u308c\u307e\u3059\u304c\u3001\u305d\u308c\u306f\u305d\u306e\u30d7\u30ed\u30bb\u30b9\u306e\u3055\u3089\u306b\u89aa\u3001\u4f8b\u3048\u3070\u30b7\u30a7\u30eb\u3001\u306b\u5bfe\u3057\u3066\u4f7f\u308f\u308c\u308b\u3082\u306e\u306a\u306e\u3067\u3001\u540c\u3058\u3053\u3068\u3067\u3059\uff09\u3068\u6562\u3048\u3066\u8003\u3048\u3066\u307f\u308b\u3068\u3001\u305d\u308c\u305e\u308c\u306e\u5b50\u30d7\u30ed\u30bb\u30b9\u304c\u3082\u3064\u30d5\u30a1\u30a4\u30eb\u3092\u3053\u306e\u30bf\u30a4\u30df\u30f3\u30b0\u3067\u9589\u3058\u308b\u306e\u3082\u7406\u306b\u304b\u306a\u3063\u3066\u308b\u3068\u8a00\u3048\u307e\u3059\u3002<\/p>\n
\u305d\u308c\u305e\u308c\u306e\u30d7\u30ed\u30bb\u30b9\u304c\u958b\u3044\u3066\u3044\u308b\u30d5\u30a1\u30a4\u30eb\u306f\u3001proc\u69cb\u9020\u4f53\u306eofile\u306b\u60c5\u5831\u304c\u3042\u308a\u3001\u89aa\u5b50\u95a2\u4fc2\u3067\u3042\u308d\u3046\u3068\u305d\u308c\u306f\u30d7\u30ed\u30bb\u30b9\u9593\u3067\u5168\u304f\u30d0\u30e9\u30d0\u30e9\u306b\u306a\u308a\u5f97\u308b\u306e\u3067\u3001\u305d\u308c\u305e\u308c\u306e\u30d7\u30ed\u30bb\u30b9\u304c\u8cac\u4efb\u3092\u3082\u3063\u3066\u81ea\u5206\u304c\u958b\u3044\u305f\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u306e\u304c\u30b7\u30f3\u30d7\u30eb\u3067\u826f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n
\u3082\u3057\u3053\u308c\u3092wait\u3067\u884c\u3046\u3068\u3059\u308b\u3068\u3001\u5b50\u30d7\u30ed\u30bb\u30b9\u306eproc\u69cb\u9020\u4f53\u3092\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u3057\u3066\u308b\u90e8\u5206\u306b\u30d5\u30a1\u30a4\u30eb\u306e\u89e3\u653e\u51e6\u7406\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u3068\u601d\u3044\u307e\u3059\u3002
\n\u3057\u304b\u3057\u305d\u308c\u3060\u3068\u89aa\u304cwait\u3092\u547c\u3076\u307e\u3067\u5b50\u304c\u958b\u3044\u305f\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308c\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n
\u307e\u305f\u3001\u300c\u89aa\u304c\u4f55\u304b\u306e\u51e6\u7406\u3092\u7e70\u308a\u8fd4\u3059\u305f\u3081\u306b\u30e1\u30a4\u30f3\u30eb\u30fc\u30d7\u3092\u5b9f\u884c\u3057\u3001\u305d\u306e\u30e1\u30a4\u30f3\u30eb\u30fc\u30d7\u4e2d\u306b\u5b50\u306e\u751f\u6210\u3092\u7e70\u308a\u8fd4\u3057\u3001\u5b50\u306f\u5404\u3005\u52dd\u624b\u306b\u51e6\u7406\u3092\u884c\u3044\u3001\u89aa\u304c\u5b50\u306eexit\u3092\u5f85\u3064\u5fc5\u8981\u306a\u304f\u3001\u89aa\u304cwait\u3092\u547c\u3076\u306e\u306f\u89aa\u304c\u7d42\u4e86\u3059\u308b\u3068\u304d\u3060\u3051\u300d\u3068\u3044\u3046\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u3082\u3042\u308a\u5f97\u307e\u3059\u3002\uff08\u30b5\u30fc\u30d0\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u3088\u304f\u3042\u308b\u30d1\u30bf\u30fc\u30f3\u3067\u3059\uff09<\/p>\n
\u305d\u306e\u5834\u5408\u3001wait\u3067\u5b50\u306e\u30d5\u30a1\u30a4\u30eb\u3092\u9589\u3058\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u308b\u3068\u3001\u7121\u6570\u306e\u5b50\u304c\u958b\u3044\u305f\u7121\u6570\u306e\u30d5\u30a1\u30a4\u30eb\u304c\u89aa\u304c\u7d42\u4e86\u3059\u308b\u307e\u3067\u5168\u304f\u9589\u3058\u3089\u308c\u306a\u3044\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002
\n\u3082\u3061\u308d\u3093\u3053\u306e\u5834\u5408\u3082\u3001wait\u3092\u6700\u5f8c\u3060\u3051\u3058\u3083\u306a\u304f\u3066\u9069\u5b9c\u547c\u3076\u3053\u3068\u3067\u3053\u306e\u554f\u984c\u3092\u56de\u907f\u3059\u308b\u3053\u3068\u306f\u51fa\u6765\u308b\u306f\u305a\u3067\u3059\u304c\u3001\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306f\u843d\u3061\u308b\u306f\u305a\u3067\u3059\u3002
\n\u305d\u308c\u304c\u7121\u8996\u51fa\u6765\u308b\u7a0b\u5ea6\u3060\u3063\u305f\u3068\u3057\u3066\u3082\u3001\u30e6\u30fc\u30b6\u30b5\u30a4\u30c9\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3051\u308b\u6c7a\u307e\u308a\u3054\u3068\u3092\u5897\u3084\u3059\u306e\u306f\u3042\u307e\u308a\u826f\u3044\u3084\u308a\u65b9\u3068\u306f\u601d\u3048\u307e\u305b\u3093\u3002<\/p>\n
proc.c\u306eexit, wait\u95a2\u6570\uff08\u53c2\u8003\u7528\uff09<\/p>\n
\/\/ Exit the current process. Does not return.\r\n\/\/ An exited process remains in the zombie state\r\n\/\/ until its parent calls wait() to find out it exited.\r\nvoid\r\nexit(void)\r\n{\r\n struct proc *p;\r\n int fd;\r\n\r\n if(proc == initproc)\r\n panic("init exiting");\r\n\r\n \/\/ Close all open files.\r\n for(fd = 0; fd < NOFILE; fd++){\r\n if(proc->ofile[fd]){\r\n fileclose(proc->ofile[fd]);\r\n proc->ofile[fd] = 0;\r\n }\r\n }\r\n\r\n iput(proc->cwd);\r\n proc->cwd = 0;\r\n\r\n acquire(&ptable.lock);\r\n\r\n \/\/ Parent might be sleeping in wait().\r\n wakeup1(proc->parent);\r\n\r\n \/\/ Pass abandoned children to init.\r\n for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){\r\n if(p->parent == proc){\r\n p->parent = initproc;\r\n if(p->state == ZOMBIE)\r\n wakeup1(initproc);\r\n }\r\n }\r\n\r\n \/\/ Jump into the scheduler, never to return.\r\n proc->state = ZOMBIE;\r\n sched();\r\n panic("zombie exit");\r\n}\r\n\r\n\/\/ Wait for a child process to exit and return its pid.\r\n\/\/ Return -1 if this process has no children.\r\nint\r\nwait(void)\r\n{\r\n struct proc *p;\r\n int havekids, pid;\r\n\r\n acquire(&ptable.lock);\r\n for(;;){\r\n \/\/ Scan through table looking for zombie children.\r\n havekids = 0;\r\n for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){\r\n if(p->parent != proc)\r\n continue;\r\n havekids = 1;\r\n if(p->state == ZOMBIE){\r\n \/\/ Found one.\r\n pid = p->pid;\r\n kfree(p->kstack);\r\n p->kstack = 0;\r\n freevm(p->pgdir);\r\n p->state = UNUSED;\r\n p->pid = 0;\r\n p->parent = 0;\r\n p->name[0] = 0;\r\n p->killed = 0;\r\n release(&ptable.lock);\r\n return pid;\r\n }\r\n }\r\n\r\n \/\/ No point waiting if we don't have any children.\r\n if(!havekids || proc->killed){\r\n release(&ptable.lock);\r\n return -1;\r\n }\r\n\r\n \/\/ Wait for children to exit. (See wakeup1 call in proc_exit.)\r\n sleep(proc, &ptable.lock); \/\/DOC: wait-sleep\r\n }\r\n}<\/pre>\n3. \u306b\u3064\u3044\u3066
\n\u307e\u305a\u306fxv6\u3067\u4f7f\u308f\u308c\u3066\u308b\u30b9\u30d4\u30f3\u30ed\u30c3\u30af\u3068mutex\u306e\u9055\u3044\u3092\u3002
\n\u3069\u3061\u3089\u3082\u51e6\u7406\u306e\u540c\u671f\u5316\uff08\u76f4\u5217\u5316\uff09\u306e\u305f\u3081\u306b\u4f7f\u308f\u308c\u308b\u3082\u306e\u3067\u3059\u304c\u3001<\/p>\n
\u30b9\u30d4\u30f3\u30ed\u30c3\u30af
\n\u30ed\u30c3\u30af\u304c\u7372\u5f97\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u30d3\u30b8\u30fc\u30a6\u30a7\u30a4\u30c8\u3067\u5f85\u3064\u65b9\u5f0f\u3002
\n\u30d3\u30b8\u30fc\u30a6\u30a7\u30a4\u30c8\u3068\u805e\u304f\u3068\u91cd\u305d\u3046\u3067\u306f\u3042\u308b\u304c\u3001\u5178\u578b\u7684\u306b\u306fC\u306e\u30b3\u30fc\u30c9\u306b\u3057\u3066\u6570\u884c\u5206\u5f85\u3064\u9593\u3060\u3051\uff08\u3082\u3061\u308d\u3093\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u9664\u3044\u305f\u6700\u60aa\u306e\u5834\u5408\u3001\u304b\u306a\u308a\u9577\u3044\u9593CPU\u3092\u6d6a\u8cbb\u3059\u308b\u5834\u5408\u3082\u6709\u308a\u3046\u308b\uff09\u3067\u3001\u4ed6\u3067\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u3066\u304b\u3089\u7372\u5f97\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u306e\u30bf\u30a4\u30e0\u30e9\u30b0\u304c\u7a76\u6975\u7684\u306b\u5c0f\u3055\u3044\uff08\u3082\u3061\u308d\u3093\u4ed6\u3068\u306e\u7372\u5f97\u7af6\u4e89\u304c\u3042\u3063\u3066\u305d\u308c\u306b\u7834\u308c\u305f\u5074\u306e\u8996\u70b9\u304b\u3089\u306e\u307f\u898b\u308b\u3068\u305d\u306e\u9650\u308a\u3067\u306f\u306a\u3044\u304c\u3001\u5168\u4f53\u3068\u3057\u3066\u306f\u30ed\u30c3\u30af\u304c\u5fc5\u8981\u3068\u3055\u308c\u3066\u308b\u306e\u306b\u8ab0\u3082\u7372\u5f97\u3057\u3066\u3044\u306a\u3044\u3068\u3044\u3046\u7a7a\u767d\u671f\u9593\u3092\u6700\u5c0f\u306b\u51fa\u6765\u308b\uff09\u3002<\/p>\n
mutex
\nmutex\u306f\u8272\u3093\u306aOS\u3067\u8272\u3093\u306a\u5b9f\u88c5\u304c\u3042\u3063\u3066\u3001\u4ed5\u69d8\u7684\u306b\u3082\u305d\u308c\u305e\u308c\u5fae\u5999\u306b\u9055\u3063\u3066\u305f\u308a\u3059\u308b\u306e\u3067\u3001\u3053\u3053\u306fxv6\u7684\u306b\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3055\u308c\u308b\u3068\u3057\u307e\u3059\u3002<\/p>\n
\u30ed\u30c3\u30af\u304c\u78ba\u4fdd\u51fa\u6765\u305f\u5834\u5408\u306f\u3059\u3050\u306b\u547c\u3073\u51fa\u3057\u5143\u306b\u623b\u308b\u3002
\n\u30ed\u30c3\u30af\u304c\u78ba\u4fdd\u3067\u304d\u306a\u304b\u3063\u305f\u5834\u5408\u306fsleep\u3057\u3066\u78ba\u4fdd\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u307e\u3067\u5f85\u3064\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u306f\u51fa\u6765\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u3068\u304d\u306f\u89e3\u653e\u3057\u305f\u5f8cwakeup\u3092\u547c\u3073\u3001\u4ed6\u306e\u30ed\u30c3\u30af\u89e3\u653e\u5f85\u3061\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u8d77\u3053\u3059\u3002
\n\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306f\u3001
\nvoid acquiremutex(struct mutex *m);
\nvoid releasemutex(struct mutex *m);
\n\u3068\u3059\u308b\u3002<\/p>\n
\u3068\u3001\u3053\u3053\u307e\u3067\u8003\u3048\u305f\u3082\u306e\u306e\u3001\u305d\u306e\u3088\u3046\u306amutex\u3092\u4f7f\u3044\u3001\u76f4\u63a5sleep\u3068wakeup\u3092\u4f7f\u308f\u306a\u3044\u30bb\u30de\u30d5\u30a9\u306e\u5b9f\u88c5\u306f\u8003\u3048\u3064\u304b\u305a\u3002
\n\u524d\u63d0\u304c\u304a\u304b\u3057\u3044\u306e\u304b\u982d\u304c\u304a\u304b\u3057\u3044\u306e\u304b\u2026<\/p>\n
\u611f\u60f3<\/h3>\n
3\u304c\u624b\u3082\u8db3\u3082\u51fa\u306a\u304f\u3066\u304f\u3084\u3057\u3044<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[32],"tags":[405],"class_list":["post-1577","post","type-post","status-publish","format-standard","hentry","category-tech","tag-xv6"],"_links":{"self":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/1577","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/comments?post=1577"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/1577\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=1577"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=1577"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=1577"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}