[ggo-discussion] Forwarded: GGO Race condition
- From: Peter Strempel <zotan@xxxxxx>
- To: ggo-discussion@xxxxxxxxxxxxx
- Date: Mon, 2 Dec 2002 04:46:54 +0100
----- 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:
