@techreport{oai:ipsj.ixsq.nii.ac.jp:02003126,
 author = {星野,喬},
 issue = {6},
 month = {Jul},
 note = {不透明性は、成功するものだけでなく中断・失敗するすべてのトランザクションに対して読み取り一貫性を保証する強い並行制御要件である。また、複数トランザクションが同じデータに集中するワークロードでは、すべてのトランザクションに進行保証を与えるstarvation-free性が重要となる。本稿では、直列化可能性と不透明性の保証切り替えが可能で、starvation-free性を提供し、中央集権的データ構造を持たないスケーラブルな並行制御手法SRCCを提案する。SRCCは、Wound-waitをベースとした優先順位制御と、64-bit wordのみを用いた簡潔なmutex構造を特徴とし、効率的な不透明性保証を実現する。マイクロベンチマークによる評価では、SRCCが既存手法と比較して、スケーラビリティ、オーバーヘッド、競合耐性、starvation耐性について優れた特性を示した。},
 title = {不透明性と進行保証性を両立する簡潔な並行制御手法の提案と初期評価},
 year = {2025}
}