Grátis: A principal função da otimização de código é garantir que o binário gerado com base no processo de tradução da linguagem de programação rode o mais... – Questões Respondidas

Desenvolvimento de Software

Outros

A principal função da otimização de código é garantir que o binário gerado com base no processo de tradução da linguagem de programação rode o mais eficientemente possível. Considerando as divisões didáticas do processo de compilação e a existência de um módulo nesse processo, responsável por essa otimização, avalie as afirmativas.
Marque, entre as alternativas a seguir, aquela que está correta.
1. Toda a otimização realizada no código intermediário deve ser feita de maneira a não alterar o algoritmo codificado.
2. Os processos de otimização realizados no gerador de código intermediário são independentes da arquitetura alvo.
3. As linguagens utilizadas para a geração de código intermediário estão mais próximas da linguagem de programação que do Assembly.
a ) Apenas as afirmativas 1 e 2 estão corretas.
b ) Apenas as afirmativas 1 e 3 estão corretas.
c ) Apenas a afirmativa 2 está correta.
d ) Apenas a afirmativa 3 está correta.
e ) Apenas a afirmativa 1 está correta.

Tópicos de Análise e Desenvolvimento de Sistemas

há 2 anos

Tópicos de Análise e Desenvolvimento de Sistemas

há 2 anos

copiladores provas

copiladores provas

ESTÁCIO

Respostas

Ed

há 2 anos

Vamos analisar cada uma das afirmativas para determinar quais estão corretas: 1. Toda a otimização realizada no código intermediário deve ser feita de maneira a não alterar o algoritmo codificado. Esta afirmativa está correta. A otimização deve preservar a semântica do código, ou seja, o comportamento do algoritmo não deve ser alterado. 2. Os processos de otimização realizados no gerador de código intermediário são independentes da arquitetura alvo. Esta afirmativa é parcialmente correta. Embora algumas otimizações possam ser independentes da arquitetura, muitas delas são influenciadas pela arquitetura do sistema, especialmente as que envolvem o uso eficiente de recursos específicos da arquitetura. 3. As linguagens utilizadas para a geração de código intermediário estão mais próximas da linguagem de programação que do Assembly. Esta afirmativa é geralmente incorreta. O código intermediário é frequentemente mais próximo do Assembly do que da linguagem de programação de alto nível, pois é uma representação que facilita a geração de código final. Agora, analisando as alternativas: a) Apenas as afirmativas 1 e 2 estão corretas. b) Apenas as afirmativas 1 e 3 estão corretas. c) Apenas a afirmativa 2 está correta. d) Apenas a afirmativa 3 está correta. e) Apenas a afirmativa 1 está correta. A única afirmativa que está definitivamente correta é a 1. A 2 é discutível, mas não é totalmente correta, e a 3 está errada. Portanto, a alternativa correta é: e) Apenas a afirmativa 1 está correta.

Essa resposta te ajudou?

0

0

Ainda não achou a resposta?

Integrado com os principais modelos de IA do mercado
Respostas em segundos
IA treinada para estudantes brasileiros.

Evolua sua forma de estudar

Cadastre-se ou realize login

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

copiladores provas

copiladores provas

ESTÁCIO

Mais perguntas desse material

A seleção de registradores, o uso dos caches disponíveis e a seleção das instruções mais adequadas a uma determinada arquitetura são características de um dos blocos do processo de tradução de uma linguagem de programação em um código, ou linguagem, de máquina.
Marque, entre as alternativas as seguir, qual o bloco que apresenta essas características.
a ) Bloco de análise semântica.
b ) Bloco de análise sintática.
c ) Bloco de geração de código intermediário.
d ) Bloco da análise léxica.
e ) Bloco de geração de código de máquina.

Uma linguagem formal é composta de um conjunto de símbolos, o alfabeto, e um conjunto de strings, as palavras, frases e textos. Esse é o caso de linguagens como a música.
Considerando esses dois conceitos básicos, podemos afirmar que:
1. o alfabeto tem que ser finito;
2. o conjunto de strings pode ser infinito;
3. não há relação entre o alfabeto e o conjunto de strings.
a ) Apenas a afirmativa 2 está correta.
b ) Apenas as afirmativas 1 e 2 estão corretas.
c ) Apenas a afirmativa 1 está correta.
d ) Apenas a afirmativa 3 está correta.
e ) Apenas as afirmativas 1 e 3 estão corretas.

