2017-01-11 12:05:41 +08:00
|
|
|
use managed::ManagedSlice;
|
|
|
|
use core::slice;
|
|
|
|
|
|
|
|
use super::Socket;
|
2017-01-17 10:47:14 +08:00
|
|
|
use super::TcpState;
|
|
|
|
|
|
|
|
/// An item of a socket set.
|
|
|
|
///
|
|
|
|
/// The only reason this struct is public is to allow the socket set storage
|
|
|
|
/// to be allocated externally.
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Item<'a, 'b: 'a> {
|
|
|
|
socket: Socket<'a, 'b>,
|
|
|
|
refs: usize
|
|
|
|
}
|
2017-01-11 12:05:41 +08:00
|
|
|
|
|
|
|
/// A handle, identifying a socket in a set.
|
2017-01-12 12:09:41 +08:00
|
|
|
#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Clone, Copy)]
|
2017-01-11 12:05:41 +08:00
|
|
|
pub struct Handle {
|
|
|
|
index: usize
|
|
|
|
}
|
|
|
|
|
|
|
|
/// An extensible set of sockets, with stable numeric identifiers.
|
2017-01-17 10:47:14 +08:00
|
|
|
///
|
|
|
|
/// The lifetimes `'b` and `'c` are used when storing a `Socket<'b, 'c>`.
|
2017-01-12 12:28:34 +08:00
|
|
|
#[derive(Debug)]
|
2017-01-11 12:05:41 +08:00
|
|
|
pub struct Set<'a, 'b: 'a, 'c: 'a + 'b> {
|
2017-01-17 10:47:14 +08:00
|
|
|
sockets: ManagedSlice<'a, Option<Item<'b, 'c>>>
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'b: 'a, 'c: 'a + 'b> Set<'a, 'b, 'c> {
|
|
|
|
/// Create a socket set using the provided storage.
|
|
|
|
pub fn new<SocketsT>(sockets: SocketsT) -> Set<'a, 'b, 'c>
|
2017-01-17 10:47:14 +08:00
|
|
|
where SocketsT: Into<ManagedSlice<'a, Option<Item<'b, 'c>>>> {
|
2017-01-11 12:05:41 +08:00
|
|
|
let sockets = sockets.into();
|
|
|
|
Set {
|
|
|
|
sockets: sockets
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-01-17 10:47:14 +08:00
|
|
|
/// Add a socket to the set with the reference count 1, and return its handle.
|
2017-01-11 12:05:41 +08:00
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
/// This function panics if the storage is fixed-size (not a `Vec`) and is full.
|
2017-01-17 10:47:14 +08:00
|
|
|
pub fn add(&mut self, socket: Socket<'b, 'c>) -> Handle {
|
|
|
|
fn put<'b, 'c>(index: usize, slot: &mut Option<Item<'b, 'c>>,
|
|
|
|
mut socket: Socket<'b, 'c>) -> Handle {
|
|
|
|
net_trace!("[{}]: adding", index);
|
|
|
|
socket.set_debug_id(index);
|
|
|
|
*slot = Some(Item { socket: socket, refs: 1 });
|
|
|
|
return Handle { index: index }
|
|
|
|
}
|
|
|
|
|
2017-01-11 12:05:41 +08:00
|
|
|
for (index, slot) in self.sockets.iter_mut().enumerate() {
|
|
|
|
if slot.is_none() {
|
2017-01-17 10:47:14 +08:00
|
|
|
return put(index, slot, socket)
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
match self.sockets {
|
|
|
|
ManagedSlice::Borrowed(_) => {
|
|
|
|
panic!("adding a socket to a full SocketSet")
|
|
|
|
}
|
|
|
|
ManagedSlice::Owned(ref mut sockets) => {
|
2017-01-17 10:47:14 +08:00
|
|
|
sockets.push(None);
|
|
|
|
let index = sockets.len() - 1;
|
|
|
|
return put(index, &mut sockets[index], socket)
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
}
|
2017-01-17 10:47:14 +08:00
|
|
|
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Get a socket from the set by its handle.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
/// This function may panic if the handle does not belong to this socket set.
|
2017-01-12 12:09:41 +08:00
|
|
|
pub fn get(&self, handle: Handle) -> &Socket<'b, 'c> {
|
2017-01-17 10:47:14 +08:00
|
|
|
&self.sockets[handle.index]
|
|
|
|
.as_ref()
|
|
|
|
.expect("handle does not refer to a valid socket")
|
|
|
|
.socket
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Get a socket from the set by its handle, as mutable.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
/// This function may panic if the handle does not belong to this socket set.
|
2017-01-12 12:09:41 +08:00
|
|
|
pub fn get_mut(&mut self, handle: Handle) -> &mut Socket<'b, 'c> {
|
2017-01-17 10:47:14 +08:00
|
|
|
&mut self.sockets[handle.index]
|
|
|
|
.as_mut()
|
|
|
|
.expect("handle does not refer to a valid socket")
|
|
|
|
.socket
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove a socket from the set, without changing its state.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
/// This function may panic if the handle does not belong to this socket set.
|
|
|
|
pub fn remove(&mut self, handle: Handle) -> Socket<'b, 'c> {
|
|
|
|
net_trace!("[{}]: removing", handle.index);
|
|
|
|
match self.sockets[handle.index].take() {
|
|
|
|
Some(item) => item.socket,
|
|
|
|
None => panic!("handle does not refer to a valid socket")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Increase reference count by 1.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
/// This function may panic if the handle does not belong to this socket set.
|
|
|
|
pub fn retain(&mut self, handle: Handle) {
|
2017-01-11 12:05:41 +08:00
|
|
|
self.sockets[handle.index]
|
|
|
|
.as_mut()
|
2017-01-12 12:09:41 +08:00
|
|
|
.expect("handle does not refer to a valid socket")
|
2017-01-17 10:47:14 +08:00
|
|
|
.refs += 1
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
2017-01-17 10:47:14 +08:00
|
|
|
/// Decrease reference count by 1.
|
2017-01-11 12:05:41 +08:00
|
|
|
///
|
|
|
|
/// # Panics
|
2017-01-17 10:47:14 +08:00
|
|
|
/// This function may panic if the handle does not belong to this socket set,
|
|
|
|
/// or if the reference count is already zero.
|
|
|
|
pub fn release(&mut self, handle: Handle) {
|
|
|
|
let refs = &mut self.sockets[handle.index]
|
|
|
|
.as_mut()
|
|
|
|
.expect("handle does not refer to a valid socket")
|
|
|
|
.refs;
|
|
|
|
if *refs == 0 { panic!("decreasing reference count past zero") }
|
|
|
|
*refs -= 1
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Prune the sockets in this set.
|
|
|
|
///
|
|
|
|
/// Pruning affects sockets with reference count 0. Open sockets are closed.
|
|
|
|
/// Closed sockets are removed and dropped.
|
|
|
|
pub fn prune(&mut self) {
|
|
|
|
for item in self.sockets.iter_mut() {
|
|
|
|
let mut may_remove = false;
|
|
|
|
if let &mut Some(Item { refs: 0, ref socket }) = item {
|
|
|
|
match socket {
|
|
|
|
&Socket::Udp(_) =>
|
|
|
|
may_remove = true,
|
|
|
|
&Socket::Tcp(ref socket) =>
|
|
|
|
may_remove = socket.state() == TcpState::Closed,
|
|
|
|
&Socket::__Nonexhaustive => unreachable!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if may_remove {
|
|
|
|
*item = None
|
|
|
|
}
|
|
|
|
}
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Iterate every socket in this set.
|
|
|
|
pub fn iter<'d>(&'d self) -> Iter<'d, 'b, 'c> {
|
|
|
|
Iter { lower: self.sockets.iter() }
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Iterate every socket in this set, as mutable.
|
|
|
|
pub fn iter_mut<'d>(&'d mut self) -> IterMut<'d, 'b, 'c> {
|
|
|
|
IterMut { lower: self.sockets.iter_mut() }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Immutable socket set iterator.
|
|
|
|
///
|
|
|
|
/// This struct is created by the [iter](struct.SocketSet.html#method.iter)
|
|
|
|
/// on [socket sets](struct.SocketSet.html).
|
|
|
|
pub struct Iter<'a, 'b: 'a, 'c: 'a + 'b> {
|
2017-01-17 10:47:14 +08:00
|
|
|
lower: slice::Iter<'a, Option<Item<'b, 'c>>>
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'b: 'a, 'c: 'a + 'b> Iterator for Iter<'a, 'b, 'c> {
|
|
|
|
type Item = &'a Socket<'b, 'c>;
|
|
|
|
|
|
|
|
fn next(&mut self) -> Option<Self::Item> {
|
2017-01-17 10:47:14 +08:00
|
|
|
while let Some(item_opt) = self.lower.next() {
|
|
|
|
if let Some(item) = item_opt.as_ref() {
|
|
|
|
return Some(&item.socket)
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Mutable socket set iterator.
|
|
|
|
///
|
|
|
|
/// This struct is created by the [iter_mut](struct.SocketSet.html#method.iter_mut)
|
|
|
|
/// on [socket sets](struct.SocketSet.html).
|
|
|
|
pub struct IterMut<'a, 'b: 'a, 'c: 'a + 'b> {
|
2017-01-17 10:47:14 +08:00
|
|
|
lower: slice::IterMut<'a, Option<Item<'b, 'c>>>
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'b: 'a, 'c: 'a + 'b> Iterator for IterMut<'a, 'b, 'c> {
|
|
|
|
type Item = &'a mut Socket<'b, 'c>;
|
|
|
|
|
|
|
|
fn next(&mut self) -> Option<Self::Item> {
|
2017-01-17 10:47:14 +08:00
|
|
|
while let Some(item_opt) = self.lower.next() {
|
|
|
|
if let Some(item) = item_opt.as_mut() {
|
|
|
|
return Some(&mut item.socket)
|
2017-01-11 12:05:41 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|