Function Call Re-vectorization
| dc.creator | Rubens Emilio Alves Moreira | |
| dc.date.accessioned | 2019-08-10T08:01:23Z | |
| dc.date.accessioned | 2025-09-09T00:19:14Z | |
| dc.date.available | 2019-08-10T08:01:23Z | |
| dc.date.issued | 2017-03-21 | |
| dc.description.abstract | SPMD programming languages for SIMD hardware such as C for CUDA, OpenCL or ISPC have contributed to increase the programmability of SIMD accelerators and graphics processing units. However, SPMD languages still lack the flexibility offered by low-level SIMD programming on explicit vectors. To close this expressiveness gap while preserving the SPMD abstraction, this work introduces the notion of Function Cal Re-Vectorization. We present a formal semantics of CREV, and an its implementation on the ISPC compiler. To validate our idea, we have used CREV to implement some classic algorithms, including string matching, depth first search and Bellman-Ford, with minimum effort. | |
| dc.identifier.uri | https://hdl.handle.net/1843/ESBF-ANJQK8 | |
| dc.language | Inglês | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.rights | Acesso Aberto | |
| dc.subject | Compiladores (Computadores) | |
| dc.subject | Computação | |
| dc.subject | Arquitetura de computador | |
| dc.subject.other | Compilador | |
| dc.subject.other | Vetorizacao | |
| dc.subject.other | SIMD | |
| dc.title | Function Call Re-vectorization | |
| dc.type | Dissertação de mestrado | |
| local.contributor.advisor1 | Fernando Magno Quintao Pereira | |
| local.contributor.referee1 | Luis Fabricio Wanderley Goes | |
| local.contributor.referee1 | Wagner Meira Junior | |
| local.description.resumo | Linguagens SPMD para arquiteturas SIMD, como C para CUDA, OpenCL e ISPC contribuíram para melhorar a programabilidade de aceleradores SIMD e placas de processamento gráfico. No entanto, linguagens SPMD ainda não disponibilizam ao programador toda a flexibilidade que se pode obter a partir de programação SIMD explícita. A fim de contornar esta falha de expressividade, preservando a abstração SPMD, introduzimos a noção de Call Re-Vectorization (CREV). CREV permite que o programador altere a dimensão da vetorização durante a execução de um kernel SPMD, e o faz por meio de uma chamada aninhada de kernel. CREV provê uma abstração similar àquela oferecida pelo conceito de paralelismo dinâmico: é possível invocar um kernel dentro de outro kernel. Nossa abordagem reduz os custos associados a esse processo. Neste trabalho, apresentamos as definições formais de CREV, além de sua implementação no compilador ISPC. Para validar nossa abordagem, implementamosuma série de algoritmos clássicos explorando o conceito de Call Re-Vectorization. Tais algoritmos incluem casamento de padrão, busca em profundidade e Bellman-Ford, e foram implementados com CREV sem muito esforço. Uma vez compilados usando ISPC para gerar instruções vetoriais de máquinas Intel, nossas implementações sãotão eficientes quanto soluções de estado-da-arte, sendo, em geral, mais simples de se programar. Por exemplo, nossa implementação simples de casamento de padrão atinge speedup de 12% sobre o algoritmo Knuth-Morris-Pratt. | |
| local.publisher.initials | UFMG |
Arquivos
Pacote original
1 - 1 de 1