three locks and lock order reversal?

Hi,

The test code below will result witness's warning of "lock order
reversal":

/* lock A then B */
mtx_lock(&A_mtx);
mtx_lock(&B_mtx); 
mtx_unlock(&B_mtx);
mtx_unlock(&A_mtx);

/* lock B then C */
mtx_lock(&B_mtx);
mtx_lock(&C_mtx);
mtx_unlock(&C_mtx);
mtx_unlock(&B_mtx);

/* lock C then A, witness will complaint! */
mtx_lock(&C_mtx);
mtx_lock(&A_mtx);
mtx_unlock(&A_mtx);
mtx_unlock(&C_mtx);

But the code seems healthy and will not cause dead locking. So I guess
that the lock order relationship should not be transferrable. Or am I
missing something?

song

_________________________________________________________
Do You Yahoo!? 
完全免费的雅虎电邮，马上注册获赠额外60兆网络存储空间
http://cn.rd.yahoo.com/mail_cn/tag/?http://cn.mail.yahoo.com