Subject: Re: lock/unlock asymmetry
To: Hauke Fath <hauke@espresso.rhein-neckar.de>
From: Masao Uebayashi <uebayasi@gmail.com>
List: tech-kern
Date: 07/08/2007 13:59:32 
> >     324       /* Now look at channel B. */
> >     325       cs = zsc->zsc_cs[1];
> >               !!!Here cs become Channel B not A  so when we unlock it
> >               B is unlocked

I personally like such locking code written symmetrically, and can be
analyzed statically.

PR/36610 is a good example.

(Is it possible to teach lint(1) about locking?)

Masao