Técnicas de Otimização de Código para Placas de ... - UFMG

unidades que executam trabalho em passo único. A fim de detectarmos
divergências, um profiler deve ser capaz de averiguar
que em determinado desvio algumas threads escolheram um
caminho, enquanto as demais threads optaram pelo outro. Tal
pode ser feito via instrumentação do código assembly a ser testado.
Esta instrumentação armazena os resultados do profiler
em uma estrutura de dados que chamamos de mapa de divergências.
Tal estrutura consiste em dois arranjos de inteiros, os
quais denominaremos τ e δ, sendo que τ[b] armazena o número
de warps que visitaram cada bloco básico b e δ[b] armazena a
quantidade de visitas que resultaram em divergências.
Esta instrumentação é inserida automaticamente, em três
passos:
1. Inicialização: memória é reservada no dispositivo para
armazenar o mapa de divergências;
2. Mensuração: o mapa da divergências para uma determinada
execução do programa é construído;
3. Leitura: o mapa de divergências é copiado da GPU de
volta para a CPU.
As fases de inicialização e leitura são triviais; logo, no que resta
desta seção, descreveremos o processo de mensuração.
O código de instrumentação de divergências é mostrado na
figura 1.31. Estas instruções são inseridas sobre cada desvio
condicional. Esta figura mostra a instrumentação inserida sobre
o bloco L2 do exemplo visto na figura 1.29. Cada block
b a ser investigado é dividido em três blocos: bup, bbottom e
b f ind writer. A instrumentação realiza duas tarefas: (i) nos blocos
bup e b f ind writer uma thread é selecionada – a thread escritora –
para atualizar os arranjos δ e τ. (ii) no bloco bbottom a divergência
é detectada e reportada.
A thread escritora é sempre aquela com o menor identificador.
A fim de selecionar um escritor não podemos simplesmente
atribuir esta tarefa à thread zero, por exemplo, uma vez que tal
thread pode não estar ativa em um trecho de código divergente,
exatamente devido a uma divergência anterior. Na figura 1.31
a variável %laneid denota o identificador da thread dentro do
40