A existência de tipos e suas formas de verificação deu origem a uma discordância entre os programadores e desenvolvedores de linguagens de programação.
Considerando as seguintes afirmacoes, preencha as lacunas com as palavras corretas e assinale a alternativa com a sequência correta.
1. Linguagens estaticamente tipadas são __ suscetíveis a erros em tempo de _.
2. A análise __ permite que o código seja escrito em _ tempo já que o programador precisa escrever .
3. A análise dinâmica requer o uso de recursos computacionais durante o processo de ____.
a ) menos/ compilação/ dinâmicas/ menos/ menos/ mais/ execução
b ) mais/ execução/ estática/ mais/ menos/ mais/ compilação
c ) menos/ execução/ estática/ menos/ menos/ mais/ execução
d ) menos/ compilação/ estática/ mais/ menos/ menos/ interpretação
e ) mais/ execução/ dinâmica/ menos/ menos/ mais/ compilação

O projeto LLVM disponibiliza uma estrutura de compilação baseada no uso de uma representação intermediária, um código intermediário. Assim foi possível criar um conjunto de módulos de front-end para cada linguagem de programação desejada e um conjunto de módulos de back-end para cada arquitetura alvo desejada. A força do projeto LLVM está, justamente, na representação intermediária.
Considere as seguintes afirmativas.
1. O código intermediário do projeto LLVM é uma linguagem desenhada para permitir otimização manual, se for necessário.
2. A representação intermediária do projeto LLVM não pode ser considerada uma linguagem de programação por não ter uma estrutura de tipos.
3. A representação intermediária do projeto LLVM tem três formas distintas, uma textual, uma estrutura de memória e uma espécie de código binário parecido com o Bytecode do Java.
a ) Apenas a afirmativa 1 está correta.
b ) Apenas as afirmativas 1 e 3 estão corretas.
c ) Apenas a afirmativa 2 está correta.
d ) Apenas as afirmativas 1 e 2 estão corretas.
e ) Apenas a afirmativa 3 está correta.

Máquinas executam linguagem de máquina e apenas ela. Esse é o motivo que forçou a criação das linguagens de programação, entendidas pelo ser humano e que podem ser traduzidas em linguagem de máquina.
Assim, podemos afirmar que:
1. os núcleos de processamento de notebooks utilizam o código binário como linguagem;
2. o Assembly é a verdadeira linguagem de máquina;
3. uma linguagem de programação é artificial.
a ) Apenas a afirmativa 3 está correta.
b ) Apenas a afirmativa 1 está correta.
c ) Apenas a afirmativa 2 está correta.
d ) Apenas as afirmativas 1 e 2 estão corretas.
e ) Apenas as afirmativas 1 e 3 estão corretas.

O processo de otimização de código é complexo e inclui um conjunto diversificado de técnicas de ordenação, de substituição e de ordenação de instruções na busca de um conjunto eficiente.
Entre as alternativas a seguir, marque aquela que apresenta um conjunto de otimizações comuns durante a otimização de código intermediário.
a ) Eliminação de tipos errados, simplificação de laços de repetição, exclusão de expressões algébricas.
b ) Simplificação de laços de repetição, substituição de constantes, exclusões de expressões algébricas.
c ) Eliminação de código intangível, simplificação de laços de repetição, eliminação de tipos errados.
d ) Eliminação de instruções redundantes, eliminação de código inatingível, simplificação de expressões algébricas.
e ) Simplificação de expressões algébricas, eliminação de laços desnecessários, eliminação de tipos errados.

Durante o processo de tradução, os módulos de análise léxica e sintática não têm como avaliar eventuais erros de codificação que tenham relação com o contexto em que uma declaração de programa se encontra.
Considerando as tarefas do analisador semântico, marque como verdadeiro (V) ou falso (F) as seguintes declarações.
( ) Cabe ao analisador semântico identificar erros nos parâmetros de uma função.
( ) Erros como variável utilizada antes de ser declarada são detectados pelos analisadores semânticos de linguagens, que exigem esse procedimento.
( ) O uso de tipos diferentes não será detectado pelo analisador semântico.
( ) O analisador semântico irá criar a árvore sintática abstrata fornecida pelo analisador sintático.
a ) F/ V/ V/ F
b ) V/ F/ V/ V
c ) F/ F/ F/ F
d ) V/ V/ F/ F
e ) F/ F/ V/ V

Depois do Assembly, criamos as linguagens de nicho, como o Cobol, para aplicações comerciais, e o Fortran, para aplicações matemáticas.
Considerando essa evolução, marque a alternativa correta.
a ) Linguagens lógicas de programação são linguagens que permitem a escrita de algoritmos usando premissas lógicas.
b ) Uma linguagem funcional é aquela que usa os métodos de objetos para representar o algoritmo.
c ) Não existe diferença entre linguagens imperativas e funcionais.
d ) Uma linguagem imperativa descreve o algoritmo usando funções matemáticas.
e ) Todas as linguagens de programação estão no paradigma lógico, e a lógica é a base da programação.

