【分享主題】：STM（Software Transactional Memory）的應用與實作
【活動時間】：2016.03.08（Tue.）19:30~21:30
【主題簡介】：
開發一個 multi-thread, 善用多核 CPU 運算資源, 而且彼此合作機制複雜, 而又沒有錯誤的程式是一個挑戰. 可以利用的工具很多, 建議的 design pattern 們很多, 而所選擇的工具或 design pattern 帶來的問題也很多...
STM (Software Transactional Memory) 是眾工具中的一個, 讓使用者以類似資料庫 transaction 的角度來運用它, 創造一個 atomic 的子空間, 提供 commit, abort/rollback, retry 等等用法, 讓使用者以比較高階的角度來組織並理解自己程式的正確性.
這次除了簡單介紹一下 STM 的用法之外, 也會看一看 STM 的實作. 有實作 STM 的程式語言很多, 這次是以 Haskell 的 GHC 實作裡的 STM 作為例子 (以 C 實作, 給 Haskell 用), 一起來看一下 STM 的實作方式.
【講者簡介】：
CindyLinz
我是 Gamesofa (神來也) 的工程師, 工作內容是開發遊戲後端會用到的東西們. 我喜歡的程式語言是 Haskell, Perl, 與 C. 另外, 我也很喜歡數學, 邏輯電路, 還有一些機械原理.
而最近兩年我對政治學與經濟學, 比較切身的部分也非常有興趣, 花很多時間在補充知識...
在工作之餘, 我正在進行一個 自造 Haskell compiler 的小組活動, 玩一點點自造小機械, 還有跟朋友們研究討論政治經濟的東西 (像是 最近寫的文章)....
Cat System Workshop 是探討「系統層」相關議題的常態性活動，每隔週二晚上 19:30 來一起研究系統技術硬派角色的扮演！
我們是可愛又迷人的硬派角色！
這個聚會由 Skymizer 贊助場地，歡迎大家吃飽喝足帶小點心來聽分享聊天解密。
實體聚會前，來 Hackpad 自我介紹 & 認識一下大家吧：https://goo.gl/VbtNpK
活動地點在：台北市內湖區瑞光路 408 號12樓之2（近捷運西湖站 1 號出口）
Cat System Workshop 公開徵求「系統層」相關的 talk.
徵求系統軟體、作業系統、編譯器、虛擬化技術等相關議題的分享！其他與電腦科學相關的分享，也都可以投稿噢！
歡迎來信！信箱傳送門：蝦蝦 shiashia <shiashia@skymizer.com>
Facebook 社團：https://goo.gl/fR1AQZ
Hackpad 成員介紹：https://goo.gl/VbtNpK
