{"id":1438,"date":"2012-03-14T05:31:07","date_gmt":"2012-03-13T11:31:07","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=1438"},"modified":"2012-03-14T11:21:38","modified_gmt":"2012-03-14T02:21:38","slug":"xv6%e3%82%bd%e3%83%bc%e3%82%b9%e3%82%b3%e3%83%bc%e3%83%89%e3%83%aa%e3%83%bc%e3%83%87%e3%82%a3%e3%83%b3%e3%82%b0-%e3%81%9d%e3%81%ae39","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/1438","title":{"rendered":"[xv6 #39] Chapter 3 &#8211; Locking &#8211; Interrupt handlers"},"content":{"rendered":"<p>\u30c6\u30ad\u30b9\u30c8\u306e48\u30da\u30fc\u30b8<\/p>\n<h3>\u672c\u6587<\/h3>\n<p>xv6\u306f\u3001\u3042\u308bCPU\u3067\u5b9f\u884c\u3055\u308c\u308b\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3092\u3001\u4ed6\u306eCPU\u3067\u5b9f\u884c\u3055\u308c\u540c\u3058\u30c7\u30fc\u30bf\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u304b\u3089\u4fdd\u8b77\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30c3\u30af\u3092\u4f7f\u3046\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u30bf\u30a4\u30de\u30fc\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u306f\u3001ticks\u5909\u6570\u3092\u30a4\u30f3\u30af\u30ea\u30e1\u30f3\u30c8\u3059\u308b\u304c\u3001\u4ed6\u306eCPU\u3067\u305d\u306e\u5909\u6570\u3092\u4f7f\u3046sys_sleep\u95a2\u6570\u304c\u540c\u6642\u306b\u5b9f\u884c\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002<br \/>\ntickslock\u3068\u3044\u3046\u30ed\u30c3\u30af\u306f\u30012\u3064\u306eCPU\u304c1\u3064\u306e\u5909\u6570\u3078\u540c\u671f\u7684\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u305f\u3081\u306b\u3042\u308b\u3002<\/p>\n<p>trap.c\u306etrap\u95a2\u6570\u306e\u30bf\u30a4\u30de\u30fc\u5272\u308a\u8fbc\u307f\u3092\u5236\u5fa1\u3059\u308b\u90e8\u5206\uff08ticks\u306ftrap.c\u3067 uint ticks; \u3068\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  case T_IRQ0 + IRQ_TIMER:\n    if(cpu-&gt;id == 0){\n      acquire(&amp;tickslock);\n      ticks++;\n      wakeup(&amp;ticks);\n      release(&amp;tickslock);\n    }\n    lapiceoi();\n    break;<\/pre>\n<p>sysproc.c\u306esys_sleep\u95a2\u6570\uff08ticks\u306ftrap.c\u306e uint ticks; \u3092\u53c2\u7167\u3059\u308b\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">int\nsys_sleep(void)\n{\n  int n;\n  uint ticks0;\n  \n  if(argint(0, &amp;n) &lt; 0)\n    return -1;\n  acquire(&amp;tickslock);\n  ticks0 = ticks;\n  while(ticks - ticks0 &lt; n){\n    if(proc-&gt;killed){\n      release(&amp;tickslock);\n      return -1;\n    }\n    sleep(&amp;ticks, &amp;tickslock);\n  }\n  release(&amp;tickslock);\n  return 0;\n}<\/pre>\n<p>\u5272\u308a\u8fbc\u307f\u306f\u3001\u30b7\u30f3\u30b0\u30eb\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u3067\u3082\u540c\u3058\u304f\u540c\u6642\u5b9f\u884c\u3092\u5f15\u304d\u8d77\u3053\u3059\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002<br \/>\n\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u3001\u30ab\u30fc\u30cd\u30eb\u306e\u30b3\u30fc\u30c9\u306f\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3092\u5b9f\u884c\u3057\u306a\u3044\u3067\u3001\u3044\u3064\u3067\u3082\u505c\u6b62\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\niderw\u95a2\u6570\u304cidelock\u3092\u4fdd\u6301\u3057\u3066\u308b\u3068\u304d\u306b\u3001ideintr\u3092\u5b9f\u884c\u3059\u308b\u305f\u3081\u306b\u5272\u308a\u8fbc\u307e\u308c\u305f\u3068\u4eee\u5b9a\u3057\u3088\u3046\u3002<br \/>\nideintr\u306f\u3001idelock\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u3060\u308d\u3046\u304c\u3001\u305d\u308c\u306f\u65e2\u306biderw\u306b\u3088\u3063\u3066\u4fdd\u6301\u3055\u308c\u3066\u3044\u308b\u306e\u3067\u3001ideintr\u306f\u305d\u306e\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u308b\u307e\u3067\u5f85\u3064\u3060\u308d\u3046\u3002<br \/>\n\u3057\u304b\u3057\u3053\u306e\u5834\u5408\u3001idelock\u306f\u6c7a\u3057\u3066\u89e3\u653e\u3055\u308c\u305a\uff08iderw\u3060\u3051\u304c\u305d\u308c\u3092\u89e3\u653e\u53ef\u80fd\u306a\u306e\u306b\u3001iderw\u306fideintr\u304c\u7d42\u308f\u308b\u307e\u3067\u7d9a\u884c\u3059\u308b\u3053\u3068\u306f\u51fa\u6765\u306a\u3044\u306e\u3067\uff09\u3001\u30d7\u30ed\u30bb\u30c3\u30b5\u3001\u305d\u3057\u3066\u7d50\u5c40\u306f\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u304c\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308b\u3060\u308d\u3046\u3002<\/p>\n<p>\u305d\u3093\u306a\u4e8b\u614b\u3092\u907f\u3051\u308b\u305f\u3081\u306b\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u304b\u3064\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3067\u30ed\u30c3\u30af\u304c\u4f7f\u308f\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u30d7\u30ed\u30bb\u30c3\u30b5\u306f\u305d\u306e\u5272\u308a\u8fbc\u307f\u306e\u524d\u306b\u305d\u306e\u30ed\u30c3\u30af\u3092\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<br \/>\nxv6\u306f\u304b\u306a\u308a\u4fdd\u5b88\u7684\u3067\u3042\u308b\u3002<br \/>\nxv6\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306f\u3001\u3069\u3093\u306a\u30ed\u30c3\u30af\u3082\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3002<br \/>\nxv6\u306f\u3001&#8221;\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316&#8221;\u306e\u64cd\u4f5c\u306e\u30b9\u30bf\u30c3\u30af\u3092\u7ba1\u7406\u3059\u308b\u305f\u3081\u306b\u3001pushcli\u95a2\u6570\u3068popcli\u95a2\u6570\u3092\u4f7f\u3046\u3002<br \/>\ncli\u3068\u306f\u3001\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u5316\u3059\u308bx86\u306e\u547d\u4ee4\u3067\u3042\u308b\u3002<br \/>\nacquire\u95a2\u6570\u306f\u3001\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u524d\u306bpushcli\u95a2\u6570\u3092\u547c\u3076\u3002<br \/>\n\u305d\u3057\u3066release\u95a2\u6570\u306f\u3001\u30ed\u30c3\u30af\u3092\u958b\u653e\u3057\u305f\u5f8c\u306bpopcli\u95a2\u6570\u3092\u547c\u3076\u3002<br \/>\npushcli\u3068popcli\u306f\u3001cli\u547d\u4ee4\u3068sti\u547d\u4ee4\u3092\u5358\u7d14\u306b\u30e9\u30c3\u30d7\u3059\u308b\u3060\u3051\u3067\u306f\u306a\u3044\u3002<br \/>\n\u305d\u308c\u3089\u306e\u547c\u3073\u51fa\u3057\u56de\u6570\u306f\u8a18\u9332\u3055\u308c\u30012\u56de\u306epushcli\u306e\u547c\u3073\u51fa\u3057\u3092\u5143\u306b\u623b\u3059\u305f\u3081\u306b\u306f\u30012\u56de\u306epopcli\u306e\u547c\u3073\u51fa\u3057\u304c\u5fc5\u8981\u3068\u306a\u308b\u3002<br \/>\n\u4ee5\u4e0a\u306e\u3053\u3068\u304b\u3089\u3001\u30b3\u30fc\u30c9\u304c\u305d\u308c\u305e\u308c\u9055\u30462\u3064\u306e\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u5834\u5408\u3001\u4e21\u65b9\u306e\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u308b\u307e\u3067\u3001\u5272\u308a\u8fbc\u307f\u304c\u518d\u5ea6\u6709\u52b9\u306b\u306a\u308b\u3053\u3068\u306f\u7121\u3044\u3060\u308d\u3046\u3002<\/p>\n<p>spinlock.c<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ Mutual exclusion spin locks.\n\n#include &quot;types.h&quot;\n#include &quot;defs.h&quot;\n#include &quot;param.h&quot;\n#include &quot;x86.h&quot;\n#include &quot;memlayout.h&quot;\n#include &quot;mmu.h&quot;\n#include &quot;proc.h&quot;\n#include &quot;spinlock.h&quot;\n\nvoid\ninitlock(struct spinlock *lk, char *name)\n{\n  lk-&gt;name = name;\n  lk-&gt;locked = 0;\n  lk-&gt;cpu = 0;\n}\n\n\/\/ Acquire the lock.\n\/\/ Loops (spins) until the lock is acquired.\n\/\/ Holding a lock for a long time may cause\n\/\/ other CPUs to waste time spinning to acquire it.\nvoid\nacquire(struct spinlock *lk)\n{\n  pushcli(); \/\/ disable interrupts to avoid deadlock.\n  if(holding(lk))\n    panic(&quot;acquire&quot;);\n\n  \/\/ The xchg is atomic.\n  \/\/ It also serializes, so that reads after acquire are not\n  \/\/ reordered before it. \n  while(xchg(&amp;lk-&gt;locked, 1) != 0)\n    ;\n\n  \/\/ Record info about lock acquisition for debugging.\n  lk-&gt;cpu = cpu;\n  getcallerpcs(&amp;lk, lk-&gt;pcs);\n}\n\n\/\/ Release the lock.\nvoid\nrelease(struct spinlock *lk)\n{\n  if(!holding(lk))\n    panic(&quot;release&quot;);\n\n  lk-&gt;pcs&#x5B;0] = 0;\n  lk-&gt;cpu = 0;\n\n  \/\/ The xchg serializes, so that reads before release are \n  \/\/ not reordered after it.  The 1996 PentiumPro manual (Volume 3,\n  \/\/ 7.2) says reads can be carried out speculatively and in\n  \/\/ any order, which implies we need to serialize here.\n  \/\/ But the 2007 Intel 64 Architecture Memory Ordering White\n  \/\/ Paper says that Intel 64 and IA-32 will not move a load\n  \/\/ after a store. So lock-&gt;locked = 0 would work here.\n  \/\/ The xchg being asm volatile ensures gcc emits it after\n  \/\/ the above assignments (and after the critical section).\n  xchg(&amp;lk-&gt;locked, 0);\n\n  popcli();\n}\n\n\/\/ Record the current call stack in pcs&#x5B;] by following the %ebp chain.\nvoid\ngetcallerpcs(void *v, uint pcs&#x5B;])\n{\n  uint *ebp;\n  int i;\n  \n  ebp = (uint*)v - 2;\n  for(i = 0; i &lt; 10; i++){\n    if(ebp == 0 || ebp &lt; (uint*)KERNBASE || ebp == (uint*)0xffffffff)\n      break;\n    pcs&amp;#91;i&amp;#93; = ebp&amp;#91;1&amp;#93;;     \/\/ saved %eip\n    ebp = (uint*)ebp&amp;#91;0&amp;#93;; \/\/ saved %ebp\n  }\n  for(; i &lt; 10; i++)\n    pcs&amp;#91;i&amp;#93; = 0;\n}\n\n\/\/ Check whether this cpu is holding the lock.\nint\nholding(struct spinlock *lock)\n{\n  return lock-&gt;locked &amp;&amp; lock-&gt;cpu == cpu;\n}\n\n\n\/\/ Pushcli\/popcli are like cli\/sti except that they are matched:\n\/\/ it takes two popcli to undo two pushcli.  Also, if interrupts\n\/\/ are off, then pushcli, popcli leaves them off.\n\nvoid\npushcli(void)\n{\n  int eflags;\n  \n  eflags = readeflags();\n  cli();\n  if(cpu-&gt;ncli++ == 0)\n    cpu-&gt;intena = eflags &amp; FL_IF;\n}\n\nvoid\npopcli(void)\n{\n  if(readeflags()&amp;FL_IF)\n    panic(&quot;popcli - interruptible&quot;);\n  if(--cpu-&gt;ncli &lt; 0)\n    panic(&quot;popcli&quot;);\n  if(cpu-&gt;ncli == 0 &amp;&amp; cpu-&gt;intena)\n    sti();\n}<\/pre>\n<p>acquire\u304c\u3001\u5b9f\u969b\u306b\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u305f\u3081\u306exchg\u547d\u4ee4\u3092\u5b9f\u884c\u3059\u308b\u524d\u306bpushcli\u3092\u547c\u3076\u4e8b\u306f\u91cd\u8981\u3067\u3042\u308b\u3002<br \/>\n\u305d\u308c\u30892\u3064\u306e\u9806\u756a\u304c\u9006\u3060\u3068\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306b\u30ed\u30c3\u30af\u304c\u4fdd\u6301\u3055\u308c\u305f\u3068\u304d\u3001\u3044\u304f\u3064\u304b\u306e\u547d\u4ee4\u30b5\u30a4\u30af\u30eb\u306e\u306e\u3061\u3001\u6b8b\u5ff5\u306a\u304c\u3089\u5b9a\u671f\u7684\u306b\u533a\u5207\u3089\u308c\u308b\u5272\u308a\u8fbc\u307f\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u3092\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308c\u308b\u3060\u308d\u3046\u3002\uff08\u8b0e\uff09<br \/>\n\u540c\u69d8\u306brelease\u304c\u3001\u5b9f\u969b\u306b\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u305f\u3081\u306exchg\u547d\u4ee4\u3092\u5b9f\u884c\u3059\u308b\u524d\u306bpopcli\u3092\u547c\u3076\u4e8b\u306f\u91cd\u8981\u3067\u3042\u308b\u3002<\/p>\n<p>\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3068\u5272\u308a\u8fbc\u307f\u3058\u3083\u306a\u3044\u30b3\u30fc\u30c9\u306e\u9593\u306e\u76f8\u4e92\u4f5c\u7528\u306f\u3001\u518d\u5e30\u30ed\u30c3\u30af\u306b\u4f55\u6545\u554f\u984c\u304c\u3042\u308b\u306e\u304b\u3068\u3044\u3046\u3053\u3068\u306e\u826f\u3044\u4f8b\u3067\u3042\u308b\u3002<br \/>\nxv6\u304c\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u305f\u5834\u5408\uff08\u6700\u521d\u306e\u30ed\u30c3\u30af\u306e\u7372\u5f97\u306e\u6642\u3068\u540c\u3058CPU\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u305f\u5834\u5408\u3001\u3072\u3068\u3064\u306eCPU\u4e0a\u3067\u5206\u5272\u3057\u3066\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002\uff09\u3001\u5272\u308a\u8fbc\u307f\u3058\u3083\u306a\u3044\u30b3\u30fc\u30c9\u304c\u91cd\u8981\u306a\u90e8\u5206\u3092\u5b9f\u884c\u3057\u3066\u308b\u6642\u306b\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u304c\u5b9f\u884c\u51fa\u6765\u308b\u3053\u3068\u3068\u306a\u308b\u3002<br \/>\n\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u306e\u5b9f\u884c\u4e2d\u3001\u305d\u306e\u30cf\u30f3\u30c9\u30e9\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u4e00\u6642\u7684\u306a\u9055\u53cd\u306b\u4f9d\u5b58\u3059\u308b\u306e\u3067\u3001\u3053\u308c\u306f\u6df7\u4e71\u3092\u3082\u305f\u3089\u3059\u3002<br \/>\n\u4f8b\u3048\u3070ideintr\u306f\u3001\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u304c\u6b63\u3057\u3044\u5f62\u5f0f\u306e\u672a\u5b9f\u884c\u30ea\u30af\u30a8\u30b9\u30c8\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u3068\u4eee\u5b9a\u3059\u308b\u3002<br \/>\n\u3082\u3057xv6\u304c\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u305f\u5834\u5408\u3001ideintr\u306fiderw\u304c\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u3092\u64cd\u4f5c\u3057\u3066\u308b\u6700\u4e2d\u306b\u5b9f\u884c\u3067\u304d\u3001\u305d\u3057\u3066\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u306f\u6700\u7d42\u7684\u306b\u304a\u304b\u3057\u306a\u72b6\u614b\u306b\u306a\u308b\u3002<\/p>\n<h3>\u611f\u60f3<\/h3>\n<p>\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3068\u30ed\u30c3\u30af\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u3067\u3059\u3002<\/p>\n<p>\u672c\u6587\u3067\u306f\u300cxv6\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306f\u3001\u3069\u3093\u306a\u30ed\u30c3\u30af\u3082\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3002\u300d\u3068\u66f8\u304b\u308c\u3066\u307e\u3059\u304c\u3001\u51e6\u7406\u306e\u8aac\u660e\u3068\u3057\u3066\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u3068\u304d\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u306a\u3044\u306e\u3067\u306f\u306a\u304f\u3001\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u305f\u3089\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u306b\u3059\u308b\u3001\u3068\u8a00\u3063\u305f\u307b\u3046\u304c\u6b63\u3057\u3044\u304b\u3082\u3067\u3059\u3002<br \/>\n\u307e\u3041\u3069\u3063\u3082\u4e8b\u5b9f\u306e\u8aac\u660e\u3068\u3057\u3066\u306f\u3001\u4e3b\u773c\u3092\u3069\u3053\u306b\u7f6e\u304f\u304b\u304c\u9055\u3046\u3060\u3051\u3067\u540c\u3058\u3088\u3046\u306a\u610f\u5473\u3067\u306f\u3042\u308b\u306e\u3067\u3059\u304c\u3002<\/p>\n<p>\u8b0e\u3068\u66f8\u3044\u305f\u90e8\u5206\u306b\u3064\u3044\u3066\u3067\u3059\u304c\u3001\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316\u2192\u30ed\u30c3\u30af\u7372\u5f97\u3001\u306e\u9806\u756a\u3067\u306f\u306a\u304f\u3001\u30ed\u30c3\u30af\u7372\u5f97\u2192\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316\u3001\u306e\u9806\u756a\u3060\u3068\u3001\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u304c\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u305f\u307e\u307e\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u304c\u5b9f\u884c\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u3001\u305d\u306e\u30cf\u30f3\u30c9\u30e9\u304c\u540c\u3058\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3088\u3046\u3068\u3057\u3066\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u3001\u3060\u304b\u3089\u30c0\u30e1\u3060\u3068\u3044\u3046\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u518d\u5e30\u30ed\u30c3\u30af\u3092\u63a1\u7528\u3057\u305f\u5834\u5408\u3001\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3066\u308b\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u5272\u308a\u8fbc\u307f\u304c\u7121\u52b9\u306b\u306a\u3089\u306a\u3044\u3001\u3068\u3044\u3046\u305d\u306e\u7406\u7531\u304c\u3088\u304f\u5206\u304b\u308a\u307e\u305b\u3093\u3002<br \/>\n\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5834\u5408\u3001\u4f55\u56deacquire\u3055\u308c\u305f\u304b\u306f\u3001\u30ed\u30c3\u30af\u5909\u6570\u6bce\u306b\u4fdd\u6301\u3057\u3068\u3051\u3070\u3044\u3044\u3060\u3051\u3067\u3059\u3057\u3001\u30ed\u30c3\u30af\u304c\u30bc\u30ed\u304b\u5426\u304b\u306a\u3093\u3066\u306e\u306f\u3001\u4eca\u306eacquire\u3068release\u306e\u4ed5\u7d44\u307f\u3067\u5341\u5206\u5224\u5b9a\u51fa\u6765\u308b\u306f\u305a\u3067\u3059\u3002<br \/>\n\u3060\u304b\u3089\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u3066\u3082\u3001\u3069\u3063\u304b\u30671\u56de\u3067\u3082acquire\u3055\u308c\u3066\u305f\u3089\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u306b\u3057\u3001\u5168\u3066release\u3055\u308c\u305f\u3089\u518d\u5ea6\u5272\u308a\u8fbc\u307f\u3092\u6709\u52b9\u306b\u3059\u308b\u3001\u306a\u3093\u3066\u4e8b\u306f\u666e\u901a\u306b\u51fa\u6765\u308b\u6c17\u304c\u3059\u308b\u3093\u3067\u3059\u304c\u3002<\/p>\n<p>\u5272\u308a\u8fbc\u307f\u975e\u5272\u308a\u8fbc\u307f\u306b\u95a2\u308f\u3089\u305a\u3001\u540c\u3058CPU\u306a\u3089\u540c\u3058\u30ed\u30c3\u30af\u3092\u4f55\u56de\u3067\u3082\u7372\u5f97&#8221;\u51fa\u6765\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044&#8221;\uff08\u5358\u306b\u51fa\u6765\u308b\u3068\u3044\u3046\u306e\u3068\u306f\u9055\u3063\u3066\uff09\u3068\u3044\u3046\u306e\u304c\u3001\u3053\u3053\u3067\u8a00\u3046\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5b9a\u7fa9\u3060\u3068\u3044\u3046\u306e\u306a\u3089\u3001\u672c\u6587\u306e\u901a\u308a\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3046\u301c\u3093\u3001\u4f55\u304b\u601d\u3044\u9055\u3044\u3092\u3057\u3066\u308b\u6c17\u304c\u3059\u308b\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u30c6\u30ad\u30b9\u30c8\u306e48\u30da\u30fc\u30b8<\/p>\n<h3>\u672c\u6587<\/h3>\n<p>xv6\u306f\u3001\u3042\u308bCPU\u3067\u5b9f\u884c\u3055\u308c\u308b\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3092\u3001\u4ed6\u306eCPU\u3067\u5b9f\u884c\u3055\u308c\u540c\u3058\u30c7\u30fc\u30bf\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u304b\u3089\u4fdd\u8b77\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30c3\u30af\u3092\u4f7f\u3046\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u30bf\u30a4\u30de\u30fc\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u306f\u3001ticks\u5909\u6570\u3092\u30a4\u30f3\u30af\u30ea\u30e1\u30f3\u30c8\u3059\u308b\u304c\u3001\u4ed6\u306eCPU\u3067\u305d\u306e\u5909\u6570\u3092\u4f7f\u3046sys_sleep\u95a2\u6570\u304c\u540c\u6642\u306b\u5b9f\u884c\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002<br \/>\ntickslock\u3068\u3044\u3046\u30ed\u30c3\u30af\u306f\u30012\u3064\u306eCPU\u304c1\u3064\u306e\u5909\u6570\u3078\u540c\u671f\u7684\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u305f\u3081\u306b\u3042\u308b\u3002<\/p>\n<p>trap.c\u306etrap\u95a2\u6570\u306e\u30bf\u30a4\u30de\u30fc\u5272\u308a\u8fbc\u307f\u3092\u5236\u5fa1\u3059\u308b\u90e8\u5206\uff08ticks\u306ftrap.c\u3067 uint ticks; \u3068\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  case T_IRQ0 + IRQ_TIMER:\n    if(cpu-&gt;id == 0){\n      acquire(&amp;tickslock);\n      ticks++;\n      wakeup(&amp;ticks);\n      release(&amp;tickslock);\n    }\n    lapiceoi();\n    break;<\/pre>\n<p>sysproc.c\u306esys_sleep\u95a2\u6570\uff08ticks\u306ftrap.c\u306e uint ticks; \u3092\u53c2\u7167\u3059\u308b\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">int\nsys_sleep(void)\n{\n  int n;\n  uint ticks0;\n  \n  if(argint(0, &amp;n) &lt; 0)\n    return -1;\n  acquire(&amp;tickslock);\n  ticks0 = ticks;\n  while(ticks - ticks0 &lt; n){\n    if(proc-&gt;killed){\n      release(&amp;tickslock);\n      return -1;\n    }\n    sleep(&amp;ticks, &amp;tickslock);\n  }\n  release(&amp;tickslock);\n  return 0;\n}<\/pre>\n<p>\u5272\u308a\u8fbc\u307f\u306f\u3001\u30b7\u30f3\u30b0\u30eb\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u3067\u3082\u540c\u3058\u304f\u540c\u6642\u5b9f\u884c\u3092\u5f15\u304d\u8d77\u3053\u3059\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002<br \/>\n\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u3001\u30ab\u30fc\u30cd\u30eb\u306e\u30b3\u30fc\u30c9\u306f\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3092\u5b9f\u884c\u3057\u306a\u3044\u3067\u3001\u3044\u3064\u3067\u3082\u505c\u6b62\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\niderw\u95a2\u6570\u304cidelock\u3092\u4fdd\u6301\u3057\u3066\u308b\u3068\u304d\u306b\u3001ideintr\u3092\u5b9f\u884c\u3059\u308b\u305f\u3081\u306b\u5272\u308a\u8fbc\u307e\u308c\u305f\u3068\u4eee\u5b9a\u3057\u3088\u3046\u3002<br \/>\nideintr\u306f\u3001idelock\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u3060\u308d\u3046\u304c\u3001\u305d\u308c\u306f\u65e2\u306biderw\u306b\u3088\u3063\u3066\u4fdd\u6301\u3055\u308c\u3066\u3044\u308b\u306e\u3067\u3001ideintr\u306f\u305d\u306e\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u308b\u307e\u3067\u5f85\u3064\u3060\u308d\u3046\u3002<br \/>\n\u3057\u304b\u3057\u3053\u306e\u5834\u5408\u3001idelock\u306f\u6c7a\u3057\u3066\u89e3\u653e\u3055\u308c\u305a\uff08iderw\u3060\u3051\u304c\u305d\u308c\u3092\u89e3\u653e\u53ef\u80fd\u306a\u306e\u306b\u3001iderw\u306fideintr\u304c\u7d42\u308f\u308b\u307e\u3067\u7d9a\u884c\u3059\u308b\u3053\u3068\u306f\u51fa\u6765\u306a\u3044\u306e\u3067\uff09\u3001\u30d7\u30ed\u30bb\u30c3\u30b5\u3001\u305d\u3057\u3066\u7d50\u5c40\u306f\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u304c\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308b\u3060\u308d\u3046\u3002<\/p>\n<p>\u305d\u3093\u306a\u4e8b\u614b\u3092\u907f\u3051\u308b\u305f\u3081\u306b\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u304b\u3064\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3067\u30ed\u30c3\u30af\u304c\u4f7f\u308f\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u30d7\u30ed\u30bb\u30c3\u30b5\u306f\u305d\u306e\u5272\u308a\u8fbc\u307f\u306e\u524d\u306b\u305d\u306e\u30ed\u30c3\u30af\u3092\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<br \/>\nxv6\u306f\u304b\u306a\u308a\u4fdd\u5b88\u7684\u3067\u3042\u308b\u3002<br \/>\nxv6\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306f\u3001\u3069\u3093\u306a\u30ed\u30c3\u30af\u3082\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3002<br \/>\nxv6\u306f\u3001&#8221;\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316&#8221;\u306e\u64cd\u4f5c\u306e\u30b9\u30bf\u30c3\u30af\u3092\u7ba1\u7406\u3059\u308b\u305f\u3081\u306b\u3001pushcli\u95a2\u6570\u3068popcli\u95a2\u6570\u3092\u4f7f\u3046\u3002<br \/>\ncli\u3068\u306f\u3001\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u5316\u3059\u308bx86\u306e\u547d\u4ee4\u3067\u3042\u308b\u3002<br \/>\nacquire\u95a2\u6570\u306f\u3001\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u524d\u306bpushcli\u95a2\u6570\u3092\u547c\u3076\u3002<br \/>\n\u305d\u3057\u3066release\u95a2\u6570\u306f\u3001\u30ed\u30c3\u30af\u3092\u958b\u653e\u3057\u305f\u5f8c\u306bpopcli\u95a2\u6570\u3092\u547c\u3076\u3002<br \/>\npushcli\u3068popcli\u306f\u3001cli\u547d\u4ee4\u3068sti\u547d\u4ee4\u3092\u5358\u7d14\u306b\u30e9\u30c3\u30d7\u3059\u308b\u3060\u3051\u3067\u306f\u306a\u3044\u3002<br \/>\n\u305d\u308c\u3089\u306e\u547c\u3073\u51fa\u3057\u56de\u6570\u306f\u8a18\u9332\u3055\u308c\u30012\u56de\u306epushcli\u306e\u547c\u3073\u51fa\u3057\u3092\u5143\u306b\u623b\u3059\u305f\u3081\u306b\u306f\u30012\u56de\u306epopcli\u306e\u547c\u3073\u51fa\u3057\u304c\u5fc5\u8981\u3068\u306a\u308b\u3002<br \/>\n\u4ee5\u4e0a\u306e\u3053\u3068\u304b\u3089\u3001\u30b3\u30fc\u30c9\u304c\u305d\u308c\u305e\u308c\u9055\u30462\u3064\u306e\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u5834\u5408\u3001\u4e21\u65b9\u306e\u30ed\u30c3\u30af\u304c\u89e3\u653e\u3055\u308c\u308b\u307e\u3067\u3001\u5272\u308a\u8fbc\u307f\u304c\u518d\u5ea6\u6709\u52b9\u306b\u306a\u308b\u3053\u3068\u306f\u7121\u3044\u3060\u308d\u3046\u3002<\/p>\n<p>spinlock.c<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ Mutual exclusion spin locks.\n\n#include &quot;types.h&quot;\n#include &quot;defs.h&quot;\n#include &quot;param.h&quot;\n#include &quot;x86.h&quot;\n#include &quot;memlayout.h&quot;\n#include &quot;mmu.h&quot;\n#include &quot;proc.h&quot;\n#include &quot;spinlock.h&quot;\n\nvoid\ninitlock(struct spinlock *lk, char *name)\n{\n  lk-&gt;name = name;\n  lk-&gt;locked = 0;\n  lk-&gt;cpu = 0;\n}\n\n\/\/ Acquire the lock.\n\/\/ Loops (spins) until the lock is acquired.\n\/\/ Holding a lock for a long time may cause\n\/\/ other CPUs to waste time spinning to acquire it.\nvoid\nacquire(struct spinlock *lk)\n{\n  pushcli(); \/\/ disable interrupts to avoid deadlock.\n  if(holding(lk))\n    panic(&quot;acquire&quot;);\n\n  \/\/ The xchg is atomic.\n  \/\/ It also serializes, so that reads after acquire are not\n  \/\/ reordered before it. \n  while(xchg(&amp;lk-&gt;locked, 1) != 0)\n    ;\n\n  \/\/ Record info about lock acquisition for debugging.\n  lk-&gt;cpu = cpu;\n  getcallerpcs(&amp;lk, lk-&gt;pcs);\n}\n\n\/\/ Release the lock.\nvoid\nrelease(struct spinlock *lk)\n{\n  if(!holding(lk))\n    panic(&quot;release&quot;);\n\n  lk-&gt;pcs&#x5B;0] = 0;\n  lk-&gt;cpu = 0;\n\n  \/\/ The xchg serializes, so that reads before release are \n  \/\/ not reordered after it.  The 1996 PentiumPro manual (Volume 3,\n  \/\/ 7.2) says reads can be carried out speculatively and in\n  \/\/ any order, which implies we need to serialize here.\n  \/\/ But the 2007 Intel 64 Architecture Memory Ordering White\n  \/\/ Paper says that Intel 64 and IA-32 will not move a load\n  \/\/ after a store. So lock-&gt;locked = 0 would work here.\n  \/\/ The xchg being asm volatile ensures gcc emits it after\n  \/\/ the above assignments (and after the critical section).\n  xchg(&amp;lk-&gt;locked, 0);\n\n  popcli();\n}\n\n\/\/ Record the current call stack in pcs&#x5B;] by following the %ebp chain.\nvoid\ngetcallerpcs(void *v, uint pcs&#x5B;])\n{\n  uint *ebp;\n  int i;\n  \n  ebp = (uint*)v - 2;\n  for(i = 0; i &lt; 10; i++){\n    if(ebp == 0 || ebp &lt; (uint*)KERNBASE || ebp == (uint*)0xffffffff)\n      break;\n    pcs&amp;#91;i&amp;#93; = ebp&amp;#91;1&amp;#93;;     \/\/ saved %eip\n    ebp = (uint*)ebp&amp;#91;0&amp;#93;; \/\/ saved %ebp\n  }\n  for(; i &lt; 10; i++)\n    pcs&amp;#91;i&amp;#93; = 0;\n}\n\n\/\/ Check whether this cpu is holding the lock.\nint\nholding(struct spinlock *lock)\n{\n  return lock-&gt;locked &amp;&amp; lock-&gt;cpu == cpu;\n}\n\n\n\/\/ Pushcli\/popcli are like cli\/sti except that they are matched:\n\/\/ it takes two popcli to undo two pushcli.  Also, if interrupts\n\/\/ are off, then pushcli, popcli leaves them off.\n\nvoid\npushcli(void)\n{\n  int eflags;\n  \n  eflags = readeflags();\n  cli();\n  if(cpu-&gt;ncli++ == 0)\n    cpu-&gt;intena = eflags &amp; FL_IF;\n}\n\nvoid\npopcli(void)\n{\n  if(readeflags()&amp;FL_IF)\n    panic(&quot;popcli - interruptible&quot;);\n  if(--cpu-&gt;ncli &lt; 0)\n    panic(&quot;popcli&quot;);\n  if(cpu-&gt;ncli == 0 &amp;&amp; cpu-&gt;intena)\n    sti();\n}<\/pre>\n<p>acquire\u304c\u3001\u5b9f\u969b\u306b\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u305f\u3081\u306exchg\u547d\u4ee4\u3092\u5b9f\u884c\u3059\u308b\u524d\u306bpushcli\u3092\u547c\u3076\u4e8b\u306f\u91cd\u8981\u3067\u3042\u308b\u3002<br \/>\n\u305d\u308c\u30892\u3064\u306e\u9806\u756a\u304c\u9006\u3060\u3068\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306b\u30ed\u30c3\u30af\u304c\u4fdd\u6301\u3055\u308c\u305f\u3068\u304d\u3001\u3044\u304f\u3064\u304b\u306e\u547d\u4ee4\u30b5\u30a4\u30af\u30eb\u306e\u306e\u3061\u3001\u6b8b\u5ff5\u306a\u304c\u3089\u5b9a\u671f\u7684\u306b\u533a\u5207\u3089\u308c\u308b\u5272\u308a\u8fbc\u307f\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u3092\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308c\u308b\u3060\u308d\u3046\u3002\uff08\u8b0e\uff09<br \/>\n\u540c\u69d8\u306brelease\u304c\u3001\u5b9f\u969b\u306b\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u305f\u3081\u306exchg\u547d\u4ee4\u3092\u5b9f\u884c\u3059\u308b\u524d\u306bpopcli\u3092\u547c\u3076\u4e8b\u306f\u91cd\u8981\u3067\u3042\u308b\u3002<\/p>\n<p>\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3068\u5272\u308a\u8fbc\u307f\u3058\u3083\u306a\u3044\u30b3\u30fc\u30c9\u306e\u9593\u306e\u76f8\u4e92\u4f5c\u7528\u306f\u3001\u518d\u5e30\u30ed\u30c3\u30af\u306b\u4f55\u6545\u554f\u984c\u304c\u3042\u308b\u306e\u304b\u3068\u3044\u3046\u3053\u3068\u306e\u826f\u3044\u4f8b\u3067\u3042\u308b\u3002<br \/>\nxv6\u304c\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u305f\u5834\u5408\uff08\u6700\u521d\u306e\u30ed\u30c3\u30af\u306e\u7372\u5f97\u306e\u6642\u3068\u540c\u3058CPU\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u305f\u5834\u5408\u3001\u3072\u3068\u3064\u306eCPU\u4e0a\u3067\u5206\u5272\u3057\u3066\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002\uff09\u3001\u5272\u308a\u8fbc\u307f\u3058\u3083\u306a\u3044\u30b3\u30fc\u30c9\u304c\u91cd\u8981\u306a\u90e8\u5206\u3092\u5b9f\u884c\u3057\u3066\u308b\u6642\u306b\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u304c\u5b9f\u884c\u51fa\u6765\u308b\u3053\u3068\u3068\u306a\u308b\u3002<br \/>\n\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u306e\u5b9f\u884c\u4e2d\u3001\u305d\u306e\u30cf\u30f3\u30c9\u30e9\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u4e00\u6642\u7684\u306a\u9055\u53cd\u306b\u4f9d\u5b58\u3059\u308b\u306e\u3067\u3001\u3053\u308c\u306f\u6df7\u4e71\u3092\u3082\u305f\u3089\u3059\u3002<br \/>\n\u4f8b\u3048\u3070ideintr\u306f\u3001\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u304c\u6b63\u3057\u3044\u5f62\u5f0f\u306e\u672a\u5b9f\u884c\u30ea\u30af\u30a8\u30b9\u30c8\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u3068\u4eee\u5b9a\u3059\u308b\u3002<br \/>\n\u3082\u3057xv6\u304c\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u305f\u5834\u5408\u3001ideintr\u306fiderw\u304c\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u3092\u64cd\u4f5c\u3057\u3066\u308b\u6700\u4e2d\u306b\u5b9f\u884c\u3067\u304d\u3001\u305d\u3057\u3066\u30ea\u30f3\u30af\u30ea\u30b9\u30c8\u306f\u6700\u7d42\u7684\u306b\u304a\u304b\u3057\u306a\u72b6\u614b\u306b\u306a\u308b\u3002<\/p>\n<h3>\u611f\u60f3<\/h3>\n<p>\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u3068\u30ed\u30c3\u30af\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u3067\u3059\u3002<\/p>\n<p>\u672c\u6587\u3067\u306f\u300cxv6\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u5834\u5408\u306f\u3001\u3069\u3093\u306a\u30ed\u30c3\u30af\u3082\u6c7a\u3057\u3066\u4fdd\u6301\u3057\u306a\u3044\u3002\u300d\u3068\u66f8\u304b\u308c\u3066\u307e\u3059\u304c\u3001\u51e6\u7406\u306e\u8aac\u660e\u3068\u3057\u3066\u306f\u3001\u5272\u308a\u8fbc\u307f\u304c\u6709\u52b9\u306a\u3068\u304d\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u306a\u3044\u306e\u3067\u306f\u306a\u304f\u3001\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u305f\u3089\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u306b\u3059\u308b\u3001\u3068\u8a00\u3063\u305f\u307b\u3046\u304c\u6b63\u3057\u3044\u304b\u3082\u3067\u3059\u3002<br \/>\n\u307e\u3041\u3069\u3063\u3082\u4e8b\u5b9f\u306e\u8aac\u660e\u3068\u3057\u3066\u306f\u3001\u4e3b\u773c\u3092\u3069\u3053\u306b\u7f6e\u304f\u304b\u304c\u9055\u3046\u3060\u3051\u3067\u540c\u3058\u3088\u3046\u306a\u610f\u5473\u3067\u306f\u3042\u308b\u306e\u3067\u3059\u304c\u3002<\/p>\n<p>\u8b0e\u3068\u66f8\u3044\u305f\u90e8\u5206\u306b\u3064\u3044\u3066\u3067\u3059\u304c\u3001\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316\u2192\u30ed\u30c3\u30af\u7372\u5f97\u3001\u306e\u9806\u756a\u3067\u306f\u306a\u304f\u3001\u30ed\u30c3\u30af\u7372\u5f97\u2192\u5272\u308a\u8fbc\u307f\u7121\u52b9\u5316\u3001\u306e\u9806\u756a\u3060\u3068\u3001\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u304c\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u305f\u307e\u307e\u3001\u5272\u308a\u8fbc\u307f\u30cf\u30f3\u30c9\u30e9\u304c\u5b9f\u884c\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u3001\u305d\u306e\u30cf\u30f3\u30c9\u30e9\u304c\u540c\u3058\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3088\u3046\u3068\u3057\u3066\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u9665\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u3001\u3060\u304b\u3089\u30c0\u30e1\u3060\u3068\u3044\u3046\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u518d\u5e30\u30ed\u30c3\u30af\u3092\u63a1\u7528\u3057\u305f\u5834\u5408\u3001\u975e\u5272\u308a\u8fbc\u307f\u30b3\u30fc\u30c9\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3066\u308b\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u5272\u308a\u8fbc\u307f\u304c\u7121\u52b9\u306b\u306a\u3089\u306a\u3044\u3001\u3068\u3044\u3046\u305d\u306e\u7406\u7531\u304c\u3088\u304f\u5206\u304b\u308a\u307e\u305b\u3093\u3002<br \/>\n\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5834\u5408\u3001\u4f55\u56deacquire\u3055\u308c\u305f\u304b\u306f\u3001\u30ed\u30c3\u30af\u5909\u6570\u6bce\u306b\u4fdd\u6301\u3057\u3068\u3051\u3070\u3044\u3044\u3060\u3051\u3067\u3059\u3057\u3001\u30ed\u30c3\u30af\u304c\u30bc\u30ed\u304b\u5426\u304b\u306a\u3093\u3066\u306e\u306f\u3001\u4eca\u306eacquire\u3068release\u306e\u4ed5\u7d44\u307f\u3067\u5341\u5206\u5224\u5b9a\u51fa\u6765\u308b\u306f\u305a\u3067\u3059\u3002<br \/>\n\u3060\u304b\u3089\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u3066\u3082\u3001\u3069\u3063\u304b\u30671\u56de\u3067\u3082acquire\u3055\u308c\u3066\u305f\u3089\u5272\u308a\u8fbc\u307f\u3092\u7121\u52b9\u306b\u3057\u3001\u5168\u3066release\u3055\u308c\u305f\u3089\u518d\u5ea6\u5272\u308a\u8fbc\u307f\u3092\u6709\u52b9\u306b\u3059\u308b\u3001\u306a\u3093\u3066\u4e8b\u306f\u666e\u901a\u306b\u51fa\u6765\u308b\u6c17\u304c\u3059\u308b\u3093\u3067\u3059\u304c\u3002<\/p>\n<p>\u5272\u308a\u8fbc\u307f\u975e\u5272\u308a\u8fbc\u307f\u306b\u95a2\u308f\u3089\u305a\u3001\u540c\u3058CPU\u306a\u3089\u540c\u3058\u30ed\u30c3\u30af\u3092\u4f55\u56de\u3067\u3082\u7372\u5f97&#8221;\u51fa\u6765\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044&#8221;\uff08\u5358\u306b\u51fa\u6765\u308b\u3068\u3044\u3046\u306e\u3068\u306f\u9055\u3063\u3066\uff09\u3068\u3044\u3046\u306e\u304c\u3001\u3053\u3053\u3067\u8a00\u3046\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5b9a\u7fa9\u3060\u3068\u3044\u3046\u306e\u306a\u3089\u3001\u672c\u6587\u306e\u901a\u308a\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3046\u301c\u3093\u3001\u4f55\u304b\u601d\u3044\u9055\u3044\u3092\u3057\u3066\u308b\u6c17\u304c\u3059\u308b\u3002<\/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-1438","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\/1438","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=1438"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/1438\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=1438"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=1438"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=1438"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}