Автоматизированная генерация декодеров машинных команд
https://doi.org/10.15514/ISPRAS-2018-30(2)-4
Аннотация
В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса процессорных архитектур с использованием транслятора языка ассемблера целевой архитектуры. Реализована программная система, использующая предложенный метод для генерации декодеров машинных команд различных архитектур. Система была протестирована на нескольких микроконтроллерах: PIC16F877A, AVR, Tricore, H8/300H.
Об авторах
Н. Ю. Фокина
Институт системного программирования им. В.П. Иванникова РАН
Россия
Россия
М. А. Соловьев
Институт системного программирования им. В.П. Иванникова РАН
Россия
Россия
Список литературы
1. Ramsey N., Fernandez M.F. The New Jersey Machine-code Toolkit. Proceedings of the USENIX Technical Conference, 1995. pp. 289-302.
2. Ramsey N., Fernandez M.F. Specifying Representations of Machine Instructions. ACM Transactions on Programming Languages and Systems, 19(3), 1997. pp. 492-524.
3. Hsieh W.C., Engler D.R., Back G. Reverse-Engineering Instruction Encodings. Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2001. pp. 133-145.
4. Collberg C.S. Reverse Interpretation + Mutation Analysis = Automatic Retargeting. Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, 1997. pp. 57-70. DOI: 10.1145/258916.258922.
5. Collberg C.S. Automatic Derivation of Compiler Machine Descriptions. ACM Transactions on Programming Languages and Systems, 24(4), 2002. pp. 369-408. DOI: 10.1145/567097.567100.
6. Рубанов В.В., Михеев А.С. Интегрированная среда описания системы команд встраиваемых процессоров. Труды ИСП РАН, том 9, 2006 г., стр. 143-158.
7. Krishna R., Austin T. Efficient Software Decoder Design. IEEE Computer Society Technical Committee on Computer Architecture Newsletter, 2001.
8. Theiling H. Generating Decision Trees for Decoding Binaries. Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, 2001. pp. 112-120. DOI: 10.1145/384197.384213.
9. Qin W., Malik S. Automated Synthesis of Efficient Binary Decoders for Retargetable Software Toolkits. Proceedings of the 40th Annual Design Automation Conference, 2003. pp. 764-769. DOI: 10.1109/DAC.2003.1219122.
Рецензия
Для цитирования:
Фокина Н.Ю., Соловьев М.А. Автоматизированная генерация декодеров машинных команд. Труды Института системного программирования РАН. 2018;30(2):65-80. https://doi.org/10.15514/ISPRAS-2018-30(2)-4
For citation:
Fokina N.Yu., Solovev M.A. Automated generation of machine instruction decoders. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(2):65-80. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(2)-4
Послать статью по эл. почте 