SharedQueue.st
author claus
Wed, 13 Oct 1993 01:18:58 +0100
changeset 3 c9936b5a86a1
parent 1 85d662a8509f
child 6 96ce41566060
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     1
"
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     2
 COPYRIGHT (c) 1993 by Claus Gittinger
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     3
              All Rights Reserved
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     4
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
1cf8d1747859 Initial revision
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    10
 hereby transferred.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    11
"
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    12
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    13
Object subclass:#SharedQueue
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    14
         instanceVariableNames:'contentsArray readPosition writePosition
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    15
                                tally
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    16
                                accessProtect dataAvailable spaceAvailable'
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    17
         classVariableNames:''
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    18
         poolDictionaries:''
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    19
         category:'Collections-Ordered'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    20
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    21
SharedQueue comment:'
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    22
SharedQueues provide a safe mechanism for processes to communicate.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    23
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    24
See samples in doc/coding.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    25
3
c9936b5a86a1 *** empty log message ***
claus
parents: 1
diff changeset
    26
$Header: /cvs/stx/stx/libbasic2/SharedQueue.st,v 1.3 1993-10-13 00:18:13 claus Exp $
0
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    27
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    28
'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    29
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    30
!SharedQueue class methodsFor:'instance creation'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    31
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    32
new
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    33
    ^ self new:10
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    34
! 
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    35
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    36
new:size
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    37
    ^ super new init:size
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    38
! !
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    39
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    40
!SharedQueue methodsFor:'initialization'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    41
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    42
init:size
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    43
    contentsArray := Array new:size.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    44
    readPosition := writePosition := 1.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    45
    tally := 0.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    46
    accessProtect := Semaphore forMutualExclusion.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    47
    dataAvailable := Semaphore new.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    48
    spaceAvailable := Semaphore new
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    49
! !
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    50
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    51
!SharedQueue methodsFor:'accessing'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    52
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    53
next
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    54
    "return the next value in the queue; if it its empty, wait 'til
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    55
     something is put into the receiver.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    56
     When the datum has been removed, signal space-availability to
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    57
     writers"
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    58
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    59
    |value ok|
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    60
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    61
    ok := false.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    62
    [ok] whileFalse:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    63
        [tally == 0] whileTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    64
            dataAvailable wait
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    65
        ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    66
        accessProtect critical:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    67
            "
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    68
             this check is needed, since another process may
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    69
             have read the value in the meantime ...
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    70
            "
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    71
            tally == 0 ifFalse:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    72
                value := contentsArray at:readPosition.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    73
                readPosition := readPosition + 1.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    74
                readPosition > contentsArray size ifTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    75
                    readPosition := 1
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    76
                ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    77
                tally := tally - 1.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    78
                tally == (contentsArray size - 1) ifTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    79
                    spaceAvailable signal
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    80
                ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    81
                ok := true
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    82
            ]
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    83
        ]
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    84
    ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    85
    ^ value
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    86
!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    87
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    88
nextPut:anObject
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    89
    "enter anObject into the queue; wait for available space, if
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    90
     the queue is full. After the put, signal availablity of a datum
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    91
     to readers."
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    92
1
claus
parents: 0
diff changeset
    93
    |ok|
0
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    94
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    95
    ok := false.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    96
    [ok] whileFalse:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    97
        [tally == contentsArray size] whileTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    98
            spaceAvailable wait
1cf8d1747859 Initial revision
claus
parents:
diff changeset
    99
        ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   100
        accessProtect critical:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   101
            tally == contentsArray size ifFalse:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   102
                contentsArray at:writePosition put:anObject.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   103
                writePosition := writePosition + 1.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   104
                writePosition > contentsArray size ifTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   105
                    writePosition := 1
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   106
                ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   107
                tally := tally + 1.
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   108
                tally == 1 ifTrue:[
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   109
                    dataAvailable signal
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   110
                ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   111
                ok := true
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   112
            ]
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   113
        ]
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   114
    ].
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   115
    ^ anObject
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   116
! !
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   117
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   118
!SharedQueue methodsFor:'queries'!
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   119
1
claus
parents: 0
diff changeset
   120
size
claus
parents: 0
diff changeset
   121
    "return the number of elements in the shared queue"
0
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   122
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   123
    ^ tally
1cf8d1747859 Initial revision
claus
parents:
diff changeset
   124
! !