hg/stx-libjava: src/JavaMonitorsTests.st@5e1de8c6b43e (annotated)

1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	1	"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	2	COPYRIGHT (c) 1996-2011 by Claus Gittinger
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	3	COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	4	SWING Research Group, Czech Technical University in Prague
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	5
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	6	Parts of the code written by Claus Gittinger are under following
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	7	license:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	8
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	9	This software is furnished under a license and may be used
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	10	only in accordance with the terms of that license and with the
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	11	inclusion of the above copyright notice. This software may not
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	12	be provided or otherwise made available to, or used by, any
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	13	other person. No title to or ownership of the software is
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	14	hereby transferred.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	15
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	16	Parts of the code written at SWING Reasearch Group [1] are MIT licensed:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	17
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	18	Permission is hereby granted, free of charge, to any person
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	19	obtaining a copy of this software and associated documentation
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	20	files (the 'Software'), to deal in the Software without
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	21	restriction, including without limitation the rights to use,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	22	copy, modify, merge, publish, distribute, sublicense, and/or sell
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	23	copies of the Software, and to permit persons to whom the
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	24	Software is furnished to do so, subject to the following
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	25	conditions:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	26
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	27	The above copyright notice and this permission notice shall be
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	28	included in all copies or substantial portions of the Software.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	29
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	30	THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	31	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	32	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	33	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	34	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	35	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	36	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	37	OTHER DEALINGS IN THE SOFTWARE.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	38
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	39	[1] Code written at SWING Research Group contain a signature
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	40	of one of the above copright owners.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	41	"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	42	"{ Package: 'stx:libjava' }"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	43
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	44	TestCase subclass:#JavaMonitorsTests
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	45	instanceVariableNames:'result reason thisProcess assertionAccess'
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	46	classVariableNames:''
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	47	poolDictionaries:''
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	48	category:'Languages-Java-Tests-Synchronization'
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	49	!
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	50
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	51	!JavaMonitorsTests class methodsFor:'documentation'!
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	52
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	53	copyright
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	54	"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	55	COPYRIGHT (c) 1996-2011 by Claus Gittinger
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	56	COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	57	SWING Research Group, Czech Technical University in Prague
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	58
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	59	Parts of the code written by Claus Gittinger are under following
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	60	license:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	61
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	62	This software is furnished under a license and may be used
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	63	only in accordance with the terms of that license and with the
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	64	inclusion of the above copyright notice. This software may not
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	65	be provided or otherwise made available to, or used by, any
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	66	other person. No title to or ownership of the software is
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	67	hereby transferred.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	68
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	69	Parts of the code written at SWING Reasearch Group [1] are MIT licensed:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	70
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	71	Permission is hereby granted, free of charge, to any person
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	72	obtaining a copy of this software and associated documentation
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	73	files (the 'Software'), to deal in the Software without
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	74	restriction, including without limitation the rights to use,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	75	copy, modify, merge, publish, distribute, sublicense, and/or sell
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	76	copies of the Software, and to permit persons to whom the
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	77	Software is furnished to do so, subject to the following
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	78	conditions:
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	79
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	80	The above copyright notice and this permission notice shall be
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	81	included in all copies or substantial portions of the Software.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	82
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	83	THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	84	EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	85	OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	86	NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	87	HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	88	WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	89	FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	90	OTHER DEALINGS IN THE SOFTWARE.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	91
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	92	[1] Code written at SWING Research Group contain a signature
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	93	of one of the above copright owners.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	94
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	95	"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	96	! !
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	97
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	98	!JavaMonitorsTests methodsFor:'mh exploratory tests'!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	99
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	100	testAssertInAnotherThreadShouldFail
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	101	\| t \|
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	102	"i thought so"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	103	t := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	104	self assert: false message: 'I just want it to fail'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	105	self waitForAndResumeThisProcess
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	106	] newProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	107	t resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	108	self stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	109	self validateResult.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	110
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	111	"Created: / 20-11-2011 / 19:09:52 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	112	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	113
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	114	testIssSemaphoreSignalledAutomaticallyOnStop
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	115	\| t1 t2 mon \|
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	116	mon := JavaMonitor new.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	117	t1 := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	118	mon enter.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	119	self assert: (mon isOwnedBy: t1) message: 'mon was not owned by t1 in t1'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	120	t1 stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	121	mon exit
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	122	] newProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	123	t2 := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	124	[ t1 isStopped ] whileFalse: [ Delay waitForMilliseconds: 100 ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	125	self assert: (mon isOwnedBy: t1)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	126	message: 'mon was not owned by t1 after t1 isStopped'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	127	t1 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	128	[ t1 isDead ] whileFalse: [ Delay waitForMilliseconds: 100. ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	129	self waitForAndResumeThisProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	130	] newProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	131	t1 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	132	t2 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	133	self stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	134	self validateResult.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	135
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	136	"Created: / 20-11-2011 / 17:28:16 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	137	! !
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	138
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	139	!JavaMonitorsTests methodsFor:'multithreading testing support'!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	140
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	141	assert: aBoolean message: message
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	142	assertionAccess critical: [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	143	result ifTrue: [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	144	result := aBoolean.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	145	reason := message.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	146	].].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	147
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	148	"Created: / 20-11-2011 / 18:54:44 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	149	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	150
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	151	setUp
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	152	result := true.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	153	reason := 'Everything went just fine'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	154	thisProcess := Processor activeProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	155	assertionAccess := Semaphore forMutualExclusion.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	156
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	157	"Created: / 20-11-2011 / 18:55:39 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	158	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	159
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	160	stop
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	161	thisProcess stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	162
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	163	"Created: / 20-11-2011 / 19:07:12 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	164	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	165
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	166	validateResult
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	167	super assert: result message: reason.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	168
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	169	"Created: / 20-11-2011 / 18:55:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	170	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	171
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	172	waitForAndResumeThisProcess
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	173	self waitForStoppingThread: thisProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	174	thisProcess resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	175
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	176	"Created: / 20-11-2011 / 19:17:53 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	177	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	178
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	179	waitForDyingThread: aThread
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	180
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	181	[ aThread isDead ] whileFalse: [ Delay waitForMilliseconds: 100 ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	182
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	183	"Created: / 20-11-2011 / 19:27:54 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	184	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	185
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	186	waitForStoppingThread: aThread
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	187	[ aThread isStopped ] whileFalse: [ Delay waitForMilliseconds: 100 ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	188
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	189	"Created: / 20-11-2011 / 19:17:02 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	190	! !
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	191
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	192	!JavaMonitorsTests methodsFor:'tests'!
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	193
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	194	testBruteForceEnter
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	195	\| mon threads cleanupThread \|
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	196	mon := JavaMonitor new.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	197	threads := OrderedCollection new.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	198	20 timesRepeat: [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	199	\| t \|
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	200	t := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	201	200 timesRepeat: [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	202	mon enter.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	203	self assert: (mon isOwnedBy: t)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	204	message: 'monitor was not owned by t after enter'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	205	Delay waitForMilliseconds: 2.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	206	mon exit.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	207	self assert: (mon isOwnedBy: t) not
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	208	message: 'monitor was still owned by t after exit'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	209	]
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	210	] newProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	211	threads add: t
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	212	].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	213	cleanupThread := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	214	threads do: [:each \| self waitForDyingThread: each ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	215	self waitForAndResumeThisProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	216	] newProcess.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	217	threads do: [:each \| each resume ].
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	218	cleanupThread resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	219	self stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	220	self validateResult.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	221
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	222	"Created: / 20-11-2011 / 19:37:28 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	223	!
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	224
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	225	testOneThread
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	226	\| mon thread \|
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	227	mon := JavaMonitor new.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	228	thread := [
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	229	self assert: mon isAcquired not
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	230	message: 'monitor was acquired at the beginning'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	231	mon enter.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	232	self assert: mon isAcquired
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	233	message: 'monitor was not acquired after monitor enter'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	234	self assert: (mon isOwnedBy: Processor activeProcess)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	235	message: 'somebody else owned monitor after monitor enter'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	236	mon release.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	237	self assert: mon isAcquired not
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	238	message: 'monitor was still acquired after monitor release'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	239	self assert: (mon processesEntered includes: Processor activeProcess)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	240	message: 'thread was not in the processesEntered after release'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	241	mon acquire.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	242	self assert: mon isAcquired
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	243	message: 'monitor was not acquired after monitor acquire'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	244	mon exit.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	245	self assert: mon isAcquired not
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	246	message: 'monitor stayed acquired after monitor exit'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	247	self assert: (mon processesEntered includes: Processor activeProcess) not
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	248	message: 'process was still in the processesEntered after monitorExit'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	249	self waitForAndResumeThisProcess.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	250	] newProcess.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	251	thread resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	252	self stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	253	self validateResult.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	254
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	255	"Created: / 20-11-2011 / 13:20:59 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	256	!
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	257
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	258	testTwoThreads
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	259	"this took me a while :)"
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	260
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	261	\| mon t1 t2 \|
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	262	mon := JavaMonitor new.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	263	t1 := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	264	t1 stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	265	mon enter.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	266	t2 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	267	t1 stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	268	self assert: (mon processesEntered includes: t2)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	269	message: 't2 was not in processesEntered after entering monitor'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	270	mon release.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	271	t1 stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	272	mon acquire.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	273	self assert: (mon isOwnedBy: t1)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	274	message: 'monitor was not owned by t1 after t2 exitted it'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	275	mon exit.
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	276	] newProcess.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	277	t2 := [
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	278	self waitForStoppingThread: t1.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	279	t1 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	280	t2 stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	281	self assert: mon isAcquired
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	282	message: 'monitor was not acquired after t1 entered it'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	283	self assert: (mon isOwnedBy: t1)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	284	message: 'monitor was not owned by t1 after it entered it'.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	285	t1 resume.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	286	mon enter.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	287	self assert: (mon isOwnedBy: t2)
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	288	message: 'monitor was not owned by t2 after waiting on enter'.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	289	mon exit.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	290	t1 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	291	self waitForDyingThread: t1.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	292	self waitForAndResumeThisProcess
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	293	] newProcess.
1143 5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	294	t1 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	295	t2 resume.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	296	self stop.
5e1de8c6b43e JavaMonitor more or less finished.. integration coming soon hlopkmar parents: 1142 diff changeset	297	self validateResult.
1142 1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	298
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	299	"Created: / 20-11-2011 / 14:51:22 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	300	! !
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	301
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	302	!JavaMonitorsTests class methodsFor:'documentation'!
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	303
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	304	version_SVN
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	305	^ '$Id$'
1a1ce9fd0a16 java monitors (not plugged in yet) hlopkmar parents: diff changeset	306	! !

author	hlopkmar
	Sun, 20 Nov 2011 19:40:45 +0000
branch	jk_new_structure
changeset 1143	5e1de8c6b43e
parent 1142	1a1ce9fd0a16
child 1144	c1c59b13340e
permissions	-rw-r--r--