君の並行処理は実行するまでもなく間違っている #golangtokyo / golang.tokyo 20th

332f89cc697355902a817506b6995f2b?s=47 y_taka_23
December 18, 2018

君の並行処理は実行するまでもなく間違っている #golangtokyo / golang.tokyo 20th

golang.tokyo #20 で使用した論文紹介スライドです。

Go のチャネルによる並行処理は強力で魅力的な機能ですが、同時にバグが発生しやすくかつ発見しづらい部分でもあります。この論文では、Go プログラムからその挙動を形式的に記述した振舞い型 (behavioural types) を抽出することで、並行処理に潜むバグを静的に検出する手法が提案されています。

イベント概要:https://golangtokyo.connpass.com/event/111077/
元論文:http://mrg.doc.ic.ac.uk/publications/a-static-verification-framework-for-message-passing-in-go-using-behavioural-types/

332f89cc697355902a817506b6995f2b?s=128

y_taka_23

December 18, 2018
Tweet