diff options
author | Joey Hess <joey@kitenet.net> | 2012-09-17 21:32:30 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-09-17 22:04:43 -0400 |
commit | adf5195082c9d70fc6b7f677417b0cc93a1a33eb (patch) | |
tree | 57a7a9eb7a1200bd21fcc941ec91144dd4c6819e /doc | |
parent | 3c22977e44b852ecc4d1ad2d728e5dc9071952ae (diff) |
run current branch merge in annex monad
I was seeing some interesting crashes after the previous commit,
when making file changes slightly faster than the assistant could keep up.
error: Ref refs/heads/master is at 7074f8e0a11110c532d06746e334f2fec6af6ab4 but expected 95ea86008d72a40d97a81cfc8fb47a0da92166bd
fatal: cannot lock HEAD ref
Committer crashed: git commit [Param "--allow-empty-message",Param "-m",Param "",Param "--allow-empty",Param "--quiet"] failed
Pusher crashed: thread blocked indefinitely in an STM transaction
Clearly the the merger ended up running at the same time as the committer,
and with both modifying HEAD the committer crashed. I fixed that by
making the Merger run its merge inside the annex monad, which avoids
it running concurrently with other git operations. Also by making
the committer not crash if git fails.
What I don't understand is why the pusher then crashed with a STM deadlock.
That must be in either the DaemonStatusHandle or the FailedPushMap,
and the latter is only used by the pusher. Did the committer's crash somehow
break STM?
The BlockedIndefinitelyOnSTM exception is described as:
-- |The thread is waiting to retry an STM transaction, but there are no
-- other references to any @TVar@s involved, so it can't ever continue.
If the Committer had a reference to a TVar and crashed, I can sort of see
this leading to that exception..
The crash was quite easy to reproduce after the previous commit, but
after making the above change, I have yet to see it again. Here's hoping.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions