RecursionLock.st
author Claus Gittinger <cg@exept.de>
Thu, 14 Dec 1995 16:56:13 +0100
changeset 750 f4ed622893ce
parent 699 12f456343eea
child 776 f3c0c579c0d2
permissions -rw-r--r--
added schedulerInterrupt - for soon to come semaSignal primitive function
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
330
claus
parents:
diff changeset
     1
"
claus
parents:
diff changeset
     2
 COPYRIGHT (c) 1995 by Claus Gittinger
341
claus
parents: 330
diff changeset
     3
	      All Rights Reserved
330
claus
parents:
diff changeset
     4
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
claus
parents:
diff changeset
    10
 hereby transferred.
claus
parents:
diff changeset
    11
"
claus
parents:
diff changeset
    12
claus
parents:
diff changeset
    13
claus
parents:
diff changeset
    14
Object subclass:#RecursionLock
claus
parents:
diff changeset
    15
	 instanceVariableNames:'process sema'
claus
parents:
diff changeset
    16
	 classVariableNames:''
claus
parents:
diff changeset
    17
	 poolDictionaries:''
claus
parents:
diff changeset
    18
	 category:'Kernel-Processes'
claus
parents:
diff changeset
    19
!
claus
parents:
diff changeset
    20
claus
parents:
diff changeset
    21
!RecursionLock class methodsFor:'documentation'!
claus
parents:
diff changeset
    22
699
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    23
copyright
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    24
"
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    25
 COPYRIGHT (c) 1995 by Claus Gittinger
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    26
	      All Rights Reserved
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    27
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    28
 This software is furnished under a license and may be used
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    29
 only in accordance with the terms of that license and with the
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    30
 inclusion of the above copyright notice.   This software may not
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    31
 be provided or otherwise made available to, or used by, any
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    32
 other person.  No title to or ownership of the software is
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    33
 hereby transferred.
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    34
"
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    35
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    36
!
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    37
330
claus
parents:
diff changeset
    38
documentation
claus
parents:
diff changeset
    39
"
claus
parents:
diff changeset
    40
    like a Semaphore for mutual exclusion, but avoids the deadlock
claus
parents:
diff changeset
    41
    if a critical region is reentered by the same process again.
341
claus
parents: 330
diff changeset
    42
    I.e. allows reentering the critical region if the current process 
claus
parents: 330
diff changeset
    43
    is the one which did the original locking.
330
claus
parents:
diff changeset
    44
claus
parents:
diff changeset
    45
    example:
claus
parents:
diff changeset
    46
341
claus
parents: 330
diff changeset
    47
	|lock|
330
claus
parents:
diff changeset
    48
341
claus
parents: 330
diff changeset
    49
	lock := RecursionLock new.
claus
parents: 330
diff changeset
    50
	lock critical:[
claus
parents: 330
diff changeset
    51
	    Transcript showCr:'in lock ...'.
claus
parents: 330
diff changeset
    52
	    lock critical:[
claus
parents: 330
diff changeset
    53
		Transcript showCr:'again ...'
claus
parents: 330
diff changeset
    54
	    ]
claus
parents: 330
diff changeset
    55
	]
330
claus
parents:
diff changeset
    56
"
claus
parents:
diff changeset
    57
claus
parents:
diff changeset
    58
! !
claus
parents:
diff changeset
    59
claus
parents:
diff changeset
    60
!RecursionLock class methodsFor:'instance creation'!
claus
parents:
diff changeset
    61
claus
parents:
diff changeset
    62
new
claus
parents:
diff changeset
    63
    ^ self basicNew initialize
claus
parents:
diff changeset
    64
claus
parents:
diff changeset
    65
! !
claus
parents:
diff changeset
    66
699
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    67
!RecursionLock methodsFor:'private initialization'!
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    68
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    69
initialize
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    70
    sema := Semaphore forMutualExclusion
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    71
! !
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    72
330
claus
parents:
diff changeset
    73
!RecursionLock methodsFor:'wait & signal'!
claus
parents:
diff changeset
    74
claus
parents:
diff changeset
    75
critical:aBlock
claus
parents:
diff changeset
    76
    "evaluate aBlock as a critical region, but do not block,
claus
parents:
diff changeset
    77
     if this lock is already held by the current process."
claus
parents:
diff changeset
    78
claus
parents:
diff changeset
    79
    |active|
claus
parents:
diff changeset
    80
claus
parents:
diff changeset
    81
    active := Processor activeProcess.
claus
parents:
diff changeset
    82
    process == active ifTrue:[
341
claus
parents: 330
diff changeset
    83
	aBlock value
330
claus
parents:
diff changeset
    84
    ] ifFalse:[
341
claus
parents: 330
diff changeset
    85
	[
claus
parents: 330
diff changeset
    86
	    sema critical:[
claus
parents: 330
diff changeset
    87
		process := active.
claus
parents: 330
diff changeset
    88
		aBlock value
claus
parents: 330
diff changeset
    89
	    ]
claus
parents: 330
diff changeset
    90
	] valueNowOrOnUnwindDo:[
claus
parents: 330
diff changeset
    91
	    process := nil
claus
parents: 330
diff changeset
    92
	]
330
claus
parents:
diff changeset
    93
    ].
claus
parents:
diff changeset
    94
! !
claus
parents:
diff changeset
    95
699
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    96
!RecursionLock class methodsFor:'documentation'!
330
claus
parents:
diff changeset
    97
699
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    98
version 
12f456343eea checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    99
    ^ '$Header: /cvs/stx/stx/libbasic/RecursionLock.st,v 1.6 1995-12-07 21:30:23 cg Exp $'
330
claus
parents:
diff changeset
   100
! !