(ACH2055) Arquitetura de Computadores - Aula 09

Arquitetura de Computadores
ACH2055
Aula 09 – CISC × RISC
Norton Trevisan Roman
(norton@usp.br)
22 de novembro de 2019
Norton Trevisan Roman (norton@usp.br) 22 de novembro de 2019 1 / 31

CISC × RISC
Sic erat in principio
No in´ıcio, códigos eram
escritos diretamente em
assembly
Existiam poucas
linguagens de alto n´ıvel
Não havia grandes
preocupa¸cões em adequar
o hardware a elas
Fonte: https://comic.browserling.com/32

CISC × RISC
Com o tempo, contudo,
linguagens mais
poderosas, e de mais
alto n´ıvel surgiram
Permitindo ao
programador codiﬁcar os
algoritmos de forma mais
concisa
Fonte: https://medium.com/the-andela-way/
the-rise-of-modern-programming-
languages-c923a2b914fc

CISC × RISC
O que fez surgir um
problema conhecido
como disparidade
semˆantica (semantic
gap)
A diferen¸ca entre as
opera¸c˜oes fornecidas por
essas linguagens e as
oferecidas pela arquitetura
Fonte: [2]

CISC × RISC
Os projetistas de
hardware buscaram
reduzir então essa
disparidade
Criando grandes conjuntos
de instru¸cões
Com dúzias de modos de
endere¸camento Fonte: [2]
E vários comandos de alto n´ıvel implementados em hardware

CISC
Nasceu assim a abordagem CISC
Complex Instruction Set Computers

CISC
Nasceu assim a abordagem CISC
Complex Instruction Set Computers
Objetivos
Simplificar a constru¸cão de compiladores
Se as instru¸cões de máquina parecerem com os comandos da
linguagem de alto n´ıvel, a tarefa de tradu¸cão de uma para
outra é simplificada
Fornecer suporte a linguagens de alto n´ıvel melhores
e mais sofisticadas

CISC
Objetivos (cont.)
Melhorar a eficiência, pela gera¸cão de programas
menores e mais rápidos
Programas menores ocupam menos memória
São mais rápidos porque precisam buscar menos instru¸cões
na memória, além de ocuparem menos páginas, evitando
assim page faults

CISC
Objetivos (cont.)
assim page faults
Atinge esses objetivos implementando sequências complexas
de opera¸cões em microcódigo

CISC
Objetivos (cont.)
assim page faults
Atinge esses objetivos implementando sequências complexas
de opera¸cões em microcódigo
Microcódigo?

CISC
Microcódigo
Conjunto de instru¸cões elementares em um modelo
CISC
Reside em memória separada (Ex: ROM)
Serve como uma camada de tradu¸cão entre as instru¸cões de
máquina e o circuito

CISC
Microcódigo
Conjunto de instru¸cões elementares em um modelo
CISC
Reside em memória separada (Ex: ROM)
Serve como uma camada de tradu¸cão entre as instru¸cões de
máquina e o circuito
Permite a cria¸cão de instru¸cões sem implementa¸cão
direta no circuito
Seu microcódigo é que possui tal implementa¸cão
Uma única instru¸cão no microcódigo é chamada de
microinstru¸cão

CISC
Microcódigo
Passos de um programa em CISC:
O código fonte é traduzido em
instru¸cões de máquina (pelo compilador
ou assembler)
Em tempo de execu¸cão, essas instru¸cões
são convertidas em microinstru¸cões
Essas microinstru¸cões, por sua vez,
interagem com o circuito Fonte: [4]

CISC
Mas nem tudo é um mar de rosas...
Instru¸cões complexas são de dif´ıcil aplica¸cão
O compilador precisa encontrar os casos que casam
exatamente com a sequência de alto n´ıvel
A otimiza¸cão do código gerado (para minimizar seu
tamanho, reduzir o número de instru¸cões e melhorar o uso
da pipeline) é mais dif´ıcil com um conjunto de instru¸cões
complexo

CISC
Instru¸cões complexas são de dif´ıcil aplica¸cão
O compilador precisa encontrar os casos que casam
exatamente com a sequência de alto n´ıvel
A otimiza¸cão do código gerado (para minimizar seu
tamanho, reduzir o número de instru¸cões e melhorar o uso
da pipeline) é mais dif´ıcil com um conjunto de instru¸cões
complexo
Por conterem mais instru¸cões, são necessários
opcodes maiores
Gerando assim instru¸cões mais longas

CISC
Então programas em CISC podem até conter menos
instru¸cões
Mas as instru¸cões são maiores, ocupando mais memória
Não é garantido que os programas serão menores realmente

