Автоматический поиск состояний гонок в ядре OC Linux (1187393), страница 7
Текст из файла (страница 7)
— http://gcc.gnu.org/.[12] GCC Bugzilla — Bug 33498 — Optimizer (-O2) may convert a normal loop toinfinite. — http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33498.34[13] Eraser: A dynamic data race detector for multithreaded programs / Stefan Savage,Michael Burrows, Greg Nelson et al. // ACM Transactions on Computer Systems(TOCS). — 1997. — V. 15, no. 4. — P. 391–411.[14] Lamport Leslie. Time, clocks, and the ordering of events in a distributed system// Communications of the ACM. — 1978.
— V. 21, no. 7. — P. 558–565.[15] Fuzz testing. — http://ru.wikipedia.org/wiki/Fuzz_testing.[16] AddressSanitizer: a fast address sanity checker / Konstantin Serebryany,Derek Bruening, Alexander Potapenko, Dmitry Vyukov // Proceedings of the 2012USENIX conference on Annual Technical Conference. —USENIX ATC’12. —Berkeley, CA, USA, 2012. — P. 28–28.[17] Seward Julian, Nethercote Nicholas. Using Valgrind to detect undefined value errorswith bit-precision // USENIX Annual Technical Conference.
— 2005. — P. 17–30.[18] Nethercote Nicholas, Seward Julian. Valgrind: A framework for heavyweight dynamicbinary instrumentation // Proceedings of the 2007 ACM SIGPLAN conference onProgramming language design and implementation. — PLDI ’07. — New York, NY,USA: ACM, 2007. — P. 89–100.[19] Pin: building customized program analysis tools with dynamic instrumentation /Chi-Keung Luk, Robert Cohn, Robert Muth et al. // Proceedings of the 2005ACM SIGPLAN conference on Programming language design and implementation. —PLDI ’05. — New York, NY, USA: ACM, 2005. — P. 190–200.[20] Bruening Derek.
Efficient, Transparent, and Comprehensive Runtime CodeManipulation: Ph. D. thesis / Derek Bruening. — M.I.T. — 2004.[21] gcov — a Test Coverage Program. — http://gcc.gnu.org/onlinedocs/gcc/Gcov.html.[22] Eigler Frank Ch. Mudflap: pointer use checking for C/C++ // GCC DevelopersSummit / Red Hat Inc. — 2003.[23] Pebil: Efficient static binary instrumentation for linux / Michael A Laurenzano,Mustafa M Tikir, Laura Carrington, Allan Snavely // Performance Analysis of35Systems & Software (ISPASS), 2010 IEEE International Symposium on / IEEE. —2010. — P.
175–183.[24] Bungale Prashanth P, Luk Chi-Keung. PinOS: a programmable framework for wholesystem dynamic instrumentation // Proceedings of the 3rd international conferenceon Virtual execution environments / ACM. — 2007. — P. 137–147.[25] Kprobes. — https://sourceware.org/systemtap/kprobes/.[26] Tamches Ariel, Miller Barton P. Fine-grained dynamic instrumentation of commodityoperating system kernels: Ph. D.
thesis / Ariel Tamches, Barton P Miller. —University of Wisconsin–Madison. — 2001.[27] ftrace - Function Tracer. — https://www.kernel.org/doc/Documentation/trace/ftrace.txt.[28] Komarov Nikita. On the implementation of data-breakpoints based race detectionfor linux kernel modules // Proceedings of the Spring/Summer Young Researchers’Colloquium on Software Engineering / Федеральное государственное бюджетноеучреждение науки Институт системного программирования Российской академии наук.
— No. 7. — 2013.[29] KernelStrider. — https://github.com/euspectre/kernel-strider.[30] Андрианов П.С., Мутилин В.С., Хорошилов А.В. Метод легковесного статического анализа для поиска состояний гонок // Труды Института системного программирования РАН. — 2015. — V. 27, no. 5.[31] Vadim Mutilin, Alexey Khoroshilov. An approach to lightweight static data racedetection // Proceedings of the Spring/Summer Young Researchers’ Colloquiumon Software Engineering / Федеральное государственное бюджетное учреждениенауки Институт системного программирования Российской академии наук. —No.
8. — 2014.[32] Linux-Kernel Memory Model. —http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4444.html.36[33] Trinity: A Linux System call fuzz tester. — http://codemonkey.org.uk/projects/trinity/.[34] CVE-2015-7613.—https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2015-7613.[35] Linux Kernel ’ipc_addid()’ Function Local Memory Corruption Vulnerability. —http://www.securityfocus.com/bid/76977.[36] Коновалов А.Д., Вьюков Д.С. Автоматический поиск состояний гонок в ядре ОСLinux // Труды 57-й научной конференции МФТИ.
Управление и прикладнаяматематика. Т. 2 / МФТИ. — 2014. — С. 149–150.[37] KernelAddressSanitizer (KASan): a fast memory error detector for the Linuxkernel. — https://events.linuxfoundation.org/sites/events/files/slides/LinuxCon%20North%20America%202015%20KernelAddressSanitizer.pdf.37.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
