Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/43133
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor1 | Fernando Magno Quintão Pereira | pt_BR |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/4608001746330875 | pt_BR |
dc.contributor.advisor-co1 | Liao Chunhua | pt_BR |
dc.contributor.referee1 | Dorgival Olavo Guedes Neto | pt_BR |
dc.contributor.referee2 | Pei-Hung Lin | pt_BR |
dc.creator | Gleison Souza Diniz Mendonça | pt_BR |
dc.creator.Lattes | http://lattes.cnpq.br/4855409269617712 | pt_BR |
dc.date.accessioned | 2022-07-11T13:02:13Z | - |
dc.date.available | 2022-07-11T13:02:13Z | - |
dc.date.issued | 2020-02-28 | - |
dc.identifier.uri | http://hdl.handle.net/1843/43133 | - |
dc.description.abstract | There exist presently many parallelization tools based on the automatic insertion of OpenMP pragmas into programs. However, it is challenging to automatically and quantitatively compare these tools for their strengths and limitations, due to the diverse choices to parallelize a program. This work describes AutoParBench, a test framework aimed to mitigate this problem. AutoParBench consists of benchmarks and a verifier. Benchmarks currently include 99 programs with 1,579 loops. A procedure is defined to allow quick and easy additions of new programs. The verifier consists of a common intermediate representation, based on JSON, plus all the machinery necessary to convert OpenMP programs into a format henceforth called a JSON snapshot. The snapshots produced by different tools enable automatic semantics-aware comparison of syntactically different parallelization results. AutoParBench is an effective bug-finding instrument. By investigating differences in snapshots produced by separate sources, i.e., tool versus tool or tool versus human, we have reported bugs in selected parallelization tools such as ICC, Cetus, AutoPar and DawnCC, all of which have been confirmed. | pt_BR |
dc.description.resumo | There exist presently many parallelization tools based on the automatic insertion of OpenMP pragmas into programs. However, it is challenging to automatically and quantitatively compare these tools for their strengths and limitations, due to the diverse choices to parallelize a program. This work describes AutoParBench, a test framework aimed to mitigate this problem. AutoParBench consists of benchmarks and a verifier. Benchmarks currently include 99 programs with 1,579 loops. A procedure is defined to allow quick and easy additions of new programs. The verifier consists of a common intermediate representation, based on JSON, plus all the machinery necessary to convert OpenMP programs into a format henceforth called a JSON snapshot. The snapshots produced by different tools enable automatic semantics-aware comparison of syntactically different parallelization results. AutoParBench is an effective bug-finding instrument. By investigating differences in snapshots produced by separate sources, i.e., tool versus tool or tool versus human, we have reported bugs in selected parallelization tools such as ICC, Cetus, AutoPar and DawnCC, all of which have been confirmed. | pt_BR |
dc.description.sponsorship | CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior | pt_BR |
dc.language | eng | pt_BR |
dc.publisher | Universidade Federal de Minas Gerais | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.department | ICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO | pt_BR |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação | pt_BR |
dc.publisher.initials | UFMG | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Parallelization | pt_BR |
dc.subject | Benchmark | pt_BR |
dc.subject | Tools | pt_BR |
dc.subject | Verification | pt_BR |
dc.subject.other | Computação – Teses | pt_BR |
dc.subject.other | Benchmarking – Teses | pt_BR |
dc.subject.other | Paralelização – Teses | pt_BR |
dc.subject.other | Software – Verificação – Teses | pt_BR |
dc.title | Autoparbench: a framework for parallel code verification | pt_BR |
dc.title.alternative | Autoparbench: uma ferramenta para verificação de código paralelo | pt_BR |
dc.type | Dissertação | pt_BR |
Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
gleison_dissertation_v2.pdf | AUTOPARBENCH: A FRAMEWORK FOR PARALLEL CODE VERIFICATION | 1.02 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.