デッドロック・フリー計算 (1/3)

デッドロックの原因 (1) :複数のチャネルの使用順

x?[v].y![3] | y?[w].x![7]

　　　　　　　　　?

チャネルの使用順を型システムで管理
x:[int]s, y:[int]t ; s < t├ x?[v] . y![3]

x:[int]s, y:[int]t ; t < s├ y?[w] . x![7]

x:[int]s, y:[int]t ; s < t, t < s├ x?[v] . y![3] | y?[w] . x![7]
　　　　　　　　　　　　　　　　⇒ 型エラー

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示