CISC
Então programas em CISC podem até conter menos
instru¸cões
Mas as instru¸cões são maiores, ocupando mais memória
Não é garantido que os programas serão menores realmente
A existência de um conjunto de instru¸cões maior
aumenta a complexidade da unidade de controle
Aumentando o tempo de execu¸cão das instru¸cões mais
simples, que deveriam ser mais rápidas

CISC
Até faz sentido que opera¸cões complexas executem
mais rápido como uma única instru¸cão
Mas para isso elas precisam ser usadas de fato

CISC
Vários estudos apontam para a predominância de comandos
de atribui¸cão (especialmente do tipo A ← B), e condicionais
(if s e la¸cos)
Além da maioria das referências serem feitas a variáveis
escalares simples e locais (dentro de sub-rotinas)

CISC
Vários estudos apontam para a predominância de comandos
de atribui¸cão (especialmente do tipo A ← B), e condicionais
(if s e la¸cos)
Além da maioria das referências serem feitas a variáveis
escalares simples e locais (dentro de sub-rotinas)
Então esse ganho é realmente observado, se as instru¸cões
usadas são as relativamente simples?

CISC × RISC
RISC
Esse cen´ario fez com que uma nova abordagem
fosse proposta
Projetar uma arquitetura que dˆe suporte a linguagens mais
simples, em vez de mais complexas

CISC × RISC
RISC
Esse cen´ario fez com que uma nova abordagem
fosse proposta
Projetar uma arquitetura que dˆe suporte a linguagens mais
simples, em vez de mais complexas
Nasce assim a arquitetura RISC
Reduced Instruction Set Computer

RISC
Caracter´ısticas
Uma instru¸cão por ciclo de
máquina
Um ciclo de máquina é o tempo que
leva para ler 2 operandos de
registradores, executar uma opera¸cão na
ALU, e armazenar o resultado em um
registrador (um estágio da pipeline)
Com isso, não há necessidade de
microcódigo
Fonte: [4]

RISC
Caracter´ısticas
Opera¸cões registrador-registrador
Apenas opera¸cões de load e store acessam a memória
Isso simplifica o conjunto de instru¸cões e a unidade de
controle

RISC
Caracter´ısticas
controle
Grande n´umero de registradores
De modo a otimizar a referˆencia a operadores

RISC
Caracter´ısticas
controle
Grande número de registradores
De modo a otimizar a referência a operadores
Modos simples de endere¸camento
Enfatizam as referências a registradores em vez de memória,
exigindo assim menos bits para endere¸camento

RISC
Caracter´ısticas
Formatos simples de instru¸cão
Apenas uns poucos formatos são usados (em MIPS, tipo-R,
tipo-I e tipo-J)
O tamanho das instru¸cões é fixo, facilitando assim sua busca
As instru¸cões são alinhadas aos limites das palavras,
evitando que elas ultrapassem as bordas das páginas
Campos em instru¸cões (especialmente o opcode) são fixos,
fazendo com que a decodifica¸cão e acesso a registradores
possa ocorrer ao mesmo tempo e simplificando a unidade de
controle

RISC
Vantagens
Aproveita-se do fato de que a maioria das instru¸c˜oes
geradas por computadores s˜ao simples

RISC
Vantagens
Pela natureza simples e regular do RISC, esquemas
eficientes de pipeline podem ser empregados
Há pouca varia¸cão no tempo de execu¸cão das instru¸cões,
permitindo a adequa¸cão da pipeline a isso

RISC
Vantagens
Pela natureza simples e regular do RISC, esquemas
eficientes de pipeline podem ser empregados
Há pouca varia¸cão no tempo de execu¸cão das instru¸cões,
permitindo a adequa¸cão da pipeline a isso
Permite a aplica¸cão de delayed branch
Quando rearranjamos as instru¸cões para evitar bolhas

CISC × RISC
Compara¸c˜ao
Ex: x = x * y
Com x e y nos endere¸cos de mem´oria e1 e e2,
respectivamente

CISC × RISC
Compara¸c˜ao
Ex: x = x * y
respectivamente
CISC
mult e1, e2

CISC × RISC
Compara¸c˜ao
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
mult é traduzida em
microcódigo antes de rodar
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
No caso de CISC,
não há reaproveita-
mento de registradores
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
Até porque não sabemos
em quais registradores
estão os operandos
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
Ou então porque sempre
os mesmos são usados,
e não há como garantir
que o valor continuará lá
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
Então se um dos ope-
randos for usado em
outro cálculo, terá
de ser recarregado
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸c˜ao
No caso de RISC, basta
reutilizar o registrador
Ex: x = x * y
respectivamente
CISC
mult e1, e2
RISC
lw $t1, 0(e1)
lw $t2, 0(e2)
mul $t3, $t1, $t2
sw $t3, 0(e1)

