Locks, Actors, And Stm In Pictures - adit.io
Written May 15, 2013 All programs with concurrency have the same problem. Your program uses some memory: When your code is single-threaded, there's just one thread writing to memory. You are A-OK: But if you have more than one thread, they could overwrite each others changes! You have three ways of dealing with this problem: Locks Actors Software Transactional Memory I'll solve a classic concurren
データ共有ã®æ–°æ½®æµ - アクター, Agent, STM | プãƒã‚°ãƒ©ãƒžãƒ¼ã‚ºé›‘記帳
スレッドãªã©ã®ä¸¦åˆ—処ç†ã§ãƒ‡ãƒ¼ã‚¿ã‚’共有ã™ã‚‹å ´åˆã€å¾“æ¥ã¯ãƒãƒƒã‚¯ã‚’使ã£ã¦å…±æœ‰ã™ã‚‹æ–¹æ³•ãŒä¸»æµã§ã—ãŸã€‚ ã—ã‹ã—ã€æœ€è¿‘ã§ã¯é–¢æ•°åž‹è¨€èªžã‚’ä¸å¿ƒã«æ–°ã—ã„データã®å…±æœ‰æ–¹æ³•ãŒå‡ºã¦ãã¦ã„ã¾ã™ã€‚ 今回ã¯ãã®å†…㮠アクター〠Agent 〠STM ã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚ ã“れらã®æ–¹å¼ã®ã†ã¡ã€ã©ã‚Œã‚’採用ã™ã‚‹ã‹ã¯è¨€èªžã«ã‚ˆã£ã¦å¤‰ã‚ã£ã¦ãã¾ã™ã€‚ ã‚ã‹ã‚Šã‚„ã™ã•ã¨è¨€èªžã«ä¾å˜ã—ãªã„よã†ã«ã™ã‚‹ãŸã‚〠C++ 風ã®æ“¬ä¼¼ã‚³ãƒ¼ãƒ‰ã‚’サンプルã¨ã—ã¦èª¬æ˜Žã—〠ãã®å¾Œå®Ÿéš›ã®è¨€èªžã§ã®ã‚³ãƒ¼ãƒ‰ã‚’挙ã’ã¦ã„ã¾ã™ã€‚ ãƒãƒƒã‚¯ : 従æ¥ã®æ–¹æ³•ã®å•é¡Œç‚¹ ãƒãƒƒã‚¯æ–¹å¼ã¨ã¯ 今ã¾ã§ã‚ˆã使ã‚ã‚Œã¦ã„ãŸã®ã¯ ãƒãƒƒã‚¯ ã‚„ Mutex(排他制御) ã¨å‘¼ã°ã‚Œã‚‹æ–¹å¼ã§ã™ã€‚ データを扱ã†å ´åˆã€æ™®é€šã¯æ¬¡ã®ã‚ˆã†ãªä¸€é€£ã®å‡¦ç†ã«ãªã‚Šã¾ã™ã€‚ データã®èªã¿å–ã‚Š ãªã«ã‹ã®å‡¦ç† データã®æ›´æ–°(書ãè¾¼ã¿) 主ã«ãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹(DB)ã§ä½¿ã‚れる用語ã§ã™ãŒã€ã“ã®é–¢é€£ãƒ»ä¾å˜ã™ã‚‹è¤‡æ•°ã®å‡¦ç†ã‚’ã¾ã¨ã‚㦠トランザクシ
STMã«ã¤ã„ã¦ã‚µãƒ¼ãƒ™ã‚¤ã—ãŸä¹±é›‘ãªãƒ¡ãƒ¢ - Software Transactional Memo
http://www.amazon.co.jp/dp/1608452352 ã‚’èªã‚“ã§è‡ªåˆ†ã®æ°—ã«ãªã£ãŸæ‰€ã‚’èªã¿ãªãŒã‚‰ãƒ¡ãƒ¢ã—ãŸç‰©ã‚’ç½®ã„ã¦ãŠã。抄訳ã»ã©ã™ã‚‰è¨³ã—ã¦ã„ãªã„。 発表ã®ãƒ—ãƒãƒƒãƒˆã«ä½¿ã†ã¾ã¨ã‚。論文ã®å‚照番å·ãŒãã®ã¾ã¾åŸ‹ã‚è¾¼ã¾ã‚Œã¦ã‚‹ã®ã¯é…·ã„ã®ã§ãã®ã†ã¡ç›´ã™ã‹ã‚‚。気ã«ãªã‚‹äººã¯æœ¬ã‚’è²·ã£ã¦ãã ã•ã„。 ã‚ã¾ã‚Šã«ä¹±é›‘ã«æ›¸ã„ã¦ã‚ã‚‹&&Markdown記法ãªã®ã§èªã‚€ã«è€ãˆãªã„ã‹ã‚‚…。 ## 並行制御 ãƒãƒƒã‚¯ã®ã‚¿ã‚¤ãƒŸãƒ³ã‚°ã€‚ è¡çªé »åº¦ãŒé«˜ã„ã»ã©Pessimisiticã®æ–¹ãŒæ€§èƒ½ãŒå‡ºã‚‹ãŒã€è¡çªé »åº¦ãŒä½Žã„å ´åˆã¯Optimisticã®ã»ã†ãŒé€Ÿã„事ãŒå¤šã„。 ### Pessimistic アクセス時ã«ãƒãƒƒã‚¯ã™ã‚‹ã€‚デッドãƒãƒƒã‚¯ã«æ°—ã‚’ã¤ã‘ã‚‹å¿…è¦ãŒã‚る。 ### Optimistic ãれ以外。デザインã®å¹…ãŒåºƒã„。ライブãƒãƒƒã‚¯ã®å±é™ºãŒã‚る。 readã«Optimisticã€writeã«Pessimiesicを使ã†äºœç¨®ã‚‚ã‚
Haskellã®ã‚¹ãƒ¬ãƒƒãƒ‰ã‚·ã‚¹ãƒ†ãƒ ã¨STMã«ã¤ã„㦠ãã®1 — ã‚ã‚Šãˆã‚‹ãˆã‚Šã‚
æ¦‚è¦ Haskellã®ã‚¹ãƒ¬ãƒƒãƒ‰ã‚·ã‚¹ãƒ†ãƒ ã¨STMã«ã¤ã„ã¦èª¿ã¹ãŸã®ã§ã€ã“ã“ã«ã¾ã¨ã‚ã¾ã™ã€‚ Haskellã®ã‚¹ãƒ¬ãƒƒãƒ‰ã‚·ã‚¹ãƒ†ãƒ ã¯ã€äºˆæƒ³ã‚ˆã‚Šã‚‚複雑ã§ã—ãŸã€‚ Haskellã®ä¸–ç•Œã§é–‰ã˜ãŸå‡¦ç†ãªã‚‰ã°ã€æ¯”較的簡å˜ãªã®ã§ã™ãŒã€ FFI(Foreign Function Interface: 外部ã®Cã®é–¢æ•°ã‚’呼ã³å‡ºã™ä»•çµ„ã¿)を使ã†ã¨ã€ ã¨ãŸã‚“ã«è¤‡é›‘ã«ãªã£ã¦ã—ã¾ã„ã¾ã™ã€‚ 一度ã«æ›¸ãã¨ã€é‡ãŒå¤šã„ãŸã‚ã€æ•°å›žã«åˆ†ã‘ã¦æ›¸ã“ã†ã¨æ€ã£ã¦ã„ã¾ã™ã€‚
ã„ã„ã‹ã’ã‚“ãªäººã®ãŸã‚ã®Transactional Memory Primer
2. ã¯ã‚„ã¿ãš ゆã†ã¨ (æ—©æ°´ æ‚ ç™») id:hayamiz, @hayamiz 修士課程 入院1å¹´ç›® ç ”ç©¶å®¤ï¼šæƒ…å ±çˆ†ç™ºã®çˆ†å¿ƒåœ° å°±è·æ´»å‹•ä¸ ã ã‚Œã‹é›‡ã£ã¦ï¼ å’論：Transactional Memory関係 ç¾åœ¨ï¼šãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹é–¢ä¿‚ Transactional Memory Primer 2 3. 1. Transactional Memory(TM)ã¨ã¯ 2. ç¾çŠ¶(ã®ã‚ˆã†ãªè©±) 1. Hardware TM 2. Software TM 3. STMメリットã€ãƒ‡ãƒ¡ãƒªãƒƒãƒˆ 4. (時間ãŒã‚ã£ãŸã‚‰)ãŠã¾ã‘ Transactional Memory Primer 3
Clojureã®STMã¯ä½¿ã„物ã«ãªã‚‰ãªã„
0x00. ClojureãŒã„ã‘ã¦ã‚‹ä»¶ã«ã¤ã„㦠ã“ã“数ヶ月ã§Clojureã‚’ã©ã‚“ã©ã‚“実戦投入ã—ã¦ã¿ã¦ã„ã‚‹ãŒã€ãã®æˆæžœã¯ç´ 晴らã—ã„ã®ä¸€è¨€ã«å°½ãる。Javaã§ã¯è€ƒãˆã‚‰ã‚Œãªã‹ã£ãŸã»ã©ã‚¹ãƒžãƒ¼ãƒˆã‹ã¤æŸ”軟ã«ãƒ‡ãƒ¼ã‚¿å‡¦ç†ãŒå¯èƒ½ã§ã‚ã‚Šã€ã€Œã‚ã‚Œã€ã“ã‚“ãªã«çŸã„記述ã§ã§ãã¡ã‚ƒã†ã®ã‹ï¼ã€ã¨é©šã‹ã•ã‚Œã‚‹ã“ã¨ãŒå¤šã„。ãã‚“ãªã‚ã‘ã§ã€ä½•ã§ã‚‚ã‹ã‚“ã§ã‚‚Javaã§ç‰‡ä»˜ã‘ã¦ããŸç†è€…ã¯ã“ã“ã«ãã¦Clojureã«ã‹ãªã‚Šæƒšã‚Œè¾¼ã‚“ã§ãŠã‚Šã€é›»å書ç±ã‚„らウェブサイトやらã§æœ¬æ ¼çš„ã«æƒ…å ±åŽé›†ã‚’進ã‚ã¦ã„ã‚‹ã®ã ãŒâ€¦ 0x01. Clojureã®ä¸¦åˆ—プãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ç¾æ™‚点ã§ã¯ã€Clojureを実戦投入ã—ãŸã®ã¯ã€ã¡ã‚‡ã£ã¨ã—ãŸå‡¦ç†ã«ä½¿ã†ãƒ„ール的ãªã‚‚ã®ã ã‘ã§ã‚る。ç†ç”±ã¯å˜ã«ã€ç†è€…ãŒã¾ã Clojureã®åˆå¿ƒè€…ã ã‹ã‚‰ã 。ã—ã‹ã—ãã‚ãã‚メインã®ä»•äº‹ã§ã‚るサーãƒã‚¢ãƒ—リケーションやウェブアプリケーションã§ã‚‚使ã„ãŸãã¦ã‚¦ã‚ºã‚¦ã‚ºã—ã¦ãã¦ãŠã‚Šã€ãã®ã‚ˆã†ãªè¦–点ã‹ã‚‰ã•ã‚‰ã«èª¿æŸ»ã‚’進
Clojureã§ã¯ã˜ã‚ã‚‹STM入門
4. STMã¨ã¯ Software Transactional Memory ソフトウェアトランザクショナルメモリã¯ã€ãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹ãƒˆãƒ©ãƒ³ ザクションã«ä¼¼ãŸä¸¦è¡Œæ€§åˆ¶å¾¡æ©Ÿæ§‹ã§ã‚ã‚Šã€ä¸¦åˆ—計算を行ã†éš›ã® 共有メモリã¸ã®ã‚¢ã‚¯ã‚»ã‚¹æ³•ã§ã‚る。 ã“ã®æ©Ÿæ§‹ã¯ãƒãƒƒã‚¯ãƒ™ãƒ¼ã‚¹ã®åŒæœŸã‚’用ã„ãŸä¸¦è¡Œæ€§åˆ¶å¾¡ã®ä»£æ›¿æ‰‹æ®µã¨ ã—ã¦æ©Ÿèƒ½ã—ã€ãƒŽãƒ³ãƒ–ãƒãƒƒã‚ングãªæ–¹æ³•ã§å®Ÿè£…ã•ã‚Œã‚‹ç‰©ã‚‚ã‚る。 Wikipediaより 楽観的： ä»–ã®ã‚¹ãƒ¬ãƒƒãƒ‰ã‚’æ°—ã«ã›ãšã¨ã‚Šã‚ãˆãšå®Ÿè¡Œã—ã¦ã¿ã‚‹ 変ãªã“ã¨ã«ãªã£ãŸã‚‰ãƒªãƒˆãƒ©ã‚¤ã™ã‚‹ 最近盛んã«ç ”究ã•ã‚Œã¦ã„ã‚‹(らã—ã„) 5. ãƒãƒƒã‚¯ã®åˆ©ç‚¹ã¨æ¬ 点 利点 ã„ã¤ãƒãƒƒã‚¯ã‚’å–å¾—ã—ã€è§£é™¤ã™ã‚‹ã‹ã‚’陽ã«åˆ¶å¾¡ã§ãã‚‹ 開発者ã«ã¨ã£ã¦é¦´æŸ“ã¿ãŒã‚る方法 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚µãƒãƒ¼ãƒˆã•ã‚Œã¦ã„ã‚‹ æ¬ ç‚¹ ãƒãƒƒã‚¯ã®ã¨ã‚‹é †åºã«ã‚ˆã£ã¦ãƒ‡ãƒƒãƒ‰ãƒãƒƒã‚¯ãŒèµ·ã“ã‚‹ 優先度逆転ãŒèµ·ã“ã‚‹ composableã§ãªã„
1
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}