MODELO SEMÂNTICO DE OPERAÇÕES ARITMÉTICAS E LÓGICAS PARA HARDWARE VIRTUAL
Palavras-chave:
Virtualização, Hipervisor, Hardware virtualResumo
O objetivo desse projeto foi desenvolver um modelo semântico de
operações aritméticas e lógicas para hardware virtual; esse objetivo foi atingido
através de três etapas principais: Implementar portas lógicas e unidades lógicas
e aritméticas no software simulador de hardware virtual Nand2tetris;
Implementar funções recursivas e iterativas, para aferir o correto funcionamento
das operações lógicas e aritméticas na máquina virtual p-code machine. Na
primeira etapa, foram desenvolvidas no software simulador de hardware
Nand2tetris implementações das portas lógicas elementares. A partir dessas
portas lógicas, foram construídos circuitos combinacionais e circuitos
sequenciais como unidade lógica e aritmética, Meio Somador, Somador
Completo, Adição de 16 bits, negação lógica de 16 bits, E lógico de 16 bits, OU
lógico de 16 bits, entre outros. Na segunda etapa tratou-se de experimentar em
alto nível as operações aritméticas e lógicas, disponibilizadas pela máquina
virtual p-code machine, que foi implementada na linguagem de programação C,
como soma, subtração, maior que, menor que. Com as operações lógicas e
aritméticas já implementadas, foram desenvolvidos programas iterativos e
recursivos para calcular o n-ésimo valor da Sequência de Fibonacci e o fatorial
de um número n qualquer.
Downloads
Referências
BROOKSHEAR, J. G. Ciência da Computação: uma visão abrangente. Tradução Cheng Mei Lee. 7. ed. Porto Alegre: Bookman, 2005. 515 p.
CAMPOS, A. S. Modelo semântico de controle de fluxo e chamada de sub-rotina para Hardware virtual. Trabalho de Conclusão de Curso (Graduação) - Ciências da Computação, Universidade Estadual de Santa Cruz, Ilhéus,BA, 2022a.
CAMPOS, A. S. AllanaVM. 2022b. Disponível em: https://github.com/AllanaCampos/VMs. Acesso em: 06 out. 2023.
CAPUANO, F. G.; IDOETA, I. V. Elementos de eletrônica digital. 41. ed. São Paulo: Érica, c2012. 524 p.
HIALINX. O surgimento da virtualização e as grandes mudanças que ela teve. 2019. Disponível em: https://www.hialinx.com.br/post/o-surgimento-da-virtualização-e-as-grandes-mudanças-que-ela-trouxe. Acesso em: 07 out. 2022.
IBM. System/360 From Computers to Computer Systems. 2023. Disponível em: https://www.ibm.com/ibm/history/ibm100/us/en/icons/system360/. Acesso em: 07 out. 2023.
LOGIC.LY. A logic circuit simulator for Windows and macOS - logic gates, flip-flops, computer architecture, electronics, integrated circuits. 2021. Disponível em: https://logic.ly/. Acesso em: 06 out. 2023.
MICROSOFT. Azure. 2023. Disponível em: https://azure.microsoft.com/pt-br/resources/cloud-computing-dictionary/what-is-azure/. Acesso em: 07 out. 2023.
Nand2Tetris. Building a Modern Computer From First Principles. 2021. Disponível em: https://www.nand2tetris.org/. Acesso em: 06 out. 2023.
NELSON, V. et al. Digital Logic Circuit Analysis and Design. [S.l.]: Prentice Hall, 1995.
ORACLE. Oracle VM. 2021. Disponível em:
https://docs.oracle.com/en/virtualization/oracle-vm/3.4/concepts/E64081.pdf. Acesso em: 07 out. 2023.
SANTANA, I. S. S. Programa p-code que calcula o fatorial iterativo de 5. [S. l.: s. n.], 2020. Disponível em: http://cpp.sh/8xz7z. Acesso em: 7 out. 2023.
SANTANA, I. S. S. Vídeo no site youtube sobre a simulação da ULA no software Logic.ly. [S. l.: s. n.], 2021a
Disponível em: https://youtu.be/xXietuJC83o. Acesso em:
SANTANA, I. S. S. Vídeo no site youtube sobre o teste automatizado da ULA de 4 bits. Disponível em: https://youtu.be/KRKOzmZ2_fc. 2021b.
SANTANA, I. S. S. Programa p-code que calcula a Sequência de Fibonacci iterativo. [S. l.: s. n.] 2021c. Disponível em: http://cpp.sh/4lucc.
SEBESTA, R. W. Conceitos de linguagens de programação. São Paulo: Bookman, 2018.
SINGH, H. Next-Gen Virtualization for Dummies, Vmware Special Edition. New Jersey: John Wiley & Sons, Inc. 2019. 64 p.
VMWARE. VMware. 2023. Disponível em: https://www.vmware.com/. Acesso em: 07 out. 2023.
WIKIPEDIA. Máquina Virtual Java. 2023. Disponível em: https://pt.wikipedia.org/wiki/M%C3%A1quina_virtual_Java. Acesso em: 08 out. 2023.
WIRTH, N. Compiler Construction. Addison-Wesley, 1996.
ZANOELLO, T. B. Curso de introdução a criação e uso de Máquinas Virtuais. 1. ed. São Paulo: Seção Técnica de Informática – USP, 2017. 28 p.