CPUの条件実行機能に対応した型付きアセンブリ言語

• Item type: Trans(1)
• 公開日: 2008-09-26
• タイトル: CPUの条件実行機能に対応した型付きアセンブリ言語
• タイトル / 言語: en
• タイトル: Typed Assembly Language for Conditional Execution
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者名: 飯塚, 大輔; 前田, 俊行; 米澤, 明憲
• 著者名(英): Daisuke, Iizuka; Toshiyuki, Maeda; Akinori, Yonezawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 型付きアセンブリ言語（TAL）は，高級言語コンパイラのターゲット言語となりうる，型安全な低級言語である．TALの型システムは，型付けされたプログラムが，クロージャ，タプル，またはユーザによって定義された抽象データ型のような高級言語の構造を破壊しないということを保証する．オリジナルのTALは一般的な理論上のRISCアーキテクチャに対して設計されており，具体的な実装はIA-32アーキテクチャ以外は考えられていない．本論文は，組み込み機器で広く使われているARMアーキテクチャに対応するTALについて説明する．ARMの重要な特徴の1つは条件実行機構である．条件実行とは，命令が実行されるかどうかが，実行時にそれぞれの命令に付随する条件フラグとCPUのステータスレジスタの条件ビットの値を比較することによって決定される，という機構である．より詳細にいうと，本論文は，条件実行をサポートするために，4ビットの条件ビットの値を型に写像する写像型を用いて，TALを拡張する．我々の型システムでは，1つのレジスタは，条件ビットの値によって同時に異なった型を持つことができる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Typed Assembly Language (TAL) is a type-safe low-level language that serves as a target language for compilers of high-level languages. TAL's type system ensures that well-typed programs do not violate high-level language abstractions, such as closures, tuples, and user-defined abstract data types. The original TAL was designed for a generic, theoretical RISC architecture, and no specific real-world architectures have been considered except for the IA-32 architecture. We present a TAL for the ARM architecture that is widely used in embedded computing environments. One key feature of ARM is Conditional Execution facility. Conditional Execution is the mechanism whether an instruction is executed or not is determined dynamically by a comparison of the conditional flag, which is specified in the instruction, and the value of the condition bits in the status register of the CPU. More specifically, we present an extension of TAL to support Conditional Execution with mapping types which map a value of the condition bits to a type. In our type system, a single register can have different types simultaneously, depending on the condition bits.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 1, 号 2, p. 9-27, 発行日 2008-09-26
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会