https://bz.apache.org/bugzilla/show_bug.cgi?id=58384
Bug ID: 58384
Summary: Data race on field
org.apache.tomcat.websocket.WsWebSocketContainer.backg
roundProcessCount
Product: Tomcat 8
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P2
Component: WebSocket
Assignee: dev@tomcat.apache.org
Reporter: yilong...@runtimeverification.com
Reported by RV-Predict (a dynamic race detector) when running the test suite:
Data race on field
org.apache.tomcat.websocket.WsWebSocketContainer.backgroundProcessCount: {{{
Concurrent write in thread T43 (locks held: {})
----> at
org.apache.tomcat.websocket.WsWebSocketContainer.backgroundProcess(WsWebSocketContainer.java:862)
at
org.apache.tomcat.websocket.BackgroundProcessManager.process(BackgroundProcessManager.java:91)
at
org.apache.tomcat.websocket.BackgroundProcessManager.access$000(BackgroundProcessManager.java:32)
at
org.apache.tomcat.websocket.BackgroundProcessManager$WsBackgroundThread.run(BackgroundProcessManager.java:119)
T43 is created by T1
at
org.apache.tomcat.websocket.BackgroundProcessManager.register(BackgroundProcessManager.java:66)
Concurrent read in thread T34 (locks held: {})
----> at
org.apache.tomcat.websocket.WsWebSocketContainer.backgroundProcess(WsWebSocketContainer.java:862)
at
org.apache.tomcat.websocket.BackgroundProcessManager.process(BackgroundProcessManager.java:91)
at
org.apache.tomcat.websocket.BackgroundProcessManager.access$000(BackgroundProcessManager.java:32)
at
org.apache.tomcat.websocket.BackgroundProcessManager$WsBackgroundThread.run(BackgroundProcessManager.java:119)
T34 is created by T1
at
org.apache.tomcat.websocket.BackgroundProcessManager.register(BackgroundProcessManager.java:66)
}}}
Not sure if this counter has to be precise, but I am reporting it anyway.
--
You are receiving this mail because:
You are the assignee for the bug.
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
