最適な並行性制御を適用するコード生成手法の検討

摘要

トランザクショナルメモリは，トランザクションとして定義された区間を投機的に並行実行することで，粗粒度ロックと同等以上の記述性と，細粒度ロックと同等以上の性能とを両立しうるパラダイムとして期待されている．しかし，共有変数に対するアクセス競合が頻発する場合は，必ずしも高い性能を実現し得ない．本稿では，プログラム中に定義されたトランザクションのうちのいくつかを，ロックによる制御同様，排他的に実行した場合，性能にどのような変化があるかを調査·解析する．また，ロックとトランザクショナルメモリを併用することによって発生する一貫性制御の問題を指摘し，これを解決する並行性制御手法を提案する．そして，調査で得られた知見に基づき，プログラマが定義した各トランザクションに対し，提案する並行性制御手法を適用すべきか否かを自動的に判別した上で，その判別結果に沿ったコード生成を行う手法について検討する．