forked from M-Labs/artiq
1
0
Fork 0

Rust: implement receiving for all RPC types.

This commit is contained in:
whitequark 2016-10-06 10:55:54 +00:00
parent 516c6fdea9
commit 3362887d75
2 changed files with 115 additions and 22 deletions

View File

@ -1,20 +1,84 @@
use std::slice;
use std::io::{self, Read, Write}; use std::io::{self, Read, Write};
use proto::*; use proto::*;
use self::tag::{Tag, TagIterator, split_tag}; use self::tag::{Tag, TagIterator, split_tag};
fn recv_value(reader: &mut Read, tag: Tag, data: &mut *const ()) -> io::Result<()> { unsafe fn recv_value(reader: &mut Read, tag: Tag, data: &mut *mut (),
alloc: &Fn(usize) -> io::Result<*mut ()>) -> io::Result<()> {
macro_rules! consume_value {
($ty:ty, |$ptr:ident| $map:expr) => ({
let ptr = (*data) as *mut $ty;
*data = ptr.offset(1) as *mut ();
(|$ptr: *mut $ty| $map)(ptr)
})
}
match tag { match tag {
Tag::None => Ok(()), Tag::None => Ok(()),
_ => unreachable!() Tag::Bool =>
consume_value!(u8, |ptr| {
*ptr = try!(read_u8(reader)); Ok(())
}),
Tag::Int32 =>
consume_value!(u32, |ptr| {
*ptr = try!(read_u32(reader)); Ok(())
}),
Tag::Int64 | Tag::Float64 =>
consume_value!(u64, |ptr| {
*ptr = try!(read_u64(reader)); Ok(())
}),
Tag::String => {
consume_value!(*mut u8, |ptr| {
let length = try!(read_u32(reader));
// NB: the received string includes a trailing \0
*ptr = try!(alloc(length as usize)) as *mut u8;
try!(reader.read_exact(slice::from_raw_parts_mut(*ptr, length as usize)));
Ok(())
})
}
Tag::Tuple(it, arity) => {
let mut it = it.clone();
for _ in 0..arity {
let tag = it.next().expect("truncated tag");
try!(recv_value(reader, tag, data, alloc))
}
Ok(())
}
Tag::List(it) | Tag::Array(it) => {
struct List { length: u32, elements: *mut () };
consume_value!(List, |ptr| {
(*ptr).length = try!(read_u32(reader));
let tag = it.clone().next().expect("truncated tag");
(*ptr).elements = try!(alloc(tag.size() * (*ptr).length as usize));
let mut data = (*ptr).elements;
for _ in 0..(*ptr).length as usize {
try!(recv_value(reader, tag, &mut data, alloc));
}
Ok(())
})
}
Tag::Range(it) => {
let tag = it.clone().next().expect("truncated tag");
try!(recv_value(reader, tag, data, alloc));
try!(recv_value(reader, tag, data, alloc));
try!(recv_value(reader, tag, data, alloc));
Ok(())
}
Tag::Keyword(_) => unreachable!(),
Tag::Object => unreachable!()
} }
} }
pub fn recv_return(reader: &mut Read, tag_bytes: &[u8], data: *const ()) -> io::Result<()> { pub fn recv_return(reader: &mut Read, tag_bytes: &[u8], data: *mut (),
alloc: &Fn(usize) -> io::Result<*mut ()>) -> io::Result<()> {
let mut it = TagIterator::new(tag_bytes); let mut it = TagIterator::new(tag_bytes);
trace!("recv ...->{}", it); trace!("recv ...->{}", it);
let tag = it.next().expect("truncated tag");
let mut data = data; let mut data = data;
try!(recv_value(reader, it.next().expect("RPC without a return value"), &mut data)); try!(unsafe { recv_value(reader, tag, &mut data, alloc) });
Ok(()) Ok(())
} }
@ -37,26 +101,18 @@ unsafe fn send_value(writer: &mut Write, tag: Tag, data: &mut *const ()) -> io::
try!(write_u8(writer, tag.as_u8())); try!(write_u8(writer, tag.as_u8()));
match tag { match tag {
Tag::None => Ok(()), Tag::None => Ok(()),
Tag::Bool => { Tag::Bool =>
consume_value!(u8, |ptr| consume_value!(u8, |ptr|
write_u8(writer, *ptr)) write_u8(writer, *ptr)),
} Tag::Int32 =>
Tag::Int32 => {
consume_value!(u32, |ptr| consume_value!(u32, |ptr|
write_u32(writer, *ptr)) write_u32(writer, *ptr)),
} Tag::Int64 | Tag::Float64 =>
Tag::Int64 => {
consume_value!(u64, |ptr| consume_value!(u64, |ptr|
write_u64(writer, *ptr)) write_u64(writer, *ptr)),
} Tag::String =>
Tag::Float64 => {
consume_value!(u64, |ptr|
write_u64(writer, *ptr))
}
Tag::String => {
consume_value!(*const u8, |ptr| consume_value!(*const u8, |ptr|
write_string(writer, from_c_str(*ptr))) write_string(writer, from_c_str(*ptr))),
}
Tag::Tuple(it, arity) => { Tag::Tuple(it, arity) => {
let mut it = it.clone(); let mut it = it.clone();
try!(write_u8(writer, arity)); try!(write_u8(writer, arity));
@ -172,6 +228,33 @@ mod tag {
Tag::Object => b'O', Tag::Object => b'O',
} }
} }
pub fn size(self) -> usize {
match self {
Tag::None => 0,
Tag::Bool => 1,
Tag::Int32 => 4,
Tag::Int64 => 8,
Tag::Float64 => 8,
Tag::String => 4,
Tag::Tuple(it, arity) => {
let mut size = 0;
for _ in 0..arity {
let tag = it.clone().next().expect("truncated tag");
size += tag.size();
}
size
}
Tag::List(_) => 8,
Tag::Array(_) => 8,
Tag::Range(it) => {
let tag = it.clone().next().expect("truncated tag");
tag.size() * 3
}
Tag::Keyword(_) => unreachable!(),
Tag::Object => unreachable!(),
}
}
} }
#[derive(Debug, Clone, Copy)] #[derive(Debug, Clone, Copy)]
@ -245,7 +328,7 @@ mod tag {
try!(write!(f, "Float64")), try!(write!(f, "Float64")),
Tag::String => Tag::String =>
try!(write!(f, "String")), try!(write!(f, "String")),
Tag::Tuple(it, cnt) => { Tag::Tuple(it, _) => {
try!(write!(f, "Tuple(")); try!(write!(f, "Tuple("));
try!(it.fmt(f)); try!(it.fmt(f));
try!(write!(f, ")")) try!(write!(f, ")"))

View File

@ -240,7 +240,17 @@ fn process_host_message(waiter: Waiter,
match reply { match reply {
kern::RpcRecvRequest { slot } => { kern::RpcRecvRequest { slot } => {
let mut data = io::Cursor::new(data); let mut data = io::Cursor::new(data);
rpc::recv_return(&mut data, &tag, slot) rpc::recv_return(&mut data, &tag, slot, &|size| {
try!(kern_send(waiter, kern::RpcRecvReply {
alloc_size: size, exception: None
}));
kern_recv(waiter, |reply| {
match reply {
kern::RpcRecvRequest { slot } => Ok(slot),
_ => unreachable!()
}
})
})
} }
other => other =>
unexpected!("unexpected reply from kernel CPU: {:?}", other) unexpected!("unexpected reply from kernel CPU: {:?}", other)