Lines Matching full:fbc
3943 fCA fBC
3950 B takes fAB,fBC
3951 B releases fAB,fBC
3952 C takes fBC,fCA
3953 C releases fBC,fCA
3960 C takes fBC
3963 Observed (incorrect) order fBC followed by fCA
3967 This is because there is no pair (fCA, fBC) in laog exposition :
3970 So, there is no laog_exposition (fCA, fBC) as no thread ever
3971 first locked fCA followed by fBC.
