Zobrazeno 1 - 10
of 255
pro vyhledávání: '"Data races"'
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 19, Iss 2, Pp 380-386 (2019)
The paper presents the results of Relacy Race Detector (RRD) library research as applied to the problem of multithreaded code testing. The study revealed several shortcomings of the RRD library. They are: a static number of threads, complex project s
Externí odkaz:
https://doaj.org/article/63f766bd484e421a8295afb24cdc49bd
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Oraji, Yussur Mustafa
Publikováno v:
Aachen : RWTH Aachen University 1 Online-Ressource : Diagramme (2023). doi:10.18154/RWTH-2023-05106 = Bachelorarbeit, RWTH Aachen University, 2023
Bachelorarbeit, RWTH Aachen University, 2023; Aachen : RWTH Aachen University 1 Online-Ressource : Diagramme (2023). = Bachelorarbeit, RWTH Aachen University, 2023
Most high-performance computing systems utilize a distributed memory system, wher
Most high-performance computing systems utilize a distributed memory system, wher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b115f598ceddae146f39081fa574363
Publikováno v:
ACM Computing Surveys
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639751fb43f22848239b4cc4ec601ab7
https://inria.hal.science/hal-03828497/document
https://inria.hal.science/hal-03828497/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b665858d72b8c002952659b41ff63a0a
Publikováno v:
Kulkarni, R, Mathur, U & Pavlogiannis, A 2021, Dynamic Data-Race Detection Through the Fine-Grained Lens . in S Haddad & D Varacca (eds), 32nd International Conference on Concurrency Theory (CONCUR 2021) . Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics (LIPIcs), vol. 203, pp. 16:1-16:23, 32nd International Conference on Concurrency Theory, 20/08/2021 . https://doi.org/10.4230/LIPIcs.CONCUR.2021.16
Data races are among the most common bugs in concurrency. The standard approach to data-race detection is via dynamic analyses, which work over executions of concurrent programs, instead of the program source code. The rich literature on the topic ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ae247b8150ef052698ae0a35fb1dd7d
Autor:
Jackson, Nathan D.
Modern software applications frequently make use of multithreading to utilize hardware resources better and promote application responsiveness. In these applications, threads share the program state, and synchronization mechanisms ensure proper order
Autor:
Čižmárik, Andrej
Dynamic analysis is a technique used to analyse the behaviour of programs, which can be utilized when searching for various software errors. Nowadays, there is a trend in software development towards multi-threaded programs that are, undeniably, pron
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::10fc171913f76107c14a785748c56128
http://www.nusl.cz/ntk/nusl-410760
http://www.nusl.cz/ntk/nusl-410760