Request for review: Race conditions in java.nio.charset.Charset
Ulf Zibis
Ulf.Zibis at gmx.de
Tue Oct 6 22:09:15 UTC 2009
I.) Internal charset cache will be corrupted in theoretical race conditions:
Startpoint:
cache1 --> Charset1
cache2 --> Charset2
Scenario 1:
- Thread1 asks for Charset2 via Charset.forName("Charset2").
- If Thread1 is interrupted after code line: cache2 = cache1
in method lookup2(String charsetName) we have:
cache1 --> Charset1
cache2 --> Charset1
> If now thread2 asks for Charset2, it can't find it in cache, so it invokes
an expensive lookup via registered providers.
Scenario 2:
- Thread1 asks for Charset2.
- Thread1 is interupted before cache2 = cache1;
- If now thread2 asks for Charset2 we have after completing lookup2():
cache1 --> Charset2
cache2 --> Charset1
- Now thread1 resumes; after completing lookup2() we have:
cache1 --> Charset2
cache2 --> Charset2
> In the end we can see, that Charset1 is lost in cache.
II.) Endless loop, if VM's default charset (called by Charset.defaultCharset())
needs to load mapping data via Class.getResourceAsStream():
- Invoking Class.getResourceAsStream(), again calls for Charset.defaultCharset(),
so we are in endless loop.
Note: The error condition, described in
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6795536
is fixed since Bug ID 6797688, but the endless loop, getting the default charset, remains.
See my patches here: https://bugs.openjdk.java.net/show_bug.cgi?id=100107
-Ulf
More information about the core-libs-dev
mailing list