LOR with filedesc structure and Giant

David Malone dwmalone at maths.tcd.ie
Sun Aug 17 02:56:11 PDT 2003


On Sat, Aug 16, 2003 at 10:18:43PM +0200, Poul-Henning Kamp wrote:
> At one point we have to say "Well, the locks we have above are solid,
> but we need to drop Giant below here" but if Witness sees a
> PICKUP_GIANT() as an acquisition of Giant, rather than as a
> resumption of Giant, this clearly does not work.

Wouldn't the risk of deadlock be real, even if it is only a resumption
of Giant? I guess another option is to drop all the locks that are
held and reqcquire all of them in the right order...

	David.


More information about the freebsd-current mailing list