{"id":1436,"date":"2012-03-13T03:35:04","date_gmt":"2012-03-12T09:35:04","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=1436"},"modified":"2012-03-14T11:21:41","modified_gmt":"2012-03-14T02:21:41","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%ae38","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/1436","title":{"rendered":"[xv6 #38] Chapter 3 – Locking – Lock ordering"},"content":{"rendered":"

\u30c6\u30ad\u30b9\u30c8\u306e47\u30da\u30fc\u30b8<\/p>\n

\u672c\u6587<\/h3>\n

\u30ab\u30fc\u30cd\u30eb\u3092\u901a\u308b\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u3001\u3044\u304f\u3064\u304b\u306e\u30ed\u30c3\u30af\u3092\u53d6\u3089\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u5834\u5408\u3001\u5168\u3066\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3042\u308b\u3002
\n\u305d\u3046\u3057\u306a\u3051\u308c\u3070\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u30ea\u30b9\u30af\u304c\u3042\u308b\u3002
\nxv6\u306e2\u3064\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u3001\u30ed\u30c3\u30afA\u3068\u30ed\u30c3\u30afB\u3092\u5fc5\u8981\u3068\u3059\u308b\u3068\u3057\u3088\u3046\u3002
\n\u3057\u304b\u3057\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u3001A\u2192B\u306e\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306fB\u2192A\u306e\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3068\u3059\u308b\u3002
\n\u3053\u306e\u5834\u5408\u3001\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u30ed\u30c3\u30afB\u3092\u7372\u5f97\u3059\u308b\u524d\u306b\u30ed\u30c3\u30afA\u3092\u7372\u5f97\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306f\u30ed\u30c3\u30afB\u3092\u7372\u5f97\u3059\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u306e\u3067\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u81f3\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002
\n\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u304c\u4fdd\u6301\u3057\u3066\u3044\u308b\u30ed\u30c3\u30afB\u3092\u5fc5\u8981\u3068\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306f\u3001\u30b3\u30fc\u30c9\u30d1\u30b91\u304c\u4fdd\u6301\u3057\u3066\u3044\u308b\u30ed\u30c3\u30afA\u3092\u5fc5\u8981\u3068\u3059\u308b\u306e\u3067\u3001\u305d\u3046\u306a\u3063\u305f\u3089\u3069\u3061\u3089\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u3082\u7d9a\u884c\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u304f\u306a\u308b\u3002
\n\u305d\u306e\u3088\u3046\u306a\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u907f\u3051\u308b\u305f\u3081\u3001\u5168\u3066\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u306f\u3001\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u3079\u304d\u3067\u3042\u308b\u3002
\n\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u56de\u907f\u3059\u308b\u3053\u3068\u306f\u3001\u30ed\u30c3\u30af\u3092\u306a\u305c\u95a2\u6570\u306e\u7279\u6027\u306e\u4e00\u90e8\u3068\u898b\u306a\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u304b\u3092\u3001\u8aac\u660e\u3057\u3066\u3044\u308b\u3082\u3046\u4e00\u3064\u306e\u4f8b\u3067\u3042\u308b\u3002
\n\u547c\u3073\u51fa\u3057\u5074\u306f\u3001\u305d\u306e\u95a2\u6570\u304c\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u305f\u3081\u306b\u3001\u4e00\u8cab\u3057\u305f\u9806\u756a\u3067\u95a2\u6570\u3092\u547c\u3073\u51fa\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002<\/p>\n

xv6\u306f\u7c97\u3044\u7c92\u5ea6\u306e\u30ed\u30c3\u30af\u3092\u4f7f\u3044\u3001\u307e\u305fxv6\u306f\u30b7\u30f3\u30d7\u30eb\u3067\u306f\u3042\u308b\u304c\u3001xv6\u306f\u3044\u304f\u3064\u304b\u306e\u30ed\u30c3\u30af\u9806\u306e\u9023\u9396\u3092\u6301\u3064\u3002
\n\u3057\u304b\u3057\u4e00\u756a\u9577\u304f\u3066\u3082\u30012\u9023\u9396\u3067\u3042\u308b\u3002
\n\u4f8b\u3048\u3070\u3001ideintr\u95a2\u6570\u306f\u3001ptable.lock\u3092\u5fc5\u8981\u3068\u3059\u308bwakeup\u95a2\u6570\u3092\u547c\u3093\u3067\u3044\u308b\u9593\u3001idelock\u3092\u4fdd\u6301\u3059\u308b\u3002
\nsleep\u95a2\u6570\u3084wakeup\u95a2\u6570\u3092\u4f7f\u3063\u3066\u3044\u308b\u4f8b\u306f\u3001\u4ed6\u306b\u3082\u82e5\u5e72\u3042\u308b\u3002
\nsleep\u95a2\u6570\u3084wakeup\u95a2\u6570\u306f\uff08\u7b2c4\u7ae0\u3067\u8aac\u660e\u3059\u308b\u3088\u3046\u306a\uff09\u8907\u96d1\u306a\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u6301\u3063\u3066\u3044\u308b\u306e\u3067\u3001\u305d\u308c\u3089\u306e\u9806\u5e8f\u4ed8\u3051\u304c\u751f\u3058\u308b\u3002
\n\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3067\u3082\u30012\u9023\u9396\u306e\u4f8b\u304c\u3044\u304f\u3064\u304b\u3042\u308b\u3002
\n\u4f8b\u3048\u3070\u3001\u3042\u308b\u30d5\u30a1\u30a4\u30eb\u3092\u305d\u306e\u89aa\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u304b\u3089\u6b63\u3057\u304f\u30a2\u30f3\u30ea\u30f3\u30af\u3059\u308b\u5834\u5408\u3001\u305d\u306e\u30d5\u30a1\u30a4\u30eb\u306e\u30ed\u30c3\u30af\u3068\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u306e\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u304b\u3089\u3067\u3042\u308b\u3002
\nxv6\u306f\u5e38\u306b\u3001\u6700\u521d\u306b\u89aa\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u3001\u305d\u3057\u3066\u6b21\u306b\u30d5\u30a1\u30a4\u30eb\u3001\u3068\u3044\u3046\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3002<\/p>\n

\u611f\u60f3<\/h3>\n

\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3057\u306a\u3044\u3088\u3046\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u9806\u756a\u304c\u5927\u4e8b\u3068\u3044\u3046\u8a71\u3067\u3059\u3002
\n\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u306e\u8a71\u3082\u5c11\u3057\u3060\u3051\u51fa\u3066\u304d\u307e\u3057\u305f\u304c\u7279\u306b\u96e3\u3057\u304f\u306f\u306a\u3044\u3067\u3059\u306d\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"

\u30c6\u30ad\u30b9\u30c8\u306e47\u30da\u30fc\u30b8<\/p>\n

\u672c\u6587<\/h3>\n

\u30ab\u30fc\u30cd\u30eb\u3092\u901a\u308b\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u3001\u3044\u304f\u3064\u304b\u306e\u30ed\u30c3\u30af\u3092\u53d6\u3089\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u5834\u5408\u3001\u5168\u3066\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3042\u308b\u3002
\n\u305d\u3046\u3057\u306a\u3051\u308c\u3070\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306e\u30ea\u30b9\u30af\u304c\u3042\u308b\u3002
\nxv6\u306e2\u3064\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u3001\u30ed\u30c3\u30afA\u3068\u30ed\u30c3\u30afB\u3092\u5fc5\u8981\u3068\u3059\u308b\u3068\u3057\u3088\u3046\u3002
\n\u3057\u304b\u3057\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u3001A\u2192B\u306e\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306fB\u2192A\u306e\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3068\u3059\u308b\u3002
\n\u3053\u306e\u5834\u5408\u3001\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u30ed\u30c3\u30afB\u3092\u7372\u5f97\u3059\u308b\u524d\u306b\u30ed\u30c3\u30afA\u3092\u7372\u5f97\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306f\u30ed\u30c3\u30afB\u3092\u7372\u5f97\u3059\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u306e\u3067\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u306b\u81f3\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3002
\n\u30b3\u30fc\u30c9\u30d1\u30b91\u306f\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u304c\u4fdd\u6301\u3057\u3066\u3044\u308b\u30ed\u30c3\u30afB\u3092\u5fc5\u8981\u3068\u3057\u3001\u30b3\u30fc\u30c9\u30d1\u30b92\u306f\u3001\u30b3\u30fc\u30c9\u30d1\u30b91\u304c\u4fdd\u6301\u3057\u3066\u3044\u308b\u30ed\u30c3\u30afA\u3092\u5fc5\u8981\u3068\u3059\u308b\u306e\u3067\u3001\u305d\u3046\u306a\u3063\u305f\u3089\u3069\u3061\u3089\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u3082\u7d9a\u884c\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u304f\u306a\u308b\u3002
\n\u305d\u306e\u3088\u3046\u306a\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u907f\u3051\u308b\u305f\u3081\u3001\u5168\u3066\u306e\u30b3\u30fc\u30c9\u30d1\u30b9\u306f\u3001\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u3079\u304d\u3067\u3042\u308b\u3002
\n\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3092\u56de\u907f\u3059\u308b\u3053\u3068\u306f\u3001\u30ed\u30c3\u30af\u3092\u306a\u305c\u95a2\u6570\u306e\u7279\u6027\u306e\u4e00\u90e8\u3068\u898b\u306a\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u304b\u3092\u3001\u8aac\u660e\u3057\u3066\u3044\u308b\u3082\u3046\u4e00\u3064\u306e\u4f8b\u3067\u3042\u308b\u3002
\n\u547c\u3073\u51fa\u3057\u5074\u306f\u3001\u305d\u306e\u95a2\u6570\u304c\u540c\u3058\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u305f\u3081\u306b\u3001\u4e00\u8cab\u3057\u305f\u9806\u756a\u3067\u95a2\u6570\u3092\u547c\u3073\u51fa\u3055\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002<\/p>\n

xv6\u306f\u7c97\u3044\u7c92\u5ea6\u306e\u30ed\u30c3\u30af\u3092\u4f7f\u3044\u3001\u307e\u305fxv6\u306f\u30b7\u30f3\u30d7\u30eb\u3067\u306f\u3042\u308b\u304c\u3001xv6\u306f\u3044\u304f\u3064\u304b\u306e\u30ed\u30c3\u30af\u9806\u306e\u9023\u9396\u3092\u6301\u3064\u3002
\n\u3057\u304b\u3057\u4e00\u756a\u9577\u304f\u3066\u3082\u30012\u9023\u9396\u3067\u3042\u308b\u3002
\n\u4f8b\u3048\u3070\u3001ideintr\u95a2\u6570\u306f\u3001ptable.lock\u3092\u5fc5\u8981\u3068\u3059\u308bwakeup\u95a2\u6570\u3092\u547c\u3093\u3067\u3044\u308b\u9593\u3001idelock\u3092\u4fdd\u6301\u3059\u308b\u3002
\nsleep\u95a2\u6570\u3084wakeup\u95a2\u6570\u3092\u4f7f\u3063\u3066\u3044\u308b\u4f8b\u306f\u3001\u4ed6\u306b\u3082\u82e5\u5e72\u3042\u308b\u3002
\nsleep\u95a2\u6570\u3084wakeup\u95a2\u6570\u306f\uff08\u7b2c4\u7ae0\u3067\u8aac\u660e\u3059\u308b\u3088\u3046\u306a\uff09\u8907\u96d1\u306a\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u6301\u3063\u3066\u3044\u308b\u306e\u3067\u3001\u305d\u308c\u3089\u306e\u9806\u5e8f\u4ed8\u3051\u304c\u751f\u3058\u308b\u3002
\n\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3067\u3082\u30012\u9023\u9396\u306e\u4f8b\u304c\u3044\u304f\u3064\u304b\u3042\u308b\u3002
\n\u4f8b\u3048\u3070\u3001\u3042\u308b\u30d5\u30a1\u30a4\u30eb\u3092\u305d\u306e\u89aa\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u304b\u3089\u6b63\u3057\u304f\u30a2\u30f3\u30ea\u30f3\u30af\u3059\u308b\u5834\u5408\u3001\u305d\u306e\u30d5\u30a1\u30a4\u30eb\u306e\u30ed\u30c3\u30af\u3068\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u306e\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u304b\u3089\u3067\u3042\u308b\u3002
\nxv6\u306f\u5e38\u306b\u3001\u6700\u521d\u306b\u89aa\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u3001\u305d\u3057\u3066\u6b21\u306b\u30d5\u30a1\u30a4\u30eb\u3001\u3068\u3044\u3046\u9806\u756a\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u3002<\/p>\n

\u611f\u60f3<\/h3>\n

\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3057\u306a\u3044\u3088\u3046\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3059\u308b\u9806\u756a\u304c\u5927\u4e8b\u3068\u3044\u3046\u8a71\u3067\u3059\u3002
\n\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u306e\u8a71\u3082\u5c11\u3057\u3060\u3051\u51fa\u3066\u304d\u307e\u3057\u305f\u304c\u7279\u306b\u96e3\u3057\u304f\u306f\u306a\u3044\u3067\u3059\u306d\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-1436","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\/1436","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=1436"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/1436\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=1436"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=1436"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=1436"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}