Linguagens de programação são artificiais e formais, desenvolvidas pelo ser humano com o objetivo de resolver um problema específico: usar máquinas para resolver outros problemas.
Sobre essa afirmação, selecione a alternativa correta.
a ) Linguagens naturais evoluem com o tempo e sofrem alterações, já as linguagens formais não.
b ) A linguagem natural é uma característica exclusiva dos seres humanos.
c ) Usamos as linguagens naturais, como a matemática, para representar algoritmos.
d ) As linguagens formais foram criadas para substituir as naturais na comunicação entre dois seres vivos.
e ) As linguagens naturais são limitadas em tamanho enquanto as formais não são.

A validação do código escrito em uma linguagem de programação será realizada por um parser, artefato de software que utilizará uma gramática como referência e, caso a validação seja possível, criará uma árvore sintática abstrata.
Com relação a esse processo, podemos afirmar que:
1. um parser LL(1) precisa de uma gramática especial para ser criado, a qual não permita ambiguidade;
2. um parser obedece à sua gramática de modo a remover qualquer ambiguidade que exista nela;
3. um parser LL(1) varre as declarações da esquerda para a direita e avalia o primeiro não terminal à esquerda.
a ) Apenas as afirmativas 1 e 2 estão corretas.
b ) Apenas a afirmativa 3 está correta.
c ) Apenas as afirmativas 1 e 3 estão corretas.
d ) Apenas a afirmativa 2 está correta.
e ) Apenas a afirmativa 1 está correta.

O processo de tradução de uma linguagem de programação, criada para uso humano, em uma linguagem de máquina, criada para uso por máquinas, é complexo.
Considerando as divisões e as tarefas que devem ser executadas, marque a alternativa que contém uma ordem possível.
a ) Analisador léxico, analisador semântico e analisador sintático.
b ) Analisador semântico, analisador sintático e analisador léxico.
c ) Analisador sintático, analisador léxico e geração de código intermediário.
d ) Analisador léxico, geração de código intermediário e analisador sintático.
e ) Analisador léxico, analisador sintático e analisador semântico.

O uso de tipos em linguagens de programação é complexo e requer atenção, tanto durante a anotação quando durante a validação.
Tendo em vista essa complexidade, os tipos foram divididos em classe para análise e compreensão. Considere a seguir as seguintes afirmações.
1. Tipos primitivos são aqueles que estão mais próximos das características físicas da máquina.
2. Tipos compostos são agregações de tipos primitivos, como os tipos double, float e arrays.
3. Tipos complexos são aqueles que precisam de tipos compostos, como as unions e as classes.
a ) A afirmativa 1 está correta.
b ) A afirmativa 2 está correta.
c ) A afirmativa 3 está correta.
d ) As afirmativas 1 e 2 estão corretas.
e ) As afirmativas 1 e 3 estão corretas.

Para que um programa possa ser executado em uma máquina, os softwares responsáveis pela tradução de linguagens precisam encontrar formas de adequar os artefatos da linguagem de programação à linguagem de máquina.
Nesse caso, podemos afirmar que:
a ) a performance do programa em execução não tem relação com a linguagem utilizada para criar o algoritmo.
b ) a linguagem de programação não tem impacto na segurança do código em execução.
c ) algumas linguagens têm performance melhor que outras, como no caso do Rust comparado ao Go.
d ) o programa em execução ou o binário em memória - a verdadeira linguagem de máquina - depende da máquina na qual será executado.
e ) todas as linguagens de programação criam o mesmo código de máquina, cuja única diferença é o algoritmo implementado.

A atribuição de valores, para a criação de conteúdo semântico nos vértices da árvore sintática abstrata, é a forma mais comum de acrescentar conteúdo semântico a uma estrutura de dados que foi criada com base em uma gramática livre de contexto.
Sendo assim:
1. os atributos que serão adicionados podem ser sintetizados ou herdados.
2. o uso de atributos herdados implica na criação de um processo de translação sintática direta.
3. os atributos de um vértice são utilizados para determinar se os atributos de outro vértice são válidos.
a ) Apenas as afirmativas 1 e 2 estão corretas.
b ) Apenas a afirmativa 3 está correta.
c ) Apenas as afirmativas 1 e 3 estão corretas.
d ) Apenas a afirmativa 1 está correta.
e ) Apenas a afirmativa 2 está correta.

