• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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