diff options
| author | Sven Göthel <[email protected]> | 2024-02-17 20:26:10 +0100 |
|---|---|---|
| committer | Sven Göthel <[email protected]> | 2024-02-17 20:26:10 +0100 |
| commit | 8bb2f6dec8ab731b07387b947715fa1959c680e4 (patch) | |
| tree | 673236ebd39cc69b05579522c118010571b205f4 /src/jogl/native/JVM_JNI8.c | |
| parent | 82288c112e910feae10ef3cfcded50e35395ed2b (diff) | |
Bug 1489: Lock-Free Double-Buffered 'renderedShapes' causes data-race between rendering & input-edt, use synchronized tripple-buffering
Tripple-buffering _almost_ produces zero data-race collisions,
however .. it still does rarely -> hence synchronize on the used ArrayList<>.
This adds a minimal chance for blocking the input-EDT,
but gives correct code & results.
Double-buffered 'renderedShapes' was introduced to resolve Bug 1489
in commit 5f9fb7159fa33bc979e5050d384b6939658049bd
This solution is tested by passing '-swapInterval 0' via CommandlineOptions for FontView01, UIMediaGrid01 ..,
i.e. rendering faster than picking and hence provoking the data-race condition.
Diffstat (limited to 'src/jogl/native/JVM_JNI8.c')
0 files changed, 0 insertions, 0 deletions