| Item type |
Trans(1) |
| 公開日 |
2021-01-27 |
| タイトル |
|
|
タイトル |
A Method for Validating Binary Optimizers |
| タイトル |
|
|
言語 |
en |
|
タイトル |
A Method for Validating Binary Optimizers |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[発表概要, Unrefereed Presentatin Abstract] |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
IBM Research - Tokyo |
| 著者所属 |
|
|
|
IBM Canada Software Lab - Toronto |
| 著者所属 |
|
|
|
IBM Research - Tokyo |
| 著者所属 |
|
|
|
IBM United Kingdom Limited |
| 著者所属 |
|
|
|
IBM Research - Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
IBM Research - Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
IBM Canada Software Lab - Toronto |
| 著者所属(英) |
|
|
|
en |
|
|
IBM Research - Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
IBM United Kingdom Limited |
| 著者所属(英) |
|
|
|
en |
|
|
IBM Research - Tokyo |
| 著者名 |
Motohiro, Kawahito
Reid, Copeland
Toshihiko, Koju
David, Siegwart
Moriyoshi, Ohara
|
| 著者名(英) |
Motohiro, Kawahito
Reid, Copeland
Toshihiko, Koju
David, Siegwart
Moriyoshi, Ohara
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this presentation, we propose a method for validating binary optimizers. Our approach does not execute the whole program for validation but selects a small part of code (1 to 100 instructions) for the target test code. It executes the target code and its optimized code with several input data during binary optimization. One benefit is that we can test a small part of an actual customer's code during binary optimization. Our approach can be used to test multiple input data not included in the target code, which is the most beneficial aspect of the approach. If the results are the same after execution, we will use the optimized code for the final output code. If the results differ, we can use the input code for the final output code to maintain compatibility. We implemented our approach in our binary optimizer and successfully detected one bug. We used a very small binary program to observe the worst case of increased in compilation time and output binary file size. Our experiment showed that our approach increases optimization time by only 0.02% and output binary file size by 8%. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this presentation, we propose a method for validating binary optimizers. Our approach does not execute the whole program for validation but selects a small part of code (1 to 100 instructions) for the target test code. It executes the target code and its optimized code with several input data during binary optimization. One benefit is that we can test a small part of an actual customer's code during binary optimization. Our approach can be used to test multiple input data not included in the target code, which is the most beneficial aspect of the approach. If the results are the same after execution, we will use the optimized code for the final output code. If the results differ, we can use the input code for the final output code to maintain compatibility. We implemented our approach in our binary optimizer and successfully detected one bug. We used a very small binary program to observe the worst case of increased in compilation time and output binary file size. Our experiment showed that our approach increases optimization time by only 0.02% and output binary file size by 8%. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464814 |
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO）
巻 14,
号 1,
p. 15-15,
発行日 2021-01-27
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7802 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TPRO1401004.pdf (29.8 kB)
