|
From: <pcm...@us...> - 2009-06-25 22:47:15
|
Revision: 1689
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1689&view=rev
Author: pcmehlitz
Date: 2009-06-25 22:47:14 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
* OutputStreamWriter buffer overrun fix. Note this is not the last word yet, since it uses Verify.begin/endAtomic() to avoid explicit locks (and hence state explosion), which introduces the possibility of BlockedInAtomicSection exceptions if the underlying OutputStream.write uses locking. Still seems a better solution than creating a JPF byte[] object per OutputStreamWriter.write() call, or using explicit locks on JPF objects. Using static buffers is bad for concurrent exec though (we want to reduce these cases). I have a hunch this is one of these eternal-living workarounds.
Modified Paths:
--------------
trunk/env/jpf/java/io/OutputStreamWriter.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_OutputStreamWriter.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|