並行と並列周りの俯瞰 - mrsekut-p

並行と並列周りの俯瞰

並行と並列

並行と並列周りの俯瞰

ついでにこの辺も整理したい

スレッド

プロセス

async, await

GPU

CPU

パタヘネ

並行プロセス

プロセス競合

データ競合が起きる

複数のプロセスがリソースを取り合う状態

クリティカルセクション

プロセス協調

複数のプロセスが一つの目的を達成する

プロセス間通信

プロセス干渉

他のプロセスの処理が別のプロセスの処理に影響を与えてバグが発生する状態

自分に割り当てられたメモリ領域に以外に書き込みを行う場合に発生する

並行処理の難しさ

競合状態

データ競合

アトミック性

メモリアクセス同期

クリティカルセクション

デッドロック

ライブロック

リソース枯渇

プロセスが仕事をするためのリソースを取得できない状態

生産者・消費者問題

http://jats-ug.metasepi.org/doc/ATS2/EXAMPLE/EFFECTIVATS/Producer-Consumer/main.html

Haskellの並列プログラミング

https://xtech.nikkei.com/it/article/COLUMN/20070501/269948/

https://speakerdeck.com/syocy/bing-lie-bing-xing-yan-yu-haskell

http://syocy.hatenablog.com/entry/a-tour-of-go-in-haskell

書いて理解

https://matsu-chara.hatenablog.com/entry/2015/08/16/110000

https://qiita.com/zacky1972/items/e843607881bbeca34b70

https://qiita.com/miura1729/items/2edbfc0a5a5749c35e86

https://qiita.com/iigura/items/f035bff42ca6c940feb7

『純粋関数型データ構造』

関連ノート

並列処理のデザインパターン

並列プログラミングのための機構

goroutineとErlangプロセスの比較

Rustの非同期処理

非同期処理

マルチプロセス

軽量プロセス

プロセス間通信

排他ロック

並行プロセス

機構

継続も？

『コーディングを支える技術』の昔のメモを雑に持ってきた

並行処理処理を切り替える2通りの方法

マルチタスク

協調的マルチタスク

切りの良いところで交代する

プリエンプティブマルチタスク

一定時間で交代する

競合状態の3条件(競合状態が起きるためには以下の3つを全て満たす場合に起こる)

2つの処理が変数を共有している

対処法

プロセスはメモリを共有しない

軽量プロセス←のちのスレッド

少なくとも1つの処理がその変数を書き換える

対処法

書き換えない

一方の処理が一段落付く前にもう一方の処理が割り込む可能性がある

対処法

割り込まない

協調的なスレッド

ファイバー

グリーンスレッド

割り込まれると困る処理に印をつける

ロック

ミューテックス

セマフォ

https://zenn.dev/yohhoy/articles/multithreading-toolbox

https://myenigma.hatenablog.com/entry/2021/06/20/141645