ZeroDivide.st
author Jan Vrany <jan.vrany@labware.com>
Thu, 25 Mar 2021 20:30:03 +0000
branchjv
changeset 25411 248600ba8fd9
parent 23547 c69c97cec351
permissions -rw-r--r--
Fix unlikely but possible race in `WeakValueDictionary` It may happen that value in `valueArray` could have been already collected by the GC but #clearDeadSlots have not yet been called. When this happened, `#at:ifAbsentPut:` returned tombstone rather than updating the dictionary with value from block. This commit fixes this by checking whether `valueArray` contain the tombstone and if so, clearing up the dead slots and restarting the operation. HTH.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7585
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     1
"
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     2
 COPYRIGHT (c) 2001 by eXept Software AG
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     3
              All Rights Reserved
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     4
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     5
 This software is furnished under a license and may be used
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     6
 only in accordance with the terms of that license and with the
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     8
 be provided or otherwise made available to, or used by, any
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
     9
 other person.  No title to or ownership of the software is
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    10
 hereby transferred.
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    11
"
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
"{ Package: 'stx:libbasic' }"
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
20458
55727803f73d #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 14717
diff changeset
    14
"{ NameSpace: Smalltalk }"
55727803f73d #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 14717
diff changeset
    15
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
DomainError subclass:#ZeroDivide
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
	instanceVariableNames:''
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
	classVariableNames:''
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
	poolDictionaries:''
6218
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    20
	category:'Kernel-Exceptions-Errors'
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
!
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
6218
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    23
!ZeroDivide class methodsFor:'documentation'!
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    24
7585
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    25
copyright
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    26
"
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    27
 COPYRIGHT (c) 2001 by eXept Software AG
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    28
              All Rights Reserved
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    29
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    30
 This software is furnished under a license and may be used
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    31
 only in accordance with the terms of that license and with the
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    32
 inclusion of the above copyright notice.   This software may not
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    33
 be provided or otherwise made available to, or used by, any
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    34
 other person.  No title to or ownership of the software is
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    35
 hereby transferred.
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    36
"
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    37
!
87d76b40f897 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 7584
diff changeset
    38
6218
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    39
documentation
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    40
"
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    41
    Raised when a division by zero is attempted.
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    42
"
7584
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    43
!
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    44
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    45
examples
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    46
"
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    47
    the following leads into a debugger:
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    48
                                                                    [exBegin]
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    49
        |divisor|
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    50
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    51
        divisor := 0.
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    52
        Transcript showCR: ( 5 / divisor ).
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    53
                                                                    [exEnd]
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    54
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    55
10273
84eddf61acc5 Fix spelling in example comment
Stefan Vogel <sv@exept.de>
parents: 7585
diff changeset
    56
    the following does NOT lead into a debugger:
7584
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    57
                                                                    [exBegin]
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    58
        |divisor|
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    59
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    60
        divisor := 0.
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    61
        [
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    62
            Transcript showCR: ( 5 / divisor ).
10273
84eddf61acc5 Fix spelling in example comment
Stefan Vogel <sv@exept.de>
parents: 7585
diff changeset
    63
        ] on:ZeroDivide do:[
84eddf61acc5 Fix spelling in example comment
Stefan Vogel <sv@exept.de>
parents: 7585
diff changeset
    64
            Transcript flash.
84eddf61acc5 Fix spelling in example comment
Stefan Vogel <sv@exept.de>
parents: 7585
diff changeset
    65
        ]
7584
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    66
                                                                    [exEnd]
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
    67
"
6218
f528bf2bcc5f category
Claus Gittinger <cg@exept.de>
parents: 5969
diff changeset
    68
! !
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
18017
7fef9e17913f Merged 956be83322ff and 8657c48a4c03 (branch default)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17911 14717
diff changeset
    70
6690
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    71
!ZeroDivide class methodsFor:'initialization'!
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    72
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    73
initialize
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    74
    NotifierString := 'division by zero'.
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    75
! !
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
    76
18017
7fef9e17913f Merged 956be83322ff and 8657c48a4c03 (branch default)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17911 14717
diff changeset
    77
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
!ZeroDivide methodsFor:'accessing'!
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
14717
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    80
defaultResumeValue
20458
55727803f73d #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 14717
diff changeset
    81
    "return infinity here, if ever proceeded"
14717
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    82
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    83
    ^ parameter receiver class infinity
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    84
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    85
    "
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    86
     |a b|
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    87
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    88
     a := 5.
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    89
     b := 0.
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    90
     ZeroDivide handle:[:ex |
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    91
        Transcript showCR:('division by zero - dividend was: ' , ex dividend printString).
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    92
        ex proceed
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    93
     ] do:[
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    94
        a / b
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    95
     ]            
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    96
    "
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    97
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    98
    "
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
    99
     |a b|
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   100
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   101
     a := 5.0.
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   102
     b := 0.0.
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   103
     ZeroDivide handle:[:ex |
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   104
        Transcript showCR:('division by zero - dividend was: ' , ex dividend printString).
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   105
        ex proceed
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   106
     ] do:[
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   107
        a / b
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   108
     ]            
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   109
    "
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   110
!
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   111
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
dividend
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
    "Return the number that was being divided by zero."
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
5969
ed98cd153ecc checkin from browser
Claus Gittinger <cg@exept.de>
parents: 5947
diff changeset
   115
    ^ parameter receiver
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
    "
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   118
     |a b|
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   119
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   120
     a := 5.
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
     b := 0.
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
     Integer divisionByZeroSignal handle:[:ex |
5969
ed98cd153ecc checkin from browser
Claus Gittinger <cg@exept.de>
parents: 5947
diff changeset
   123
        Transcript showCR:('division by zero - dividend was: ' , ex dividend printString)
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
     ] do:[
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
        a // b
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
     ]
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
    "
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
! !
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
18017
7fef9e17913f Merged 956be83322ff and 8657c48a4c03 (branch default)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17911 14717
diff changeset
   130
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
!ZeroDivide class methodsFor:'documentation'!
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
version
20458
55727803f73d #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 14717
diff changeset
   134
    ^ '$Header$'
17761
b0e5971141bc Added Lookup and BuiltinLookup classes
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17711
diff changeset
   135
!
b0e5971141bc Added Lookup and BuiltinLookup classes
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17711
diff changeset
   136
b0e5971141bc Added Lookup and BuiltinLookup classes
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17711
diff changeset
   137
version_SVN
17911
a99f15c5efa5 Updated with /trunk
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17910
diff changeset
   138
    ^ '$Id: ZeroDivide.st 10761 2012-01-19 11:46:00Z vranyj1 $'
5947
45351eedb5a1 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
! !
7584
2104df18c2af example
Claus Gittinger <cg@exept.de>
parents: 6690
diff changeset
   140
14717
8bd5b56dd171 class: ZeroDivide
Claus Gittinger <cg@exept.de>
parents: 10273
diff changeset
   141
6690
07ef28245da8 notifier now initialized here
Claus Gittinger <cg@exept.de>
parents: 6218
diff changeset
   142
ZeroDivide initialize!