Стр. 8 - Использование системы LLVM при динамическом поиске состояний гонок в программах
Упрощенная HTML-версия
ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
8
СПИСОК ЛИТЕРАТУРЫ
1.
Ne ther co t e N. , Seward J. Valgrind: A framework for heavy-weight
dynamic binary instrumentation // Proc. of the 2007 Programming Language
Design and Implementation Conf. 2007. Vol. 26. No 6. P. 89–100.
2.
Ma r i no D. , Musuva t h i M. , Na r ayanasamy S. LiteRace: effective
sampling for lightweight data-race detection // PLDI. 2009.
3.
LLVMProgrammer’s Manual. URL:
4.
A theory of data race detection / U. Banerjee, B. Bliss, Z. Ma, P. Petersen
// Proc. of the 2006 Workshop on Parallel and Distributed Systems: Testing
and Debugging. PADTAD’06. N. Y.: ACM, 2006. P. 69–78.
5.
Lampor t L. Time, Clocks and the Ordering of Events in a Distributed Sys-
tem // Communications of the ACM. 1978. Vol. 21. No 7. P. 558–565.
6.
Ser ebryany K. , I skhodzhanov T. ThreadSanitizer: Data race detec-
tion in practice // Proc. of the Workshop on Binary Instrumentation and Ap-
plications. WBIA’09. N. Y.: ACM, 2009. P. 62–71.
Статья поступила в редакцию 25.10.2012
