Laboratório - Assembly-Procedimentos

ARQUITECTURA E Organização
de computadores II
Professor; : Metódio Franklin Armando 1

Área: Tecnologias e Sistemas de Informação
SUMÁRIO DA APRESENTAÇÃO 2
1 APRESENTAÇÃO
1. Suporte a procedimentos no hardware do computador
Professor: Metódio Franklin Armando

Ano Académico: 2022/2023
Suporte a procedimentos no hardware do computador 3
Suporte a procedimentos no hardware do computador
Um procedimento ou função é uma ferramenta que os programadores utilizam a fim de

estruturar programas, tanto para torná-los mais fáceis de entender quanto para permitir
que o código seja reutilizado.
Os procedimentos permitem que o programador se concentre em apenas uma parte da

tarefa de cada vez, com os parâmetros atuando como uma barreira entre o
procedimento e o restante do programa e dos dados, permitindo que sejam passados
valores e resultados de retorno.

Na execução de um procedimento, o programa precisa seguir estas seis etapas:
Colocar parâmetros em um lugar onde o procedimento possa acedê-los;
Transferir o controlo para o procedimento;
Adquirir os recursos de armazenamento necessários para o procedimento;

Na execução de um procedimento, o programa precisa seguir estas seis etapas:

Realizar a tarefa desejada;
Colocar o valor de retorno em um local onde o programa que o chamou possa acedê-
lo;
Retornar o controlo para o ponto de origem, pois um procedimento pode ser chamado
de vários pontos em um programa.

Os registadores são o local mais rápido para manter dados em um computador
$a0-$a3: quatro registadores de argumento, para passar parâmetros;
$v0-$v1: dois registadores de valor, para valores de retorno;
$ra: um registador de endereço de retorno, para retornar ao ponto de origem
Instrução apenas para os procedimentos
jal Endereço Procedimento

A parte do link no nome da instrução significa que um endereço ou link é formado de

modo a apontar para o local de chamada, permitindo que o procedimento retorne ao
endereço correto.
Esse “link”, armazenado no registrador $ra, é denominado endereço de retorno. O
endereço de retorno é necessário porque o mesmo procedimento poderia ser chamado
de várias partes do programa.
Para apoiar tais situações, computadores como o MIPS utilizam uma instrução de jump
register.
jr $ra
A instrução de jump register pula para o endereço armazenado no registrador $ra

Utilizando mais registadores
E se o compilador necessitar de mais registadores para um procedimento, do que os

quatro registadores para argumentos e os dois para valores de retorno?
Como temos de cobrir nossos rastos após o término desta missão, quaisquer registadores
necessários ao caller deverão ser restaurados aos valores que possuíam antes de o
procedimento ser chamado.
Essa situação é um exemplo em que são usados os spilled registers em memória.

A estrutura de dados ideal para armazenar os spilled registers é uma pilha
– uma fila do tipo “último a entrar, primeiro a sair”. Uma pilha precisa de um ponteiro para o
endereço alocado mais recentemente na pilha, a fim de mostrar onde o próximo
procedimento deverá colocar os spilled registers ou onde os valores antigos dos
registradores estão localizados.
O stack pointer é ajustado em uma palavra para cada registrador salvo ou restaurado

O stack pointer é ajustado em uma palavra para cada registrador salvo ou restaurado.
O software MIPS reserva o registrador 29 para o stack pointer, dando-lhe o nome óbvio $sp.
As pilhas são tão comuns que possuem seus próprios termos para transferir dados da pilha e
para ela: colocar dados na pilha é denominado push, e remover dados da pilha é
denominado pop.

Pilha (stack) – Uma estrutura de dados utilizada para armazenar o spilled registers,
organizada como uma fila do tipo “último a entrar, primeiro a sair” LIFO
Stack pointer – Um valor indicando o endereço alocado mais recentemente em uma pilha,
que mostra onde o spilled registers devem se armazenados ou onde os valores antigos dos
registadores podem ser localizados.
Push – Acrescentar elemento à pilha.

Pop – Remover elemento da pilha

Compilando um procedimento em C que não chama outro procedimento

As variáveis de parâmetro g, h, i e j correspondem aos registradores de argumento $a0,

$a1, $a2 e $a3, e f corresponde a $s0.
O programa compilado começa com o rótulo do procedimento:

As três instruções seguintes correspondem ao corpo do procedimento

Para retornar o valor de f, nós o copiamos para um registrador de valor de retorno:
add $v0,$s0,$zero # retorna f ($v0 = $s0 + 0)
Antes de retornar, restauramos os três valores antigos dos registradores que salvamos,
desempilhando-os:

O procedimento termina com um jump register usando o endereço de retorno:
jr $ra # desvia de volta à rotina que chamou
Os valores do stack pointer e a pilha (a) antes, (b) durante e (c) após a chamada do
procedimento.
O stack pointer sempre aponta para o “topo” da pilha ou para a última palavra na pilha
neste desenho.

Compilando um procedimento em C recursivo, mostrando a ligação do procedimento

aninhado
Procedimento recursivo do MIPS que calcula o factorial.
2022/2023

O parâmetro n corresponde ao registrador de argumento $a0. O programa compilado

começa com o rótulo do procedimento e depois salva dois registradores na pilha, o
endereço de retorno e $a0:

Na primeira vez que fact é chamado, sw salva um endereço do programa que chamou
fact.
As duas instruções seguintes testam se n é menor do que 1, indo para L1 se n >= 1

