Please select the category that most closely reflects your concern about the presentation, so that we can review it and determine whether it violates our Terms of Use or isn't appropriate for all viewers.
Note: this document now lives here Introduction This document give an overview of the runtime system (RTS) support for GHC's STM implementation. We will focus on the case where fine grain locking is used (STM_FG_LOCKS). Some details about the implementation can be found in the papers "Composable Memory Transactions" and "Transactional memory with data invariants". Additional details can be found i
STMã¯ã½ããã¦ã§ã¢ãã©ã³ã¶ã¯ã·ã§ãã«ã¡ã¢ãªã®ç¥ã§ãã âã¨ããããwikipedia http://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E3%83%88%E3%83%A9%E3%83%B3%E3%82%B6%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%8A%E3%83%AB%E3%83%A1%E3%83%A2%E3%83%AA æ¥æ¬ã§STMã®è©±é¡ãæ¤ç´¢ããã¨ã楽観çããã¯ã§ããï¼ãã¨ãã£ãçºè¨ãè¦ãããäºãå¤ãã確ãã«å®ç¨çãªææ³ã®å¤ãã¯ããã¯ãã¼ã¹ã ã£ãããã¦ãã¾ãããæ£ç´ãªã¨ããããã¯ãã¼ã¹ãªææ³ã®STMã¯ãã¼ã¿ãã¼ã¹ã§ã®ãã©ã³ã¶ã¯ã·ã§ã³ã¨ä¼¼ã¦ãããã·ããã£ãããã¦ãã¼ã¿ãã¼ã¹ã«è©³ãã人ããããã¨ããã»ã©é©ããããªææ³ã§ã¯ãªãäºãå¤ãã®ã§ãããã®
æ¦è¦ Haskellã®ã¹ã¬ããã·ã¹ãã ã¨STMã«ã¤ãã¦èª¿ã¹ãã®ã§ãããã«ã¾ã¨ãã¾ãã Haskellã®ã¹ã¬ããã·ã¹ãã ã¯ãäºæ³ãããè¤éã§ããã Haskellã®ä¸çã§éããå¦çãªãã°ãæ¯è¼çç°¡åãªã®ã§ããã FFI(Foreign Function Interface: å¤é¨ã®Cã®é¢æ°ãå¼ã³åºãä»çµã¿)ã使ãã¨ã ã¨ããã«è¤éã«ãªã£ã¦ãã¾ãã¾ãã ä¸åº¦ã«æ¸ãã¨ãéãå¤ããããæ°åã«åãã¦æ¸ããã¨æã£ã¦ãã¾ãã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}