1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
|
require 'thread'
require 'concurrent/constants'
require 'concurrent/utility/engine'
module Concurrent
# @!visibility private
module Collection
# @!visibility private
MapImplementation = case
when Concurrent.on_jruby?
require 'concurrent/utility/native_extension_loader'
# noinspection RubyResolve
JRubyMapBackend
when Concurrent.on_cruby?
require 'concurrent/collection/map/mri_map_backend'
MriMapBackend
when Concurrent.on_truffleruby?
if defined?(::TruffleRuby::ConcurrentMap)
require 'concurrent/collection/map/truffleruby_map_backend'
TruffleRubyMapBackend
else
require 'concurrent/collection/map/synchronized_map_backend'
SynchronizedMapBackend
end
else
warn 'Concurrent::Map: unsupported Ruby engine, using a fully synchronized Concurrent::Map implementation'
require 'concurrent/collection/map/synchronized_map_backend'
SynchronizedMapBackend
end
end
# `Concurrent::Map` is a hash-like object and should have much better performance
# characteristics, especially under high concurrency, than `Concurrent::Hash`.
# However, `Concurrent::Map `is not strictly semantically equivalent to a ruby `Hash`
# -- for instance, it does not necessarily retain ordering by insertion time as `Hash`
# does. For most uses it should do fine though, and we recommend you consider
# `Concurrent::Map` instead of `Concurrent::Hash` for your concurrency-safe hash needs.
class Map < Collection::MapImplementation
# @!macro map.atomic_method
# This method is atomic.
# @!macro map.atomic_method_with_block
# This method is atomic.
# @note Atomic methods taking a block do not allow the `self` instance
# to be used within the block. Doing so will cause a deadlock.
# @!method []=(key, value)
# Set a value with key
# @param [Object] key
# @param [Object] value
# @return [Object] the new value
# @!method compute_if_absent(key)
# Compute and store new value for key if the key is absent.
# @param [Object] key
# @yield new value
# @yieldreturn [Object] new value
# @return [Object] new value or current value
# @!macro map.atomic_method_with_block
# @!method compute_if_present(key)
# Compute and store new value for key if the key is present.
# @param [Object] key
# @yield new value
# @yieldparam old_value [Object]
# @yieldreturn [Object, nil] new value, when nil the key is removed
# @return [Object, nil] new value or nil
# @!macro map.atomic_method_with_block
# @!method compute(key)
# Compute and store new value for key.
# @param [Object] key
# @yield compute new value from old one
# @yieldparam old_value [Object, nil] old_value, or nil when key is absent
# @yieldreturn [Object, nil] new value, when nil the key is removed
# @return [Object, nil] new value or nil
# @!macro map.atomic_method_with_block
# @!method merge_pair(key, value)
# If the key is absent, the value is stored, otherwise new value is
# computed with a block.
# @param [Object] key
# @param [Object] value
# @yield compute new value from old one
# @yieldparam old_value [Object] old value
# @yieldreturn [Object, nil] new value, when nil the key is removed
# @return [Object, nil] new value or nil
# @!macro map.atomic_method_with_block
# @!method replace_pair(key, old_value, new_value)
# Replaces old_value with new_value if key exists and current value
# matches old_value
# @param [Object] key
# @param [Object] old_value
# @param [Object] new_value
# @return [true, false] true if replaced
# @!macro map.atomic_method
# @!method replace_if_exists(key, new_value)
# Replaces current value with new_value if key exists
# @param [Object] key
# @param [Object] new_value
# @return [Object, nil] old value or nil
# @!macro map.atomic_method
# @!method get_and_set(key, value)
# Get the current value under key and set new value.
# @param [Object] key
# @param [Object] value
# @return [Object, nil] old value or nil when the key was absent
# @!macro map.atomic_method
# @!method delete(key)
# Delete key and its value.
# @param [Object] key
# @return [Object, nil] old value or nil when the key was absent
# @!macro map.atomic_method
# @!method delete_pair(key, value)
# Delete pair and its value if current value equals the provided value.
# @param [Object] key
# @param [Object] value
# @return [true, false] true if deleted
# @!macro map.atomic_method
# NonConcurrentMapBackend handles default_proc natively
unless defined?(Collection::NonConcurrentMapBackend) and self < Collection::NonConcurrentMapBackend
# @param [Hash, nil] options options to set the :initial_capacity or :load_factor. Ignored on some Rubies.
# @param [Proc] default_proc Optional block to compute the default value if the key is not set, like `Hash#default_proc`
def initialize(options = nil, &default_proc)
if options.kind_of?(::Hash)
validate_options_hash!(options)
else
options = nil
end
super(options)
@default_proc = default_proc
end
# Get a value with key
# @param [Object] key
# @return [Object] the value
def [](key)
if value = super # non-falsy value is an existing mapping, return it right away
value
# re-check is done with get_or_default(key, NULL) instead of a simple !key?(key) in order to avoid a race condition, whereby by the time the current thread gets to the key?(key) call
# a key => value mapping might have already been created by a different thread (key?(key) would then return true, this elsif branch wouldn't be taken and an incorrect +nil+ value
# would be returned)
# note: nil == value check is not technically necessary
elsif @default_proc && nil == value && NULL == (value = get_or_default(key, NULL))
@default_proc.call(self, key)
else
value
end
end
end
alias_method :get, :[]
alias_method :put, :[]=
# Get a value with key, or default_value when key is absent,
# or fail when no default_value is given.
# @param [Object] key
# @param [Object] default_value
# @yield default value for a key
# @yieldparam key [Object]
# @yieldreturn [Object] default value
# @return [Object] the value or default value
# @raise [KeyError] when key is missing and no default_value is provided
# @!macro map_method_not_atomic
# @note The "fetch-then-act" methods of `Map` are not atomic. `Map` is intended
# to be use as a concurrency primitive with strong happens-before
# guarantees. It is not intended to be used as a high-level abstraction
# supporting complex operations. All read and write operations are
# thread safe, but no guarantees are made regarding race conditions
# between the fetch operation and yielding to the block. Additionally,
# this method does not support recursion. This is due to internal
# constraints that are very unlikely to change in the near future.
def fetch(key, default_value = NULL)
if NULL != (value = get_or_default(key, NULL))
value
elsif block_given?
yield key
elsif NULL != default_value
default_value
else
raise_fetch_no_key
end
end
# Fetch value with key, or store default value when key is absent,
# or fail when no default_value is given. This is a two step operation,
# therefore not atomic. The store can overwrite other concurrently
# stored value.
# @param [Object] key
# @param [Object] default_value
# @yield default value for a key
# @yieldparam key [Object]
# @yieldreturn [Object] default value
# @return [Object] the value or default value
def fetch_or_store(key, default_value = NULL)
fetch(key) do
put(key, block_given? ? yield(key) : (NULL == default_value ? raise_fetch_no_key : default_value))
end
end
# Insert value into map with key if key is absent in one atomic step.
# @param [Object] key
# @param [Object] value
# @return [Object, nil] the previous value when key was present or nil when there was no key
def put_if_absent(key, value)
computed = false
result = compute_if_absent(key) do
computed = true
value
end
computed ? nil : result
end unless method_defined?(:put_if_absent)
# Is the value stored in the map. Iterates over all values.
# @param [Object] value
# @return [true, false]
def value?(value)
each_value do |v|
return true if value.equal?(v)
end
false
end
# All keys
# @return [::Array<Object>] keys
def keys
arr = []
each_pair { |k, v| arr << k }
arr
end unless method_defined?(:keys)
# All values
# @return [::Array<Object>] values
def values
arr = []
each_pair { |k, v| arr << v }
arr
end unless method_defined?(:values)
# Iterates over each key.
# @yield for each key in the map
# @yieldparam key [Object]
# @return [self]
# @!macro map.atomic_method_with_block
def each_key
each_pair { |k, v| yield k }
end unless method_defined?(:each_key)
# Iterates over each value.
# @yield for each value in the map
# @yieldparam value [Object]
# @return [self]
# @!macro map.atomic_method_with_block
def each_value
each_pair { |k, v| yield v }
end unless method_defined?(:each_value)
# Iterates over each key value pair.
# @yield for each key value pair in the map
# @yieldparam key [Object]
# @yieldparam value [Object]
# @return [self]
# @!macro map.atomic_method_with_block
def each_pair
return enum_for :each_pair unless block_given?
super
end
alias_method :each, :each_pair unless method_defined?(:each)
# Find key of a value.
# @param [Object] value
# @return [Object, nil] key or nil when not found
def key(value)
each_pair { |k, v| return k if v == value }
nil
end unless method_defined?(:key)
# Is map empty?
# @return [true, false]
def empty?
each_pair { |k, v| return false }
true
end unless method_defined?(:empty?)
# The size of map.
# @return [Integer] size
def size
count = 0
each_pair { |k, v| count += 1 }
count
end unless method_defined?(:size)
# @!visibility private
def marshal_dump
raise TypeError, "can't dump hash with default proc" if @default_proc
h = {}
each_pair { |k, v| h[k] = v }
h
end
# @!visibility private
def marshal_load(hash)
initialize
populate_from(hash)
end
undef :freeze
# @!visibility private
def inspect
format '%s entries=%d default_proc=%s>', to_s[0..-2], size.to_s, @default_proc.inspect
end
private
def raise_fetch_no_key
raise KeyError, 'key not found'
end
def initialize_copy(other)
super
populate_from(other)
end
def populate_from(hash)
hash.each_pair { |k, v| self[k] = v }
self
end
def validate_options_hash!(options)
if (initial_capacity = options[:initial_capacity]) && (!initial_capacity.kind_of?(Integer) || initial_capacity < 0)
raise ArgumentError, ":initial_capacity must be a positive Integer"
end
if (load_factor = options[:load_factor]) && (!load_factor.kind_of?(Numeric) || load_factor <= 0 || load_factor > 1)
raise ArgumentError, ":load_factor must be a number between 0 and 1"
end
end
end
end
|