[ggo-discussion] Forwarded: GGO Race condition

----- Forwarded message -----

Hello

There is an easily reproducible race condition in ggo (at least I find it easy 
to reproduce). 

(1) log into a go server ( igs.joyjoy.net 7777)  
(2) bring up the games window
(3) sort by the number of stones in play
(4) click rapidly on the "observe" button for the 3-4 games with the most 
stones in play

On my machine (details later) this reliable locks up ggo (none of the windows 
will re-draw and clicking on the OS close button on the window has no effect).

Details:

java version "1.3.0beta"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0beta-b07)
Java HotSpot(TM) Client VM (build 1.3.0beta-b04, mixed mode)

Linux styris 2.4.12 #7 Tue Oct 30 13:52:17 NZDT 2001 i686 unknown

========================== .ggo.log ==========================
Using locale: en_US
Socket to igs.joyjoy.net 7777 created using encoding ISO8859_1.
SENDING 'thunk'
SENDING '<password>'
SENDING 'toggle client true'
SENDING 'toggle quiet false'
SENDING 'id gGo 0.2'
SENDING 'games'
SENDING 'who'
Dec 1, 2002 11:56:34 AM java.util.prefs.FileSystemPreferences 
checkLockFile0ErrorCode
WARNING: Could not lock User prefs. Unix error code 37.
Dec 1, 2002 11:56:34 AM java.util.prefs.FileSystemPreferences syncWorld
WARNING: Couldn't flush user prefs: java.util.prefs.BackingStoreException: 
Couldn't get file lock.
SENDING 'status 128'
SENDING 'moves 128'
SENDING 'observe 128'
Board.doMoveIGS(): Waiting on monitor
Dec 1, 2002 11:57:04 AM java.util.prefs.FileSystemPreferences 
checkLockFile0ErrorCode
WARNING: Could not lock User prefs. Unix error code 37.
Dec 1, 2002 11:57:04 AM java.util.prefs.FileSystemPreferences syncWorld
WARNING: Couldn't flush user prefs: java.util.prefs.BackingStoreException: 
Couldn't get file lock.
Dec 1, 2002 11:57:34 AM java.util.prefs.FileSystemPreferences 
checkLockFile0ErrorCode
WARNING: Could not lock User prefs. Unix error code 37.
Dec 1, 2002 11:57:34 AM java.util.prefs.FileSystemPreferences syncWorld
WARNING: Couldn't flush user prefs: java.util.prefs.BackingStoreException: 
Couldn't get file lock.
========================== .ggo.log ==========================

----- End forwarded message -----

Other related posts: