31 Jul
2000
31 Jul
'00
4:48 p.m.
From: Chris Withers <chrisw@nipltd.com>
In anser to 'What is A.B.C.D?' I can't see how you can get: ((D o (C o A)) o (B o A))
Here's my working:
A.B.C.D = (B o A) : .C.D = ((C o A) o (B o A)) : .D = ((D o C) o ((C o A) o (B o A)))
This last line should be (((D o C) o (C o A)) o ((C o A) o (B o A))), which simplifies to ((D o (C o A)) o ((C o A) o (B o A))) and then (D o ((C o A) o (B o A))). In this case aq_inner is the entire expression, since aq_self is not a wrapper. The IPC8 slides are in error, and need to be fixed. Cheers, Evan @ digicool & 4-am