関数型言語SML#のためのネイティブコードレベルデバッグ環境の実現方式

• Item type: Trans(1)
• 公開日: 2018-09-20
• タイトル: 関数型言語SML#のためのネイティブコードレベルデバッグ環境の実現方式
• タイトル / 言語: en
• タイトル: Implementation Method of Native Code Level Debugging Environment for SML#
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [通常論文] 関数型言語，SML#，ネイティブコード，デバッグ
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東北大学情報科学研究科
• 著者所属: 東北大学電気通信研究所
• 著者所属: 東北大学電気通信研究所
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Sciences, Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication, Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication, Tohoku University
• 著者名: 大野, 一樹; 上野, 雄大; 大堀, 淳
• 著者名(英): Kazuki, Ono; Katsuhiro, Ueno; Atsushi, Ohori
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，ネイティブコードにコンパイルされたSML#プログラムをデバッグする環境を提案する．SML#は，C言語との直接連携や並列に動くマルチスレッドのサポートを持つ関数型言語である．これらSML#特有の機能を駆使して書かれた関数型のプログラムの動作は，関数型言語としての記号的なプログラムの評価規則だけでなく，C言語などと同様に，オペレーティングシステムの振舞いや，ネイティブコードレベルでのレジスタやメモリの扱いにも依存しうる．このようなプログラムのデバッグを行うためには，単にSML#のソースコードレベルで実行を追跡するだけでなく，SML#コンパイラが生成したマシンコードの振舞いを直接追跡できることが望ましい．以上のようなデバッグ環境を関数型言語においても実現することに向けた第一歩として，著者らはGDB（the GNU Project Debugger）を用いてSML#プログラムをデバッグ可能にするための方式の検討およびコンパイラの改良を行った．本論文では，その詳細を報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper proposes a debugging environment for SML# programs compiled into native machine code. SML# is a functional programming language equipped with the seamless interoperability with the C language and native multithread support. By using these features, the programmer can enjoy both the declarative programming with the full-scaled functional programming language and system programming exploiting the operating system functionalities including multithreads. To debug an SML# program with such features, it is helpful to check the behavior of its compiled machine code with respect to the usage of the low-level memory, registers, and operating system features, as well as to trace the control flow of the source code. Towards realizing a software development environment that assists such the machine code level debugging for functional languages, we extend the SML# compiler to make GDB (the GNU Project Debbuger) available for SML# programs as well as C. This paper reports the details of the development.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 11, 号 3, p. 1-13, 発行日 2018-09-20
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会