{"id":1426,"date":"2012-03-12T01:35:48","date_gmt":"2012-03-11T07:35:48","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=1426"},"modified":"2012-03-14T11:21:43","modified_gmt":"2012-03-14T02:21:43","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%ae36","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/1426","title":{"rendered":"[xv6 #36] Chapter 3 – Locking – Modularity and recursive locks"},"content":{"rendered":"

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

\u672c\u6587<\/h3>\n

\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u5f0f\u306e\u62bd\u8c61\u6982\u5ff5\u3092\u7528\u3044\u3066\u30af\u30ea\u30fc\u30f3\u3055\u3092\u4fdd\u3064\u3088\u3046\u8a2d\u8a08\u3055\u308c\u308b\u3002
\n\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u305d\u306e\u500b\u3005\u306e\u6a5f\u80fd\u6027\u3092\u3069\u3046\u5b9f\u88c5\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u3001\u547c\u3073\u51fa\u3057\u5074\u304c\u77e5\u308b\u5fc5\u8981\u304c\u306a\u3044\u5834\u5408\u3001\u305d\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u5f0f\u306e\u62bd\u8c61\u6982\u5ff5\u3092\u7528\u3044\u308b\u3053\u3068\u306f\u6700\u5584\u306e\u65b9\u6cd5\u3067\u3042\u308b\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u3053\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u6027\u3092\u640d\u306a\u3046\u3002
\n\u4f8b\u3048\u3070\u3001\u3042\u308bCPU\u304c\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u5834\u5408\u3001\u305d\u306e\u30ed\u30c3\u30af\u3092\u518d\u5ea6\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u3088\u3046\u306a\u95a2\u6570f\u306f\u3069\u3093\u306a\u3082\u306e\u3067\u3082\u547c\u3076\u3053\u3068\u306f\u51fa\u6765\u306a\u3044\u3002
\nf\u304b\u3089\u623b\u308b\u307e\u3067\u547c\u3073\u51fa\u3057\u5074\u306f\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u3044\u306e\u3067\u3001f\u304c\u540c\u3058\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u5834\u5408\u3001\u305d\u308c\u306f\u6c38\u9060\u306b\u30b9\u30d4\u30f3\uff08\u30ed\u30c3\u30af\u89e3\u653e\u5f85\u3061\u306e\u30eb\u30fc\u30d7\uff09\u3057\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u72b6\u614b\u306b\u306a\u308b\u3002<\/p>\n

\u547c\u3073\u51fa\u3057\u5074\u3068\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u4f7f\u3063\u3066\u308b\u30ed\u30c3\u30af\u3092\u96a0\u853d\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3001\u900f\u904e\u7684\u306a\u89e3\u6c7a\u65b9\u6cd5\u306f\u306a\u3044\u3002
\n\u3072\u3068\u3064\u306f\u6c4e\u7528\u7684\u3067\u900f\u904e\u7684\u3060\u304c\u3001\u4e0d\u5341\u5206\u306a\u89e3\u6c7a\u65b9\u6cd5\u3068\u3057\u3066\u3001\u518d\u5e30\u30ed\u30c3\u30af\uff08recursive locks\uff09\u3068\u3044\u3046\u3082\u306e\u304c\u3042\u308a\u3001\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u547c\u3073\u51fa\u3057\u5074\u3067\u65e2\u306b\u4fdd\u6301\u3055\u308c\u305f\u30ed\u30c3\u30af\u3092\u518d\u5ea6\u7372\u5f97\u3059\u308b\u4e8b\u3092\u53ef\u80fd\u306b\u3059\u308b\u3002
\n\u3053\u306e\u89e3\u6c7a\u65b9\u6cd5\u306e\u554f\u984c\u70b9\u306f\u3001\u518d\u5e30\u30ed\u30c3\u30af\u306f\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u306b\u306f\u4f7f\u3048\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\u3002
\ninsert\u95a2\u6570\u304cacquire(&listlock)\u3092\u547c\u3093\u3060\u3068\u304d\uff08\u524d\u3005\u56de\u306e\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9\u53c2\u7167\u3002\u4e00\u5fdc\u4eca\u56de\u3082\u518d\u63b2\u3057\u3066\u304a\u304d\u307e\u3059\u3002\uff09\u3001\u30ea\u30b9\u30c8\u64cd\u4f5c\u4e2d\u306b\u4ed6\u306e\u95a2\u6570\u306f\u306a\u3044\u306e\u3067\u3001\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u95a2\u6570\u304c\u4ed6\u306b\u7121\u3044\u3068\u4eee\u5b9a\u3067\u304d\u3001\u4e00\u756a\u91cd\u8981\u306a\u70b9\u3068\u3057\u3066\u3001\u5168\u3066\u306e\u30ea\u30b9\u30c8\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u6301\u3067\u304d\u308b\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3046\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001insert\u95a2\u6570\u304cacquire\u95a2\u6570\u3092\u547c\u3093\u3060\u5f8c\u3067\u3082\u4f55\u3082\u4eee\u5b9a\u51fa\u6765\u308b\u3053\u3068\u306f\u306a\u3044\u3002
\n\u3042\u308binsert\u95a2\u6570\u306e\u547c\u3073\u51fa\u3057\u5074\u304c\u3059\u3067\u306b\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3001\u305d\u3057\u3066\u30ea\u30b9\u30c8\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u7de8\u96c6\u4e2d\u3067\u3042\u3063\u3066\u3082\u3001\u304a\u305d\u3089\u304facquire\u306f\u6210\u529f\u3059\u308b\u3002
\n\u305d\u306e\u5834\u5408\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u4fdd\u6301\u3055\u308c\u305f\u308a\u3055\u308c\u306a\u304b\u3063\u305f\u308a\u3059\u308b\u3002
\n\u30ea\u30b9\u30c8\u306f\u3082\u306f\u3084\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3057\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u9055\u3046CPU\u540c\u58eb\u304b\u3089\u4fdd\u8b77\u3059\u308b\u3088\u3046\u306b\u3001\u547c\u3073\u51fa\u3057\u5074\u3068\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u540c\u58eb\u304b\u3089\u4fdd\u8b77\u3059\u308b\u305f\u3081\u3060\u3051\u306b\u91cd\u8981\u3067\u3042\u308b\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u306f\u3001\u305d\u306e\u7279\u5fb4\u3092\u8ae6\u3081\u308b\u3002<\/p>\n

\u524d\u3005\u56de\u306e\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9<\/p>\n

struct list {\n  int data;\n  struct list *next;\n};\n \nstruct list *list = 0;\nstruct lock listlock; \/\/ \u8ffd\u52a0\n \nvoid\ninsert(int data)\n{\n  struct list *l;\n \n  acquire(&listlock); \/\/ \u8ffd\u52a0\n  l = malloc(sizeof *l);\n  l->data = data;\n  l->next = list;\n  list = l;\n  release(&listlock); \/\/ \u8ffd\u52a0\n}<\/pre>\n
\u7406\u60f3\u7684\u3067\u900f\u904e\u7684\u306a\u89e3\u6c7a\u65b9\u6cd5\u306f\u306a\u3044\u306e\u3067\u3001\u6211\u3005\u306f\u95a2\u6570\u306e\u8a2d\u8a08\u306b\u3064\u3044\u3066\u719f\u8003\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u30d7\u30ed\u30b0\u30e9\u30de\u306f\u3001\u95a2\u6570f\u304c\u5fc5\u8981\u3068\u3059\u308b\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u9593\u3001\u305d\u306e\u95a2\u6570f\u3092\u547c\u3073\u51fa\u3055\u306a\u3044\u3088\u3046\u306b\u914d\u7f6e\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u6211\u3005\u306e\u62bd\u8c61\u6982\u5ff5\u306e\u306a\u304b\u3078\u30ed\u30c3\u30af\u81ea\u8eab\u3092\u7121\u7406\u3084\u308a\u62bc\u3057\u8fbc\u3080\u3002<\/p>\n
\u611f\u60f3<\/h3>\n
\u539f\u6587\u306e\u8a00\u3044\u56de\u3057\u304c\u5fae\u5999\u3067\u96e3\u3057\u304b\u3063\u305f\u306e\u3067\u3001\u4eca\u56de\u306f\u7279\u306b\u8a33\u306b\u81ea\u4fe1\u304c\u306a\u3044\u3067\u3059\u3002<\/p>\n
\u307e\u3068\u3081\u308b\u3068\u3001
\n\u901a\u5e38\u306e\u30ed\u30c3\u30af\u306f\uff08\u30ed\u30c3\u30af\u3092\u8981\u6c42\u3059\u308b\u4ed6\u306e\u95a2\u6570\u306b\u3088\u3063\u3066\uff09\u3001release\u7121\u3057\u3067\u9023\u7d9aacquire\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u3044\uff08\u6c38\u4e45\u30b9\u30d4\u30f3\u306b\u306a\u308b\uff09\u306e\u3067\u3001\u305d\u306e\u56de\u907f\u7b56\u3068\u3057\u3066\u518d\u5e30\u30ed\u30c3\u30af\u3068\u3044\u3046\u3082\u306e\u304c\u3042\u308b\u3051\u3069\u3001\u305d\u308c\u306f\u305d\u308c\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u3092\u4fdd\u8a3c\u51fa\u6765\u305a\u3001\u672c\u672b\u8ee2\u5012\u3067\u4f7f\u3048\u306a\u3044\u306e\u3067\u3001\u901a\u5e38\u306e\u30ed\u30c3\u30af\u3092\u4f7f\u3044\u306a\u304c\u3089\u30ed\u30c3\u30af\u3092\u591a\u91cd\u306b\u8981\u6c42\u3059\u308b\u3088\u3046\u306a\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u767a\u751f\u3057\u306a\u3044\u3088\u3046\u306b\u614e\u91cd\u306b\u8a2d\u8a08\u3057\u307e\u3057\u3087\u3046\u3068\u3044\u3046\u8a71\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n
\u3067\u306f\u306a\u305c\u518d\u5e30\u30ed\u30c3\u30af\u306f\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3067\u304d\u306a\u3044\u304b\uff1f
\n\u305d\u308c\u306b\u3064\u3044\u3066\u306f\u3042\u307e\u308a\u30d4\u30f3\u3068\u6765\u3066\u307e\u305b\u3093\u304c\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u901a\u5e38\u306e\u30ed\u30c3\u30af\u306e\u5834\u5408\u3001\u8907\u6570\u306eCPU\u3067\u540c\u3058\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u540c\u6642\u306b\u3054\u3061\u3083\u307e\u305c\u306b\u5f04\u308b\u53ef\u80fd\u6027\u3092\u6392\u9664\u51fa\u6765\u308b\u306e\u306f\u3082\u3061\u308d\u3093\u3001\uff08\u547c\u3073\u51fa\u3057\u5148\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u51fa\u6765\u308c\u3070\u547c\u3073\u51fa\u3057\u5143\u304c\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3066\u306a\u3044\u4e8b\u304c\u660e\u3089\u304b\u306a\u306e\u3067\uff09\u547c\u3073\u51fa\u3057\u5143\u304c\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4e00\u6642\u7684\u306b\u58ca\u3059\u3088\u3046\u306a\u64cd\u4f5c\u4e2d\u3067\u3042\u308b\u53ef\u80fd\u6027\u3082\u6392\u9664\u51fa\u6765\u307e\u3059\u3002
\n\u4e00\u65b9\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5834\u5408\u3060\u3068\u3001\u547c\u3073\u51fa\u3057\u5148\u304c\u30ed\u30c3\u30af\u3092\u7372\u5f97\u51fa\u6765\u3066\u3082\u3001\u5b9f\u306f\u547c\u3073\u51fa\u3057\u5143\u3082\u30ed\u30c3\u30af\u3092\u7372\u5f97\u6e08\u307f\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4e00\u6642\u7684\u306b\u58ca\u3059\u64cd\u4f5c\u306e\u9014\u4e2d\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002
\n\u305d\u3046\u306a\u308b\u3068\u547c\u3073\u51fa\u3057\u5143\u306e\u5b9f\u884c\u304c\u7d42\u308f\u3063\u305f\u3042\u3068\u3082\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u58ca\u308c\u305f\u307e\u307e\u306b\u306a\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u304c\u58ca\u308c\u308b\u5834\u5408\u3001\u8907\u6570\u306eCPU\u3084\u30d7\u30ed\u30bb\u30b9\u3084\u30b9\u30ec\u30c3\u30c9\u3067\u540c\u3058\u30c7\u30fc\u30bf\u3092\u5f04\u3063\u3066\u58ca\u3059\u30d1\u30bf\u30fc\u30f3\u3068\u306f\u3061\u3087\u3063\u3068\u9055\u3044\u307e\u3059\u304c\u3001\u547c\u3073\u51fa\u3057\u5148\u306e\u610f\u56f3\u3057\u306a\u3044\u9806\u756a\u3067\u51e6\u7406\u304c\u5b9f\u884c\u3055\u308c\u308b\u4e8b\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n
\u3063\u3066\u3053\u3068\u304b\u306a\u3041\u3068\u3002
\n\u591a\u5206\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u3066\u3082\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u304c\u6c17\u3092\u3064\u3051\u308c\u3070\uff08\u673a\u4e0a\u306e\u7a7a\u8ad6\u3060\u3051\u3069\uff09\u3001\u30c7\u30fc\u30bf\u304c\u58ca\u308c\u308b\u53ef\u80fd\u6027\u304c\u306a\u3044\u4e8b\u3092\u5168\u4f53\u7684\u306b\u306f\u4fdd\u8a3c\u51fa\u6765\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u591a\u5206\u500b\u5225\u306e\u95a2\u6570\u5358\u4f4d\u3067\u306f\u4fdd\u8a3c\u51fa\u6765\u306a\u3044\u3093\u3060\u308d\u3046\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u307b\u3093\u3068\u304b\u306a\u301c\u3002<\/p>\n
\u518d\u5e30\u30ed\u30c3\u30af\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3067\u304d\u306a\u3044\u7406\u7531\u3092\u8ab0\u304b\u660e\u5feb\u306b\u6559\u3048\u3066\u304f\u3060\u3055\u3044(\u00b4\uff1b\u03c9\uff1b\uff40)<\/p>\n","protected":false},"excerpt":{"rendered":"
\u30c6\u30ad\u30b9\u30c8\u306e46\u30da\u30fc\u30b8<\/p>\n
\u672c\u6587<\/h3>\n
\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u5f0f\u306e\u62bd\u8c61\u6982\u5ff5\u3092\u7528\u3044\u3066\u30af\u30ea\u30fc\u30f3\u3055\u3092\u4fdd\u3064\u3088\u3046\u8a2d\u8a08\u3055\u308c\u308b\u3002
\n\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u305d\u306e\u500b\u3005\u306e\u6a5f\u80fd\u6027\u3092\u3069\u3046\u5b9f\u88c5\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u3001\u547c\u3073\u51fa\u3057\u5074\u304c\u77e5\u308b\u5fc5\u8981\u304c\u306a\u3044\u5834\u5408\u3001\u305d\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u5f0f\u306e\u62bd\u8c61\u6982\u5ff5\u3092\u7528\u3044\u308b\u3053\u3068\u306f\u6700\u5584\u306e\u65b9\u6cd5\u3067\u3042\u308b\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u3053\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u6027\u3092\u640d\u306a\u3046\u3002
\n\u4f8b\u3048\u3070\u3001\u3042\u308bCPU\u304c\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u5834\u5408\u3001\u305d\u306e\u30ed\u30c3\u30af\u3092\u518d\u5ea6\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u3088\u3046\u306a\u95a2\u6570f\u306f\u3069\u3093\u306a\u3082\u306e\u3067\u3082\u547c\u3076\u3053\u3068\u306f\u51fa\u6765\u306a\u3044\u3002
\nf\u304b\u3089\u623b\u308b\u307e\u3067\u547c\u3073\u51fa\u3057\u5074\u306f\u30ed\u30c3\u30af\u3092\u89e3\u653e\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u3044\u306e\u3067\u3001f\u304c\u540c\u3058\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3088\u3046\u3068\u3059\u308b\u5834\u5408\u3001\u305d\u308c\u306f\u6c38\u9060\u306b\u30b9\u30d4\u30f3\uff08\u30ed\u30c3\u30af\u89e3\u653e\u5f85\u3061\u306e\u30eb\u30fc\u30d7\uff09\u3057\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u72b6\u614b\u306b\u306a\u308b\u3002<\/p>\n
\u547c\u3073\u51fa\u3057\u5074\u3068\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u4f7f\u3063\u3066\u308b\u30ed\u30c3\u30af\u3092\u96a0\u853d\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3001\u900f\u904e\u7684\u306a\u89e3\u6c7a\u65b9\u6cd5\u306f\u306a\u3044\u3002
\n\u3072\u3068\u3064\u306f\u6c4e\u7528\u7684\u3067\u900f\u904e\u7684\u3060\u304c\u3001\u4e0d\u5341\u5206\u306a\u89e3\u6c7a\u65b9\u6cd5\u3068\u3057\u3066\u3001\u518d\u5e30\u30ed\u30c3\u30af\uff08recursive locks\uff09\u3068\u3044\u3046\u3082\u306e\u304c\u3042\u308a\u3001\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u304c\u547c\u3073\u51fa\u3057\u5074\u3067\u65e2\u306b\u4fdd\u6301\u3055\u308c\u305f\u30ed\u30c3\u30af\u3092\u518d\u5ea6\u7372\u5f97\u3059\u308b\u4e8b\u3092\u53ef\u80fd\u306b\u3059\u308b\u3002
\n\u3053\u306e\u89e3\u6c7a\u65b9\u6cd5\u306e\u554f\u984c\u70b9\u306f\u3001\u518d\u5e30\u30ed\u30c3\u30af\u306f\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u306b\u306f\u4f7f\u3048\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\u3002
\ninsert\u95a2\u6570\u304cacquire(&listlock)\u3092\u547c\u3093\u3060\u3068\u304d\uff08\u524d\u3005\u56de\u306e\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9\u53c2\u7167\u3002\u4e00\u5fdc\u4eca\u56de\u3082\u518d\u63b2\u3057\u3066\u304a\u304d\u307e\u3059\u3002\uff09\u3001\u30ea\u30b9\u30c8\u64cd\u4f5c\u4e2d\u306b\u4ed6\u306e\u95a2\u6570\u306f\u306a\u3044\u306e\u3067\u3001\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u95a2\u6570\u304c\u4ed6\u306b\u7121\u3044\u3068\u4eee\u5b9a\u3067\u304d\u3001\u4e00\u756a\u91cd\u8981\u306a\u70b9\u3068\u3057\u3066\u3001\u5168\u3066\u306e\u30ea\u30b9\u30c8\u306e\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u6301\u3067\u304d\u308b\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3046\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001insert\u95a2\u6570\u304cacquire\u95a2\u6570\u3092\u547c\u3093\u3060\u5f8c\u3067\u3082\u4f55\u3082\u4eee\u5b9a\u51fa\u6765\u308b\u3053\u3068\u306f\u306a\u3044\u3002
\n\u3042\u308binsert\u95a2\u6570\u306e\u547c\u3073\u51fa\u3057\u5074\u304c\u3059\u3067\u306b\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3001\u305d\u3057\u3066\u30ea\u30b9\u30c8\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u7de8\u96c6\u4e2d\u3067\u3042\u3063\u3066\u3082\u3001\u304a\u305d\u3089\u304facquire\u306f\u6210\u529f\u3059\u308b\u3002
\n\u305d\u306e\u5834\u5408\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u4fdd\u6301\u3055\u308c\u305f\u308a\u3055\u308c\u306a\u304b\u3063\u305f\u308a\u3059\u308b\u3002
\n\u30ea\u30b9\u30c8\u306f\u3082\u306f\u3084\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3057\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u9055\u3046CPU\u540c\u58eb\u304b\u3089\u4fdd\u8b77\u3059\u308b\u3088\u3046\u306b\u3001\u547c\u3073\u51fa\u3057\u5074\u3068\u547c\u3073\u51fa\u3055\u308c\u308b\u5074\u540c\u58eb\u304b\u3089\u4fdd\u8b77\u3059\u308b\u305f\u3081\u3060\u3051\u306b\u91cd\u8981\u3067\u3042\u308b\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u306f\u3001\u305d\u306e\u7279\u5fb4\u3092\u8ae6\u3081\u308b\u3002<\/p>\n
\u524d\u3005\u56de\u306e\u30b5\u30f3\u30d7\u30eb\u30b3\u30fc\u30c9<\/p>\n
struct list {\n  int data;\n  struct list *next;\n};\n \nstruct list *list = 0;\nstruct lock listlock; \/\/ \u8ffd\u52a0\n \nvoid\ninsert(int data)\n{\n  struct list *l;\n \n  acquire(&listlock); \/\/ \u8ffd\u52a0\n  l = malloc(sizeof *l);\n  l->data = data;\n  l->next = list;\n  list = l;\n  release(&listlock); \/\/ \u8ffd\u52a0\n}<\/pre>\n
\u7406\u60f3\u7684\u3067\u900f\u904e\u7684\u306a\u89e3\u6c7a\u65b9\u6cd5\u306f\u306a\u3044\u306e\u3067\u3001\u6211\u3005\u306f\u95a2\u6570\u306e\u8a2d\u8a08\u306b\u3064\u3044\u3066\u719f\u8003\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u30d7\u30ed\u30b0\u30e9\u30de\u306f\u3001\u95a2\u6570f\u304c\u5fc5\u8981\u3068\u3059\u308b\u30ed\u30c3\u30af\u3092\u4fdd\u6301\u3057\u3066\u3044\u308b\u9593\u3001\u305d\u306e\u95a2\u6570f\u3092\u547c\u3073\u51fa\u3055\u306a\u3044\u3088\u3046\u306b\u914d\u7f6e\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u30ed\u30c3\u30af\u306f\u3001\u6211\u3005\u306e\u62bd\u8c61\u6982\u5ff5\u306e\u306a\u304b\u3078\u30ed\u30c3\u30af\u81ea\u8eab\u3092\u7121\u7406\u3084\u308a\u62bc\u3057\u8fbc\u3080\u3002<\/p>\n
\u611f\u60f3<\/h3>\n
\u539f\u6587\u306e\u8a00\u3044\u56de\u3057\u304c\u5fae\u5999\u3067\u96e3\u3057\u304b\u3063\u305f\u306e\u3067\u3001\u4eca\u56de\u306f\u7279\u306b\u8a33\u306b\u81ea\u4fe1\u304c\u306a\u3044\u3067\u3059\u3002<\/p>\n
\u307e\u3068\u3081\u308b\u3068\u3001
\n\u901a\u5e38\u306e\u30ed\u30c3\u30af\u306f\uff08\u30ed\u30c3\u30af\u3092\u8981\u6c42\u3059\u308b\u4ed6\u306e\u95a2\u6570\u306b\u3088\u3063\u3066\uff09\u3001release\u7121\u3057\u3067\u9023\u7d9aacquire\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u306a\u3044\uff08\u6c38\u4e45\u30b9\u30d4\u30f3\u306b\u306a\u308b\uff09\u306e\u3067\u3001\u305d\u306e\u56de\u907f\u7b56\u3068\u3057\u3066\u518d\u5e30\u30ed\u30c3\u30af\u3068\u3044\u3046\u3082\u306e\u304c\u3042\u308b\u3051\u3069\u3001\u305d\u308c\u306f\u305d\u308c\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306e\u4fdd\u8b77\u3092\u4fdd\u8a3c\u51fa\u6765\u305a\u3001\u672c\u672b\u8ee2\u5012\u3067\u4f7f\u3048\u306a\u3044\u306e\u3067\u3001\u901a\u5e38\u306e\u30ed\u30c3\u30af\u3092\u4f7f\u3044\u306a\u304c\u3089\u30ed\u30c3\u30af\u3092\u591a\u91cd\u306b\u8981\u6c42\u3059\u308b\u3088\u3046\u306a\u30b3\u30fc\u30c9\u30d1\u30b9\u304c\u767a\u751f\u3057\u306a\u3044\u3088\u3046\u306b\u614e\u91cd\u306b\u8a2d\u8a08\u3057\u307e\u3057\u3087\u3046\u3068\u3044\u3046\u8a71\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n
\u3067\u306f\u306a\u305c\u518d\u5e30\u30ed\u30c3\u30af\u306f\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3067\u304d\u306a\u3044\u304b\uff1f
\n\u305d\u308c\u306b\u3064\u3044\u3066\u306f\u3042\u307e\u308a\u30d4\u30f3\u3068\u6765\u3066\u307e\u305b\u3093\u304c\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u901a\u5e38\u306e\u30ed\u30c3\u30af\u306e\u5834\u5408\u3001\u8907\u6570\u306eCPU\u3067\u540c\u3058\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u540c\u6642\u306b\u3054\u3061\u3083\u307e\u305c\u306b\u5f04\u308b\u53ef\u80fd\u6027\u3092\u6392\u9664\u51fa\u6765\u308b\u306e\u306f\u3082\u3061\u308d\u3093\u3001\uff08\u547c\u3073\u51fa\u3057\u5148\u3067\u30ed\u30c3\u30af\u3092\u7372\u5f97\u51fa\u6765\u308c\u3070\u547c\u3073\u51fa\u3057\u5143\u304c\u30ed\u30c3\u30af\u3092\u7372\u5f97\u3057\u3066\u306a\u3044\u4e8b\u304c\u660e\u3089\u304b\u306a\u306e\u3067\uff09\u547c\u3073\u51fa\u3057\u5143\u304c\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4e00\u6642\u7684\u306b\u58ca\u3059\u3088\u3046\u306a\u64cd\u4f5c\u4e2d\u3067\u3042\u308b\u53ef\u80fd\u6027\u3082\u6392\u9664\u51fa\u6765\u307e\u3059\u3002
\n\u4e00\u65b9\u518d\u5e30\u30ed\u30c3\u30af\u306e\u5834\u5408\u3060\u3068\u3001\u547c\u3073\u51fa\u3057\u5148\u304c\u30ed\u30c3\u30af\u3092\u7372\u5f97\u51fa\u6765\u3066\u3082\u3001\u5b9f\u306f\u547c\u3073\u51fa\u3057\u5143\u3082\u30ed\u30c3\u30af\u3092\u7372\u5f97\u6e08\u307f\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4e00\u6642\u7684\u306b\u58ca\u3059\u64cd\u4f5c\u306e\u9014\u4e2d\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002
\n\u305d\u3046\u306a\u308b\u3068\u547c\u3073\u51fa\u3057\u5143\u306e\u5b9f\u884c\u304c\u7d42\u308f\u3063\u305f\u3042\u3068\u3082\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u306f\u58ca\u308c\u305f\u307e\u307e\u306b\u306a\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u304b\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u518d\u5e30\u30ed\u30c3\u30af\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u304c\u58ca\u308c\u308b\u5834\u5408\u3001\u8907\u6570\u306eCPU\u3084\u30d7\u30ed\u30bb\u30b9\u3084\u30b9\u30ec\u30c3\u30c9\u3067\u540c\u3058\u30c7\u30fc\u30bf\u3092\u5f04\u3063\u3066\u58ca\u3059\u30d1\u30bf\u30fc\u30f3\u3068\u306f\u3061\u3087\u3063\u3068\u9055\u3044\u307e\u3059\u304c\u3001\u547c\u3073\u51fa\u3057\u5148\u306e\u610f\u56f3\u3057\u306a\u3044\u9806\u756a\u3067\u51e6\u7406\u304c\u5b9f\u884c\u3055\u308c\u308b\u4e8b\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n
\u3063\u3066\u3053\u3068\u304b\u306a\u3041\u3068\u3002
\n\u591a\u5206\u518d\u5e30\u30ed\u30c3\u30af\u3092\u4f7f\u3063\u3066\u3066\u3082\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u304c\u6c17\u3092\u3064\u3051\u308c\u3070\uff08\u673a\u4e0a\u306e\u7a7a\u8ad6\u3060\u3051\u3069\uff09\u3001\u30c7\u30fc\u30bf\u304c\u58ca\u308c\u308b\u53ef\u80fd\u6027\u304c\u306a\u3044\u4e8b\u3092\u5168\u4f53\u7684\u306b\u306f\u4fdd\u8a3c\u51fa\u6765\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u591a\u5206\u500b\u5225\u306e\u95a2\u6570\u5358\u4f4d\u3067\u306f\u4fdd\u8a3c\u51fa\u6765\u306a\u3044\u3093\u3060\u308d\u3046\u306a\u3068\u601d\u3044\u307e\u3059\u3002
\n\u307b\u3093\u3068\u304b\u306a\u301c\u3002<\/p>\n
\u518d\u5e30\u30ed\u30c3\u30af\u3067\u30a4\u30f3\u30d0\u30ea\u30a2\u30f3\u30c8\u3092\u4fdd\u8b77\u3067\u304d\u306a\u3044\u7406\u7531\u3092\u8ab0\u304b\u660e\u5feb\u306b\u6559\u3048\u3066\u304f\u3060\u3055\u3044(\u00b4\uff1b\u03c9\uff1b\uff40)<\/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-1426","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\/1426","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=1426"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/1426\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=1426"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=1426"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=1426"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}