archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-27 06:45:07 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8310530: PipedOutputStream.flush() accesses sink racily

Browse source 
Reviewed-by: dfuchs, bpb, liach, rriggs
This commit is contained in:
Sergey Tsypanov 2023-07-24 16:24:40 +00:00 • committed by Brian Burkhalter
parent fac9f88c52
commit d8f2e9ae3b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/java.base/share/classes/java/io/PipedOutputStream.java
View file

@ -163,6 +163,7 @@ public class PipedOutputStream extends OutputStream {
*/ */
@Override @Override
public synchronized void flush() throws IOException { public synchronized void flush() throws IOException {
var sink = this.sink;
if (sink != null) { if (sink != null) {
synchronized (sink) { synchronized (sink) {
sink.notifyAll(); sink.notifyAll();