1 #![cfg(test)]
2 #![allow(unused_assignments)]
3
4 // These tests are primarily targeting "abusive" producers that will
5 // try to drive the "collect consumer" incorrectly. These should
6 // result in panics.
7
8 use super::Collect;
9 use crate::iter::plumbing::*;
10 use rayon_core::join;
11
12 use std::fmt;
13 use std::panic;
14 use std::sync::atomic::{AtomicUsize, Ordering};
15 use std::thread::Result as ThreadResult;
16
17 /// Promises to produce 2 items, but then produces 3. Does not do any
18 /// splits at all.
19 #[test]
20 #[should_panic(expected = "too many values")]
produce_too_many_items()21 fn produce_too_many_items() {
22 let mut v = vec![];
23 Collect::new(&mut v, 2).with_consumer(|consumer| {
24 let mut folder = consumer.into_folder();
25 folder = folder.consume(22);
26 folder = folder.consume(23);
27 folder = folder.consume(24);
28 unreachable!("folder does not complete")
29 });
30 }
31
32 /// Produces fewer items than promised. Does not do any
33 /// splits at all.
34 #[test]
35 #[should_panic(expected = "expected 5 total writes, but got 2")]
produce_fewer_items()36 fn produce_fewer_items() {
37 let mut v = vec![];
38 let collect = Collect::new(&mut v, 5);
39 collect.with_consumer(|consumer| {
40 let mut folder = consumer.into_folder();
41 folder = folder.consume(22);
42 folder = folder.consume(23);
43 folder.complete()
44 });
45 }
46
47 // Complete is not called by the consumer. Hence,the collection vector is not fully initialized.
48 #[test]
49 #[should_panic(expected = "expected 4 total writes, but got 2")]
left_produces_items_with_no_complete()50 fn left_produces_items_with_no_complete() {
51 let mut v = vec![];
52 let collect = Collect::new(&mut v, 4);
53 collect.with_consumer(|consumer| {
54 let (left_consumer, right_consumer, _) = consumer.split_at(2);
55 let mut left_folder = left_consumer.into_folder();
56 let mut right_folder = right_consumer.into_folder();
57 left_folder = left_folder.consume(0).consume(1);
58 right_folder = right_folder.consume(2).consume(3);
59 right_folder.complete()
60 });
61 }
62
63 // Complete is not called by the right consumer. Hence,the
64 // collection vector is not fully initialized.
65 #[test]
66 #[should_panic(expected = "expected 4 total writes, but got 2")]
right_produces_items_with_no_complete()67 fn right_produces_items_with_no_complete() {
68 let mut v = vec![];
69 let collect = Collect::new(&mut v, 4);
70 collect.with_consumer(|consumer| {
71 let (left_consumer, right_consumer, _) = consumer.split_at(2);
72 let mut left_folder = left_consumer.into_folder();
73 let mut right_folder = right_consumer.into_folder();
74 left_folder = left_folder.consume(0).consume(1);
75 right_folder = right_folder.consume(2).consume(3);
76 left_folder.complete()
77 });
78 }
79
80 // Complete is not called by the consumer. Hence,the collection vector is not fully initialized.
81 #[test]
produces_items_with_no_complete()82 fn produces_items_with_no_complete() {
83 let counter = DropCounter::default();
84 let mut v = vec![];
85 let panic_result = panic::catch_unwind(panic::AssertUnwindSafe(|| {
86 let collect = Collect::new(&mut v, 2);
87 collect.with_consumer(|consumer| {
88 let mut folder = consumer.into_folder();
89 folder = folder.consume(counter.element());
90 folder = folder.consume(counter.element());
91 panic!("folder does not complete");
92 });
93 }));
94 assert!(v.is_empty());
95 assert_is_panic_with_message(&panic_result, "folder does not complete");
96 counter.assert_drop_count();
97 }
98
99 // The left consumer produces too many items while the right
100 // consumer produces correct number.
101 #[test]
102 #[should_panic(expected = "too many values")]
left_produces_too_many_items()103 fn left_produces_too_many_items() {
104 let mut v = vec![];
105 let collect = Collect::new(&mut v, 4);
106 collect.with_consumer(|consumer| {
107 let (left_consumer, right_consumer, _) = consumer.split_at(2);
108 let mut left_folder = left_consumer.into_folder();
109 let mut right_folder = right_consumer.into_folder();
110 left_folder = left_folder.consume(0).consume(1).consume(2);
111 right_folder = right_folder.consume(2).consume(3);
112 let _ = right_folder.complete();
113 unreachable!("folder does not complete");
114 });
115 }
116
117 // The right consumer produces too many items while the left
118 // consumer produces correct number.
119 #[test]
120 #[should_panic(expected = "too many values")]
right_produces_too_many_items()121 fn right_produces_too_many_items() {
122 let mut v = vec![];
123 let collect = Collect::new(&mut v, 4);
124 collect.with_consumer(|consumer| {
125 let (left_consumer, right_consumer, _) = consumer.split_at(2);
126 let mut left_folder = left_consumer.into_folder();
127 let mut right_folder = right_consumer.into_folder();
128 left_folder = left_folder.consume(0).consume(1);
129 right_folder = right_folder.consume(2).consume(3).consume(4);
130 let _ = left_folder.complete();
131 unreachable!("folder does not complete");
132 });
133 }
134
135 // The left consumer produces fewer items while the right
136 // consumer produces correct number.
137 #[test]
138 #[should_panic(expected = "expected 4 total writes, but got 1")]
left_produces_fewer_items()139 fn left_produces_fewer_items() {
140 let mut v = vec![];
141 let collect = Collect::new(&mut v, 4);
142 collect.with_consumer(|consumer| {
143 let reducer = consumer.to_reducer();
144 let (left_consumer, right_consumer, _) = consumer.split_at(2);
145 let mut left_folder = left_consumer.into_folder();
146 let mut right_folder = right_consumer.into_folder();
147 left_folder = left_folder.consume(0);
148 right_folder = right_folder.consume(2).consume(3);
149 let left_result = left_folder.complete();
150 let right_result = right_folder.complete();
151 reducer.reduce(left_result, right_result)
152 });
153 }
154
155 // The left and right consumer produce the correct number but
156 // only left result is returned
157 #[test]
158 #[should_panic(expected = "expected 4 total writes, but got 2")]
only_left_result()159 fn only_left_result() {
160 let mut v = vec![];
161 let collect = Collect::new(&mut v, 4);
162 collect.with_consumer(|consumer| {
163 let (left_consumer, right_consumer, _) = consumer.split_at(2);
164 let mut left_folder = left_consumer.into_folder();
165 let mut right_folder = right_consumer.into_folder();
166 left_folder = left_folder.consume(0).consume(1);
167 right_folder = right_folder.consume(2).consume(3);
168 let left_result = left_folder.complete();
169 let _ = right_folder.complete();
170 left_result
171 });
172 }
173
174 // The left and right consumer produce the correct number but
175 // only right result is returned
176 #[test]
177 #[should_panic(expected = "expected 4 total writes, but got 2")]
only_right_result()178 fn only_right_result() {
179 let mut v = vec![];
180 let collect = Collect::new(&mut v, 4);
181 collect.with_consumer(|consumer| {
182 let (left_consumer, right_consumer, _) = consumer.split_at(2);
183 let mut left_folder = left_consumer.into_folder();
184 let mut right_folder = right_consumer.into_folder();
185 left_folder = left_folder.consume(0).consume(1);
186 right_folder = right_folder.consume(2).consume(3);
187 let _ = left_folder.complete();
188 right_folder.complete()
189 });
190 }
191
192 // The left and right consumer produce the correct number but reduce
193 // in the wrong order.
194 #[test]
195 #[should_panic(expected = "expected 4 total writes, but got 2")]
reducer_does_not_preserve_order()196 fn reducer_does_not_preserve_order() {
197 let mut v = vec![];
198 let collect = Collect::new(&mut v, 4);
199 collect.with_consumer(|consumer| {
200 let reducer = consumer.to_reducer();
201 let (left_consumer, right_consumer, _) = consumer.split_at(2);
202 let mut left_folder = left_consumer.into_folder();
203 let mut right_folder = right_consumer.into_folder();
204 left_folder = left_folder.consume(0).consume(1);
205 right_folder = right_folder.consume(2).consume(3);
206 let left_result = left_folder.complete();
207 let right_result = right_folder.complete();
208 reducer.reduce(right_result, left_result)
209 });
210 }
211
212 // The right consumer produces fewer items while the left
213 // consumer produces correct number.
214 #[test]
215 #[should_panic(expected = "expected 4 total writes, but got 3")]
right_produces_fewer_items()216 fn right_produces_fewer_items() {
217 let mut v = vec![];
218 let collect = Collect::new(&mut v, 4);
219 collect.with_consumer(|consumer| {
220 let reducer = consumer.to_reducer();
221 let (left_consumer, right_consumer, _) = consumer.split_at(2);
222 let mut left_folder = left_consumer.into_folder();
223 let mut right_folder = right_consumer.into_folder();
224 left_folder = left_folder.consume(0).consume(1);
225 right_folder = right_folder.consume(2);
226 let left_result = left_folder.complete();
227 let right_result = right_folder.complete();
228 reducer.reduce(left_result, right_result)
229 });
230 }
231
232 // The left consumer panics and the right stops short, like `panic_fuse()`.
233 // We should get the left panic without finishing `Collect::with_consumer`.
234 #[test]
235 #[should_panic(expected = "left consumer panic")]
left_panics()236 fn left_panics() {
237 let mut v = vec![];
238 let collect = Collect::new(&mut v, 4);
239 collect.with_consumer(|consumer| {
240 let reducer = consumer.to_reducer();
241 let (left_consumer, right_consumer, _) = consumer.split_at(2);
242 let (left_result, right_result) = join(
243 || {
244 let mut left_folder = left_consumer.into_folder();
245 left_folder = left_folder.consume(0);
246 panic!("left consumer panic");
247 },
248 || {
249 let mut right_folder = right_consumer.into_folder();
250 right_folder = right_folder.consume(2);
251 right_folder.complete() // early return
252 },
253 );
254 reducer.reduce(left_result, right_result)
255 });
256 unreachable!();
257 }
258
259 // The right consumer panics and the left stops short, like `panic_fuse()`.
260 // We should get the right panic without finishing `Collect::with_consumer`.
261 #[test]
262 #[should_panic(expected = "right consumer panic")]
right_panics()263 fn right_panics() {
264 let mut v = vec![];
265 let collect = Collect::new(&mut v, 4);
266 collect.with_consumer(|consumer| {
267 let reducer = consumer.to_reducer();
268 let (left_consumer, right_consumer, _) = consumer.split_at(2);
269 let (left_result, right_result) = join(
270 || {
271 let mut left_folder = left_consumer.into_folder();
272 left_folder = left_folder.consume(0);
273 left_folder.complete() // early return
274 },
275 || {
276 let mut right_folder = right_consumer.into_folder();
277 right_folder = right_folder.consume(2);
278 panic!("right consumer panic");
279 },
280 );
281 reducer.reduce(left_result, right_result)
282 });
283 unreachable!();
284 }
285
286 // The left consumer produces fewer items while the right
287 // consumer produces correct number; check that created elements are dropped
288 #[test]
left_produces_fewer_items_drops()289 fn left_produces_fewer_items_drops() {
290 let counter = DropCounter::default();
291 let mut v = vec![];
292 let panic_result = panic::catch_unwind(panic::AssertUnwindSafe(|| {
293 let collect = Collect::new(&mut v, 4);
294 collect.with_consumer(|consumer| {
295 let reducer = consumer.to_reducer();
296 let (left_consumer, right_consumer, _) = consumer.split_at(2);
297 let mut left_folder = left_consumer.into_folder();
298 let mut right_folder = right_consumer.into_folder();
299 left_folder = left_folder.consume(counter.element());
300 right_folder = right_folder
301 .consume(counter.element())
302 .consume(counter.element());
303 let left_result = left_folder.complete();
304 let right_result = right_folder.complete();
305 reducer.reduce(left_result, right_result)
306 });
307 }));
308 assert!(v.is_empty());
309 assert_is_panic_with_message(&panic_result, "expected 4 total writes, but got 1");
310 counter.assert_drop_count();
311 }
312
313 /// This counter can create elements, and then count and verify
314 /// the number of which have actually been dropped again.
315 #[derive(Default)]
316 struct DropCounter {
317 created: AtomicUsize,
318 dropped: AtomicUsize,
319 }
320
321 struct Element<'a>(&'a AtomicUsize);
322
323 impl DropCounter {
created(&self) -> usize324 fn created(&self) -> usize {
325 self.created.load(Ordering::SeqCst)
326 }
327
dropped(&self) -> usize328 fn dropped(&self) -> usize {
329 self.dropped.load(Ordering::SeqCst)
330 }
331
element(&self) -> Element<'_>332 fn element(&self) -> Element<'_> {
333 self.created.fetch_add(1, Ordering::SeqCst);
334 Element(&self.dropped)
335 }
336
assert_drop_count(&self)337 fn assert_drop_count(&self) {
338 assert_eq!(
339 self.created(),
340 self.dropped(),
341 "Expected {} dropped elements, but found {}",
342 self.created(),
343 self.dropped()
344 );
345 }
346 }
347
348 impl<'a> Drop for Element<'a> {
drop(&mut self)349 fn drop(&mut self) {
350 self.0.fetch_add(1, Ordering::SeqCst);
351 }
352 }
353
354 /// Assert that the result from catch_unwind is a panic that contains expected message
assert_is_panic_with_message<T>(result: &ThreadResult<T>, expected: &str) where T: fmt::Debug,355 fn assert_is_panic_with_message<T>(result: &ThreadResult<T>, expected: &str)
356 where
357 T: fmt::Debug,
358 {
359 match result {
360 Ok(value) => {
361 panic!(
362 "assertion failure: Expected panic, got successful {:?}",
363 value
364 );
365 }
366 Err(error) => {
367 let message_str = error.downcast_ref::<&'static str>().cloned();
368 let message_string = error.downcast_ref::<String>().map(String::as_str);
369 if let Some(message) = message_str.or(message_string) {
370 if !message.contains(expected) {
371 panic!(
372 "assertion failure: Expected {:?}, but found panic with {:?}",
373 expected, message
374 );
375 }
376 // assertion passes
377 } else {
378 panic!(
379 "assertion failure: Expected {:?}, but found panic with unknown value",
380 expected
381 );
382 }
383 }
384 }
385 }
386