|
" Detecting Memory Model Bugs in Multi-Core and Many-Core Systems "
Mohammad Majharul Islam
Muzahid, Abdullah
| Document Type
|
:
|
Latin Dissertation
|
| Language of Document
|
:
|
English
|
| Record Number
|
:
|
804909
|
| Doc. No
|
:
|
TL49745
|
| Call number
|
:
|
1999863151; 10680841
|
| Main Entry
|
:
|
Panasiuk, Katsiaryna
|
| Title & Author
|
:
|
Detecting Memory Model Bugs in Multi-Core and Many-Core Systems\ Mohammad Majharul IslamMuzahid, Abdullah
|
| College
|
:
|
The University of Texas at San Antonio
|
| Date
|
:
|
2017
|
| Degree
|
:
|
Ph.D.
|
| field of study
|
:
|
Computer Science
|
| student score
|
:
|
2017
|
| Page No
|
:
|
193
|
| Note
|
:
|
Committee members: Duan, Lide; Gibson, Matt; Korkmaz, Turgay; Wang, Xiaoyin
|
| Note
|
:
|
Place of publication: United States, Ann Arbor; ISBN=978-0-355-53324-8
|
| Abstract
|
:
|
With the ubiquitous availability of parallel architectures, the burden falls on programmers’ shoulders to write correct parallel programs. One of the major issues that complicates this task is the intricacies involved with the underlying memory consistency models. Therefore, it is important to innovate with techniques and approaches to tackle <i>Memory Model Bugs.</i> This thesis aims at making parallel programming easier by detecting memory model bugs both in multi-core and many-core systems.
|
| Subject
|
:
|
Computer science
|
| Descriptor
|
:
|
Applied sciences;Bug detection;Many-core;Memory model;Multi-core;Reliability
|
| Added Entry
|
:
|
Muzahid, Abdullah
|
| Added Entry
|
:
|
Computer ScienceThe University of Texas at San Antonio
|
| |