Analysis of Parallel C++ Programs /
Pokud chceme plně využívat výpočetních možností dnešních počítačů, je třeba využívat paralelní software. To s sebou přináší mnohé dodatečné problémy, se kterými se programátoři nesetkají při vývoji sekvenčních programů. Tato práce prezentuje několik vylepšení v oblasti analýzy paralelních programů v...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2020
|
| Témata: | |
| On-line přístup: | https://is.muni.cz/th/r9kjw/ |
| LEADER | 05561ctm a22008657i 4500 | ||
|---|---|---|---|
| 001 | MUB01006475017 | ||
| 003 | CZ BrMU | ||
| 005 | 20240522095945.0 | ||
| 008 | 201205s2020 xr ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2021-05-10 | ||
| 035 | |a (ISMU-VSKP)283913 | ||
| 040 | |a BOD114 |b cze |d BOD018 |e rda | ||
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.438C++ |2 MRF | ||
| 080 | |a 004.42.032.24 |2 MRF | ||
| 080 | |a 004.43 |2 MRF | ||
| 080 | |a 004.42 |2 MRF | ||
| 100 | 1 | |a Štill, Vladimír |% UČO 373979 |* [absolvent FI MU] |4 dis | |
| 242 | 1 | 0 | |a Analysis of Parallel C++ Programs |y eng |
| 245 | 1 | 0 | |a Analysis of Parallel C++ Programs / |c Vladimír Štill |
| 264 | 0 | |c 2020 | |
| 300 | |a x, 135 stran : |b ilustrace | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a svazek |b nc |2 rdacarrier | ||
| 500 | |a Vedoucí práce: Jiří Barnat | ||
| 502 | |a Dizertace (Ph.D.)--Masarykova univerzita, Fakulta informatiky, 2020 | ||
| 520 | 2 | |a Pokud chceme plně využívat výpočetních možností dnešních počítačů, je třeba využívat paralelní software. To s sebou přináší mnohé dodatečné problémy, se kterými se programátoři nesetkají při vývoji sekvenčních programů. Tato práce prezentuje několik vylepšení v oblasti analýzy paralelních programů v programovacím jazyce C++, obzvlášť pak v oblasti hledání těžko odhalitelných chyb. <br><br> První přínos této práce je v oblasti analýzy vysokoúrovňových programovacích jazyků se všemi jejich pokročilými vlastnostmi a standardními knihovnami. Toto téma výrazně ovlivňuje praktickou použitelnost nástrojů pro analýzu programů programátory. Bohužel, kompletní podpora daného programovacího jazyka není snadný cíl. I přes to však ukazujeme, že tento cíl je dosažitelný s pomocí vhodné kombinace existujících komponent určených k použití ve spustitelných programech a komponent vytvořených speciálně pro účely analýzy programů. V této práci se konkrétně zaměřujeme na podporu programovacího jazyka C++ |% cze | |
| 520 | 2 | 9 | |a Parallel software offers a promise of full utilisation of modern hardware. Unfortunately, building a parallel program presents some additional challenges for the programmers. In this thesis, we introduce some improvements to the analysis of parallel C++ programs. In particular, we aim to help with the discovery of hard-to-find bugs. <br><br> As our first contribution, we deal with some of the problems related to analysis of high-level programming languages, including their advanced features and standard libraries. We consider this topic important as comprehensive language support makes the analysis tool more usable by programmers in practice. Comprehensive language support is not an easy task. However, we show it is still manageable with the right combination of reuse of existing execution-oriented components and design of new, verification-oriented ones. In this work, we deal with C++ support for the DIVINE verifier in general, and its support for C++ exceptions in particular. <br><b |9 eng |
| 650 | 0 | 7 | |a paralelní programování |7 ph115669 |2 czenas |
| 650 | 0 | 7 | |a C++ (programovací jazyk) |7 ph116956 |2 czenas |
| 650 | 0 | 7 | |a programovací jazyky |7 ph115890 |2 czenas |
| 650 | 0 | 7 | |a programování |7 ph115891 |2 czenas |
| 650 | 0 | 7 | |a počítačové programy |7 ph124516 |2 czenas |
| 650 | 0 | 9 | |a programming languages |2 eczenas |
| 650 | 0 | 9 | |a programming |2 eczenas |
| 650 | 0 | 9 | |a parallel programming |2 eczenas |
| 650 | 0 | 9 | |a computer programs |2 eczenas |
| 650 | 0 | 9 | |a C++ (programming language) |2 eczenas |
| 655 | 7 | |a disertace |7 fd132024 |2 czenas | |
| 655 | 9 | |a dissertations |2 eczenas | |
| 658 | |a Informatika (čtyřleté) |b Počítačové systémy a technologie |c FI D-IN4 PST (PST) |2 CZ-BrMU | ||
| 700 | 1 | |a Barnat, Jiří, |d 1977- |7 mub2010575337 |% UČO 3496 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Katedra teorie programování |4 dgg | |
| 856 | 4 | 1 | |u https://is.muni.cz/th/r9kjw/ |
| CAT | |c 20201205 |l MUB01 |h 0421 | ||
| CAT | |a POSPEL |b 02 |c 20201212 |l MUB01 |h 2149 | ||
| CAT | |a POSPEL |b 02 |c 20201212 |l MUB01 |h 2150 | ||
| CAT | |a POSPEL |b 02 |c 20210122 |l MUB01 |h 0054 | ||
| CAT | |a VESELA |b 02 |c 20210217 |l MUB01 |h 1042 | ||
| CAT | |a VESELA |b 02 |c 20210217 |l MUB01 |h 1042 | ||
| CAT | |a POSPEL |b 02 |c 20210322 |l MUB01 |h 1142 | ||
| CAT | |a POSPEL |b 02 |c 20210327 |l MUB01 |h 0026 | ||
| CAT | |c 20210510 |l MUB01 |h 0931 | ||
| CAT | |c 20210614 |l MUB01 |h 1039 | ||
| CAT | |c 20210614 |l MUB01 |h 2024 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1321 | ||
| CAT | |a POSPEL |b 02 |c 20210912 |l MUB01 |h 2336 | ||
| CAT | |a POSPEL |b 02 |c 20211010 |l MUB01 |h 2218 | ||
| CAT | |a HANAV |b 02 |c 20211115 |l MUB01 |h 1631 | ||
| CAT | |a POSPEL |b 02 |c 20220629 |l MUB01 |h 0104 | ||
| CAT | |a POSPEL |b 02 |c 20221019 |l MUB01 |h 2326 | ||
| CAT | |a POSPEL |b 02 |c 20221101 |l MUB01 |h 0840 | ||
| CAT | |a POSPEL |b 02 |c 20221103 |l MUB01 |h 0025 | ||
| CAT | |a POSPEL |b 02 |c 20230629 |l MUB01 |h 0037 | ||
| CAT | |a POSPEL |b 02 |c 20240226 |l MUB01 |h 1300 | ||
| CAT | |a POSPEL |b 02 |c 20240405 |l MUB01 |h 2124 | ||
| CAT | |a VESELAX |b 02 |c 20240522 |l MUB01 |h 0957 | ||
| CAT | |a VESELAX |b 02 |c 20240522 |l MUB01 |h 0959 | ||
| CAT | |a VESELAX |b 02 |c 20240522 |l MUB01 |h 0959 | ||
| CAT | |a REPISOVA |b 02 |c 20251024 |l MUB01 |h 1418 | ||
| LOW | |a POSLANO DO SKCR |b 2021-05-10 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 FI |a Fakulta informatiky |2 SKLAD |b sklad |3 Diz. práce 2020 |5 42005D2724 |8 20210217 |f 72 |f Týdenní |r 20210217 |
| AVA | |a INF50 |b FI |c sklad |d Diz. práce 2020 |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j SKLAD | ||