EventSemaphore.st
author Claus Gittinger <cg@exept.de>
Tue, 09 Jul 2019 20:55:17 +0200
changeset 24417 03b083548da2
parent 23500 0d771b1d1860
permissions -rw-r--r--
#REFACTORING by exept class: Smalltalk class changed: #recursiveInstallAutoloadedClassesFrom:rememberIn:maxLevels:noAutoload:packageTop:showSplashInLevels: Transcript showCR:(... bindWith:...) -> Transcript showCR:... with:...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22555
59aed99558be #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 22174
diff changeset
     1
"{ Encoding: utf8 }"
59aed99558be #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 22174
diff changeset
     2
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     3
"
21696
34833094ccca #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 21491
diff changeset
     4
 COPYRIGHT (c) 2016 by eXept Software AG
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     5
              All Rights Reserved
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     6
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     7
 This software is furnished under a license and may be used
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     8
 only in accordance with the terms of that license and with the
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
     9
 inclusion of the above copyright notice.  This software may not
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    10
 be provided or otherwise made available to, or used by, any
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    11
 other person.  No title to or ownership of the software is
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    12
 hereby transferred.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    13
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    14
"{ Package: 'stx:libbasic' }"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    15
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    16
"{ NameSpace: Smalltalk }"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    17
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    18
Semaphore subclass:#EventSemaphore
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    19
	instanceVariableNames:''
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    20
	classVariableNames:''
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    21
	poolDictionaries:''
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    22
	category:'Kernel-Processes'
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    23
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    24
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    25
!EventSemaphore class methodsFor:'documentation'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    26
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    27
copyright
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    28
"
21696
34833094ccca #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 21491
diff changeset
    29
 COPYRIGHT (c) 2016 by eXept Software AG
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    30
              All Rights Reserved
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    31
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    32
 This software is furnished under a license and may be used
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    33
 only in accordance with the terms of that license and with the
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    34
 inclusion of the above copyright notice.  This software may not
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    35
 be provided or otherwise made available to, or used by, any
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    36
 other person.  No title to or ownership of the software is
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    37
 hereby transferred.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    38
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    39
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    40
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    41
documentation
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    42
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    43
    Processes wait for an EventSemaphores until it is signaled.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    44
    The EventSemaphore is not consumed and remains signaled until manually reset.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    45
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    46
    [author:]
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    47
        Stefan Vogel
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    48
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    49
    [see also:]
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    50
        Semaphore
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    51
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    52
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    53
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    54
example
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    55
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    56
    Create an event and signal it.
22555
59aed99558be #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 22174
diff changeset
    57
    After being signaled, the waiter on the event returns immediately.
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    58
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    59
                                [exBegin]
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    60
    |event|
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    61
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    62
    event := EventSemaphore new.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    63
    [ event wait. Transcript showCR:'Process 1 continued' ] forkAt:9.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    64
    [ event wait. Transcript showCR:'Process 2 continued' ] forkAt:9.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    65
    event signal.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    66
    event wait.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    67
    event wait.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    68
                                [exEnd]
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    69
"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    70
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    71
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    72
!EventSemaphore class methodsFor:'signaling'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    73
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    74
new:n
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    75
    "count must be 0 or 1"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    76
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    77
    (n == 0 or:[n == 1]) ifTrue:[
21491
6cce942ef07c #BUGFIX by stefan
Stefan Vogel <sv@exept.de>
parents: 21189
diff changeset
    78
        ^ super new:n.
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    79
    ].
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    80
    ^ self error:'invalid count'.
21491
6cce942ef07c #BUGFIX by stefan
Stefan Vogel <sv@exept.de>
parents: 21189
diff changeset
    81
6cce942ef07c #BUGFIX by stefan
Stefan Vogel <sv@exept.de>
parents: 21189
diff changeset
    82
    "Modified: / 20-02-2017 / 10:27:06 / stefan"
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    83
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    84
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    85
!EventSemaphore methodsFor:'blocked'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    86
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    87
signalForAll
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    88
    "blocked, since it would only set the event if there was anyone waiting"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    89
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    90
    ^ self shouldNotImplement.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    91
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    92
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    93
signalIf
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    94
    "blocked, since it would only set the event if there was anyone waiting"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    95
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    96
    ^ self shouldNotImplement.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    97
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    98
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    99
!EventSemaphore methodsFor:'misc'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   100
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   101
reset
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   102
    "reset the event to the non-signaled state"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   103
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   104
    count := 0
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   105
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   106
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   107
!EventSemaphore methodsFor:'semaphoreSet interface'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   108
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   109
checkAndAddWaitingProcess:process
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   110
    "interface for SemaphoreSet.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   111
     If the semaphore is available, return true.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   112
     Otherwise register our process to be wakened up once the semaphore is available
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   113
     and return false.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   114
     ATTENTION: this must be invoked with OperatingSystem-interrupts-blocked.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   115
    "
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   116
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   117
    count > 0 ifTrue:[
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   118
        ^ true
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   119
    ].
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   120
    (waitingProcesses notNil and:[(waitingProcesses includesIdentical:process)]) ifFalse:[
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   121
        self addWaitingProcess:process.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   122
    ].
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   123
    ^ false
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   124
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   125
    "Modified: / 14-12-1995 / 10:32:17 / stefan"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   126
    "Modified: / 11-08-2011 / 14:36:20 / cg"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   127
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   128
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   129
!EventSemaphore methodsFor:'signaling'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   130
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   131
signal
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   132
    "redefined to limit count to 1"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   133
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   134
    self signalOnce.
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   135
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   136
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   137
!EventSemaphore methodsFor:'waiting'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   138
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   139
wait
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   140
    "once signaled, do not decrement the count"
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   141
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   142
    self waitUncounted
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   143
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   144
22081
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   145
waitWithTimeoutMs:milliSeconds state:newState
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   146
    "wait for the semaphore, but abort the wait after some time.
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   147
     return the receiver if the semaphore triggered normal, nil if we return
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   148
     due to a timeout.
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   149
     With zero timeout, this can be used to poll a semaphore (returning
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   150
     the receiver if the semaphore is available, nil if not).
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   151
     However, polling is not the intended use of semaphores, though.
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   152
     If milliSeconds is nil, wait without timeout.
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   153
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   154
     Redefined: once signaled, do not decrement the count"
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   155
23037
7695d039c9ab #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de>
parents: 22555
diff changeset
   156
    <resource: #skipInDebuggersWalkBack>
7695d039c9ab #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de>
parents: 22555
diff changeset
   157
23500
0d771b1d1860 #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 23037
diff changeset
   158
    ^ self waitUncountedWithTimeoutMs:milliSeconds state:newState.
22081
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   159
c18c3f53ced1 #REFACTORING by cg
Claus Gittinger <cg@exept.de>
parents: 21696
diff changeset
   160
    "Modified: / 24-07-2017 / 21:52:53 / cg"
23037
7695d039c9ab #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de>
parents: 22555
diff changeset
   161
    "Modified: / 30-05-2018 / 13:57:25 / Claus Gittinger"
23500
0d771b1d1860 #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 23037
diff changeset
   162
    "Modified: / 01-11-2018 / 15:40:49 / Stefan Vogel"
21189
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   163
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   164
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   165
!EventSemaphore class methodsFor:'documentation'!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   166
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   167
version
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   168
    ^ '$Header$'
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   169
!
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   170
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   171
version_CVS
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   172
    ^ '$Header$'
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   173
! !
e83159b59405 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   174