Zobrazeno 1 - 10
of 253
pro vyhledávání: '"Thread safety"'
Autor:
Bogusław Cyganek
Publikováno v:
Introduction to Programming with C++ for Engineers. :553-576
This chapter summarizes basic concepts of parallel computations. It explains what concurrent multitasking and threads are. The chapter describes the risk of using shared objects, and how to protect their access. It shows how to make standard algorith
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::804637f4e97b281505bfc9f6b2cff09e
https://doi.org/10.1002/9781119431152.ch8
https://doi.org/10.1002/9781119431152.ch8
Autor:
Purushotham Bangalore, Matthew G. F. Dosanjh, Anthony Skjellum, Andrew Worley, Prema Prema Soundararajan, Ryan E. Grant, Sheikh K. Ghafoor, Derek Schafer
Publikováno v:
ICPP Workshops
The Message Passing Interface (MPI) has been the dominant message passing solution for scientific computing for decades. MPI point-to-point communications are highly efficient mechanisms for process-to-process communication. However, MPI performance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::566a74958d640f97bd71453a7dd503e2
https://doi.org/10.1145/3458744.3474046
https://doi.org/10.1145/3458744.3474046
Publikováno v:
IEEE Access, Vol 7, Pp 26984-26995 (2019)
Generating test cases automatically for thread-safe classes is an effective approach to validating their correctness. However, the existing concurrent test generation techniques usually consume a large amount of time and efforts before finding concur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28aab2835374e9543d1e288fe701fe71
https://ieeexplore.ieee.org/document/8651494/
https://ieeexplore.ieee.org/document/8651494/
Autor:
Valerio Terragni, Mauro Pezzè
Publikováno v:
Software Testing, Verification and Reliability. 31
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e5c552b3cc2348f748908249f3c9b13
https://doi.org/10.1002/stvr.1774
https://doi.org/10.1002/stvr.1774
Autor:
Clement Courbet
Publikováno v:
CC
Sanitizers are a relatively recent trend in software engineering. They aim at automatically finding bugs in programs, and they are now commonly available to programmers as part of compiler toolchains. For example, the LLVM project includes out-of-the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00cafb426a5199f9508337a285afc866
https://doi.org/10.1145/3446804.3446848
https://doi.org/10.1145/3446804.3446848
Publikováno v:
ASE
The existing concurrency model for Java (or C) requires programmers to design and implement thread-safe classes by explicitly acquiring locks and releasing locks. Such a model is error-prone and is the reason for many concurrency bugs. While there ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41e43d64b167c140f5e9d78bd575d030
https://doi.org/10.1145/3324884.3416625
https://doi.org/10.1145/3324884.3416625
Publikováno v:
TrustCom
The Go programming language aims to provide memory and thread safety through measures such as automated memory management with garbage collection and a strict type system. However, it also offers a way of circumventing this safety net through the use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b66c5df09392b3562d2725a4051abab
https://doi.org/10.1109/trustcom50675.2020.00063
https://doi.org/10.1109/trustcom50675.2020.00063
Publikováno v:
PLDI
Concurrent separation logics have had great success reasoning about concurrent data structures. This success stems from their application of modularity on multiple levels, leading to proofs that are decomposed according to program structure, program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3951563b82f5127d993e52702db81f3a
https://doi.org/10.1145/3385412.3386029
https://doi.org/10.1145/3385412.3386029
Publikováno v:
PLDI
Rust is a young programming language designed for systems software development. It aims to provide safety guarantees like high-level languages and performance efficiency like low-level languages. The core design of Rust is a set of strict safety rule
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a226cd8da81dec8292490f825a9afa29
https://doi.org/10.1145/3385412.3386036
https://doi.org/10.1145/3385412.3386036
Autor:
Robert Johannes Langenberg, Heather Gray, Hadrien Grasland, Jin Zhang, Bastian Schlag, Andreas Salzburger, Xiaocong Ai, Paul Gessinger, Fabian Klimpel, Moritz Kiehn
Publikováno v:
EPJ Web of Conferences, Vol 245, p 10003 (2020)
EPJ Web Conf.
24th International Conference on Computing in High Energy and Nuclear Physics
24th International Conference on Computing in High Energy and Nuclear Physics, Nov 2019, Adelaide, Australia. pp.10003, ⟨10.1051/epjconf/202024510003⟩
EPJ Web Conf.
24th International Conference on Computing in High Energy and Nuclear Physics
24th International Conference on Computing in High Energy and Nuclear Physics, Nov 2019, Adelaide, Australia. pp.10003, ⟨10.1051/epjconf/202024510003⟩
The reconstruction of trajectories of the charged particles in the tracking detectors of high energy physics experiments is one of the most difficult and complex tasks of event reconstruction at particle colliders. As pattern recognition algorithms e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac5e64c9121684071b65c6801e4d04f6
http://hdl.handle.net/20.500.12278/119808
http://hdl.handle.net/20.500.12278/119808
