I had make a stress-test at our web-application with Grinder and jMeter. After 5 minutes Tomcat generates several http-80-Processors for one request. This causes that the corresponding Servlet-class runs multiple at the same time (of course with the same sessionID) and throws deadlocks in our application. It must be a Bug because in regular load the Tomcat runs (correct)/(dont multiply processors)
You will need to provide a hard proof of this, or investigate more. I think the thread pool code is explicit enough. I recommend you use users@tomcat.apache.org to debug this.