線形化可能性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/06 05:02 UTC 版)
並行プログラミングにおいて操作（または操作の集合）は、呼び出しイベントと応答イベント（コールバック）の順序付きリストで構成されており、応答イベントを追加することで以下のように拡張できる場合、線形化可能である。
- ^ a b c d Herlihy, Maurice P.; Wing, Jeannette M. (1990). “Linearizability: A Correctness Condition for Concurrent Objects”. ACM Transactions on Programming Languages and Systems 12 (3): 463–492. doi:10.1145/78969.78972.
- ^ Shavit, Nir and Taubenfel,Gadi (2016). “The Computability of Relaxed Data Structures: Queues and Stacks as Examples”. Distributed Computing 29 (5): 396–407. doi:10.1007/s00446-016-0272-0.
[続きの解説]
「線形化可能性」の続きの解説一覧
- 1 線形化可能性とは
- 2 線形化可能性の概要
- 3 線形化ポイント
- 4 参考文献
- 線形化可能性のページへのリンク
