WeakIdentitySet.st
author Claus Gittinger <cg@exept.de>
Thu, 23 Nov 1995 02:26:15 +0100
changeset 609 12be97f6d5a7
parent 530 07d0bce293c9
child 636 295267cdb5d5
permissions -rw-r--r--
checkin from browser
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
94
649321db4b9a Initial revision
claus
parents:
diff changeset
     1
"
649321db4b9a Initial revision
claus
parents:
diff changeset
     2
 COPYRIGHT (c) 1994 by Claus Gittinger
187
a5dc8e2fa93f size 0 bug
claus
parents: 159
diff changeset
     3
	      All Rights Reserved
94
649321db4b9a Initial revision
claus
parents:
diff changeset
     4
649321db4b9a Initial revision
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
649321db4b9a Initial revision
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
649321db4b9a Initial revision
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
649321db4b9a Initial revision
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
649321db4b9a Initial revision
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
649321db4b9a Initial revision
claus
parents:
diff changeset
    10
 hereby transferred.
649321db4b9a Initial revision
claus
parents:
diff changeset
    11
"
649321db4b9a Initial revision
claus
parents:
diff changeset
    12
649321db4b9a Initial revision
claus
parents:
diff changeset
    13
IdentitySet subclass:#WeakIdentitySet
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    14
	 instanceVariableNames:''
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    15
	 classVariableNames:''
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    16
	 poolDictionaries:''
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    17
	 category:'Collections-Unordered'
94
649321db4b9a Initial revision
claus
parents:
diff changeset
    18
!
649321db4b9a Initial revision
claus
parents:
diff changeset
    19
649321db4b9a Initial revision
claus
parents:
diff changeset
    20
!WeakIdentitySet class methodsFor:'documentation'!
649321db4b9a Initial revision
claus
parents:
diff changeset
    21
649321db4b9a Initial revision
claus
parents:
diff changeset
    22
copyright
649321db4b9a Initial revision
claus
parents:
diff changeset
    23
"
649321db4b9a Initial revision
claus
parents:
diff changeset
    24
 COPYRIGHT (c) 1994 by Claus Gittinger
187
a5dc8e2fa93f size 0 bug
claus
parents: 159
diff changeset
    25
	      All Rights Reserved
94
649321db4b9a Initial revision
claus
parents:
diff changeset
    26
649321db4b9a Initial revision
claus
parents:
diff changeset
    27
 This software is furnished under a license and may be used
649321db4b9a Initial revision
claus
parents:
diff changeset
    28
 only in accordance with the terms of that license and with the
649321db4b9a Initial revision
claus
parents:
diff changeset
    29
 inclusion of the above copyright notice.   This software may not
649321db4b9a Initial revision
claus
parents:
diff changeset
    30
 be provided or otherwise made available to, or used by, any
649321db4b9a Initial revision
claus
parents:
diff changeset
    31
 other person.  No title to or ownership of the software is
649321db4b9a Initial revision
claus
parents:
diff changeset
    32
 hereby transferred.
649321db4b9a Initial revision
claus
parents:
diff changeset
    33
"
649321db4b9a Initial revision
claus
parents:
diff changeset
    34
!
649321db4b9a Initial revision
claus
parents:
diff changeset
    35
649321db4b9a Initial revision
claus
parents:
diff changeset
    36
documentation
649321db4b9a Initial revision
claus
parents:
diff changeset
    37
"
649321db4b9a Initial revision
claus
parents:
diff changeset
    38
    this is a special class to support dependencies which do not
649321db4b9a Initial revision
claus
parents:
diff changeset
    39
    prevent objects from dying.
649321db4b9a Initial revision
claus
parents:
diff changeset
    40
"
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    41
!
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    42
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    43
version
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    44
    ^ '$Header: /cvs/stx/stx/libbasic/WeakIdentitySet.st,v 1.11 1995-11-23 01:26:15 cg Exp $'
94
649321db4b9a Initial revision
claus
parents:
diff changeset
    45
! !
649321db4b9a Initial revision
claus
parents:
diff changeset
    46
111
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    47
!WeakIdentitySet class methodsFor:'instance creation'!
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    48
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    49
new
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    50
    "return a new empty Set"
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    51
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    52
    ^ self new:1
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    53
! !
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
    54
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    55
!WeakIdentitySet class methodsFor:'queries'!
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    56
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    57
goodSizeFrom:arg
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    58
    "return a good array size for the given argument.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    59
     Since WeakIdentitySets are mostly used for dependency management, we typically
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    60
     have only one element in the set. Therefore use exact size for small sets
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    61
     (instead of rounding up to the prime 11)."
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    62
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    63
    arg <= 10 ifTrue:[
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    64
	arg < 1 ifTrue:[^ 1].
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    65
	^ arg.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    66
    ].
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    67
    ^ super goodSizeFrom:arg
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    68
! !
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
    69
