Тема: Поиск состояний гонки в приложениях, исполняемых в среде ОС z/OS

[1] Beckman Nels E. A Survey of Methods for Preventing Race
Conditions // Carnegie Mellon School of Computer Science. ––
2006. –– URL: http://www.cs.cmu.edu/~nbeckman/papers/race_
detection_survey.pdf (online; accessed: 12.11.2015).
[2] Boyapati C. Rinard M. A parameterised type system for race-free java
programs. –– In ACM Conference on Object-Oriented Programming
Systems Languages and Applications, 2001.
[3] Dawson Engler Ken Ashcraft. RacerX: effective, static detection of race
conditions and deadlocks. –– SOSP ’03 Proceedings of the nineteenth
ACM symposium on Operating systems principles, 2003.
[4] Eli Pozniansky Assaf Schuster. Efficient On-the-Fly Data Race
Detection in Multithreaded C++ Programs. –– Concurrency and
Computation: Practice Experience - Parallel and Distributed Systems:
Testing and Debugging, 2007.
[5] Flanagan C.; Leino K.R.M.; Lillibridge M.; Nelson G.; Saxe R.;
Stata J. B. Extended static checking for Java. –– Proceedings of the
Conference on Programming Language Design and Implementation,
2002. –– P. 234–245.
[6] Flanagan C. Freund S. Type-Based Race Detection for Java. –– In
Proceedings of the ACM SIGPLAN 2000 Conference on Programming
Language Design and Implementation, 2000. –– P. 219–232.
[7] IBM. z/Architecture Principles of Operation. –– IBM, 2012.
[8] IBM. High Level Assembler for z/OS z/VM z/VSE Toolkit Feature
User’s Guide. –– IBM, 2013.
[9] John Erickson Madanlal Musuvathi Sebastian Burckhardt
Kirk Olynyk. Effective Data - Race Detection for the Kernel. –– USENIX, 2010.
[10] Konstantin Serebryany Timur Iskhodzhanov. ThreadSanitizer – data
race detection in practice // WBIA ’09 Proceedings of the Workshop
on Binary Instrumentation and Applications. –– 2009. –– URL:
http://static.googleusercontent.com/media/research.google.
com/en//pubs/archive/35604.pdf (online; accessed: 21.03.2016).
[11] Lamport Leslie. Time, Clocks, and the Ordering of Events in a
Distributed System // Microsoft Research - Turning ideas into
reality. –– 1978. –– URL: http://research.microsoft.com/en-us/
um/people/lamport/pubs/time-clocks.pdf (online; accessed: 12.11.2015).
[12] Netzer R. Miller B. What Are Race Conditions? Some Issues and
Formalizations. –– In ACM Letters On Programming Languages and
Systems, 1994. –– P. 74–88.
[13] Paul Sack Brian E. Bliss Zhiqiang Ma Paul Petersen Josep Torrellas.
Accurate and efficient filtering for the Intel thread checker race
detector. –– ASID ’06 Proceedings of the 1st workshop on Architectural
and system support for improving software dependability, 2006.
[14] Pozniansky E. Schuster A. Efficient On-the-fly Data Race Detection
in Multithreaded C++ Programs. –– In Proceedings of The Ninth
ACM SIGPLAN Symposium on Principles and Practice of Parallel
Programming, 2003. –– P. 179–190.
[15] Savage S. Burrows M. Nelson G. Sobalvarro P. Anderson T. Eraser:
A Dynamic Data Race Detector for Multithreaded Programs. –– ACM
Transactions on Computer Systems, Vol. 15, No. 4, 1997. –– P. 391–411.
...
Купить