CISC × RISC
Compara¸cão
CISC RISC
Inclui instru¸cões com múltiplos
ciclos
Instru¸cões de ciclo único
Memória-para-memória Registrador-para-registrador
load e store incorporadas às
instru¸cões
load e store como instru¸cões
independentes
Códigos pequenos Códigos grandes
CPI alta CPI baixa
Precisa de memória para arma-
zenar instru¸cões complexas
Precisa de mais registradores

CISC × RISC
Compara¸cão
CISC RISC
Ou restringem interrup¸cões aos
limites das instru¸cões, ou defi-
nem pontos espec´ıficos em que
podem ocorrer, com algum me-
canismo para rein´ıcio da ins-
tru¸cão
Responde melhor a inter-
rup¸cões, pois estas são
checadas entre opera¸cões mais
elementares
i386, i486 (fam´ılia Intel x86) SUN Sparc, MIPS R2000 -
R5000

CISC × RISC
Compara¸c˜ao
Fonte: [4]

CISC × RISC
Compara¸cão
tP = nP × CPIP × tc
CISC RISC
Reduz o número de instru¸cões
(nP) de um programa, sacrifi-
cando sua CPI
Reduz a CPI do programa, às
custas de seu número de ins-
tru¸cões

CISC × RISC
E qual é a melhor?
Dif´ıcil medir
Não há 2 máquinas RISC e CISC comparáveis em termos de
custo, tecnologia, complexidade, suporte de S.O. ou
sofistica¸cão do compilador
Não há benchmark definitivo, e o desempenho depende do
programa
É dif´ıcil separar efeitos devidos ao hardware dos devidos ao
compilador

CISC × RISC
A situa¸cão hoje
Muito da controvérsia já desapareceu, dando lugar a
uma convergência de tecnologias
Com o aumento da densidade dos chips e velocidade do
hardware, sistemas RISC ficaram mais complexos
Ao mesmo tempo, arquiteturas CISC come¸caram a dar mais
ênfase ao projeto da pipeline e ao uso de registradores gerais
Fornecendo instru¸cões registrador-para-registrador, além das
memória-para-memória

CISC × RISC
A situa¸cão hoje
Como resultado, RISCs recentes, como o PowerPC,
não são puramente RISC
E CISCs recentes como Pentium II e posteriores, incorporam
algumas caracter´ısticas RISC

CISC × RISC
ISA e Microarquitetura
CISC e RISC s˜ao tipos
de ISA
Instruction Set
Architecture
O conjunto de instru¸c˜oes,
conforme apresentado ao
programador
Ex: MIPS, x86
Fonte: http://accs.magnumdev.webfactional.com/
shakti-an-open-source-processor-ecosystem/3/

CISC × RISC
A implementa¸c˜ao desse
conjunto no circuito ´e
conhecida como
microarquitetura
Uma mesma ISA pode ser
implementada por diferentes
microarquiteturas
Fonte: [6]

CISC × RISC
A arquitetura de um
computador é então a
combina¸cão de sua
microarquitetura e sua ISA
Fonte: [6]

CISC × RISC
A separa¸cão
ISA/Microarquitetura faz
com que software escrito
para uma ISA possa rodar em
todas suas implementa¸cões
Ex: Core 2 Duo e Athlon
possuem diferentes
microarquiteturas, embora
implementem praticamente a
mesma versão do x86 Fonte: [6]

Referˆencias
1 Stallings, W (2010): Computer Organization and Architecture: Designing
for Performance. Prentice Hall. 8a
ed.
2 https://fractalide.com/blog/2018-11-23-the-semantic-gap.
html
3 https://cs.stanford.edu/people/eroberts/courses/soco/
projects/risc/risccisc/
4 PC Magazine Encyclopedia
https:
//www.pcmag.com/encyclopedia/term/46918/microcode
https://www.pcmag.com/encyclopedia/term/50548/risc
https://www.pcmag.com/encyclopedia/term/46940/
microinstruction

Referˆencias
5 Wikipedia
https://en.wikipedia.org/wiki/Microarchitecture
https:
//en.wikipedia.org/wiki/Instruction_set_architecture
6 https://www.geeksforgeeks.org/
microarchitecture-and-instruction-set-architecture/

(ACH2055) Arquitetura de Computadores - Aula 09

Mais conteúdo relacionado

Semelhante a (ACH2055) Arquitetura de Computadores - Aula 09

Mais de Norton Trevisan Roman

Último

(ACH2055) Arquitetura de Computadores - Aula 09