-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Thu, Nov 24, 2005 at 11:11:42AM +1100, Robert Collins wrote:
> Well, the only bugs I've found to date that cannot be effectively tested
> for are concurrent operation bugs - threads and co-processes
> specifically.
None of which are detected by compilers, at least not the sort
of compilers we have available. There are code analysis tools that
can prove correct locking behaviour (e.g. prove your code is deadlock
free, prove resources are always locked, etc). I haven't seen one
available as open source.
- Tel
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iQIVAwUBQ4WjYMfOVl0KFTApAQKPiw/+IgMDnXb0JZoHersTZQmC4fPX8rMiIkf9
rU6oqPK64K6pdlK/z5m1YQa0Fx7OFMXFJgeSSu2wiK/st3L89KDAFs5eVCWpO2jz
NBW7nByd6Suh5+blrr9GZ8PKAvrYbWiKcVc8KzCrSXd7wyaUXT7spJeP244XCZ/9
eo6YRTF0LBrWm5SzSTTmfvHEHuSf3O7LcUjZKzLinBLpFSEa4qkttiU4Qyq5eTtj
bdDG1/xbWMEBfD8sYUiH8b+GYk9fYtr4aRLLgusH4C6PCscvZy21xnHyit9XpXbb
MpZfX4dQFgaZtjg/H2kXh9qEs2P4J8pamG6DQxHJNfthcXBniQ7cL8z8DOo8h/4T
c6JfQRNQDbAOLtRlzofojhrJYE7FEyOWIwdK/r18Mb0GuuAu8pY1fsAF0kgfuMZN
CAaOE0r51krFppPQBbcapM4k3WXfyjfghgdtos2OpX/3v0v83O59dF62+Czyybh5
X05CizYsSH3x0DfXbfVIK2Y7BFSgLTI6BQeXAlTnirGhmhL1+j2Yj6Xl6pwQQCIV
0ZaoPiy443R28KpzKUG9gn8qZCAmP8ZoueyHbCUjfq4tc8sPa5tWhDYXC4OEDukn
s0TsYSznkHpL3WYr6hHFo0ewkk2kpVVM2+JecIDedY01XF+NBzCgwDPEbHyDh4Ji
WNmKO8M9mcg=
=r2JJ
-----END PGP SIGNATURE-----
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html
