blob: be6f7aa368c5d88c7eb23a601655a698c2e006bf [file] [log] [blame]
Nigel Taod2075ce2018-04-25 15:26:29 +10001// 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 Tao670b45b2019-02-02 08:10:08 +110015// ----------------
16
Nigel Taod2075ce2018-04-25 15:26:29 +100017// 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 Tao95d02ee2019-01-12 12:34:40 +110033// For example, with gcc 7.3 (and -O3) as of January 2019:
Nigel Taod2075ce2018-04-25 15:26:29 +100034//
35// On ../test/data/hat.png (90 × 112 pixels):
36// name time/op relative
Nigel Taoc6a48b32019-01-19 10:50:40 +110037// 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 Taod2075ce2018-04-25 15:26:29 +100041//
Nigel Tao95d02ee2019-01-12 12:34:40 +110042// On ../test/data/hibiscus.regular.png (312 × 442 pixels):
Nigel Taod2075ce2018-04-25 15:26:29 +100043// name time/op relative
Nigel Taoc6a48b32019-01-19 10:50:40 +110044// 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 Taod2075ce2018-04-25 15:26:29 +100048//
49// On ../test/data/harvesters.png (1165 × 859 pixels):
50// name time/op relative
Nigel Taoc6a48b32019-01-19 10:50:40 +110051// 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 Taod2075ce2018-04-25 15:26:29 +100055
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 Taoa0bafff2018-07-14 08:59:36 +100063// 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 Casey3c50ada2018-07-26 17:12:19 +000071// If building this program in an environment that doesn't easily accommodate
Nigel Taod2075ce2018-04-25 15:26:29 +100072// relative includes, you can use the script/inline-c-relative-includes.go
73// program to generate a stand-alone C file.
Nigel Tao95d02ee2019-01-12 12:34:40 +110074#include "../release/c/wuffs-unsupported-snapshot.c"
Nigel Taod2075ce2018-04-25 15:26:29 +100075
76// The order matters here. Clang also defines "__GNUC__".
77#if defined(__clang__)
78const char* cc = "clang";
79const char* cc_version = __clang_version__;
80#elif defined(__GNUC__)
81const char* cc = "gcc";
82const char* cc_version = __VERSION__;
83#elif defined(_MSC_VER)
84const char* cc = "cl";
85const char* cc_version = "???";
86#else
87const char* cc = "cc";
88const char* cc_version = "???";
89#endif
90
Nigel Tao2914bae2020-02-26 09:40:30 +110091static inline uint32_t //
92load_u32be(uint8_t* p) {
Nigel Taod2075ce2018-04-25 15:26:29 +100093 return ((uint32_t)(p[0]) << 24) | ((uint32_t)(p[1]) << 16) |
94 ((uint32_t)(p[2]) << 8) | ((uint32_t)(p[3]) << 0);
95}
96
97// Limit the input PNG image (and therefore its IDAT data) to (64 MiB - 1 byte)
98// compressed, in up to 1024 IDAT chunks, and 256 MiB and 16384 × 16384 pixels
99// uncompressed. This is a limitation of this program (which uses the Wuffs
100// standard library), not a limitation of Wuffs per se.
Nigel Taofdac24a2020-03-06 21:53:08 +1100101#define DST_BUFFER_ARRAY_SIZE (256 * 1024 * 1024)
102#define SRC_BUFFER_ARRAY_SIZE (64 * 1024 * 1024)
Nigel Taod2075ce2018-04-25 15:26:29 +1000103#define MAX_DIMENSION (16384)
104#define MAX_IDAT_CHUNKS (1024)
105
Nigel Taofdac24a2020-03-06 21:53:08 +1100106uint8_t dst_buffer_array[DST_BUFFER_ARRAY_SIZE] = {0};
Nigel Taod2075ce2018-04-25 15:26:29 +1000107size_t dst_len = 0;
Nigel Taofdac24a2020-03-06 21:53:08 +1100108uint8_t src_buffer_array[SRC_BUFFER_ARRAY_SIZE] = {0};
Nigel Taod2075ce2018-04-25 15:26:29 +1000109size_t src_len = 0;
Nigel Taofdac24a2020-03-06 21:53:08 +1100110uint8_t idat_buffer_array[SRC_BUFFER_ARRAY_SIZE] = {0};
Nigel Taod2075ce2018-04-25 15:26:29 +1000111// The n'th IDAT chunk data (where n is a zero-based count) is in
Nigel Taofdac24a2020-03-06 21:53:08 +1100112// idat_buffer_array[i:j], where i = idat_splits[n+0] and j = idat_splits[n+1].
Nigel Taod2075ce2018-04-25 15:26:29 +1000113size_t idat_splits[MAX_IDAT_CHUNKS + 1] = {0};
114uint32_t num_idat_chunks = 0;
115
Nigel Taofdac24a2020-03-06 21:53:08 +1100116#define WORK_BUFFER_ARRAY_SIZE \
117 WUFFS_ZLIB__DECODER_WORKBUF_LEN_MAX_INCL_WORST_CASE
118#if WORK_BUFFER_ARRAY_SIZE > 0
119uint8_t work_buffer_array[WORK_BUFFER_ARRAY_SIZE];
Nigel Tao53760ce2019-02-16 14:18:25 +1100120#else
121// Not all C/C++ compilers support 0-length arrays.
Nigel Taofdac24a2020-03-06 21:53:08 +1100122uint8_t work_buffer_array[1];
Nigel Tao53760ce2019-02-16 14:18:25 +1100123#endif
124
Nigel Taod2075ce2018-04-25 15:26:29 +1000125uint32_t width = 0;
126uint32_t height = 0;
127uint64_t bytes_per_pixel = 0;
128uint64_t bytes_per_row = 0;
129uint64_t bytes_per_frame = 0;
130
Nigel Tao2914bae2020-02-26 09:40:30 +1100131const char* //
132read_stdin() {
Nigel Taofdac24a2020-03-06 21:53:08 +1100133 while (src_len < SRC_BUFFER_ARRAY_SIZE) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000134 const int stdin_fd = 0;
Nigel Taofdac24a2020-03-06 21:53:08 +1100135 ssize_t n = read(stdin_fd, src_buffer_array + src_len,
136 SRC_BUFFER_ARRAY_SIZE - src_len);
Nigel Taod2075ce2018-04-25 15:26:29 +1000137 if (n > 0) {
138 src_len += n;
139 } else if (n == 0) {
140 return NULL;
141 } else if (errno == EINTR) {
142 // No-op.
143 } else {
144 return strerror(errno);
145 }
146 }
147 return "input is too large";
148}
149
Nigel Tao2914bae2020-02-26 09:40:30 +1100150const char* //
151process_png_chunks(uint8_t* p, size_t n) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000152 while (n > 0) {
153 // Process the 8 byte chunk header.
154 if (n < 8) {
155 return "invalid PNG chunk";
156 }
157 uint32_t chunk_len = load_u32be(p + 0);
158 uint32_t chunk_type = load_u32be(p + 4);
159 p += 8;
160 n -= 8;
161
162 // Process the chunk payload.
163 if (n < chunk_len) {
164 return "short PNG chunk data";
165 }
166 switch (chunk_type) {
167 case 0x49484452: // "IHDR"
168 if (chunk_len != 13) {
169 return "invalid PNG IDAT chunk";
170 }
171 width = load_u32be(p + 0);
172 height = load_u32be(p + 4);
173 if ((width == 0) || (height == 0)) {
174 return "image dimensions are too small";
175 }
176 if ((width > MAX_DIMENSION) || (height > MAX_DIMENSION)) {
177 return "image dimensions are too large";
178 }
179 if (p[8] != 8) {
180 return "unsupported PNG bit depth";
181 }
182 if (bytes_per_pixel != 0) {
183 return "duplicate PNG IHDR chunk";
184 }
185 // Process the color type, as per the PNG spec table 11.1.
186 switch (p[9]) {
187 case 0:
188 bytes_per_pixel = 1;
189 break;
190 case 2:
191 bytes_per_pixel = 3;
192 break;
193 case 3:
194 bytes_per_pixel = 1;
195 break;
196 case 4:
197 bytes_per_pixel = 2;
198 break;
199 case 6:
200 bytes_per_pixel = 4;
201 break;
202 default:
203 return "unsupported PNG color type";
204 }
205 if (p[12] != 0) {
206 return "unsupported PNG interlacing";
207 }
208 break;
209
210 case 0x49444154: // "IDAT"
211 if (num_idat_chunks == MAX_IDAT_CHUNKS - 1) {
212 return "too many IDAT chunks";
213 }
Nigel Taofdac24a2020-03-06 21:53:08 +1100214 memcpy(idat_buffer_array + idat_splits[num_idat_chunks], p, chunk_len);
Nigel Taod2075ce2018-04-25 15:26:29 +1000215 idat_splits[num_idat_chunks + 1] =
216 idat_splits[num_idat_chunks] + chunk_len;
217 num_idat_chunks++;
218 break;
219 }
220 p += chunk_len;
221 n -= chunk_len;
222
223 // Process (and ignore) the 4 byte chunk footer (a checksum).
224 if (n < 4) {
225 return "invalid PNG chunk";
226 }
227 p += 4;
228 n -= 4;
229 }
230 return NULL;
231}
232
Nigel Tao2914bae2020-02-26 09:40:30 +1100233const char* //
234decode_once(bool frag_dst, bool frag_idat) {
Nigel Tao53760ce2019-02-16 14:18:25 +1100235 wuffs_zlib__decoder dec;
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100236 wuffs_base__status status =
Nigel Tao53760ce2019-02-16 14:18:25 +1100237 wuffs_zlib__decoder__initialize(&dec, sizeof dec, WUFFS_VERSION, 0);
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100238 if (!wuffs_base__status__is_ok(&status)) {
239 return wuffs_base__status__message(&status);
Nigel Tao95d02ee2019-01-12 12:34:40 +1100240 }
Nigel Taod2075ce2018-04-25 15:26:29 +1000241
Nigel Tao95d02ee2019-01-12 12:34:40 +1100242 wuffs_base__io_buffer dst = ((wuffs_base__io_buffer){
243 .data = ((wuffs_base__slice_u8){
Nigel Taofdac24a2020-03-06 21:53:08 +1100244 .ptr = dst_buffer_array,
Nigel Tao95d02ee2019-01-12 12:34:40 +1100245 .len = bytes_per_frame,
246 }),
247 });
248 wuffs_base__io_buffer idat = ((wuffs_base__io_buffer){
249 .data = ((wuffs_base__slice_u8){
Nigel Taofdac24a2020-03-06 21:53:08 +1100250 .ptr = idat_buffer_array,
251 .len = SRC_BUFFER_ARRAY_SIZE,
Nigel Tao95d02ee2019-01-12 12:34:40 +1100252 }),
253 .meta = ((wuffs_base__io_buffer_meta){
254 .wi = idat_splits[num_idat_chunks],
255 .ri = 0,
256 .pos = 0,
257 .closed = true,
258 }),
259 });
Nigel Taod2075ce2018-04-25 15:26:29 +1000260
261 uint32_t i = 0; // Number of dst fragments processed, if frag_dst.
262 if (frag_dst) {
Nigel Tao95d02ee2019-01-12 12:34:40 +1100263 dst.data.len = bytes_per_row;
Nigel Taod2075ce2018-04-25 15:26:29 +1000264 }
265
266 uint32_t j = 0; // Number of IDAT fragments processed, if frag_idat.
267 if (frag_idat) {
Nigel Tao95d02ee2019-01-12 12:34:40 +1100268 idat.meta.wi = idat_splits[1];
269 idat.meta.closed = (num_idat_chunks == 1);
Nigel Taod2075ce2018-04-25 15:26:29 +1000270 }
271
272 while (true) {
Nigel Taofdac24a2020-03-06 21:53:08 +1100273 status =
274 wuffs_zlib__decoder__transform_io(&dec, &dst, &idat,
275 ((wuffs_base__slice_u8){
276 .ptr = work_buffer_array,
277 .len = WORK_BUFFER_ARRAY_SIZE,
278 }));
Nigel Taod2075ce2018-04-25 15:26:29 +1000279
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100280 if (wuffs_base__status__is_ok(&status)) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000281 break;
282 }
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100283 if ((status.repr == wuffs_base__suspension__short_write) && frag_dst &&
Nigel Taod2075ce2018-04-25 15:26:29 +1000284 (i < height - 1)) {
285 i++;
Nigel Tao95d02ee2019-01-12 12:34:40 +1100286 dst.data.len = bytes_per_row * (i + 1);
Nigel Taod2075ce2018-04-25 15:26:29 +1000287 continue;
288 }
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100289 if ((status.repr == wuffs_base__suspension__short_read) && frag_idat &&
Nigel Taod2075ce2018-04-25 15:26:29 +1000290 (j < num_idat_chunks - 1)) {
291 j++;
Nigel Tao95d02ee2019-01-12 12:34:40 +1100292 idat.meta.wi = idat_splits[j + 1];
293 idat.meta.closed = (num_idat_chunks == j + 1);
Nigel Taod2075ce2018-04-25 15:26:29 +1000294 continue;
295 }
Nigel Tao5f8d2da2020-01-10 22:06:50 +1100296 return wuffs_base__status__message(&status);
Nigel Taod2075ce2018-04-25 15:26:29 +1000297 }
298
Nigel Tao95d02ee2019-01-12 12:34:40 +1100299 if (dst.meta.wi != bytes_per_frame) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000300 return "unexpected number of bytes decoded";
301 }
302 return NULL;
303}
304
Nigel Tao2914bae2020-02-26 09:40:30 +1100305const char* //
306decode(bool frag_dst, bool frag_idat) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000307 int reps;
308 if (bytes_per_frame < 100000) {
309 reps = 1000;
310 } else if (bytes_per_frame < 1000000) {
311 reps = 100;
312 } else if (bytes_per_frame < 10000000) {
313 reps = 10;
314 } else {
315 reps = 1;
316 }
317
318 struct timeval bench_start_tv;
319 gettimeofday(&bench_start_tv, NULL);
320
321 int i;
322 for (i = 0; i < reps; i++) {
323 const char* msg = decode_once(frag_dst, frag_idat);
324 if (msg) {
325 return msg;
326 }
327 }
328
329 struct timeval bench_finish_tv;
330 gettimeofday(&bench_finish_tv, NULL);
331 int64_t micros =
332 (int64_t)(bench_finish_tv.tv_sec - bench_start_tv.tv_sec) * 1000000 +
333 (int64_t)(bench_finish_tv.tv_usec - bench_start_tv.tv_usec);
334 uint64_t nanos = 1;
335 if (micros > 0) {
336 nanos = (uint64_t)(micros)*1000;
337 }
338
339 printf("Benchmark%sDst%sIDAT/%s\t%8d\t%8" PRIu64 " ns/op\n",
340 frag_dst ? "Frag" : "Full", //
341 frag_idat ? "Frag" : "Full", //
342 cc, reps, nanos / reps);
343
344 return NULL;
345}
346
Nigel Tao2914bae2020-02-26 09:40:30 +1100347int //
348fail(const char* msg) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000349 const int stderr_fd = 2;
350 write(stderr_fd, msg, strnlen(msg, 4095));
351 write(stderr_fd, "\n", 1);
352 return 1;
353}
354
Nigel Tao2914bae2020-02-26 09:40:30 +1100355int //
356main(int argc, char** argv) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000357 const char* msg = read_stdin();
358 if (msg) {
359 return fail(msg);
360 }
Nigel Tao95d02ee2019-01-12 12:34:40 +1100361 if ((src_len < 8) ||
Nigel Taofdac24a2020-03-06 21:53:08 +1100362 strncmp((const char*)(src_buffer_array), "\x89PNG\x0D\x0A\x1A\x0A", 8)) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000363 return fail("invalid PNG");
364 }
Nigel Taofdac24a2020-03-06 21:53:08 +1100365 msg = process_png_chunks(src_buffer_array + 8, src_len - 8);
Nigel Taod2075ce2018-04-25 15:26:29 +1000366 if (msg) {
367 return fail(msg);
368 }
369 if (bytes_per_pixel == 0) {
370 return fail("missing PNG IHDR chunk");
371 }
372 if (num_idat_chunks == 0) {
373 return fail("missing PNG IDAT chunk");
374 }
375 // The +1 here is for the per-row filter byte.
376 bytes_per_row = (uint64_t)width * bytes_per_pixel + 1;
377 bytes_per_frame = (uint64_t)height * bytes_per_row;
Nigel Taofdac24a2020-03-06 21:53:08 +1100378 if (bytes_per_frame > DST_BUFFER_ARRAY_SIZE) {
Nigel Taod2075ce2018-04-25 15:26:29 +1000379 return fail("decompressed data is too large");
380 }
381
382 printf("# %s version %s\n#\n", cc, cc_version);
383 printf(
384 "# The output format, including the \"Benchmark\" prefixes, is "
385 "compatible with the\n"
386 "# https://godoc.org/golang.org/x/perf/cmd/benchstat tool. To install "
387 "it, first\n"
388 "# install Go, then run \"go get golang.org/x/perf/cmd/benchstat\".\n");
389
390 int i;
391 for (i = 0; i < 5; i++) {
392 msg = decode(true, true);
393 if (msg) {
394 return fail(msg);
395 }
396 msg = decode(true, false);
397 if (msg) {
398 return fail(msg);
399 }
400 msg = decode(false, true);
401 if (msg) {
402 return fail(msg);
403 }
404 msg = decode(false, false);
405 if (msg) {
406 return fail(msg);
407 }
408 }
409
410 return 0;
411}