Boost logo

Threads-Devel :

From: Frank Mori Hess (frank.hess_at_[hidden])
Date: 2007-11-19 17:57:32


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I've finally found some time to start on the lock-order debugging code I
posted about here several months ago:

http://lists.boost.org/threads-devel/2007/07/0216.php

It's definitely not ready for prime-time yet, I'd say more like
demo/proof-of-concept stage. But I have gotten a trivial example program
running which commits a locking order violation, causing a graphviz file to
be dumped to stderr and then an abort.

I thought I'd share the code (it's only a couple kilobytes), in case anyone is
interested or has any feedback. Ther's also a png version of the example
program's graphviz output. The edges in the graph record locking order,
pointing towards the more recently locked mutex. The red arrow is the
locking event that created a cycle in the graph, violating locking order.

- --
Frank
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHQhTo5vihyNWuA4URAhZRAJ93ClUbYLpyTssGjkY6nrb/AtGDtwCg61oD
1Cib1UsNWjW/69dxS87C2JE=
=ryeM
-----END PGP SIGNATURE-----

--Boundary-00=_oThQHVpp/322Iv+
Content-Type: application/x-tgz;
  name="acyclic_mutex.tar.gz"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
        filename="acyclic_mutex.tar.gz"

H4sIAHkNQkcAA+0aa2/bRtJfxV+xpxwEKpAoyvUDkGXjUsdNjTpxEOd6OQQBsSJXEmuKJMiVXZ3h
++03+yC5XFKWe016KG4HiCXtzszOe2bJYH/jR6HvrdaU/Dra+ybgAhwfH/JPAP2Tfx+7x/vugXt0
eHC85473D8YHe+jw24hTh3VOcYbQXpYk9Cm8Xft/UsA1/9d+Ocs0/SpnMAcfHR1s8f/44Oiw8v/Y
/Q78f3gMS8j9KqfvgP9z/49eWp1XiPsb3Wc4TUmG7pehv0R4TZMVpqGPo2iDaIb92xxFiX8bxguU
ZAEg0gSFcb7OCIoTFBAcsO3c6mBYSZM8D2cRcSyrMyOLMJ6gHzIc36IfSZ6j6Xy1hM+/rXOS5U6e
rDOfzJNsQZyY0DOE9qFiDMfucP/IejmyrNEIoddhTrNwBpIGaB3z45cEfZ8kOUU3yZzes1OvQp/E
ORmgn4FvmMRo7LgOsm8I4Tyw7yerFMcbpsM8jIDg8vzi3c2FN/Zch/5KQTHkJ+kGYcoJlpSmk9Ho
/v7embGTHJBxpNH0LetFOAeJ5sh7f33x0Xt1/s9zwPHe/v3jxSfvx/fvrRewGcZk6z4wiP1oHRA0
5ceMFuCK5QgHv2DQx994ESjP8vFsCyZN0iRKFsxZXp5kW3DpMgMnjcrs3opB81zf93EOvqLqEhNK
/b3CNYoc/EXwqrYEHowX6sod8WmSnVlWjFckT0FdiBxCrQer40dwJKqVJG+Gc3JiFXtijVuAZFYH
aNL1DJAnVqcDR619iu5AZsBJswQim4YEopPhsf1gMhHyIHb2CSw+sj8kXq8QCRbEg8pA1yXBxes3
F971T4Py+9X1+U+X79541x9eX3zwfr68vnr18fL6XcFHCsA5NY/Xlu3+BInjbHlOHz08ckRNHIlW
iks3KWGhx/03mdRDZipXc0JvBgUKmLz6EYQZeIAEsNIw1UAX/owJJEuAx0uAML4qB7crRMJUMfAA
tRAxQfiBAcn9LExZGBQyAL3HGDJXd5jCoV93do8VHopjn9j9yqMcTyomShr/e6Ls1rigl8WXU+Ty
szoqNYgPtYAEHpOeq2Dz9T5nGM7tkhrI+6jiFZP7+kG2IMkIXWdxeSr3IfzzE9ClzUQ9wdPuI4Hy
IBlIqzPauyQMoHCHlIjFu/BfNrd8IrIP9ZI19cT30lJSSY2sQhwU55ZBEeEZiUAPud6XoeFD0cmU
5b5QCaE0C+8wJSwRRary/sGSlEtQpWlHbthCw2a2o56w+QR5HBVMZM9xlBOQQaBJpzBmXDueNv8u
+Fbr4ihvHXNPCo9wXG5DsSm2KpLyTPAq5DOvEp1OzbeTSRWKjsLFU2JFP6aQoToIokk56xQJFZFw
+ElDFr79PGHkWXVxmA8qF7GAiCr7cpzt/vDKpOIFSPi3HidNN2txtDXkUY9/MHeLoBI/uaEqK7KC
hKFg2P1msKdKGD+v7EjhFW/U2KDpFHU/c8lPu+yHYPRZUH1xWPfgOF+6pbNV4z6ha1U+FVOqmdU0
ZC3v/pdm5IIoRmS/nzYhl/pUGKmT34fUX9rSloz4iyNaG2ciufgs4mRH5Oq3MZ5FELeSbWcGy7cn
GvGWVr2VY0aCFn7Q3vA6opJKzEOyFjWRH7dY4XcHyTwLSRygWlltNGDe/Lel8Msz2Z0YVtVntY5l
yVDRUHtcSGiKfJ1NLkVXYSWsvucsCIXmxdujUlM1pIzAeGJXPbM8SqmdRefUaIsOGsYRG6/1Qr6r
hvEDmmV5J5nWR7cNC8KWauHVFJxMMgJVJCceNGKeiQhaMpR37kO4MQS2bmwn45cp1pqbWxAXbEPV
rghTxvcvp9toBGpjE2TKiT0cMmqHWaBq8dJu/pKA3eDm5jFrqdFQC0cx5U+fOwVCRECeycjk3i9/
yz2+DBc0uK8k93kx88UJ9bAX4AUK52KEQUucIyGa4jD9tiQ9NRDCzlgoQBtlcmW2OK9Q22qdf1GV
otoAi7xqgW0XAvBrlpenxA/nEGMpzaZabJyhllivzbZqeMHmY3UvaoaudjlqIsigV29FvTgJiHdL
NqyLFN/tclFN+2KRpXq3q+R62VaAoSyCgCbroSiU1W9WH+kyzOW4UzFVaKBHZMrsVo3PiuQ9VErb
mJyLHTY8K/VX1bvCkUalZJVGgDhlfuHd/i13wGkRdzTbCFOetXpggoTld/tFEMtCwriyEGjOABqC
XeOrD8wQw2JhUFVfseJ44omPDLGBHDr16Zdk6ljLHCTbXVHwnVKQfjW6ioaocZAFtuLx+Fx1+IU1
QkHCUfqTmnz/tYKgQcFRGTpa9S5avNBYXXps6+faVC4Zli45KUpkFU5lAynsIAqANhwqTWZrXOyI
iY1ioQG/1Shz4S4Wuh+aDFWDPuhmaahYfJNq6rXpqbKEeK2ZtGRVvUjVM702Pmni8PNFbtcjp6gE
vOe1uXbXvFHMDQ/Wb50a2jtO2y2G4gzmLdlwOKHWjOByWIwZfMpQepPDhw2RNFXx5AEOOcKw6+hi
aih7vXpyVRZxEMg1qZRIGDny14jkLeoU6SIIiurkzzrCF3Yzr2sOkUQiVlvbpQvp8Cwn4KugGGV4
SEu3KRd90Lw5Eq1SutHqnGiDrRZt0LPhwu4PzzQjF2OamNKali7ns2fEgXiavk3fdi76ZQ6mcY+t
1Z3JVuwa+0Hd9gM5lPRB+ywXUxokV1Vwm/Ni1QZ8zC6EIocaA12PZFmSKaW7cpfyLESGViF9caME
pKeugbVpouGxdJ0vPe62XjVWQ2iUAuiR0PY0zgfxpaNnbOAspmioKqywvAAvw8gKA+22NwTf6v3P
E+//PEpy6vi//yXg0+//XPf46Lh6/3c83nPHx+74O/P+74+A9tdJRfBqL4G6jffDXeVVTpgUL3ys
4vLHXuVA6VCppsXDB/ncIYwpWmF2o2XvfKotiYXtLu6ybGnszOzurH3Ht7s+33koH1+I9qf3WuAu
T+H5+CTqTKLOdqP6EtVnqI9fV4wa798gMYghr0AulJyqnNTz/y2+Jey16NeNsV35v79/WOY/+48f
7vjAPTgw+f9HgNUs+RN09frq8vub02HEa4Innla0Yp5/+vTD1as3gPsPHEVouEDDaxcN0+0klgV9
H8cwiv/V/vC2j5oo1jdrdgYMGDBgwIABAwYMGDBgwIABAwYMGDBgwIABAwYMGDBgwIABAwYMGDBg
wIABAwYM/MnhPxFqcjMAUAAA

