"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

"{ Package: 'stx:libjava' }"

TestCase subclass:#JavaMonitorsTests

	classVariableNames:''

	poolDictionaries:''

	category:'Languages-Java-Tests-Synchronization'

!

!JavaMonitorsTests class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

! !

!JavaMonitorsTests methodsFor:'mh exploratory tests'!

testAssertInAnotherThreadShouldFail

    | t |

    "i thought so"

    t := [

                self assert: false message: 'I just want it to fail'.

                self waitForAndResumeThisProcess

            ] newProcess.

    t resume.

    self stop.

    self validateResult.

    "Created: / 20-11-2011 / 19:09:52 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testIssSemaphoreSignalledAutomaticallyOnStop

    | t1  t2  mon |

    mon := JavaMonitor new.

    t1 := [

                mon enter.

                self assert: (mon isOwnedBy: t1) message: 'mon was not owned by t1 in t1'.

                t1 stop.

                mon exit

            ] newProcess.

    t2 := [

                [ t1 isStopped ] whileFalse: [ Delay waitForMilliseconds: 100 ].

                self assert: (mon isOwnedBy: t1)

                    message: 'mon was not owned by t1 after t1 isStopped'.

                t1 resume.

                [ t1 isDead ] whileFalse: [ Delay waitForMilliseconds: 100. ].

                self waitForAndResumeThisProcess.

            ] newProcess.

    t1 resume.

    t2 resume.

    self stop.

    self validateResult.

    "Created: / 20-11-2011 / 17:28:16 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testNotifyDoesNotMeanAcquireWithoutChecking

    "aparently it does"

    "| t1  t2  mon |

    mon := JavaMonitor new.

    t1 := [

                mon enter.

                t1 stop.

                self assert: (mon isOwnedBy: t1)

                    message: 'monitor was not owned by t1 after resume'.

                mon exit

            ] newProcess.

    t2 := [

                self waitForStoppingThread: t1.

                self assert: (mon isOwnedBy: t1)

                    message: 'monitor was not owned by t1 after waiting for it to stop'.

                mon enter.

                self assert: (mon isOwnedBy: t2)

                    message: 'monitor was not owned by t2 after enter'.

                mon exit.

            ] newProcess.

    t1 resume.

    t2 resume.

    self waitForWaitingThread: t2.

    mon notify.

    t1 resume.

    self waitForDyingThread: t2.

    self validateResult."

    "Created: / 20-11-2011 / 20:50:11 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !

!JavaMonitorsTests methodsFor:'multithreading testing support'!

assert: aBoolean message: message 

    assertionAccess critical: [

    result ifTrue: [

        result := aBoolean.

        reason := message.

    ].].

    "Created: / 20-11-2011 / 18:54:44 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

setUp

    result := true.

    reason := 'Everything went just fine'.

    thisProcess := Processor activeProcess.

    assertionAccess := Semaphore forMutualExclusion.

    "Created: / 20-11-2011 / 18:55:39 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

stop

    thisProcess stop.

    "Created: / 20-11-2011 / 19:07:12 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

validateResult  

    super assert: result message: reason.

    "Created: / 20-11-2011 / 18:55:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

waitForAndResumeThisProcess

    "Created: / 20-11-2011 / 19:17:53 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

waitForDyingThread: aThread 

[ aThread isDead ] whileFalse: [ Delay waitForMilliseconds: 100 ].

    "Created: / 20-11-2011 / 19:27:54 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

waitForStoppingThread: aThread

    [ aThread isStopped ] whileFalse: [ Delay waitForMilliseconds: 100 ].

    "Created: / 20-11-2011 / 19:17:02 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

waitForWaitingThread: aThread 

    [ aThread isWaiting ] whileFalse: [ Delay waitForMilliseconds: 100 ].

    "Created: / 20-11-2011 / 20:55:30 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !

!JavaMonitorsTests methodsFor:'tests'!

