RecursionLock.st
author claus
Thu, 10 Aug 1995 15:18:53 +0200
changeset 381 dcb27b0c7e42
parent 341 041f699ec3bb
child 383 8e3ec8164440
permissions -rw-r--r--
.
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
'From Smalltalk/X, Version:2.10.5 on 28-apr-1995 at 12:37:45 pm'!
claus
parents:
diff changeset
    15
claus
parents:
diff changeset
    16
Object subclass:#RecursionLock
claus
parents:
diff changeset
    17
	 instanceVariableNames:'process sema'
claus
parents:
diff changeset
    18
	 classVariableNames:''
claus
parents:
diff changeset
    19
	 poolDictionaries:''
claus
parents:
diff changeset
    20
	 category:'Kernel-Processes'
claus
parents:
diff changeset
    21
!
claus
parents:
diff changeset
    22
claus
parents:
diff changeset
    23
!RecursionLock class methodsFor:'documentation'!
claus
parents:
diff changeset
    24
claus
parents:
diff changeset
    25
documentation
claus
parents:
diff changeset
    26
"
claus
parents:
diff changeset
    27
    like a Semaphore for mutual exclusion, but avoids the deadlock
claus
parents:
diff changeset
    28
    if a critical region is reentered by the same process again.
341
claus
parents: 330
diff changeset
    29
    I.e. allows reentering the critical region if the current process 
claus
parents: 330
diff changeset
    30
    is the one which did the original locking.
330
claus
parents:
diff changeset
    31
claus
parents:
diff changeset
    32
    example:
claus
parents:
diff changeset
    33
341
claus
parents: 330
diff changeset
    34
	|lock|
330
claus
parents:
diff changeset
    35
341
claus
parents: 330
diff changeset
    36
	lock := RecursionLock new.
claus
parents: 330
diff changeset
    37
	lock critical:[
claus
parents: 330
diff changeset
    38
	    Transcript showCr:'in lock ...'.
claus
parents: 330
diff changeset
    39
	    lock critical:[
claus
parents: 330
diff changeset
    40
		Transcript showCr:'again ...'
claus
parents: 330
diff changeset
    41
	    ]
claus
parents: 330
diff changeset
    42
	]
330
claus
parents:
diff changeset
    43
"
claus
parents:
diff changeset
    44
claus
parents:
diff changeset
    45
!
claus
parents:
diff changeset
    46
claus
parents:
diff changeset
    47
copyright
claus
parents:
diff changeset
    48
"
claus
parents:
diff changeset
    49
 COPYRIGHT (c) 1995 by Claus Gittinger
341
claus
parents: 330
diff changeset
    50
	      All Rights Reserved
330
claus
parents:
diff changeset
    51
claus
parents:
diff changeset
    52
 This software is furnished under a license and may be used
claus
parents:
diff changeset
    53
 only in accordance with the terms of that license and with the
claus
parents:
diff changeset
    54
 inclusion of the above copyright notice.   This software may not
claus
parents:
diff changeset
    55
 be provided or otherwise made available to, or used by, any
claus
parents:
diff changeset
    56
 other person.  No title to or ownership of the software is
claus
parents:
diff changeset
    57
 hereby transferred.
claus
parents:
diff changeset
    58
"
claus
parents:
diff changeset
    59
claus
parents:
diff changeset
    60
!
claus
parents:
diff changeset
    61
claus
parents:
diff changeset
    62
version 
claus
parents:
diff changeset
    63
"
381
claus
parents: 341
diff changeset
    64
$Header: /cvs/stx/stx/libbasic/RecursionLock.st,v 1.3 1995-08-10 13:18:35 claus Exp $
claus
parents: 341
diff changeset
    65
$Revision: 1.3 $
330
claus
parents:
diff changeset
    66
"
claus
parents:
diff changeset
    67
! !
claus
parents:
diff changeset
    68
claus
parents:
diff changeset
    69
!RecursionLock class methodsFor:'instance creation'!
claus
parents:
diff changeset
    70
claus
parents:
diff changeset
    71
new
claus
parents:
diff changeset
    72
    ^ self basicNew initialize
claus
parents:
diff changeset
    73
claus
parents:
diff changeset
    74
! !
claus
parents:
diff changeset
    75
claus
parents:
diff changeset
    76
!RecursionLock methodsFor:'wait & signal'!
claus
parents:
diff changeset
    77
claus
parents:
diff changeset
    78
critical:aBlock
claus
parents:
diff changeset
    79
    "evaluate aBlock as a critical region, but do not block,
claus
parents:
diff changeset
    80
     if this lock is already held by the current process."
claus
parents:
diff changeset
    81
claus
parents:
diff changeset
    82
    |active|
claus
parents:
diff changeset
    83
claus
parents:
diff changeset
    84
    active := Processor activeProcess.
claus
parents:
diff changeset
    85
    process == active ifTrue:[
341
claus
parents: 330
diff changeset
    86
	aBlock value
330
claus
parents:
diff changeset
    87
    ] ifFalse:[
341
claus
parents: 330
diff changeset
    88
	[
claus
parents: 330
diff changeset
    89
	    sema critical:[
claus
parents: 330
diff changeset
    90
		process := active.
claus
parents: 330
diff changeset
    91
		aBlock value
claus
parents: 330
diff changeset
    92
	    ]
claus
parents: 330
diff changeset
    93
	] valueNowOrOnUnwindDo:[
claus
parents: 330
diff changeset
    94
	    process := nil
claus
parents: 330
diff changeset
    95
	]
330
claus
parents:
diff changeset
    96
    ].
claus
parents:
diff changeset
    97
! !
claus
parents:
diff changeset
    98
claus
parents:
diff changeset
    99
!RecursionLock methodsFor:'private initialization'!
claus
parents:
diff changeset
   100
claus
parents:
diff changeset
   101
initialize
claus
parents:
diff changeset
   102
    sema := Semaphore forMutualExclusion
claus
parents:
diff changeset
   103
! !