v1.3.0
変更内容
- 次のリリース版数を1.3.0へ上げる (6a777ca)
- 外部アロケーターと宣言的層の排他を明示する (24d541a)
- 外部アロケーターが予算の対象外であることを明記する (06662dd)
- 回収の非同期化と汚染の挙動を説明書へ反映する (4caa272)
- 回収が非同期になったことを公開文書へ書く (5e2bcc3)
- 試験代替の表明が届かない条件を注記する (3249ae4)
- 例外時の実行権解放を検証で固定する (125fe10)
- 保守経路の供給者失敗でドメインを汚染する (31ead19)
- 供給者失敗を調停者から隔離する (058694b)
- 契約を誤った例外経路の検証を取り下げる (9c762fd)
- 例外と再入で実行権が残らないことを固定する (fa0b372)
- 破棄と調停者の併走を検証へ加える (7344602)
- 破棄時の実行主体をコード上で明示する (77eb229)
- 実行主体をIL到達性で固定する (00dc964)
- 調停者の実行を待って外部解放を表明する (fca85a2)
- 外部ドレインの実行を保守調停者へ限る (369141c)
- ドレイン省略経路の実行権を検証へ加える (cd70f21)
- 位相の実行権を検証で固定する (73fdaaa)
- 外部保守の位相に実行権を導入する (7763c47)
- 共有信号の計数をフェンス進行より先に公開する (cf8a833)
- 試験代替の計数をスレッド間で原子化する (92796b3)
- 保留した信号が試験失敗で閉塞しないようにする (413372a)
- トリム検証で完了処理の静止を待つ (d9d7207)
- 外部相互運用の試験代替から実時間依存を除く (1c3cba5)
- 解放と昇格の呼び出し箇所を承認一覧へ加える (2f4427a)
- 承認済み呼び出し元の消失を明示的に報告する (4ffb9bf)
- 宣言した排他が実際に取得されることを検証する (089b021)
- 外部障害経路の排他宣言を実態へ訂正する (7dba85a)
- 世代参照の呼び出し箇所を承認一覧へ固定する (f12539f)
インストール
dotnet add package ComputeWeave --version 1.3.0