359
claus
parents: 252
diff changeset
    70
!WeakIdentitySet methodsFor:'adding & removing'!
claus
parents: 252
diff changeset
    71
claus
parents: 252
diff changeset
    72
add:newElement 
claus
parents: 252
diff changeset
    73
    "redefined to avoid synchronization promlems, in case
claus
parents: 252
diff changeset
    74
     of interrupts 
claus
parents: 252
diff changeset
    75
     (otherwise, there could be some other operation on the receiver
claus
parents: 252
diff changeset
    76
       done by another process, which garbles my contents)"
claus
parents: 252
diff changeset
    77
claus
parents: 252
diff changeset
    78
    |wasBlocked|
claus
parents: 252
diff changeset
    79
claus
parents: 252
diff changeset
    80
    wasBlocked := OperatingSystem blockInterrupts.
claus
parents: 252
diff changeset
    81
    super add:newElement.
claus
parents: 252
diff changeset
    82
    wasBlocked ifFalse:[OperatingSystem unblockInterrupts]
claus
parents: 252
diff changeset
    83
!
claus
parents: 252
diff changeset
    84
claus
parents: 252
diff changeset
    85
remove:anObject ifAbsent:exceptionBlock
claus
parents: 252
diff changeset
    86
    "redefined to avoid synchronization promlems, in case
claus
parents: 252
diff changeset
    87
     of interrupts 
claus
parents: 252
diff changeset
    88
     (otherwise, there could be some other operation on the receiver
claus
parents: 252
diff changeset
    89
       done by another process, which garbles my contents)"
claus
parents: 252
diff changeset
    90
claus
parents: 252
diff changeset
    91
    |wasBlocked|
claus
parents: 252
diff changeset
    92
claus
parents: 252
diff changeset
    93
    wasBlocked := OperatingSystem blockInterrupts.
claus
parents: 252
diff changeset
    94
    [
claus
parents: 252
diff changeset
    95
	super remove:anObject ifAbsent:exceptionBlock
claus
parents: 252
diff changeset
    96
    ] valueNowOrOnUnwindDo:[
claus
parents: 252
diff changeset
    97
	wasBlocked ifFalse:[OperatingSystem unblockInterrupts]
claus
parents: 252
diff changeset
    98
    ]
claus
parents: 252
diff changeset
    99
! !
claus
parents: 252
diff changeset
   100
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   101
!WeakIdentitySet methodsFor:'element disposal'!
94
649321db4b9a Initial revision
claus
parents:
diff changeset
   102
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   103
informDispose
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   104
    "an element died - must rehash"
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   105
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   106
    |wasBlocked|
111
9cdd0ed47f38 default size is smaller
claus
parents: 94
diff changeset
   107
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   108
    "
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   109
     must block interrupts here - finalization
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   110
     may be done at low prio in the background
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   111
     finalizer, we do not want to be interrupted
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   112
     while rehashing
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   113
    "
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   114
    wasBlocked := OperatingSystem blockInterrupts.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   115
    self rehash.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   116
    wasBlocked ifFalse:[OperatingSystem unblockInterrupts].
94
649321db4b9a Initial revision
claus
parents:
diff changeset
   117
! !
649321db4b9a Initial revision
claus
parents:
diff changeset
   118
216
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   119
!WeakIdentitySet methodsFor:'enumerating'!
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   120
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   121
do:aBlock
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   122
    "perform the block for all members in the collection.
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   123
     This method has been rewritten to be more robust about
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   124
     changed contents while enumerating elements (which might
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   125
     happen during change&update processing, if dependents
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   126
     are added or removed within the update."
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   127
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   128
    |index "{ Class: SmallInteger }"
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   129
     element|
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   130
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   131
    index := 1.
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   132
    [index <= keyArray size] whileTrue:[
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   133
	element := keyArray at:index.
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   134
	(element notNil and:[element ~~ DeletedEntry]) ifTrue:[
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   135
	    aBlock value:element
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   136
	].
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   137
	index := index + 1
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   138
    ]
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   139
! !
a8abff749575 *** empty log message ***
claus
parents: 187
diff changeset
   140
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   141
!WeakIdentitySet methodsFor:'private'!
94
649321db4b9a Initial revision
claus
parents:
diff changeset
   142
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   143
keyContainerOfSize:n
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   144
    "return a container for keys and values of size n.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   145
     use WeakArrays here."
359
claus
parents: 252
diff changeset
   146
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   147
    |w|
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   148
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   149
    w := WeakArray new:n.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   150
    w watcher:self.
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   151
    ^ w
94
649321db4b9a Initial revision
claus
parents:
diff changeset
   152
! !
609
12be97f6d5a7 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 530
diff changeset
   153