Skip to content

Commit f280e76

Browse files
committed
Auto merge of #150595 - antonilol:deque_extend_front_prepend_drain_spec, r=jhpratt
Add specialization for `deque1.prepend(deque2.drain(range))` (VecDeque::prepend and extend_front) Tracking issue: #146975 This specialization makes sure `deque1.prepend(deque2.drain(..))` gets similar speed to `deque1.append(&mut deque2)`. `deque1.prepend(deque2.drain(..))` is the equivalent of `deque1.append(&mut deque2)` but appending to the front (see the [second example of prepend](https://doc.rust-lang.org/nightly/std/collections/struct.VecDeque.html#method.prepend), prepend is from the same tracking issue).
2 parents e25ee6b + 7e425b8 commit f280e76

File tree

3 files changed

+180
-14
lines changed

3 files changed

+180
-14
lines changed

library/alloc/src/collections/vec_deque/drain.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,10 @@ pub struct Drain<
2525
// drain_start is stored in deque.len
2626
pub(super) drain_len: usize,
2727
// index into the logical array, not the physical one (always lies in [0..deque.len))
28-
idx: usize,
28+
pub(super) idx: usize,
2929
// number of elements after the drained range
3030
pub(super) tail_len: usize,
31-
remaining: usize,
31+
pub(super) remaining: usize,
3232
// Needed to make Drain covariant over T
3333
_marker: PhantomData<&'a T>,
3434
}
@@ -53,7 +53,7 @@ impl<'a, T, A: Allocator> Drain<'a, T, A> {
5353

5454
// Only returns pointers to the slices, as that's all we need
5555
// to drop them. May only be called if `self.remaining != 0`.
56-
unsafe fn as_slices(&self) -> (*mut [T], *mut [T]) {
56+
pub(super) unsafe fn as_slices(&self) -> (*mut [T], *mut [T]) {
5757
unsafe {
5858
let deque = self.deque.as_ref();
5959

library/alloc/src/collections/vec_deque/spec_extend.rs

Lines changed: 67 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
use core::iter::{Copied, Rev, TrustedLen};
22
use core::slice;
33

4-
use super::VecDeque;
4+
use super::{Drain, VecDeque};
55
use crate::alloc::Allocator;
66
#[cfg(not(test))]
77
use crate::vec;
@@ -157,7 +157,8 @@ impl<T, A: Allocator> SpecExtendFront<T, vec::IntoIter<T>> for VecDeque<T, A> {
157157
#[track_caller]
158158
fn spec_extend_front(&mut self, mut iterator: vec::IntoIter<T>) {
159159
let slice = iterator.as_slice();
160-
// SAFETY: elements in the slice are forgotten after this call
160+
self.reserve(slice.len());
161+
// SAFETY: `slice.len()` space was just reserved and elements in the slice are forgotten after this call
161162
unsafe { prepend_reversed(self, slice) };
162163
iterator.forget_remaining_elements();
163164
}
@@ -169,7 +170,8 @@ impl<T, A: Allocator> SpecExtendFront<T, Rev<vec::IntoIter<T>>> for VecDeque<T,
169170
fn spec_extend_front(&mut self, iterator: Rev<vec::IntoIter<T>>) {
170171
let mut iterator = iterator.into_inner();
171172
let slice = iterator.as_slice();
172-
// SAFETY: elements in the slice are forgotten after this call
173+
self.reserve(slice.len());
174+
// SAFETY: `slice.len()` space was just reserved and elements in the slice are forgotten after this call
173175
unsafe { prepend(self, slice) };
174176
iterator.forget_remaining_elements();
175177
}
@@ -182,7 +184,8 @@ where
182184
#[track_caller]
183185
fn spec_extend_front(&mut self, iter: Copied<slice::Iter<'a, T>>) {
184186
let slice = iter.into_inner().as_slice();
185-
// SAFETY: T is Copy because Copied<slice::Iter<'a, T>> is Iterator
187+
self.reserve(slice.len());
188+
// SAFETY: `slice.len()` space was just reserved and T is Copy because Copied<slice::Iter<'a, T>> is Iterator
186189
unsafe { prepend_reversed(self, slice) };
187190
}
188191
}
@@ -194,30 +197,83 @@ where
194197
#[track_caller]
195198
fn spec_extend_front(&mut self, iter: Rev<Copied<slice::Iter<'a, T>>>) {
196199
let slice = iter.into_inner().into_inner().as_slice();
197-
// SAFETY: T is Copy because Rev<Copied<slice::Iter<'a, T>>> is Iterator
200+
self.reserve(slice.len());
201+
// SAFETY: `slice.len()` space was just reserved and T is Copy because Rev<Copied<slice::Iter<'a, T>>> is Iterator
198202
unsafe { prepend(self, slice) };
199203
}
200204
}
201205

206+
impl<'a, T, A1: Allocator, A2: Allocator> SpecExtendFront<T, Drain<'a, T, A2>> for VecDeque<T, A1> {
207+
#[track_caller]
208+
fn spec_extend_front(&mut self, mut iter: Drain<'a, T, A2>) {
209+
if iter.remaining == 0 {
210+
return;
211+
}
212+
213+
self.reserve(iter.remaining);
214+
unsafe {
215+
// SAFETY: iter.remaining != 0.
216+
let (left, right) = iter.as_slices();
217+
// SAFETY:
218+
// - `iter.remaining` space was reserved, `iter.remaining == left.len() + right.len()`.
219+
// - The elements in `left` and `right` are forgotten after these calls.
220+
prepend_reversed(self, &*left);
221+
prepend_reversed(self, &*right);
222+
}
223+
224+
iter.idx += iter.remaining;
225+
iter.remaining = 0;
226+
}
227+
}
228+
229+
impl<'a, T, A1: Allocator, A2: Allocator> SpecExtendFront<T, Rev<Drain<'a, T, A2>>>
230+
for VecDeque<T, A1>
231+
{
232+
#[track_caller]
233+
fn spec_extend_front(&mut self, iter: Rev<Drain<'a, T, A2>>) {
234+
let mut iter = iter.into_inner();
235+
236+
if iter.remaining == 0 {
237+
return;
238+
}
239+
240+
self.reserve(iter.remaining);
241+
unsafe {
242+
// SAFETY: iter.remaining != 0.
243+
let (left, right) = iter.as_slices();
244+
// SAFETY:
245+
// - `iter.remaining` space was reserved, `iter.remaining == left.len() + right.len()`.
246+
// - The elements in `left` and `right` are forgotten after these calls.
247+
prepend(self, &*right);
248+
prepend(self, &*left);
249+
}
250+
251+
iter.idx += iter.remaining;
252+
iter.remaining = 0;
253+
}
254+
}
255+
256+
/// Prepends elements of `slice` to `deque` using a copy.
257+
///
202258
/// # Safety
203259
///
204-
/// Elements of `slice` will be copied into the deque, make sure to forget the items if `T` is not `Copy`.
260+
/// - `deque` must have space for `slice.len()` new elements.
261+
/// - Elements of `slice` will be copied into the deque, make sure to forget the elements if `T` is not `Copy`.
205262
unsafe fn prepend<T, A: Allocator>(deque: &mut VecDeque<T, A>, slice: &[T]) {
206-
deque.reserve(slice.len());
207-
208263
unsafe {
209264
deque.head = deque.wrap_sub(deque.head, slice.len());
210265
deque.copy_slice(deque.head, slice);
211266
deque.len += slice.len();
212267
}
213268
}
214269

270+
/// Prepends elements of `slice` to `deque` in reverse order using a copy.
271+
///
215272
/// # Safety
216273
///
217-
/// Elements of `slice` will be copied into the deque, make sure to forget the items if `T` is not `Copy`.
274+
/// - `deque` must have space for `slice.len()` new elements.
275+
/// - Elements of `slice` will be copied into the deque, make sure to forget the elements if `T` is not `Copy`.
218276
unsafe fn prepend_reversed<T, A: Allocator>(deque: &mut VecDeque<T, A>, slice: &[T]) {
219-
deque.reserve(slice.len());
220-
221277
unsafe {
222278
deque.head = deque.wrap_sub(deque.head, slice.len());
223279
deque.copy_slice_reversed(deque.head, slice);

library/alloctests/tests/vec_deque.rs

Lines changed: 110 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2156,6 +2156,116 @@ fn test_extend_front_specialization_copy_slice() {
21562156
assert_eq!(v.as_slices(), ([5].as_slice(), [4, 3, 2].as_slice()));
21572157
}
21582158

2159+
#[test]
2160+
fn test_extend_front_specialization_deque_drain() {
2161+
// trigger 8 code paths: all combinations of prepend and extend_front, wrap and no wrap (src deque), wrap and no wrap (dst deque)
2162+
2163+
/// Get deque containing `[1, 2, 3, 4]`, possibly wrapping in the middle (between the 2 and 3).
2164+
fn test_deque(wrap: bool) -> VecDeque<i32> {
2165+
if wrap {
2166+
let mut v = VecDeque::with_capacity(4);
2167+
v.extend([3, 4]);
2168+
v.prepend([1, 2]);
2169+
assert_eq!(v.as_slices(), ([1, 2].as_slice(), [3, 4].as_slice()));
2170+
v
2171+
} else {
2172+
VecDeque::from([1, 2, 3, 4])
2173+
}
2174+
}
2175+
2176+
// prepend, v2.head == 0
2177+
2178+
let mut v1 = VecDeque::with_capacity(7);
2179+
2180+
let mut v2 = test_deque(false);
2181+
v1.prepend(v2.drain(..));
2182+
// drain removes all elements but keeps the buffer
2183+
assert_eq!(v2, []);
2184+
assert!(v2.capacity() >= 4);
2185+
2186+
assert_eq!(v1, [1, 2, 3, 4]);
2187+
v1.pop_back();
2188+
2189+
let mut v2 = test_deque(false);
2190+
// this should wrap around the physical buffer
2191+
v1.prepend(v2.drain(..));
2192+
// drain removes all elements but keeps the buffer
2193+
assert_eq!(v2, []);
2194+
assert!(v2.capacity() >= 4);
2195+
2196+
// check it really wrapped
2197+
assert_eq!(v1.as_slices(), ([1].as_slice(), [2, 3, 4, 1, 2, 3].as_slice()));
2198+
2199+
// extend_front, v2.head == 0
2200+
2201+
let mut v1 = VecDeque::with_capacity(7);
2202+
2203+
let mut v2 = test_deque(false);
2204+
v1.extend_front(v2.drain(..));
2205+
// drain removes all elements but keeps the buffer
2206+
assert_eq!(v2, []);
2207+
assert!(v2.capacity() >= 4);
2208+
2209+
assert_eq!(v1, [4, 3, 2, 1]);
2210+
v1.pop_back();
2211+
2212+
let mut v2 = test_deque(false);
2213+
// this should wrap around the physical buffer
2214+
v1.extend_front(v2.drain(..));
2215+
// drain removes all elements but keeps the buffer
2216+
assert_eq!(v2, []);
2217+
assert!(v2.capacity() >= 4);
2218+
2219+
// check it really wrapped
2220+
assert_eq!(v1.as_slices(), ([4].as_slice(), [3, 2, 1, 4, 3, 2].as_slice()));
2221+
2222+
// prepend, v2.head != 0
2223+
2224+
let mut v1 = VecDeque::with_capacity(7);
2225+
2226+
let mut v2 = test_deque(true);
2227+
v1.prepend(v2.drain(..));
2228+
// drain removes all elements but keeps the buffer
2229+
assert_eq!(v2, []);
2230+
assert!(v2.capacity() >= 4);
2231+
2232+
assert_eq!(v1, [1, 2, 3, 4]);
2233+
v1.pop_back();
2234+
2235+
let mut v2 = test_deque(true);
2236+
// this should wrap around the physical buffer
2237+
v1.prepend(v2.drain(..));
2238+
// drain removes all elements but keeps the buffer
2239+
assert_eq!(v2, []);
2240+
assert!(v2.capacity() >= 4);
2241+
2242+
// check it really wrapped
2243+
assert_eq!(v1.as_slices(), ([1].as_slice(), [2, 3, 4, 1, 2, 3].as_slice()));
2244+
2245+
// extend_front, v2.head != 0
2246+
2247+
let mut v1 = VecDeque::with_capacity(7);
2248+
2249+
let mut v2 = test_deque(true);
2250+
v1.extend_front(v2.drain(..));
2251+
// drain removes all elements but keeps the buffer
2252+
assert_eq!(v2, []);
2253+
assert!(v2.capacity() >= 4);
2254+
2255+
assert_eq!(v1, [4, 3, 2, 1]);
2256+
v1.pop_back();
2257+
2258+
let mut v2 = test_deque(true);
2259+
// this should wrap around the physical buffer
2260+
v1.extend_front(v2.drain(..));
2261+
// drain removes all elements but keeps the buffer
2262+
assert_eq!(v2, []);
2263+
assert!(v2.capacity() >= 4);
2264+
2265+
// check it really wrapped
2266+
assert_eq!(v1.as_slices(), ([4].as_slice(), [3, 2, 1, 4, 3, 2].as_slice()));
2267+
}
2268+
21592269
#[test]
21602270
fn test_splice() {
21612271
let mut v = VecDeque::from(vec![1, 2, 3, 4, 5]);

0 commit comments

Comments
 (0)