skip to main content
Idioma:

Thread Scheduling for Hardware Stress Testing on Bare-metal Devices

Sawaya, Youssef

Uppsala universitet, Institutionen för informationsteknologi 2022

Texto completo disponível

Citações Citado por
  • Título:
    Thread Scheduling for Hardware Stress Testing on Bare-metal Devices
  • Autor: Sawaya, Youssef
  • Assuntos: Engineering and Technology ; Teknik och teknologier
  • Notas: IT ; 22 120
    http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-487165
  • Descrição: Testing a compiler is an important, but complicated task, especially when compiling and running concurrent programs using C11 atomic operations. This thesis is dedicated to developing a compiler tester for the atomic operations and memory models introduced in the C11 standard. This tool was designed to provide a reliable method for non-deterministic stress testing on hardware. In order to achieve this goal, a thread scheduling method, that introduces random delays to threads, allows the tester to observe a wide range of possible outcomes from running compiled tests. The tool was developed, tested, and compared with previous methods. Compared to other methods, the developed tool proven to be reliable and fast because it could run many random interleaves successfully and observe more outcomes. Furthermore, it detected forbidden outcomes in some tests, indicating that there are bugs, but their sources remain undetermined. Having a reliable and fast way of testing compilers for concurrent programs can open many doors, for instance, the capability of testing compiler optimisations on concurrent programs which is severely undertested on some compilers.
  • Editor: Uppsala universitet, Institutionen för informationsteknologi
  • Data de criação/publicação: 2022
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.