You are seeing our new document Reader view. Click here to revert. Feel free to leave us feedback on this feature here.

Embed Doc
Copy Link
Readcast
Collections

CommentGo Back

Download

Apresentando a SSA(Static Single Assignment)

Eduardo Spaki

DIN – Departamento de Informática da Universidade Estadual de Maringá (UEM)Maringá – PR – Brazil

spoky.br@gmail.com

Abstract.

In this paper, it is explaining the SSA optimization technique, a op-timization technique for compilers, which improves many others algorithms of optimization. The explain shows some of its details (as the concept and the ideaof the technique), readings and criticals about the same, having as a base thevision of some authors. It will be showed how to around the obscure situa-tions, as points of decisions, with the

-functions. Some algorithms to use theSSA Form will be quickly explained, tracing a parallel among source code, ﬂowgraph and dominance tree. In the paper it will be also improved importance of the technique and its use.

Resumo.

Neste artigo, ´ e explicada a t´ ecnica de otimizaç˜ ao SSA, uma t´ ecnica de otimizaç˜ ao para compiladores, a qual beneficia muitos outros algoritmos deotimizaç˜ ao. Aexplicaç˜ aoabordar ´ aalgunsdeseusdetalhes(comooconceitoeaconcepç˜ ao da t ´ ecnica), leituras e cr ´ ıticas sobre a mesma, baseando-se na vis˜ aode alguns autores. Ser ´ a exposto como contornar as situaç˜ oes obscuras, como pontos de tomadas de decis˜ ao, com as

-functions. Alguns algoritmos paraa adoç˜ ao da forma SSA ser ˜ ao brevemente explicados, trançando um paraleloentre c´ odigo fonte, fluxo de controle e arvore de dominˆ ancia. No artigo ser´ a ressaltada tamb´ em a import ˆ ancia da t ´ ecnica e a adoç˜ ao da mesma.

1. Introduc¸ ˜ ao

A SSA, ou

Static Single Assignment

,é uma das inúmeras técnicas de otimização quepodem ser aplicadas e implementadas em um compilador.É uma técnica independente de linguagem e processadores (arquitetura), pois elaé aplicada em uma representação intermediária da compilação. Logo após a aplicação da SSA, e as otimizações que se beneficiam dela,é necessário ”desfazer” a SSA para ocódigo ser representado adequadamente no hardware.Ela foi concebida na década de 80 nos laboratório de pesquisa da IBM, com afinalidade de simplificar o fluxo de controle e tornar mais f ácil a adoção de técnicas que são beneficiadas pela declaração única de uma variável. Antigamente algumas otimizações neste sentido eram feitas utilizando umatécnica chamada

def-use chain

, queé uma eficiente estrutura de dados que contém ocampo de uso de cada variável e para cada declaração o compilador mantém os ponteiros da variável, segundo Appel (1998), mantendo assim cada definição das variáveis aos usos que cada uma alcança.

2. Deﬁnic¸ ˜ ao

Neste conceito de otimização, cada variável, que pode ser chamada de ”pseudo-registrador”,é atribu´ıda apenas umaúnica vez, e cada uso da variávelé dominado peladefinição dela. Isto viabiliza uma análise mais rápida do código, tornando mais eficiente e fácil aplicar outras otimizações. Com a SSA é mais fácil criar um grafo de fluxo de controle, ou controle de dependencia, e até mesmo uma análise de

data-ﬂow

.Com a simplificação realizada pelo formato SSA, apenas umaúnica definiçãopode alcançar um uso particular da variável, assim, achar a tal definiçãoé trivial. Ela também permite algoritmos, insens´ıveis ao fluxo, gozar dos benef´ıcios de algoritmossens´ıveis ao fluxo, sem o custo de análises de fluxo de dados.Esta técnica foi originalmente desenvolvida por Ron Cytron, Jeanne Ferrante,Barry Rosen, Mark Wegman, and Ken Zadeck. Eles eram pesquisadores da IBM nadécada de 80.

3. Detalhes

Um simples exemplo de atribuições pode ilustrar o ganho que há na análise de um códigocom SSA, como no algoritmo a seguir:

A = 1; A = 2; B = A;

Neste exemplo, a lógicaé que a primeira linha, ou seja, a primeira atribuiçãoé dispensável. Assim, o valor que irá alimentar a variável ”B” provém da ”segunda missão” da variável ”A”. Para um compilador identificar esta otimização, teria de criar um grafodo fluxo da aplicação e analisá-lo. A SSA acaba individualizando as variáveis e seus usos.Logo, a identificação do fluxo e as tarefas que serão otimizadas, tornam-se evidentes:

= 1; A

= 2; B

= A

;

Neste caso, um algoritmo de ”eliminação de código morto” (detalhes sobre estatecnica serão melhores detalhados neste artigo) se beneficiaria ao identificar a ”inativi-dade” de ”A

”.

4. Os Algoritmos

Mayers (2003, p. 3) define SSA como um conceito que explicita o fluxo de informaçõesde dados de um determinado programa, concentrando na maneira como é realizada adefinição (ou seja, atribuição) e uso de variáveis.

Briggs (p. 1) apresenta que a SSAé uma representação intermediária que os compiladores utilizam para facilitar a análise do aplicativo e beneficia as otimizações. Appel(1998, p. 443) expõe que muitas análises de

dataﬂow

precisam encontrar as dominan-cias de cada definição de variável, e que para isto existe o

def-use chain

. Mas este autorapresenta a SSA como uma melhoria desta ideia, definindo-a como ”uma representaçãointermediária na qual cada variável tem apenas uma definição no texto do programa”.O autor Mayers (2003) ressalta que há complicações evidentes quando há fluxosde controles (tomadas de decisões com

, lac¸os com um

for

, etc.). A Figura 1 demonstrao ﬂuxo de controle do algoritmo proposto.

Figure 1. Fluxo de controle do algoritmo proposto

Logo, deve ocorrer a definição de uma estratégia para portar a aplicação para aforma SSA.Segundo o autor (MAYER, 2003), há dois passos fundamentais para a adoção daSSA.O primeiro passo fundamental que Mayers apresentaé uma declaração especial, chamada de

-function

. Esta função, que será tratada com mais detalhes neste artigo,basicamente cuidará dos nós propostos no algoritmo, representando as possibilidades, douso de uma variável numerada, perante uma bifurcação. O segundoé a re-nomeação das variáveis de acordo com sua dominância. Ambos os passos citados podem ser vistos na Figura 2.Foi levantada então uma fase inicial, a identificação das necessidades das

- function

, e suas aplicações. A Figura 3 demonstra outro algoritmo passando pelas trêsfases.Com isto,é preciso propor soluções práticas para que algoritmos sejam aplica-dos aos códigos para portá-los para o SSA. Mayers (2003) apresenta algumas questões, melhorando-as, além de propor dois algoritmos para as mesmas.Mayers (2003), ressalta também que há métodos e técnicas espec´ıficas para lidar facilmente com

arrays

records

e Appel extende isto at´e os ponteiros.