--Boundary-00=_oThQHVpp/322Iv+
Content-Type: image/png;
  name="mygraph.png"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
        filename="mygraph.png"

iVBORw0KGgoAAAANSUhEUgAAAIUAAAD7BAMAAAC23Eq+AAAAIVBMVEX+////AACfn58fHx+/v79f
X19/f38/Pz/f398AAAD///+H5HOjAAAAAXRSTlMAQObYZgAABC5JREFUeJzt279vEzEUB/D+C1k7
ghhgLQyZGSJlBKliRkKiOyDEjARipFTtZaJBhNh/JdBwTWy/H993fneXVFyX5HL3Odu5s99z3KNY
vX0/+m+MZYRKo2m3RUcjNA352mCERnoLGWXxiQrJBnXVUCCiQda+RCSD+z7z/YJRFrrdsvIJBkvk
H/EG3RibLS0ia/A1KS7AGlIxsiuwhliM9GPOkJ7T/HPOkKuSVoYzlKokBzCGVpXkiB4NrTmSBmEM
tTl2DxnQ+PTqTbVx8ufPaBQP3Ms4zY/ZNjvaHvcKw1yXp/N646Ssi9loPk4/W438Pj17fPY+3aPf
p/vyzHn0Hy79mEd/6tGvu4wvHuOcx3jrMu67xB8ecZBLPOYSF7rEpy5xsku8/nerzhvi5o4Kkf+u
USPWGdtTu9fFw1gQr0YwAvlyeGOnAvtiMI06iJGUf18MulFVI7n0YRtBeNfNoL8YzViIbw/KyBuR
bNQDMfL6H7BRnOJhkDeIbJRnjGAED6MhWtBsEBGc3SgRo3ETCjoYxSkdjGKn3SjPoG522Sh3mg2i
4KMYxE6bEcg0wWqQe20GOR7hBp+tYIacNQGGnr0RcmoAWaRmINmsYkBZtWxg2b1ogLMMkoHOdkgG
OusiGPDsD2/gs1C8gc+G8QY+K8cahtlB1jDMUrKGYbaUMyyztpixfN7FSJtjXUyl7zYIZ2T7CSOO
YszO59XG6/vfOIPr1/MHbhqXF/lxbbOzY0NhrM+t5SDa9LLeWH+tN1YfzEb22M7enuaHBdUwPHO9
Gob+gzfwfoyPk/H+VIi14X5dMODxRTDgcU7KG9DxVsw9wHFfNLD4Q8nVoThIy/eReEydMwDiQn1O
SY9PgXkpNU5G5ra0eB2cH5PyBnTOsc1dromjLUZkDHQ++dY47sWA5/nbAyeTfTGKyjCPdj9Ge+Ck
rIyDgf8+98+4nhSV8TC43lI0JuQnNQY7oPJtWjx0XYz89mAHj2ENPr4Y1uAH5EENIdyCDSG2GNKw
rU+mDSleG9AQg+ABDTF8Hc6Qc4LhDDmtyI2dIGprKOlNH0agDCVDooyYGAs1U9ONZmE1Ym4EdlmQ
ydAy18IIhKEghNEW/bgtl1YbzDCWIxKGTECG+Xu5zcg24Qfw1ap5A7PsDDC2+Qv9a5BmpHmUXhM9
nwMI++8vmgGtJpQNbFWjaICrKyUDXeUpGPBqU8EA52EkA199yxqGVcCsYViNzBrwPB1vWFZnc4Zl
lThnqPeibphWzfdomP7bhTGA53sUY3X6rtp4Eh8+Mhp5g62u4vJLdpzU7FQ5fhEXtdblx1W98fMi
xnmlsW6ePTCXI2+wWfMi26Pfp/vyzHn0Hy79mEd/6tGvu4wvHuOcx3jrMu67xB8ecZBLPOYSF7rE
py5xsv77C2JE/b9dEOOmCOjpgmHb7pTxG9XYOpCpoiWUAAAAAElFTkSuQmCC

--Boundary-00=_oThQHVpp/322Iv+--


Threads-Devel list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk