The current PICurrent implementation creates a new [logical] thread-scoped PICurrent for each interceptor instance for each interception point. Upon further analysis, the specification seems to require that multiple interceptor instances should share the same thread-scoped PICurrent if they are being invoked during the same request and are having their same interception point invoked.

Our current implementation makes it impossible to implement recursion detection for those interceptors that make recursive ORB-mediated calls.

I have attached a test case that currently results in infinite recursion, but should execute flawlessly once this problem is fixed.

See also Harold's trace of how infinite recursion detection should work in the given example.