Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 1 | // Copyright 2018 The Wuffs Authors. |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // https://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
Nigel Tao | 670b45b | 2019-02-02 08:10:08 +1100 | [diff] [blame^] | 15 | // ---------------- |
| 16 | |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 17 | // This file contains a hand-written C benchmark of different strategies for |
| 18 | // decoding PNG data. |
| 19 | // |
| 20 | // For a PNG image with width W and height H, the H rows can be decompressed |
| 21 | // one-at-a-time or all-at-once. Roughly speaking, this corresponds to H versus |
| 22 | // 1 call into the zlib decoder. The former (call it "fragmented dst") requires |
| 23 | // less scratch-space memory than the latter ("full dst"): 2 * bytes_per_row |
| 24 | // instead of H * bytes_per row, but the latter can be faster. |
| 25 | // |
| 26 | // The zlib-compressed data can be split into multiple IDAT chunks. Similarly, |
| 27 | // these chunks can be decompressed separately ("fragmented IDAT") or together |
| 28 | // ("full IDAT"), again providing a memory vs speed trade-off. |
| 29 | // |
| 30 | // This program reports the speed of combining the independent frag/full dst |
| 31 | // and frag/full IDAT techniques. |
| 32 | // |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 33 | // For example, with gcc 7.3 (and -O3) as of January 2019: |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 34 | // |
| 35 | // On ../test/data/hat.png (90 × 112 pixels): |
| 36 | // name time/op relative |
Nigel Tao | c6a48b3 | 2019-01-19 10:50:40 +1100 | [diff] [blame] | 37 | // FragDstFragIDAT/gcc 289µs ± 1% 1.00x |
| 38 | // FragDstFullIDAT/gcc 288µs ± 0% 1.00x |
| 39 | // FullDstFragIDAT/gcc 149µs ± 1% 1.93x |
| 40 | // FullDstFullIDAT/gcc 148µs ± 1% 1.95x |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 41 | // |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 42 | // On ../test/data/hibiscus.regular.png (312 × 442 pixels): |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 43 | // name time/op relative |
Nigel Tao | c6a48b3 | 2019-01-19 10:50:40 +1100 | [diff] [blame] | 44 | // FragDstFragIDAT/gcc 2.49ms ± 0% 1.00x |
| 45 | // FragDstFullIDAT/gcc 2.49ms ± 0% 1.00x |
| 46 | // FullDstFragIDAT/gcc 2.08ms ± 0% 1.20x |
| 47 | // FullDstFullIDAT/gcc 2.02ms ± 1% 1.23x |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 48 | // |
| 49 | // On ../test/data/harvesters.png (1165 × 859 pixels): |
| 50 | // name time/op relative |
Nigel Tao | c6a48b3 | 2019-01-19 10:50:40 +1100 | [diff] [blame] | 51 | // FragDstFragIDAT/gcc 15.6ms ± 2% 1.00x |
| 52 | // FragDstFullIDAT/gcc 15.4ms ± 0% 1.01x |
| 53 | // FullDstFragIDAT/gcc 14.4ms ± 0% 1.08x |
| 54 | // FullDstFullIDAT/gcc 14.1ms ± 0% 1.10x |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 55 | |
| 56 | #include <errno.h> |
| 57 | #include <inttypes.h> |
| 58 | #include <stdio.h> |
| 59 | #include <string.h> |
| 60 | #include <sys/time.h> |
| 61 | #include <unistd.h> |
| 62 | |
Nigel Tao | a0bafff | 2018-07-14 08:59:36 +1000 | [diff] [blame] | 63 | // Wuffs ships as a "single file C library" or "header file library" as per |
| 64 | // https://github.com/nothings/stb/blob/master/docs/stb_howto.txt |
| 65 | // |
| 66 | // To use that single file as a "foo.c"-like implementation, instead of a |
| 67 | // "foo.h"-like header, #define WUFFS_IMPLEMENTATION before #include'ing or |
| 68 | // compiling it. |
| 69 | #define WUFFS_IMPLEMENTATION |
| 70 | |
Jimmy Casey | 3c50ada | 2018-07-26 17:12:19 +0000 | [diff] [blame] | 71 | // If building this program in an environment that doesn't easily accommodate |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 72 | // relative includes, you can use the script/inline-c-relative-includes.go |
| 73 | // program to generate a stand-alone C file. |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 74 | #include "../release/c/wuffs-unsupported-snapshot.c" |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 75 | |
| 76 | // The order matters here. Clang also defines "__GNUC__". |
| 77 | #if defined(__clang__) |
| 78 | const char* cc = "clang"; |
| 79 | const char* cc_version = __clang_version__; |
| 80 | #elif defined(__GNUC__) |
| 81 | const char* cc = "gcc"; |
| 82 | const char* cc_version = __VERSION__; |
| 83 | #elif defined(_MSC_VER) |
| 84 | const char* cc = "cl"; |
| 85 | const char* cc_version = "???"; |
| 86 | #else |
| 87 | const char* cc = "cc"; |
| 88 | const char* cc_version = "???"; |
| 89 | #endif |
| 90 | |
| 91 | static inline uint32_t load_u32be(uint8_t* p) { |
| 92 | return ((uint32_t)(p[0]) << 24) | ((uint32_t)(p[1]) << 16) | |
| 93 | ((uint32_t)(p[2]) << 8) | ((uint32_t)(p[3]) << 0); |
| 94 | } |
| 95 | |
| 96 | // Limit the input PNG image (and therefore its IDAT data) to (64 MiB - 1 byte) |
| 97 | // compressed, in up to 1024 IDAT chunks, and 256 MiB and 16384 × 16384 pixels |
| 98 | // uncompressed. This is a limitation of this program (which uses the Wuffs |
| 99 | // standard library), not a limitation of Wuffs per se. |
| 100 | #define DST_BUFFER_SIZE (256 * 1024 * 1024) |
| 101 | #define SRC_BUFFER_SIZE (64 * 1024 * 1024) |
| 102 | #define MAX_DIMENSION (16384) |
| 103 | #define MAX_IDAT_CHUNKS (1024) |
| 104 | |
| 105 | uint8_t dst_buffer[DST_BUFFER_SIZE] = {0}; |
| 106 | size_t dst_len = 0; |
| 107 | uint8_t src_buffer[SRC_BUFFER_SIZE] = {0}; |
| 108 | size_t src_len = 0; |
| 109 | uint8_t idat_buffer[SRC_BUFFER_SIZE] = {0}; |
| 110 | // The n'th IDAT chunk data (where n is a zero-based count) is in |
| 111 | // idat_buffer[i:j], where i = idat_splits[n+0] and j = idat_splits[n+1]. |
| 112 | size_t idat_splits[MAX_IDAT_CHUNKS + 1] = {0}; |
| 113 | uint32_t num_idat_chunks = 0; |
| 114 | |
| 115 | uint32_t width = 0; |
| 116 | uint32_t height = 0; |
| 117 | uint64_t bytes_per_pixel = 0; |
| 118 | uint64_t bytes_per_row = 0; |
| 119 | uint64_t bytes_per_frame = 0; |
| 120 | |
| 121 | const char* read_stdin() { |
| 122 | while (src_len < SRC_BUFFER_SIZE) { |
| 123 | const int stdin_fd = 0; |
| 124 | ssize_t n = read(stdin_fd, src_buffer + src_len, SRC_BUFFER_SIZE - src_len); |
| 125 | if (n > 0) { |
| 126 | src_len += n; |
| 127 | } else if (n == 0) { |
| 128 | return NULL; |
| 129 | } else if (errno == EINTR) { |
| 130 | // No-op. |
| 131 | } else { |
| 132 | return strerror(errno); |
| 133 | } |
| 134 | } |
| 135 | return "input is too large"; |
| 136 | } |
| 137 | |
| 138 | const char* process_png_chunks(uint8_t* p, size_t n) { |
| 139 | while (n > 0) { |
| 140 | // Process the 8 byte chunk header. |
| 141 | if (n < 8) { |
| 142 | return "invalid PNG chunk"; |
| 143 | } |
| 144 | uint32_t chunk_len = load_u32be(p + 0); |
| 145 | uint32_t chunk_type = load_u32be(p + 4); |
| 146 | p += 8; |
| 147 | n -= 8; |
| 148 | |
| 149 | // Process the chunk payload. |
| 150 | if (n < chunk_len) { |
| 151 | return "short PNG chunk data"; |
| 152 | } |
| 153 | switch (chunk_type) { |
| 154 | case 0x49484452: // "IHDR" |
| 155 | if (chunk_len != 13) { |
| 156 | return "invalid PNG IDAT chunk"; |
| 157 | } |
| 158 | width = load_u32be(p + 0); |
| 159 | height = load_u32be(p + 4); |
| 160 | if ((width == 0) || (height == 0)) { |
| 161 | return "image dimensions are too small"; |
| 162 | } |
| 163 | if ((width > MAX_DIMENSION) || (height > MAX_DIMENSION)) { |
| 164 | return "image dimensions are too large"; |
| 165 | } |
| 166 | if (p[8] != 8) { |
| 167 | return "unsupported PNG bit depth"; |
| 168 | } |
| 169 | if (bytes_per_pixel != 0) { |
| 170 | return "duplicate PNG IHDR chunk"; |
| 171 | } |
| 172 | // Process the color type, as per the PNG spec table 11.1. |
| 173 | switch (p[9]) { |
| 174 | case 0: |
| 175 | bytes_per_pixel = 1; |
| 176 | break; |
| 177 | case 2: |
| 178 | bytes_per_pixel = 3; |
| 179 | break; |
| 180 | case 3: |
| 181 | bytes_per_pixel = 1; |
| 182 | break; |
| 183 | case 4: |
| 184 | bytes_per_pixel = 2; |
| 185 | break; |
| 186 | case 6: |
| 187 | bytes_per_pixel = 4; |
| 188 | break; |
| 189 | default: |
| 190 | return "unsupported PNG color type"; |
| 191 | } |
| 192 | if (p[12] != 0) { |
| 193 | return "unsupported PNG interlacing"; |
| 194 | } |
| 195 | break; |
| 196 | |
| 197 | case 0x49444154: // "IDAT" |
| 198 | if (num_idat_chunks == MAX_IDAT_CHUNKS - 1) { |
| 199 | return "too many IDAT chunks"; |
| 200 | } |
| 201 | memcpy(idat_buffer + idat_splits[num_idat_chunks], p, chunk_len); |
| 202 | idat_splits[num_idat_chunks + 1] = |
| 203 | idat_splits[num_idat_chunks] + chunk_len; |
| 204 | num_idat_chunks++; |
| 205 | break; |
| 206 | } |
| 207 | p += chunk_len; |
| 208 | n -= chunk_len; |
| 209 | |
| 210 | // Process (and ignore) the 4 byte chunk footer (a checksum). |
| 211 | if (n < 4) { |
| 212 | return "invalid PNG chunk"; |
| 213 | } |
| 214 | p += 4; |
| 215 | n -= 4; |
| 216 | } |
| 217 | return NULL; |
| 218 | } |
| 219 | |
| 220 | const char* decode_once(bool frag_dst, bool frag_idat) { |
Nigel Tao | a0bafff | 2018-07-14 08:59:36 +1000 | [diff] [blame] | 221 | wuffs_zlib__decoder dec = ((wuffs_zlib__decoder){}); |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 222 | const char* status = |
| 223 | wuffs_zlib__decoder__check_wuffs_version(&dec, sizeof dec, WUFFS_VERSION); |
| 224 | if (status) { |
| 225 | return status; |
| 226 | } |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 227 | |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 228 | wuffs_base__io_buffer dst = ((wuffs_base__io_buffer){ |
| 229 | .data = ((wuffs_base__slice_u8){ |
| 230 | .ptr = dst_buffer, |
| 231 | .len = bytes_per_frame, |
| 232 | }), |
| 233 | }); |
| 234 | wuffs_base__io_buffer idat = ((wuffs_base__io_buffer){ |
| 235 | .data = ((wuffs_base__slice_u8){ |
| 236 | .ptr = idat_buffer, |
| 237 | .len = SRC_BUFFER_SIZE, |
| 238 | }), |
| 239 | .meta = ((wuffs_base__io_buffer_meta){ |
| 240 | .wi = idat_splits[num_idat_chunks], |
| 241 | .ri = 0, |
| 242 | .pos = 0, |
| 243 | .closed = true, |
| 244 | }), |
| 245 | }); |
Nigel Tao | 8827e22 | 2018-04-27 20:54:44 +1000 | [diff] [blame] | 246 | wuffs_base__io_writer dst_writer = wuffs_base__io_buffer__writer(&dst); |
| 247 | wuffs_base__io_reader idat_reader = wuffs_base__io_buffer__reader(&idat); |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 248 | |
| 249 | uint32_t i = 0; // Number of dst fragments processed, if frag_dst. |
| 250 | if (frag_dst) { |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 251 | dst.data.len = bytes_per_row; |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 252 | } |
| 253 | |
| 254 | uint32_t j = 0; // Number of IDAT fragments processed, if frag_idat. |
| 255 | if (frag_idat) { |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 256 | idat.meta.wi = idat_splits[1]; |
| 257 | idat.meta.closed = (num_idat_chunks == 1); |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 258 | } |
| 259 | |
| 260 | while (true) { |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 261 | status = |
| 262 | wuffs_zlib__decoder__decode_io_writer(&dec, dst_writer, idat_reader); |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 263 | |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 264 | if (!status) { |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 265 | break; |
| 266 | } |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 267 | if ((status == wuffs_base__suspension__short_write) && frag_dst && |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 268 | (i < height - 1)) { |
| 269 | i++; |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 270 | dst.data.len = bytes_per_row * (i + 1); |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 271 | continue; |
| 272 | } |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 273 | if ((status == wuffs_base__suspension__short_read) && frag_idat && |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 274 | (j < num_idat_chunks - 1)) { |
| 275 | j++; |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 276 | idat.meta.wi = idat_splits[j + 1]; |
| 277 | idat.meta.closed = (num_idat_chunks == j + 1); |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 278 | continue; |
| 279 | } |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 280 | return status; |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 281 | } |
| 282 | |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 283 | if (dst.meta.wi != bytes_per_frame) { |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 284 | return "unexpected number of bytes decoded"; |
| 285 | } |
| 286 | return NULL; |
| 287 | } |
| 288 | |
| 289 | const char* decode(bool frag_dst, bool frag_idat) { |
| 290 | int reps; |
| 291 | if (bytes_per_frame < 100000) { |
| 292 | reps = 1000; |
| 293 | } else if (bytes_per_frame < 1000000) { |
| 294 | reps = 100; |
| 295 | } else if (bytes_per_frame < 10000000) { |
| 296 | reps = 10; |
| 297 | } else { |
| 298 | reps = 1; |
| 299 | } |
| 300 | |
| 301 | struct timeval bench_start_tv; |
| 302 | gettimeofday(&bench_start_tv, NULL); |
| 303 | |
| 304 | int i; |
| 305 | for (i = 0; i < reps; i++) { |
| 306 | const char* msg = decode_once(frag_dst, frag_idat); |
| 307 | if (msg) { |
| 308 | return msg; |
| 309 | } |
| 310 | } |
| 311 | |
| 312 | struct timeval bench_finish_tv; |
| 313 | gettimeofday(&bench_finish_tv, NULL); |
| 314 | int64_t micros = |
| 315 | (int64_t)(bench_finish_tv.tv_sec - bench_start_tv.tv_sec) * 1000000 + |
| 316 | (int64_t)(bench_finish_tv.tv_usec - bench_start_tv.tv_usec); |
| 317 | uint64_t nanos = 1; |
| 318 | if (micros > 0) { |
| 319 | nanos = (uint64_t)(micros)*1000; |
| 320 | } |
| 321 | |
| 322 | printf("Benchmark%sDst%sIDAT/%s\t%8d\t%8" PRIu64 " ns/op\n", |
| 323 | frag_dst ? "Frag" : "Full", // |
| 324 | frag_idat ? "Frag" : "Full", // |
| 325 | cc, reps, nanos / reps); |
| 326 | |
| 327 | return NULL; |
| 328 | } |
| 329 | |
| 330 | int fail(const char* msg) { |
| 331 | const int stderr_fd = 2; |
| 332 | write(stderr_fd, msg, strnlen(msg, 4095)); |
| 333 | write(stderr_fd, "\n", 1); |
| 334 | return 1; |
| 335 | } |
| 336 | |
| 337 | int main(int argc, char** argv) { |
| 338 | const char* msg = read_stdin(); |
| 339 | if (msg) { |
| 340 | return fail(msg); |
| 341 | } |
Nigel Tao | 95d02ee | 2019-01-12 12:34:40 +1100 | [diff] [blame] | 342 | if ((src_len < 8) || |
| 343 | strncmp((const char*)(src_buffer), "\x89PNG\x0D\x0A\x1A\x0A", 8)) { |
Nigel Tao | d2075ce | 2018-04-25 15:26:29 +1000 | [diff] [blame] | 344 | return fail("invalid PNG"); |
| 345 | } |
| 346 | msg = process_png_chunks(src_buffer + 8, src_len - 8); |
| 347 | if (msg) { |
| 348 | return fail(msg); |
| 349 | } |
| 350 | if (bytes_per_pixel == 0) { |
| 351 | return fail("missing PNG IHDR chunk"); |
| 352 | } |
| 353 | if (num_idat_chunks == 0) { |
| 354 | return fail("missing PNG IDAT chunk"); |
| 355 | } |
| 356 | // The +1 here is for the per-row filter byte. |
| 357 | bytes_per_row = (uint64_t)width * bytes_per_pixel + 1; |
| 358 | bytes_per_frame = (uint64_t)height * bytes_per_row; |
| 359 | if (bytes_per_frame > DST_BUFFER_SIZE) { |
| 360 | return fail("decompressed data is too large"); |
| 361 | } |
| 362 | |
| 363 | printf("# %s version %s\n#\n", cc, cc_version); |
| 364 | printf( |
| 365 | "# The output format, including the \"Benchmark\" prefixes, is " |
| 366 | "compatible with the\n" |
| 367 | "# https://godoc.org/golang.org/x/perf/cmd/benchstat tool. To install " |
| 368 | "it, first\n" |
| 369 | "# install Go, then run \"go get golang.org/x/perf/cmd/benchstat\".\n"); |
| 370 | |
| 371 | int i; |
| 372 | for (i = 0; i < 5; i++) { |
| 373 | msg = decode(true, true); |
| 374 | if (msg) { |
| 375 | return fail(msg); |
| 376 | } |
| 377 | msg = decode(true, false); |
| 378 | if (msg) { |
| 379 | return fail(msg); |
| 380 | } |
| 381 | msg = decode(false, true); |
| 382 | if (msg) { |
| 383 | return fail(msg); |
| 384 | } |
| 385 | msg = decode(false, false); |
| 386 | if (msg) { |
| 387 | return fail(msg); |
| 388 | } |
| 389 | } |
| 390 | |
| 391 | return 0; |
| 392 | } |