Efficient and self-balancing verification of multi-threaded microprocessors
作者： John M. Ludden , Bryan G. Hickerson
DOI:
关键词: Computer science 、 Parallel computing 、 Thread safety 、 Java concurrency 、 Multi-core processor 、 Speculative multithreading 、 Thread (computing) 、 Multiprocessing 、 Win32 Thread Information Block 、 Spinlock
摘要: Creating one or more irritator threads on processor cores in a multi-threaded multiprocessor data processing system is provided. A test generator generates non-irritator thread code for execution by and of the system. simulation controller instantiates to execute code. The determines if has finished entire instruction stream Responsive finishing code, performs an operation terminate threads.
google.com.mx 参考文章(28)
David Burns, Pre-Silicon Validation of Hyper-Threading Technology ,(2002)
Balaram Sinharoy, Ronald Nick Kalla, Michael Stephen Floyd, William Elton Burky, Method and logical apparatus for switching between single-threaded and multi-threaded execution states in a simultaneous multi-threaded (SMT) processor ,(2003)
Shlomo Wygodny, Georgi Prouss, Anatoly Vorobey, Dmitry Barboy, System and method for monitoring and analyzing the execution of computer programs ,(1998)
Frank Eliot Levine, Jimmie Earl Dewitt, Enio Manuel Pineda, Robert John Urquhart, Kean G. Kuiper, Jesse M. Gordon, Method and apparatus for analyzing idle states in a data processing system ,(2008)
Evgeny Himmelreich, Dmitry Kagan, Noam Dishon, Framework for automated testing of enterprise computer systems ,(2006)
Tracy Garrett Drysdale, Scott P Bobholz, Method and apparatus for communicating between processing entities in a multi-processor ,(2001)
Dennis W. Wittig, Ali Y. Duale, Theodore J. Bohizic, Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination ,(2006)
Dipak M. Patel, Michel Betancourt, Chintamani Sahoo, Automated hang detection in Java thread dumps ,(2003)
Kent Forschmiedt, Matthew D. Hendel, Method and arrangements for generating debugging information following software failures ,(2000)
Rob M. Mensching, Kirk A. Glerum, Matthew J. Ruhlen, Charles S. Walker, Eric A. LeVine, Method and system for categorizing failures of a program module ,(2004)