マルチスレッド並列機能

マルチスレッド

• マルチプロセッサに並列に計算を割り付ける単位
• １つのプロセス内のメモリを共有
• プロセスより軽いタスクスイッチ

---

EusLispのマルチスレッド化

• 関数の評価をスレッドに委託
• ヒープメモリを共有 (メモリ割り付け、ゴミ集めは逐次）
• コンテキストは分離 (catch-throwやlet変数の参照不可、2種類のスペシャル変数）

---

構文

1. スレッドの作成
   (make-thread n) ;; n個のフリースレッドをプールに入れる
   
2. スレッドへの計算の割り付け
   (thread func . arg) ;; thread オブジェクトを返す
   (wait-thread thread) ;; threadから結果を受け取る
   (parlist . arg) ;; 引数を並列に評価して結果をリストにする
   
3. 同期
   (mutex lock . form) ;; 相互排除をかけてformを評価
   (reader R/W-lock . form ) ; リーダーライタ・ロック
   (writer R/W-lock . form )
   condition-variable, semaphore, sync-memory-port, barrier-sync
   

---

並列性能

• ベンチマークプログラム
  

  	code in cache	local data in cache	seq. access	non-shared data	no memory alloc
  compfib	O	O	N/A	O	O
  intfib	X	X	N/A	O	O
  inner-prod	O	O	O	X	O
  list-replace	O	O	X	X	O
  copy-seq	O	O	X	X	XX
  body int-check	X	X	X	X	X

• すべての共有メモリ割り付け要求にロックをかけた場合
  
  
• スレッド分割型メモリ管理による改善
  
  
• メモリ要求の増大
  
  
• マルチスレッドを用いた並列ゴミ集め→

  ---

  EusLisp