Linguagens para Descrição de Arquiteturas de Computadores
Resumo
Arquiteturas mais modernas de computadores motivam pesquisas por técnicas mais eficazes de implementação de compiladores capazes de gerar código de alta qualidade. As arquiteturas superescalares têm conjuntos reduzidos de instruções, cuja combinação para execução eficiente deve ser feita pelos "back-ends" dos compiladores usualmente de maior complexidade que seus correspondentes para arquiteturas CISC. Os objetivos deste trabalho são o estudo das características de linguagens formais de descrição de arquiteturas, apropriadas para uso com geradores de geradores de código, e o projeto e a validação semântica de uma linguagem de descrição de arquiteturas apropriada para uso com o gerador de geradores de código projetado.
Referências
Aho, A. V., Mahadevan, G., and Tjiang, S. W. K. (1989). Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, 11(4).
Aigrain, P. et al. (1984). Experiente with a graham-glanville code generator. In Proceedings of the Sigplan'84 Symposium on Compiler Construction, pages 13-24. ACM Sigplan Notices 19(6).
Bell, C. G. and Newell, A. (1971). Computer Structures: Readings and Examples. McGraw-Hill New York.
Benitez, M. E. and Davidson, J. W. (1988). A portable global optimizer and linker. ACM Sigplan Notices, 23(7).
Benitez, M. E. and Davidson, J . W. (1991). Code generation for streaming: an access/execute mechanism. In ASPLOS-IV Proceedings Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara California.
Bigonha, M. A. S. (1990). Linguagens para descrição de arquiteturas de computadores. Série de Monografias em Ciência da Computação 13/90, PUC-RJ, Departamento de Informática.
Bigonha, M. A. S. (1994). Otimização de Código em Máquinas Superescalares. PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro, Departamento de lnformática-PUC/RJ.
Bradlee, D. G., Eggers, S. J., and Henry, R. R. (1991). The marion system for retargetable instruction scheduling. In ACM Sigplan Conference on Programming Language Design and lmplementation. ACM Sigplan Notices 26(7).
Costa, P. S. S. (1990). Um gerador automático de geradores de código. Master's thesis, Pontifícia Universidade Católica do Rio de Janeiro.
Davidson, J. W. and Fraser, C . W. (1980). The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems, 2(2).
Ganapathi, M. and Fischer, C. N. (1985). Affix grammar driven code generation. ACM Transaction Programming Language and Systems, 7(4):560599.
Ganapathi, M. and Fischer, C. N. (1992). Description-driven code generation using attribute grammars. In Proceedings of the 9th POPL Conference, pages 108-119.
Giegerich, R. (1983). A formal framework for the derivation of machine specific optimizers. ACM Translations on Programming Languages and Systems, 5(3):478498.
Graham, S. L. et al. (1982). An experiment in table driven code generation. In ACM Proceedings of the Sigplan'82 Symposium on Compiler Construction, Boston Massachusetts. ACM Sigplan Notices 17(6).
Graham , S. L. and Glanville, R. S. (1978). A new method for compiler code generation. In In Conference Record of the Annual ACM Symposium on Principies of Programming Languages, pages 231-240, Tucson Arizona.
Henry, R. R. and Damron, P. C. (1989a). Algorithms for table driven code generators using tree-pattern matching. Technical Report 89-02-03, Computer Science Department, University of Washington, FR-35 Seattle, WA 89195 USA.
Henry, R. R. and Damron, P. C. (1989b). Performance of table driven code, generators using tree-pattern matching. Technical Report 89-02-02, Computer Science Department, University of Washington, FR-35 Seattle WA 89 195 USA.
Russell, S. (1985). The compleat guide to mrs. Technical Report KSL-85-12, Stanford Knowledge Systems Laboratory, Stanford University.
Stallman, R. M. (1989). Using and porting GNU C. Free Software Foundation Incorporation. Cambridge Massachusetts.
SUN Microsystems, I. (1987). The SPARC Architectural Manual. Mountain View, California.
SUN Microsystems, I. (1989)The SPARC Architectural Manual. Version 8, Part No. 800-1399-09.
Tiemann, M. D.(1989). The gnu instruction scheduler. Class Report CS 343, Stanford University.
Wall, D. W. and Powell, M. L. (1987). The mahler experience: Using an intermediate language as the machine description. In ASPLOS-ll Proceedings Second International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California.
Warfield, J . W. and Bauer, H. R. (1988). An expert system for a retargetable peephole optimizer. ACM Sigplan Notices, 23(10).
Wulf, W. A., Johnson, R., Weinstock, C., Hobbs, S., and Geschke, C. (1975). The Design of an Optimizing Compiler. American Elsevier.
Aigrain, P. et al. (1984). Experiente with a graham-glanville code generator. In Proceedings of the Sigplan'84 Symposium on Compiler Construction, pages 13-24. ACM Sigplan Notices 19(6).
Bell, C. G. and Newell, A. (1971). Computer Structures: Readings and Examples. McGraw-Hill New York.
Benitez, M. E. and Davidson, J. W. (1988). A portable global optimizer and linker. ACM Sigplan Notices, 23(7).
Benitez, M. E. and Davidson, J . W. (1991). Code generation for streaming: an access/execute mechanism. In ASPLOS-IV Proceedings Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara California.
Bigonha, M. A. S. (1990). Linguagens para descrição de arquiteturas de computadores. Série de Monografias em Ciência da Computação 13/90, PUC-RJ, Departamento de Informática.
Bigonha, M. A. S. (1994). Otimização de Código em Máquinas Superescalares. PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro, Departamento de lnformática-PUC/RJ.
Bradlee, D. G., Eggers, S. J., and Henry, R. R. (1991). The marion system for retargetable instruction scheduling. In ACM Sigplan Conference on Programming Language Design and lmplementation. ACM Sigplan Notices 26(7).
Costa, P. S. S. (1990). Um gerador automático de geradores de código. Master's thesis, Pontifícia Universidade Católica do Rio de Janeiro.
Davidson, J. W. and Fraser, C . W. (1980). The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems, 2(2).
Ganapathi, M. and Fischer, C. N. (1985). Affix grammar driven code generation. ACM Transaction Programming Language and Systems, 7(4):560599.
Ganapathi, M. and Fischer, C. N. (1992). Description-driven code generation using attribute grammars. In Proceedings of the 9th POPL Conference, pages 108-119.
Giegerich, R. (1983). A formal framework for the derivation of machine specific optimizers. ACM Translations on Programming Languages and Systems, 5(3):478498.
Graham, S. L. et al. (1982). An experiment in table driven code generation. In ACM Proceedings of the Sigplan'82 Symposium on Compiler Construction, Boston Massachusetts. ACM Sigplan Notices 17(6).
Graham , S. L. and Glanville, R. S. (1978). A new method for compiler code generation. In In Conference Record of the Annual ACM Symposium on Principies of Programming Languages, pages 231-240, Tucson Arizona.
Henry, R. R. and Damron, P. C. (1989a). Algorithms for table driven code generators using tree-pattern matching. Technical Report 89-02-03, Computer Science Department, University of Washington, FR-35 Seattle, WA 89195 USA.
Henry, R. R. and Damron, P. C. (1989b). Performance of table driven code, generators using tree-pattern matching. Technical Report 89-02-02, Computer Science Department, University of Washington, FR-35 Seattle WA 89 195 USA.
Russell, S. (1985). The compleat guide to mrs. Technical Report KSL-85-12, Stanford Knowledge Systems Laboratory, Stanford University.
Stallman, R. M. (1989). Using and porting GNU C. Free Software Foundation Incorporation. Cambridge Massachusetts.
SUN Microsystems, I. (1987). The SPARC Architectural Manual. Mountain View, California.
SUN Microsystems, I. (1989)The SPARC Architectural Manual. Version 8, Part No. 800-1399-09.
Tiemann, M. D.(1989). The gnu instruction scheduler. Class Report CS 343, Stanford University.
Wall, D. W. and Powell, M. L. (1987). The mahler experience: Using an intermediate language as the machine description. In ASPLOS-ll Proceedings Second International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California.
Warfield, J . W. and Bauer, H. R. (1988). An expert system for a retargetable peephole optimizer. ACM Sigplan Notices, 23(10).
Wulf, W. A., Johnson, R., Weinstock, C., Hobbs, S., and Geschke, C. (1975). The Design of an Optimizing Compiler. American Elsevier.
Publicado
01/08/1994
Como Citar
BIGONHA, Mariza Andrade da Silva; NETTO, José Lucas Mourão Rangel.
Linguagens para Descrição de Arquiteturas de Computadores. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 6. , 1994, Caxambu.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1994
.
p. 137-153.
DOI: https://doi.org/10.5753/sbac-pad.1994.21882.
