A lot of code needs to be able to accept data from different sources. Sometimes you want to load data from a file; sometimes it’s already in memory, or it’s a memory-mapped file (boils down to the same thing). If it comes from a file, you may have one file per item you want to load, or pack a bunch of related data into a “bundle” file. Finally, data may be compressed or encrypted.
If possible, the simplest solution is to just write your code to assume one such method and stick with it – the easiest usually being the “already in memory” option. This is fine, but can get problematic depending on the file format: for example, the SWF (Flash) files that Iggy loads are usually Deflate-compressed as a whole, and may contain chunks of image data that are themselves JPEG- or Deflate-compressed. Finally, Iggy wants all the data in its own format, not in the Flash file format, since even uncompressed Flash files involve a lot of bit-packing and implicit information that makes them awkward to deal with directly.
Ultimately, all we want to have in memory is our own data structures; but an implementation that expects all data to be decompressed to memory first will need a lot of extra memory (temporarily at least), which is problematic on memory-constrained platforms.
The standard solution is to get rid of the memory-centric view completely and instead implement a stream abstraction. For read-only IO (which is what I’ll be talking about here), a simple but typical (C++) implementation looks like this:
class SimpleStream {
public:
virtual ErrorCode Read(U8 *buffer, U32 numBytes,
U32 *bytesActuallyRead) = 0;
};
Code that needs to read data takes a Stream argument and calls Read when necessary to fill its input buffers. You’ll find designs like this in most C++ libraries that handle at least some degree of IO.
Simple, right?
Actually, there’s multiple problems with this approach.
For example, consider the case where the file is already loaded into memory (or memory-mapped). The app expects data to land in buffer, so our Read implementation will end up having to do a memcpy or something similar. That’s unlikely to be a performance problem if it happens only once, but it’s certainly not pretty, and if you have multiple streams nested inside each other, the overhead keeps adding up.
Somewhat more subtly, there’s the business with numBytes and bytesActuallyRead. We request some number of bytes, but may get a different number of bytes back (anything between 0 and numBytes inclusive). So client code has to be able to deal with this. In theory, “stream producer” code can use this to make things simpler; to give an example, lots of compressed formats are internally subdivided into chunks (with sizes typically somewhere between 32KB and 1MB), and it’s convenient to write the code such that a single Read will never cross a chunk boundary. In practice, a lot of the “stream consumer” code ends up being written using memory or uncompressed file streams as input, and will implicitly assume that the only cases where “partial” blocks are returned are “end of file” or error conditions (because that’s all they ever see while developing the code). This behavior may be technically wrong, but it’s common, and the actual cost (slightly more complexity in the producer code) is low enough to not usually be worth making a stand about.
So we have an API where we frequently end up having to check for and deal with what’s basically the same boundary condition on both sides of the fence. That’s a bad sign.
Finally, there’s the issue of error handling. If we’re loading from memory, there’s basically only one error condition that can happen: unexpected end, when we’ve exhausted the input buffer even though we want to read more. But for a general stream, there’s all kinds of errors that can happen: end of file, yes, but also read errors from disk, timeouts when reading from a network file system, integrity-check errors, errors decompressing or decrypting a stream, and so on. Ideally, every single caller should check error codes (and perform error handling if necessary) all the time. Again, in practice, this is rarely done everywhere, and what error-handling code is there is often poorly tested.
The problem is that checking for and reacting to error conditions everywhere is inconvenient. One solution is using exception handling; but this is, at least among game developers, a somewhat controversial C++ feature. In the case of Iggy, which is written in C, it’s not even an option (okay, there is setjmp / longjmp, which we even use in some cases – though not for IO – but let’s not go there). A different option is to write the code such that error checking isn’t required after every Read call; if possible, this is usually much nicer to use.
Without further ado, here’s a different stream abstraction:
struct BufferedStream {
const U8 *start; // Start of buffer.
const U8 *end; // (One past) end of buffer
// i.e. buffer_size = end-start.
const U8 *cursor; // Cursor in buffer.
// Invariant: start <= cursor <= end.
ErrorCode error; // Initialized to NoError.
ErrorCode (*Refill)(BufferedStream *s);
// Pre-condition: cursor == end (buffer fully consumed).
// Post-condition: start == cursor < end.
// Always returns "error".
};
There’s 3 big conceptual differences here:
Read function has been replaced with a Refill function, which reads in an unspecified amount of bytes – the one guarantee here is that at least one more byte will be returned, even in case of error; more about that later. Also note it’s a function pointer, not a virtual function. Again, there’s a good reason for that.Read, there’s a persistent error variable – think errno (but local to the given stream, which avoids the serious problems that hamper the ‘real’ errno).Note that this abstraction is both more general and more specific than the stream abstraction above: more general in the sense that it’s easy to implement SimpleStream::Read on top of the BufferedStream abstraction (I’ll get to that in a second), and more specific in the sense that all BufferedStream implementations are, by necessity, buffered (it might just be a one-byte-buffer, but it’s there). It’s also lower-level; the buffer isn’t encapsulated, it’s visible to client code. That turns out to be fairly important. Instead of elaborating, I’m gonna present a series of examples that demonstrate some of the strengths of this approach.
Probably the simplest implementation of this interface just generates an infinite stream of zeros:
static ErrorCode refillZeros(BufferedStream *s)
{
static const U8 zeros[256] = { 0 };
s->start = zeros;
s->cursor = zeros;
s->end = zeros + sizeof(zeros);
return s->error;
}
static void initZeroStream(BufferedStream *s)
{
s->Refill = refillZeros;
s->error = NoError;
s->Refill(s);
}
Not much to say here: whenever Refill is called, we reset the pointers to go over the same array of zeros again (the count of 256 is completely arbitrary; you could just as well use 1, but then you’d end up calling Refill a lot).
For the next step up, here’s a stream that reads either directly from memory, or from a memory-mapped file:
static ErrorCode fail(BufferedStream *s, ErrorCode reason)
{
// For errors: Set the error status, then continue returning
// zeros indefinitely.
s->error = reason;
s->Refill = refillZeros;
return s->Refill(s);
}
static ErrorCode refillMemStream(BufferedStream *s)
{
// If this gets called, clients wants to read past the end of
// the memory buffer, which is an error.
return fail(s, ReadPastEOF);
}
static void initMemStream(BufferedStream *s, U8 *mem, size_t size)
{
s->start = mem;
s->cursor = mem;
s->end = mem + size;
s->error = NoError;
s->Refill = refillMemStream;
}
The init function isn’t very interesting, but the Refill part deserves some explanation: As mentioned before, the client calls Refill when it’s finished with the current buffer and still needs more data. In this case, the “buffer” was all the data we had; therefore, if we ever try to refill, that means the client is trying to read past the end-of-file, which is an error, so we call fail, which first sets the error code. We then change the refill function pointer to refillZeros, our previous example: in other words, if the client tries to read past the end of file, they’ll get an infinite stream of zeros (satisfying our above invariant that Refill always returns at least one more byte). But the error flag will be set, and since refillZeros doesn’t touch it, it will stay the way it was.
In effect, making Refill a function pointer allows us to implicitly turn any stream into a state machine. This is a powerful facility, and it’s great for this kind of error handling and to deal with certain compressed formats (more later), but like any kind of state machine, it quickly gets more confusing than it’s worth if there’s more than a handful of states.
Anyway, there’s one more thing worth pointing out: there’s no copying here. A from-memory implementation of SimpleStream would need to do a memcpy (or something equivalent) in its Read function, but since we don’t let the client decide where the data ends up, we can just point it directly to the original bytes without doing any extra work. Because forwarding is effectively free, it makes it easy to decouple “framing” from data processing even in performance-critical code.
Case in point: JPEG data. JPEG files interleave compressed bitstream data and metadata. Metadata exists in several types and is denoted by a special code, a so-called “marker”. A marker consists of an all-1-bits byte (0xff) followed by a nonzero byte. Because the compressed bitstream can contain 0xff bytes too, they need to be escaped using the special code 0xff 0x00 (which is not interpreted as a marker). Thus code that reads JPEG data needs to look at every byte read, check if it’s 0xff, and if so look at the next byte to figure out whether it’s part of a marker or just an escape code. Having to do this in the decoder inner loop is both annoying (because it complicates the code) and slow (because it forces byte-wise processing and adds a bunch of branches). It’s much nicer to do it in a separate pass, and with this approach we can naturally phrase it as a layered stream (I’ll skip the initialization this time):
struct JPEGDataStream : public BufferedStream {
BufferedStream *src; // Read from here
};
static ErrorCode refillJPEG_lastWasFF(BufferedStream *s);
static ErrorCode refillJPEG(BufferedStream *str)
{
JPEGDataStream *j = (JPEGDataStream *)str;
BufferedStream *s = j->src;
// Refill if necessary and check for errors
if (s->cursor == s->end) {
if (s->Refill(s) != NoError)
return fail(str, s->error);
}
// Find next 0xff byte (if any)
U8 *next_ff = memchr(s->cursor, 0xff, s->end - s->cursor);
if (next_ff) {
// return bytes until 0xff,
// continue with refillJPEG_lastWasFF.
j->start = s->cursor;
j->cursor = s->cursor; // EDIT typo fixed (was "current")
j->end = next_ff;
j->Refill = refillJPEG_lastWasFF;
s->cursor = next_ff + 1; // mark 0xff byte as read
} else {
// return all of current buffer
j->start = s->cursor;
j->cursor = s->cursor;
j->end = s->end;
s->cursor = s->end; // read everything
}
}
static ErrorCode refillJPEG_lastWasFF(BufferedStream *str)
{
static const U8 one_ff[1] = { 0xff };
JPEGDataStream *j = (JPEGDataStream *)str;
BufferedStream *s = j->src;
// Refill if necessary and check for errors
if (s->cursor == s->end) {
if (s->Refill(s) != NoError)
return fail(str, s->error);
}
// Process marker type byte
switch (*s->cursor++) {
case 0x00:
// Not a marker, just an escaped 0xff!
// Return one 0xff byte, then resume regular parsing.
j->start = one_ff;
j->cursor = one_ff;
j->end = one_ff + 1;
j->Refill = refillJPEG;
break;
// Was a marker. Handle other cases here...
case 0xff: // 0xff 0xff is invalid in JPEG
return fail(str, CorruptedData);
default:
return fail(str, UnknownMarker);
}
}
It’s a bit more code than the preceding examples, but it demonstrates how streams can be “layered” and also nicely shows how the implicit state machine can be useful.
This clearly solves the first issue I raised – there’s no unnecessary copying going on. The interface is also really simple: Everything is in memory. Client code still has to deal with partial results, but because the client never gets to specify how much data to read in the first place, the interface makes it a lot clearer that handling this case is necessary. It also makes it a lot more common, which goes a long way towards making sure that it gets handled. Finally, error handling – this is only partially resolved, but the invariants have been picked to make the life of client code as easy as possible: All errors are “sticky”, so there’s no risk of “missing” an error if you do something else in between doing the read and checking for errors (a typical issue with errno, GetLastError and the like). And our error-“refill” functions still return data (albeit just zeros in these examples). These two things together mean that, in practice, you only really need to check for errors inside loops that might not terminate otherwise. In all other cases, you will fall through to the end of functions eventually; as long as you check the error code before you dispose of the stream, it will be noticed.
One really cool thing you can do with this type of approach (that I don’t want to discuss in full or with code because it would get lengthy and is really only interesting to a handful of people) is give the client pointers into the window in a LZ77-type compressor. This completely removes the need for any separate output buffers, saving a lot of copying and some small amount of memory. This is especially nice on memory-constrained targets like SPUs. In general, giving the producer (instead of the consumer) control over where the buffer is in memory allows producer code to use ring buffers (like a LZ77 window) completely transparently, which I think is pretty cool.
There’s a lot more that could be said about this, and initially I wanted to, but I didn’t want to make this too long; better have two medium-sized posts than one huge post that nobody reads to the finish. Besides, it means I can base a potential second post on actual questions I get, rather than having to guess what questions you might have, which I’m not very good at.
]]>