This is the mail archive of the
systemtap@sources.redhat.com
mailing list for the systemtap project.
safety question: locks
- From: "Chen, Brad" <brad dot chen at intel dot com>
- To: "Frank Ch. Eigler" <fche at redhat dot com>
- Cc: <systemtap at sources dot redhat dot com>
- Date: Thu, 19 May 2005 14:29:21 -0700
- Subject: safety question: locks
A question occurred to me reviewing the latest draft of the OLS paper:
Given that the language system automatically inserts locks to protect
global data, how do we gain confidence that a translated script can't
deadlock or have other sorts of locking problems? Is it enough to
assume that the elaborator and translator are bug-free?
Or does it also depend on the script? Can we make the language
system simple enough that we can be reasonably confident the lock
related code is bug free?
Brad