文献

J-GLOBAL ID：202102258480974070   整理番号：21A0462402

スレッドセーフクラスの自動生成に向けて【JST・京大機械翻訳】

Towards generating thread-safe classes automatically

著者 (6件)： Wang Haichi (Tianjin University, China) ,  Wang Zan (Tianjin University, China) ,  Sun Jun (Singapore Management University, Singapore) ,  Liu Shuang (Tianjin University, China) ,  Sadiq Ayesha (Monash University, Australia) ,  Li Yuan-Fang (Monash University, Australia)
資料名： ACM Proceedings  (ACM Proceedings)
号： ASE ’20  ページ： 943-955  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Java(またはC)のための既存の同時発生モデルは,ロックを明示的に取得し,ロックを解放することによって,スレッド安全クラスを設計および実装するためのプログラマを必要とする。そのようなモデルは,誤差が発生しやすく,多くの同時性バグの理由である。トランザクションメモリのような代替モデルがあるが,手動書き込みロックは実際には一般的である。本研究では,自動的にスレッドセーフクラスを生成することにより,この問題を解決することを目的としたAutoLockを提案する。シーケンシャルクライアントで正しいと想定されたクラスを与えられた場合,AutoLockは自動的に線形化可能なスレッド安全クラスを生成し,クラスの仕様を必要としない方法でそれを行う。AutoLockは3段階;(1)アクセスアノテーション(即ち,変数がアクセスされ,エイリアシングされる方法に関する抽象情報),(2)アクセスアノテーションに基づく同期ポリシーを合成し,(3)同期ポリシーを一貫して実装する。自動ロックを一連のベンチマークプログラムで評価し,結果は,AutoLockが効率的にスレッド安全クラスを生成し,既存の同時性バグを防止できることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： プログラマ ,  同時性 ,  ソフトウェア障害 ,  同時発生 ,  エイリアシング ,  ベンチマーク ,  *スレッド ,  Java
準シソーラス用語： *自動生成 ,  線形化 ,  トランザクションメモリ ,  自動ロック , 【Automatic Indexing@JST】

著者キーワード (3件)： 並行性 ,  ロッキング政策 ,  ねじの安全クラス

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 自動生成