Se n for menor do que 1, fact retorna 1, colocando 1 em um registrador de valor:

ele soma 1 a 0 e coloca essa soma em $v0.
Depois, ele retira os dois valores salvos da pilha e desvia para o endereço de retorno:

Antes de retirar dois itens da pilha, poderíamos ter restaurado $a0 e $ra. Como $a0 e $ra
não mudam quando n é menor do que 1, pulamos essas instruções.
Se n não for menor do que 1, o argumento n é decrementado e depois fact é chamado

novamente com o valor decrementado.

A próxima instrução é onde fact retorna. Agora, o endereço de retorno antigo e o

argumento antigo são restaurados, juntamente com o stack pointer:

Em seguida, o registrador de valor $v0 recebe o produto do argumento antigo $a0 e o

valor atual do registrador de valor. Consideramos que exista uma instrução de
multiplicação à disposição:
mul $v0,$a0,$v0 # retorna n * fact(n − 1)
Finalmente, fact salta novamente para o endereço de retorno:
jr $ra #retorna para o procedimento que chamou

REFERÊNCIAS BLIOBLIOGRÁFICAS 24
Secções 1.5, 1.6, 1.7,1.8 e 1.9
Principal
PATTERSON, D. A. e HENNESSY, J.L. Computer organization and design: the
hardware/software interface 4. Ed. Elsevier Editora Ltda: 2014.
Complementar
STALLINGS, W. Computer organization and architecture: designing for performance 8. Ed.
São Paulo: Pearson Pratice Hall, 2010.

MUITO OBRIGADO PELA ATENÇÃO!
25
Volenti Nihil Difficili -“A quem quer, nada é difícil”

Laboratório - Assembly-Procedimentos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Laboratório - Assembly-Procedimentos

Enviado por

Direitos autorais:

Formatos disponíveis

ARQUITECTURA E Organização

Professor; : Metódio Franklin Armando 1

1. Suporte a procedimentos no hardware do computador

Professor: Metódio Franklin Armando

Suporte a procedimentos no hardware do computador

Um procedimento ou função é uma ferramenta que os programadores utilizam a fim de

Os procedimentos permitem que o programador se concentre em apenas uma parte da

Professor: Metódio Franklin Armando

Na execução de um procedimento, o programa precisa seguir estas seis etapas:

Colocar parâmetros em um lugar onde o procedimento possa acedê-los;

Transferir o controlo para o procedimento;

Adquirir os recursos de armazenamento necessários para o procedimento;

Professor: Metódio Franklin Armando

Na execução de um procedimento, o programa precisa seguir estas seis etapas:

Professor: Metódio Franklin Armando

Os registadores são o local mais rápido para manter dados em um computador

$a0-$a3: quatro registadores de argumento, para passar parâmetros;

$v0-$v1: dois registadores de valor, para valores de retorno;

$ra: um registador de endereço de retorno, para retornar ao ponto de origem

Instrução apenas para os procedimentos

jal Endereço Procedimento

Professor: Metódio Franklin Armando

A parte do link no nome da instrução significa que um endereço ou link é formado de

A instrução de jump register pula para o endereço armazenado no registrador $ra

Professor: Metódio Franklin Armando

Utilizando mais registadores

E se o compilador necessitar de mais registadores para um procedimento, do que os

Essa situação é um exemplo em que são usados os spilled registers em memória.

Professor: Metódio Franklin Armando

Utilizando mais registadores

A estrutura de dados ideal para armazenar os spilled registers é uma pilha

Professor: Metódio Franklin Armando

Utilizando mais registadores

Professor: Metódio Franklin Armando

Utilizando mais registadores

Push – Acrescentar elemento à pilha.

Professor: Metódio Franklin Armando

Compilando um procedimento em C que não chama outro procedimento

Professor: Metódio Franklin Armando

Compilando um procedimento em C que não chama outro procedimento

As variáveis de parâmetro g, h, i e j correspondem aos registradores de argumento $a0,

O programa compilado começa com o rótulo do procedimento:

Professor: Metódio Franklin Armando

Compilando um procedimento em C que não chama outro procedimento

As três instruções seguintes correspondem ao corpo do procedimento

Professor: Metódio Franklin Armando

Para retornar o valor de f, nós o copiamos para um registrador de valor de retorno:

add $v0,$s0,$zero # retorna f ($v0 = $s0 + 0)

Professor: Metódio Franklin Armando

O procedimento termina com um jump register usando o endereço de retorno:

jr $ra # desvia de volta à rotina que chamou

Professor: Metódio Franklin Armando

Compilando um procedimento em C recursivo, mostrando a ligação do procedimento

Procedimento recursivo do MIPS que calcula o factorial.

Professor: Metódio Franklin Armando

O parâmetro n corresponde ao registrador de argumento $a0. O programa compilado

Professor: Metódio Franklin Armando

As duas instruções seguintes testam se n é menor do que 1, indo para L1 se n >= 1

Professor: Metódio Franklin Armando

Se n for menor do que 1, fact retorna 1, colocando 1 em um registrador de valor:

Professor: Metódio Franklin Armando

Se n não for menor do que 1, o argumento n é decrementado e depois fact é chamado

Professor: Metódio Franklin Armando

A próxima instrução é onde fact retorna. Agora, o endereço de retorno antigo e o