eúdo semântico nos vértices da árvore sintática abstrata, é a forma mais comum de acrescentar conteúdo semântico a uma estrutura de dados que foi criada com base em uma gramática livre de contexto. Sendo assim:
Considerando as afirmativas, marque a opção correta nas alternativas a seguir.
1. os atributos que serão adicionados podem ser sintetizados ou herdados.
2. o uso de atributos herdados implica na criação de um processo de translação sintática direta.
3. os atributos de um vértice são utilizados para determinar se os atributos de outro vértice são válidos.
a ) Apenas as afirmativas 1 e 2 estão corretas
b ) Apenas a afirmativa 3 está correta
c ) Apenas as afirmativas 1 e 3 estão corretas.
d ) Apenas a afirmativa 1 está correta.
e ) Apenas a afirmativa 2 está correta.

Analisadores sintáticos são artefatos de software desenvolvidos para validar a estrutura das declarações de uma linguagem de programação. Para isso, usam gramáticas. Sobre isso, considere as afirmativas a seguir e marque a alternativa correta.
a ) A classificação das gramáticas de Chomsky exclui justamente as gramáticas que precisamos definir para linguagens livres de contexto.
b ) Linguagens livres de contexto são definidas por gramáticas regulares.
c ) Gramáticas são um conjunto finito de regras que permite definir como as declarações de uma linguagem são formadas.
d ) O uso de gramáticas limita a criação de linguagens de programação a linguagens regulares.
e ) As gramáticas são ferramentas de análise sintática cujo uso é limitado às linguagens naturais.

Na JVM, o código em execução é constantemente monitorado para o recolhimento de estatísticas de número de execuções e tempo de execução. Esse monitoramento serve para a criação de um perfil de execução de cada fragmento de código. Sempre que um determinado número de chamadas a um fragmento é encontrado, ou sempre que um fragmento de código demora mais que um valor específico, o código desse fragmento é compilado por um compilador JIT. Entre as alternativas a seguir, marque a alternativa correta.
a ) Os processos de monitoramento para a criação do perfil de uso são executados pelo interpretador antes do início da execução do código e armazenados para uso posterior.
b ) Programas interpretados, com o uso de ciclos de otimização JIT, tendem a ficar mais eficientes com o uso.
c ) O ciclo de compilação JIT aplica sobre um determinado fragmento de código as mesmas técnicas de otimização utilizadas durante a interpretação.
d ) O custo do monitoramento de fragmentos de código faz com que programas que usem essa técnica tenham sempre a mesma performance, independentemente da quantidade de vezes que um fragmento é chamado.
e ) O compilador JIT da JVM é o único compilador JIT que utiliza módulos capazes de monitorar código em memória: os módulos perfiladores.

Algumas características do formato de executáveis do Windows, o formato PE, foram mantidas apenas por compatibilidade com o antigo formato dos executáveis do MSDOS. Hoje essas características são usadas apenas para indicar que um determinado programa não é compatível com o MSDOS. Considere as afirmativas a seguir.
1. Os únicos arquivos que precisam utilizar o formato PE para serem reconhecidos como executáveis, no Windows, são do tipo .exe.
2. No formato PE, o seu binário, executável no Windows, será armazenado em uma seção que não tem relação com as seções compatíveis com o MSDOS.
3. O formato PE usa a seção DOS Stub para disparar o seu programa, sempre que ele for executado em uma máquina MSDOS.
a ) Apenas a afirmativa 2 está correta.
b ) Apenas a afirmativa 3 está correta.
c ) Apenas a afirmativa 1 está correta.
d ) Apenas as afirmativas 1 e 3 estão corretas.
e ) Apenas as afirmativas 1 e 2 estão corretas.

Talvez a maior contribuição do projeto da linguagem Java seja exatamente o seu código intermediário, o Bytecode, e a estrutura de interpretação com compilação JIT implementada na JVM para execução desse código intermediário. Considerando a arquitetura criada para a linguagem Java, marque, entre as alternativas a seguir, a correta.
a ) O processo de compilação, realizado no front-end dos compiladores Java, tem as mesmas funcionalidades de qualquer compilador até a geração do código intermediário.
b ) O Bytecode do Java não sofre nenhum tipo de otimização até que seja submetido à interpretação.
c ) A linguagem Java só é realmente compilada quando um determinado fragmento de código precisa ser otimizado pelo JIT.
d ) O processo de interpretação do Bytecode do Java, na máquina virtual, usa como referência o código escrito originalmente.
e ) O back-end do processo de interpretação da linguagem executa processos de otimização simples de um passo, característicos do processo de interpretação, e não os processos complexos, característicos do processo de compilação.