Expand description
Helpers for testing I/O behavior with partial, interrupted and blocking reads and writes.
This library provides:
PartialRead
andPartialWrite
, which wrap existingRead
andWrite
implementations and allow specifying arbitrary behavior on the nextread
,write
orflush
call.- With the optional
futures03
andtokio1
features,PartialAsyncRead
andPartialAsyncWrite
to wrap existingAsyncRead
andAsyncWrite
implementations. These implementations are task-aware, so they will know how to pause and unpause tasks if they return aWouldBlock
error. - With the optional
proptest1
(proptest) andquickcheck1
(quickcheck) features, generation of random sequences of operations for property-based testing. See theproptest_types
andquickcheck_types
documentation for more.
§Motivation
A Read
or Write
wrapper is conceptually simple but can be difficult to
get right, especially if the wrapper has an internal buffer. Common
issues include:
- A partial read or write, even without an error, might leave the wrapper in an invalid state (example fix).
With the AsyncRead
and AsyncWrite
provided by futures03
and tokio1
:
- A call to
read_to_end
orwrite_all
within the wrapper might be partly successful but then error out. These functions will return the error without informing the caller of how much was read or written. Wrappers with an internal buffer will want to advance their state corresponding to the partial success, so they can’t useread_to_end
orwrite_all
(example fix). - Instances must propagate
Poll::Pending
up, but that shouldn’t leave them in an invalid state.
These situations can be hard to think about and hard to test.
partial-io
can help in two ways:
- For a known bug involving any of these situations,
partial-io
can help you write a test. - With the
quickcheck1
feature enabled,partial-io
can also help shake out bugs in your wrapper. Seequickcheck_types
for more.
§Examples
use std::io::{self, Cursor, Read};
use partial_io::{PartialOp, PartialRead};
let data = b"Hello, world!".to_vec();
let cursor = Cursor::new(data); // Cursor<Vec<u8>> implements io::Read
let ops = vec![PartialOp::Limited(7), PartialOp::Err(io::ErrorKind::Interrupted)];
let mut partial_read = PartialRead::new(cursor, ops);
let mut out = vec![0; 256];
// The first read will read 7 bytes.
assert_eq!(partial_read.read(&mut out).unwrap(), 7);
assert_eq!(&out[..7], b"Hello, ");
// The second read will fail with ErrorKind::Interrupted.
assert_eq!(partial_read.read(&mut out[7..]).unwrap_err().kind(), io::ErrorKind::Interrupted);
// The iterator has run out of operations, so it no longer truncates reads.
assert_eq!(partial_read.read(&mut out[7..]).unwrap(), 6);
assert_eq!(&out[..13], b"Hello, world!");
For a real-world example, see the tests in zstd-rs
.
Modules§
- proptest_
types proptest1
Proptest support for partial IO operations. - quickcheck_
types quickcheck1
QuickCheck
support for partial IO operations.
Structs§
- Partial
Async Read futures03
A wrapper that breaks innerAsyncRead
instances up according to the provided iterator. - Partial
Async Write futures03
A wrapper that breaks innerAsyncWrite
instances up according to the provided iterator. - A reader wrapper that breaks inner
Read
instances up according to the provided iterator. - A writer wrapper that breaks inner
Write
instances up according to the provided iterator.
Enums§
- What to do the next time an IO operation is performed.
Traits§
- Read
BufExt tokio1
andfutures03
Extensions totokio
’sReadBuf
.