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