Adaにおけるノンブロッキング同期のための設計空間評価:保護オブジェクト,並行オブジェクト,および低レベル原子のロック・エリーション【JST・京大機械翻訳】

Yang Shinhyung; Jeong Seongho; Min Byunguk; Kim Yeonsoo; Burgstaller Bernd; Blieberger Johann

文献

J-GLOBAL ID：202002289557384512 整理番号：20A2564534

Adaにおけるノンブロッキング同期のための設計空間評価:保護オブジェクト,並行オブジェクト,および低レベル原子のロック・エリーション【JST・京大機械翻訳】

Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=20A2564534&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2564534&from=J-GLOBAL&jstjournalNo=A0883A") }}

著者 (6件)： , , , , ,
資料名：
巻： 110 ページ： Null 発行年： 2020年
JST資料番号： A0883A ISSN： 1383-7621 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

Adaプログラミング言語の現在のISO/IEC標準は,非ブロッキング同期をサポートしない。プログラムの安全性と効率のためのAdaの設計目標との矛盾をロックする制約は,(1)クリティカルセクション内のタスク故障はデッドロックを招き,(2)マルチコアアーキテクチャ上で並列プログラムをスケーリングする方法でロックする。ソフトウェアシステムの自律性と組込みマルチコアプラットフォームの進歩は,非ブロッキング同期をAdaの望ましい特徴にし,これは自動車と航空宇宙領域における安全クリティカル組込みアプリケーションに伝統的に採用されている。著者らは,Adaにおける非ブロッキング同期をサポートするための2つの技術を提案した。(1)Ada’s Hoare型モニタ同期構成(”保護対象”)のLock elisionは,モニタを時間内に重複させる方法を要求する。スレッド間データコンフリクトは,根底にあるハードウェアトランザクションメモリによって解決される。(2)同時オブジェクトは,言語レベル構築における非ブロッキング同期の複雑性をカプセル化するための新しいプログラミングプリミティブを構成する。C++11のスタイルにおいて,緩和メモリ一貫性モデルと併せて,原子読取-修正-書込み操作を用いる代替,低レベルAPIの使用を研究した。プログラム可能性,スケーラビリティおよび性能に関して提案した設計のトレードオフを探索するために,x86およびARM v8マルチコアプラットフォームに関する広範な実験的評価を行った。そして,緩和メモリ一貫性モデルで達成可能な性能改善を評価する。最先端のブロッキング同期構築物との比較を含む。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , 【Automatic Indexing@JST】

計算機システム開発 , データベースシステム , 計算機網

, , , , , , ,

前のページに戻る