Cat System Workshop_首場聚會

【分享主題】: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

 

Skymizer Office / 台北市內湖區瑞光路408號12樓之2

イベントチケット

チケット種別 販売期間 価格
一般票

~ 2016/03/08 21:30(+0800) 販売終了
  • 無料
次へ