diff options
author | Sven Gothel <[email protected]> | 2014-07-08 10:50:52 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2014-07-08 10:50:52 +0200 |
commit | 7d0c81f28d44179c7dafeeff1f3787f8aec622aa (patch) | |
tree | 3edffe7baa88738f1763d7cb446c72f0d755901e /src/jogl/classes/jogamp | |
parent | 73d2a436f92e360126167d9ce09b3d9637204921 (diff) |
Findbugs.increment_volatile: Use AtomicInteger or add comment that operation is safe!
Diffstat (limited to 'src/jogl/classes/jogamp')
-rw-r--r-- | src/jogl/classes/jogamp/opengl/openal/av/ALAudioSink.java | 2 | ||||
-rw-r--r-- | src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/jogl/classes/jogamp/opengl/openal/av/ALAudioSink.java b/src/jogl/classes/jogamp/opengl/openal/av/ALAudioSink.java index ac55fcf98..330c4f044 100644 --- a/src/jogl/classes/jogamp/opengl/openal/av/ALAudioSink.java +++ b/src/jogl/classes/jogamp/opengl/openal/av/ALAudioSink.java @@ -737,7 +737,7 @@ public class ALAudioSink implements AudioSink { throw new RuntimeException(getThreadName()+": ALError "+toHexString(alErr)+" while queueing buffer "+toHexString(alBufferNames[0])+". "+this); } alBufferBytesQueued += byteCount; - enqueuedFrameCount++; + enqueuedFrameCount++; // safe: only written-to while locked! if(DEBUG_TRACE) { System.err.println(">> "+alFrame.alBuffer+" -> "+shortString()+" @ "+getThreadName()); diff --git a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java index f36681e3b..e5369e108 100644 --- a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java +++ b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java @@ -1050,7 +1050,7 @@ public abstract class GLMediaPlayerImpl implements GLMediaPlayer { } private final void newFrameAvailable(final TextureFrame frame, final long currentTimeMillis) { - decodedFrameCount++; + decodedFrameCount++; // safe: only written-to either from stream-worker or user thread if( 0 == frame.getDuration() ) { // patch frame duration if not set already frame.setDuration( (int) frame_duration ); } |