[Javapathfinder-svn] SF.net SVN: javapathfinder:[1689] trunk/env

[<pcm...@us...>]

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.