git.sesse.net Git - fjl/blob - bytesource.c

   1 #include <stdbool.h>
   2 #include <string.h>
   3 #include <assert.h>
   4
   5 #include "choice.h"
   6 #include "bytesource.h"
   7
   8 #define MARKER_CHAR 0xff
   9 #define STUFF_MARKER 0x00
  10
  11 void init_byte_source(struct byte_source* source, raw_input_func_t* input_func, void* userdata)
  12 {
  13         // TODO: should this size be a different constant?
  14         memset(source, 0, sizeof(*source));
  15         source->bytes = (uint8_t*)malloc(BYTESOURCE_CHUNK_SIZE);
  16         source->input_func = input_func;
  17         source->userdata = userdata;
  18 }
  19
  20 uint8_t byte_source_read_marker(struct byte_source* src)
  21 {
  22         // Refill until we have at least two bytes or EOF.
  23         while (src->bytes_available < 2) {
  24                 const unsigned bytes_to_read = 2 - src->bytes_available;
  25                 const ssize_t bytes_read =
  26                         (*src->input_func)(src->userdata,
  27                                            src->bytes + src->bytes_available,
  28                                            bytes_to_read);
  29                 assert(bytes_read >= -1);
  30                 assert(bytes_read <= (ssize_t)bytes_to_read);
  31
  32                 if (bytes_read == -1 || bytes_read == 0) {
  33                         return 0x00;
  34                 }
  35
  36                 src->bytes_available += bytes_read;
  37         }
  38
  39         assert(src->bytes_available >= 2);
  40         if (src->bytes[0] != MARKER_CHAR || src->bytes[1] == STUFF_MARKER) {
  41                 return 0x00;
  42         }
  43
  44         uint8_t ret = src->bytes[1];
  45         memmove(src->bytes, src->bytes + 2, src->bytes_available - 2);
  46         src->bytes_available -= 2;
  47
  48         return ret;
  49 }
  50
  51 ssize_t byte_source_input_func(void* source, uint8_t* buf, size_t len)
  52 {
  53         struct byte_source* src = (struct byte_source*)source;
  54
  55         // If there's no data in the buffer (or only a partial marker), we have
  56         // to read in more from our upstream src.
  57         while (src->bytes_available == 0 ||
  58                (src->bytes_available == 1 && src->bytes[0] == MARKER_CHAR)) {
  59                 const unsigned space_left = BYTESOURCE_CHUNK_SIZE - src->bytes_available;
  60                 const unsigned missing_data = len - src->bytes_available;
  61                 const size_t bytes_to_read = (missing_data > space_left ? space_left : missing_data);
  62                 assert(bytes_to_read <= BYTESOURCE_CHUNK_SIZE);
  63                 const ssize_t bytes_read =
  64                         (*src->input_func)(src->userdata,
  65                                            src->bytes + src->bytes_available,
  66                                            bytes_to_read);
  67                 assert(bytes_read >= -1);
  68                 assert(bytes_read <= (ssize_t)bytes_to_read);
  69
  70                 if (bytes_read == -1) {
  71                         return -1;
  72                 } else if (bytes_read == 0) {
  73                         if (src->bytes_available == 1) {
  74                                 // EOF in the middle of a marker => read error
  75                                 return -1;
  76                         } else {
  77                                 assert(src->bytes_available == 0);
  78                                 return 0;
  79                         }
  80                 }
  81
  82                 src->bytes_available += bytes_read;
  83         }
  84
  85         // Now unstuff as much as we can. First of all, if there's a 0xFF at the
  86         // end of the buffer, we don't include it this time; the unstuff function
  87         // will only give us an error since it can't decide if it's a marker or
  88         // a stuffed 0xFF.
  89         unsigned bytes_to_unstuff = src->bytes_available;
  90         bool end_marker = false;
  91         assert(bytes_to_unstuff > 0);
  92         if (src->bytes[bytes_to_unstuff - 1] == 0xff) {
  93                 --bytes_to_unstuff;
  94                 end_marker = true;
  95         }
  96
  97         // Fast path: No markers in the data, we don't have more data than we
  98         // need. We can basically just return it.
  99         if (bytes_to_unstuff <= len) {
 100                 int unstuffed_bytes = (*unstuff_choice)(buf, src->bytes, bytes_to_unstuff);
 101                 assert(unstuffed_bytes != 0);
 102                 if (unstuffed_bytes > 0) {
 103                         // Fast path: No markers in the data. We can basically just
 104                         // return it.
 105                         if (end_marker) {
 106                                 src->bytes_available = 1;
 107                                 src->bytes[0] = 0xff;
 108                         } else {
 109                                 src->bytes_available = 0;
 110                         }
 111                         return unstuffed_bytes;
 112                 }
 113         }
 114
 115         // Slow path: There was a marker in the data. Unstuff manually until
 116         // we hit the marker, then return that.
 117         unsigned bytes_read;
 118         unsigned bytes_written = 0;
 119         for (bytes_read = 0; bytes_read < bytes_to_unstuff && bytes_written < len; ++bytes_read) {
 120                 if (src->bytes[bytes_read] != MARKER_CHAR) {
 121                         buf[bytes_written++] = src->bytes[bytes_read];
 122                         continue;
 123                 }
 124
 125                 assert(bytes_read < src->bytes_available);
 126                 if (src->bytes[bytes_read + 1] == STUFF_MARKER) {
 127                         src->bytes[bytes_written++] = MARKER_CHAR;
 128
 129                         // Skip the stuff byte.
 130                         ++bytes_read;
 131                 } else {
 132                         // OK, this is our marker.
 133                         break;
 134                 }
 135         }
 136
 137         memmove(src->bytes, src->bytes + bytes_read, src->bytes_available - bytes_read);
 138         src->bytes_available -= bytes_read;
 139         return bytes_written;
 140 }