Date: Tue, 09 Mar 2010 16:21:49 +0900
オーストラリア Monash大学 Abramson教授が進めている
大規模 HPC向けデバッガ環境開発に US DOEの予算が付きました：
"International recognition for Australian supercomputer debuggers"
18 February 2010 (HPCWireの記事は March 08, 2010)
"The research team, led by the Lab's Director, Professor David
Abramson, recently received funding support from the United
States Department of Energy, an agency leading an international
supercomputer R&D consortium that includes IBM, and has a
commercialisation agreement with supercomputer manufacturing
Professor Abramson said the funding support from the US Department
of Energy, together with an Australian Research Council Linkage
grant with Cray, would enable the research team to "develop
debuggers that scale to millions of processors. It will also allow
us to leverage state-of-the-art software development environments
to improve programmer productivity.""
""While traditional debuggers work by comparing program variables
with user expectations, our 'relative' debugging operates by comparing
data in one program with data in another that is known to be correct.
So it works by detecting where the codes differ rather than from the
principle of how the code should be,' Professor Abramson said."
David Abramson, Professor of Computer Science
Director - Monash eScience and Grid Engineering Lab
Monash eScience and Grid Engineering Laboratory
MeSsAGE Lab Publications
"Relative Debugging" (1995～) がキーワードな気がしますが、
United States Patent 5838975:
"Method for testing and debugging computer programs"
Abramson, David Andrew and Sosic, Rok
Filing Date: 04/18/1995, Publication Date: 11/17/1998
"A computerized method of testing and debugging an executable
behaviorally unknown computer program by dynamic comparison with an
executable behaviorally known computer program. The method controls
execution of each program and compares related variable values at
selected breakpoints in each program. If the variable values are
equal within a certain error range the method continues execution of
each program. If there is a significant difference between the variable
values the method reports a fault and allows the option of terminating
or continuing the method."
School of Computing & Information Technology
Sixth international symposium on Automated analysis-driven debugging
AADEBUG2005, September 19-21, 2005
AADEBUG2003, September 8-10, 2003
"Unfortunately, because of lack of submissions we decided to cancel AADEBUG this year."
Algorithmic and Automatic Debugging Home Page
Clinton L. Jeffery, Associate professor, University of Idaho
Automated and Algorithmic Debugging (AADEBUG)
The DBLP Computer Science Bibliography
"Swiss computing lab offers free bug-immunity tool", 27th January 2010
dimmunix: Deadlock immunity system for Java/C/C++ software
Dependable Systems Lab, EPFL
Dimmunix: Deadlock Immunity