testBruteForceEnter

    | mon  threads  cleanupThread |

    mon := JavaMonitor new.

    threads := OrderedCollection new.

    20 timesRepeat: [

        | t |

        t := [

                    200 timesRepeat: [

                        mon enter.

                        self assert: (mon isOwnedBy: t)

                            message: 'monitor was not owned by t after enter'.

                        Delay waitForMilliseconds: 2.

                        mon exit.

                        self assert: (mon isOwnedBy: t) not

                            message: 'monitor was still owned by t after exit'.

                    ]

                ] newProcess.

        threads add: t

    ].

    cleanupThread := [

                threads do: [:each | self waitForDyingThread: each ].

                self waitForAndResumeThisProcess.

            ] newProcess.

    threads do: [:each | each resume ].

    cleanupThread resume.

    self stop.

    self validateResult.

    "Created: / 20-11-2011 / 19:37:28 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testOneThread

    | mon  thread |

    mon := JavaMonitor new.

    thread := [

                self assert: mon isAcquired not

                    message: 'monitor was acquired at the beginning'.

                mon enter.

                self assert: mon isAcquired

                    message: 'monitor was not acquired after monitor enter'.

                self assert: (mon isOwnedBy: Processor activeProcess)

                    message: 'somebody else owned monitor after monitor enter'.

                mon release.

                self assert: mon isAcquired not

                    message: 'monitor was still acquired after monitor release'.

                self assert: (mon processesEntered includes: Processor activeProcess)

                    message: 'thread was not in the processesEntered after release'.

                mon acquire.

                self assert: mon isAcquired

                    message: 'monitor was not acquired after monitor acquire'.

                mon exit.

                self assert: mon isAcquired not

                    message: 'monitor stayed acquired after monitor exit'.

                self assert: (mon processesEntered includes: Processor activeProcess) not

                    message: 'process was still in the processesEntered after monitorExit'.

                self waitForAndResumeThisProcess.

            ] newProcess.

    thread resume.

    self stop.

    self validateResult.

    "Created: / 20-11-2011 / 13:20:59 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testOneThreadMultipleTimes

    | mon  t  count |

    mon := JavaMonitor new.

    count := 5.

    t := [

                count timesRepeat: [ mon enter ].

                count timesRepeat: [

                    mon exit

                ].

                self waitForAndResumeThisProcess

            ] newProcess.

    self stop.

    self validateResult.

    "Created: / 22-11-2011 / 11:02:42 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testTwoThreadMultipleTimes

    | mon  t1  t2 |

    mon := JavaMonitor new.

    t1 := [

                mon enter.

                mon enter.

                mon exit.

                t1 stop.

                mon exit.

                self waitForDyingThread: t2.

                self waitForAndResumeThisProcess

            ] newProcess.

    t2 := [

                self waitForStoppingThread: t1.

                t1 resume.

            ] newProcess.

    t1 resume.

    t2 resume.

    self stop.

    self assert: mon processesEntered isEmpty.

    self validateResult.

    "Created: / 22-11-2011 / 11:12:15 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testTwoThreads

    "this took me a while :)"

    | mon  t1  t2 |

    mon := JavaMonitor new.

    t1 := [

                t1 stop.

                mon enter.

                t2 resume.

                t1 stop.

                self assert: (mon processesEntered includes: t2)

                    message: 't2 was not in processesEntered after entering monitor'.

                mon release.

                t1 stop.

                mon acquire.

                self assert: (mon isOwnedBy: t1)

                    message: 'monitor was not owned by t1 after t2 exitted it'.

                mon exit.

            ] newProcess.

    t2 := [

                self waitForStoppingThread: t1.

                t1 resume.

                t2 stop.

                self assert: mon isAcquired

                    message: 'monitor was not acquired after t1 entered it'.

                self assert: (mon isOwnedBy: t1)

                    message: 'monitor was not owned by t1 after it entered it'.

                t1 resume.

                mon enter.

                self assert: (mon isOwnedBy: t2)

                    message: 'monitor was not owned by t2 after waiting on enter'.

                mon exit.

                t1 resume.

                self waitForDyingThread: t1.

                self waitForAndResumeThisProcess

            ] newProcess.

    t1 resume.

    t2 resume.

    self stop.

    self validateResult.

    "Created: / 20-11-2011 / 14:51:22 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !