|
1 |
| -shared_examples :atomic_markable_reference do |
| 1 | +describe Concurrent::Edge::AtomicMarkableReference do |
2 | 2 | # use a number outside JRuby's fixnum cache range, to ensure identity is
|
3 | 3 | # preserved
|
4 |
| - let(:atomic) { Concurrent::Edge::AtomicMarkableReference.new 1000, true } |
| 4 | + subject { described_class.new 1000, true } |
5 | 5 |
|
6 | 6 | specify :test_construct do
|
7 |
| - expect(atomic.value).to eq 1000 |
8 |
| - expect(atomic.marked?).to eq true |
| 7 | + expect(subject.value).to eq 1000 |
| 8 | + expect(subject.marked?).to eq true |
9 | 9 | end
|
10 | 10 |
|
11 | 11 | specify :test_set do
|
12 |
| - val, mark = atomic.set(1001, true) |
| 12 | + val, mark = subject.set 1001, true |
13 | 13 |
|
14 |
| - expect(atomic.value).to eq 1001 |
15 |
| - expect(atomic.marked?).to eq true |
| 14 | + expect(subject.value).to eq 1001 |
| 15 | + expect(subject.marked?).to eq true |
16 | 16 |
|
17 | 17 | expect(val).to eq 1001
|
18 | 18 | expect(mark).to eq true
|
19 | 19 | end
|
20 | 20 |
|
21 | 21 | specify :test_update do
|
22 |
| - val, mark = atomic.update { |v, m| [v + 1, !m] } |
| 22 | + val, mark = subject.update { |v, m| [v + 1, !m] } |
23 | 23 |
|
24 |
| - expect(atomic.value).to eq 1001 |
25 |
| - expect(atomic.marked?).to eq false |
| 24 | + expect(subject.value).to eq 1001 |
| 25 | + expect(subject.marked?).to eq false |
26 | 26 |
|
27 | 27 | expect(val).to eq 1001
|
28 | 28 | expect(mark).to eq false
|
29 | 29 | end
|
30 | 30 |
|
31 | 31 | specify :test_try_update do
|
32 |
| - val, mark = atomic.try_update { |v, m| [v + 1, !m] } |
| 32 | + val, mark = subject.try_update { |v, m| [v + 1, !m] } |
33 | 33 |
|
34 |
| - expect(atomic.value).to eq 1001 |
| 34 | + expect(subject.value).to eq 1001 |
35 | 35 |
|
36 | 36 | expect(val).to eq 1001
|
37 | 37 | expect(mark).to eq false
|
|
40 | 40 | specify :test_try_update_fails do
|
41 | 41 | expect do
|
42 | 42 | # assigning within block exploits implementation detail for test
|
43 |
| - atomic.try_update do |v, m| |
44 |
| - atomic.set(1001, false) |
| 43 | + subject.try_update do |v, m| |
| 44 | + subject.set(1001, false) |
45 | 45 | [v + 1, !m]
|
46 | 46 | end
|
47 | 47 | end.to raise_error Concurrent::ConcurrentUpdateError
|
|
51 | 51 | tries = 0
|
52 | 52 |
|
53 | 53 | # assigning within block exploits implementation detail for test
|
54 |
| - atomic.update do |v, m| |
| 54 | + subject.update do |v, m| |
55 | 55 | tries += 1
|
56 |
| - atomic.set(1001, false) |
| 56 | + subject.set(1001, false) |
57 | 57 | [v + 1, !m]
|
58 | 58 | end
|
59 | 59 |
|
|
62 | 62 |
|
63 | 63 | specify :test_numeric_cas do
|
64 | 64 | # non-idempotent Float (JRuby, Rubinius, MRI < 2.0.0 or 32-bit)
|
65 |
| - atomic.set(1.0 + 0.1, true) |
66 |
| - expect(atomic.compare_and_set(1.0 + 0.1, 1.2, true, false)) |
| 65 | + subject.set(1.0 + 0.1, true) |
| 66 | + expect(subject.compare_and_set(1.0 + 0.1, 1.2, true, false)) |
67 | 67 | .to be_truthy, "CAS failed for (#{1.0 + 0.1}, true) => (1.2, false)"
|
68 | 68 |
|
69 | 69 | # Bignum
|
70 |
| - atomic.set(2**100, false) |
71 |
| - expect(atomic.compare_and_set(2**100, 2**99, false, true)) |
| 70 | + subject.set(2**100, false) |
| 71 | + expect(subject.compare_and_set(2**100, 2**99, false, true)) |
72 | 72 | .to be_truthy, "CAS failed for (#{2**100}, false) => (0, true)"
|
73 | 73 |
|
74 | 74 | # Rational
|
75 | 75 | require 'rational' unless ''.respond_to? :to_r
|
76 |
| - atomic.set(Rational(1, 3), true) |
77 |
| - expect(atomic.compare_and_set(Rational(1, 3), Rational(3, 1), true, false)) |
| 76 | + subject.set(Rational(1, 3), true) |
| 77 | + expect(subject.compare_and_set(Rational(1, 3), Rational(3, 1), true, false)) |
78 | 78 | .to be_truthy, "CAS failed for (#{Rational(1, 3)}, true) => (0, false)"
|
79 | 79 |
|
80 | 80 | # Complex
|
81 | 81 | require 'complex' unless ''.respond_to? :to_c
|
82 |
| - atomic.set(Complex(1, 2), false) |
83 |
| - expect(atomic.compare_and_set(Complex(1, 2), Complex(1, 3), false, true)) |
| 82 | + subject.set(Complex(1, 2), false) |
| 83 | + expect(subject.compare_and_set(Complex(1, 2), Complex(1, 3), false, true)) |
84 | 84 | .to be_truthy, "CAS failed for (#{Complex(1, 2)}, false) => (0, false)"
|
85 | 85 | end
|
86 | 86 | end
|
87 |
| - |
88 |
| -# Specs for platform specific implementations |
89 |
| -module Concurrent |
90 |
| - module Edge |
91 |
| - describe AtomicMarkableReference do |
92 |
| - it_should_behave_like :atomic_markable_reference |
93 |
| - end |
94 |
| - |
95 |
| - if defined? Concurrent::CAtomicMarkableReference |
96 |
| - describe CAtomicMarkableReference do |
97 |
| - skip 'Unimplemented' |
98 |
| - end |
99 |
| - elsif defined? Concurrent::JavaAtomicMarkableReference |
100 |
| - describe JavaAtomicMarkableReference do |
101 |
| - skip 'Unimplemented' |
102 |
| - end |
103 |
| - elsif defined? Concurrent::RbxAtomicMarkableReference |
104 |
| - describe RbxAtomicMarkableReference do |
105 |
| - skip 'Unimplemented' |
106 |
| - end |
107 |
| - end |
108 |
| - |
109 |
| - describe AtomicMarkableReference do |
110 |
| - if ::Concurrent.on_jruby? |
111 |
| - it 'inherits from JavaAtomicMarkableReference' do |
112 |
| - skip 'Unimplemented' |
113 |
| - end |
114 |
| - elsif ::Concurrent.allow_c_extensions? |
115 |
| - it 'inherits from CAtomicMarkableReference' do |
116 |
| - skip 'Unimplemented' |
117 |
| - end |
118 |
| - elsif ::Concurrent.on_rbx? |
119 |
| - it 'inherits from RbxAtomicMarkableReference' do |
120 |
| - skip 'Unimplemented' |
121 |
| - end |
122 |
| - else |
123 |
| - it 'inherits from MutexAtomicMarkableReference' do |
124 |
| - skip 'Unimplemented' |
125 |
| - end |
126 |
| - end |
127 |
| - end |
128 |
| - |
129 |
| - if defined? Concurrent::CAtomicMarkableReference |
130 |
| - describe CAtomicMarkableReference do |
131 |
| - skip 'Unimplemented' |
132 |
| - end |
133 |
| - elsif defined? Concurrent::JavaAtomicMarkableReference |
134 |
| - describe JavaAtomicMarkableReference do |
135 |
| - skip 'Unimplemented' |
136 |
| - end |
137 |
| - elsif defined? Concurrent::RbxAtomicMarkableReference |
138 |
| - describe RbxAtomicMarkableReference do |
139 |
| - skip 'Unimplemented' |
140 |
| - end |
141 |
| - end |
142 |
| - |
143 |
| - describe AtomicMarkableReference do |
144 |
| - if ::Concurrent.on_jruby? |
145 |
| - it 'inherits from JavaAtomicMarkableReference' do |
146 |
| - skip 'Unimplemented' |
147 |
| - end |
148 |
| - elsif ::Concurrent.allow_c_extensions? |
149 |
| - it 'inherits from CAtomicMarkableReference' do |
150 |
| - skip 'Unimplemented' |
151 |
| - end |
152 |
| - elsif ::Concurrent.on_rbx? |
153 |
| - it 'inherits from RbxAtomicMarkableReference' do |
154 |
| - skip 'Unimplemented' |
155 |
| - end |
156 |
| - end |
157 |
| - end |
158 |
| - end |
159 |
| -end |
0 commit comments