This is part of the overall strategy I would like to take when approaching issue #11165. The only two I/O objects that reasonably want to be "split" are the network stream objects. Everything else can be "split" by just creating another version. The initial idea I had was the literally split the object into a reader and a writer half, but that would just introduce lots of clutter with extra interfaces that were a little unnnecssary, or it would return a ~Reader and a ~Writer which means you couldn't access things like the remote peer name or local socket name. The solution I found to be nicer was to just clone the stream itself. The clone is just a clone of the handle, nothing fancy going on at the kernel level. Conceptually I found this very easy to wrap my head around (everything else supports clone()), and it solved the "split" problem at the same time. The cloning support is pretty specific per platform/lib combination: * native/win32 - uses some specific WSA apis to clone the SOCKET handle * native/unix - uses dup() to get another file descriptor * green/all - This is where things get interesting. When we support full clones of a handle, this implies that we're allowing simultaneous writes and reads to happen. It turns out that libuv doesn't support two simultaneous reads or writes of the same object. It does support *one* read and *one* write at the same time, however. Some extra infrastructure was added to just block concurrent writers/readers until the previous read/write operation was completed. I've added tests to the tcp/unix modules to make sure that this functionality is supported everywhere.
163 lines
3.8 KiB
Rust
163 lines
3.8 KiB
Rust
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
|
// file at the top-level directory of this distribution and at
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
//! Miscellaneous helpers for common patterns
|
|
|
|
use cast;
|
|
use ptr;
|
|
use unstable::intrinsics;
|
|
|
|
/// The identity function.
|
|
#[inline]
|
|
pub fn id<T>(x: T) -> T { x }
|
|
|
|
/**
|
|
* Swap the values at two mutable locations of the same type, without
|
|
* deinitialising or copying either one.
|
|
*/
|
|
#[inline]
|
|
pub fn swap<T>(x: &mut T, y: &mut T) {
|
|
unsafe {
|
|
// Give ourselves some scratch space to work with
|
|
let mut tmp: T = intrinsics::uninit();
|
|
let t: *mut T = &mut tmp;
|
|
|
|
// Perform the swap, `&mut` pointers never alias
|
|
let x_raw: *mut T = x;
|
|
let y_raw: *mut T = y;
|
|
ptr::copy_nonoverlapping_memory(t, x_raw, 1);
|
|
ptr::copy_nonoverlapping_memory(x, y_raw, 1);
|
|
ptr::copy_nonoverlapping_memory(y, t, 1);
|
|
|
|
// y and t now point to the same thing, but we need to completely forget `tmp`
|
|
// because it's no longer relevant.
|
|
cast::forget(tmp);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Replace the value at a mutable location with a new one, returning the old
|
|
* value, without deinitialising or copying either one.
|
|
*/
|
|
#[inline]
|
|
pub fn replace<T>(dest: &mut T, mut src: T) -> T {
|
|
swap(dest, &mut src);
|
|
src
|
|
}
|
|
|
|
/// A type with no inhabitants
|
|
pub enum Void { }
|
|
|
|
impl Void {
|
|
/// A utility function for ignoring this uninhabited type
|
|
pub fn uninhabited(self) -> ! {
|
|
match self {
|
|
// Nothing to match on
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
#[cfg(test)]
|
|
mod tests {
|
|
use super::*;
|
|
use prelude::*;
|
|
|
|
#[test]
|
|
fn identity_crisis() {
|
|
// Writing a test for the identity function. How did it come to this?
|
|
let x = ~[(5, false)];
|
|
//FIXME #3387 assert!(x.eq(id(x.clone())));
|
|
let y = x.clone();
|
|
assert!(x.eq(&id(y)));
|
|
}
|
|
|
|
#[test]
|
|
fn test_swap() {
|
|
let mut x = 31337;
|
|
let mut y = 42;
|
|
swap(&mut x, &mut y);
|
|
assert_eq!(x, 42);
|
|
assert_eq!(y, 31337);
|
|
}
|
|
|
|
#[test]
|
|
fn test_replace() {
|
|
let mut x = Some(~"test");
|
|
let y = replace(&mut x, None);
|
|
assert!(x.is_none());
|
|
assert!(y.is_some());
|
|
}
|
|
}
|
|
|
|
/// Completely miscellaneous language-construct benchmarks.
|
|
#[cfg(test)]
|
|
mod bench {
|
|
|
|
use extra::test::BenchHarness;
|
|
use option::{Some,None};
|
|
|
|
// Static/dynamic method dispatch
|
|
|
|
struct Struct {
|
|
field: int
|
|
}
|
|
|
|
trait Trait {
|
|
fn method(&self) -> int;
|
|
}
|
|
|
|
impl Trait for Struct {
|
|
fn method(&self) -> int {
|
|
self.field
|
|
}
|
|
}
|
|
|
|
#[bench]
|
|
fn trait_vtable_method_call(bh: &mut BenchHarness) {
|
|
let s = Struct { field: 10 };
|
|
let t = &s as &Trait;
|
|
bh.iter(|| {
|
|
t.method();
|
|
});
|
|
}
|
|
|
|
#[bench]
|
|
fn trait_static_method_call(bh: &mut BenchHarness) {
|
|
let s = Struct { field: 10 };
|
|
bh.iter(|| {
|
|
s.method();
|
|
});
|
|
}
|
|
|
|
// Overhead of various match forms
|
|
|
|
#[bench]
|
|
fn match_option_some(bh: &mut BenchHarness) {
|
|
let x = Some(10);
|
|
bh.iter(|| {
|
|
let _q = match x {
|
|
Some(y) => y,
|
|
None => 11
|
|
};
|
|
});
|
|
}
|
|
|
|
#[bench]
|
|
fn match_vec_pattern(bh: &mut BenchHarness) {
|
|
let x = [1,2,3,4,5,6];
|
|
bh.iter(|| {
|
|
let _q = match x {
|
|
[1,2,3,..] => 10,
|
|
_ => 11
|
|
};
|
|
});
|
|
}
|
|
}
|