mirror of
https://gitea.invidious.io/iv-org/litespeed-quic.git
synced 2024-08-15 00:53:43 +00:00
Rename test/unittests to tests/ and test/ to bin/
This commit is contained in:
Dmitri Tikhonov
parent
ecfd688117
commit
9a690580c9
92 changed files with 38 additions and 39 deletions
466
tests/test_ackparse_gquic_be.c
Normal file
466
tests/test_ackparse_gquic_be.c
Normal file
|
|
@ -0,0 +1,466 @@
|
|||
/* Copyright (c) 2017 - 2020 LiteSpeed Technologies Inc. See LICENSE. */
|
||||
#include <assert.h>
|
||||
#include <stdio.h>
|
||||
#include <stdlib.h>
|
||||
#include <string.h>
|
||||
#ifndef WIN32
|
||||
#include <sys/time.h>
|
||||
#endif
|
||||
|
||||
#include "lsquic_types.h"
|
||||
#include "lsquic_parse.h"
|
||||
#include "lsquic_rechist.h"
|
||||
#include "lsquic_util.h"
|
||||
#include "lsquic.h"
|
||||
#include "lsquic_hash.h"
|
||||
#include "lsquic_conn.h"
|
||||
|
||||
static struct lsquic_conn lconn = LSCONN_INITIALIZER_CIDLEN(lconn, 0);
|
||||
|
||||
static const struct parse_funcs *const pf = select_pf_by_ver(LSQVER_043);
|
||||
|
||||
|
||||
static lsquic_packno_t
|
||||
n_acked (const struct ack_info *acki)
|
||||
{
|
||||
lsquic_packno_t n = 0;
|
||||
unsigned i;
|
||||
for (i = 0; i < acki->n_ranges; ++i)
|
||||
n += acki->ranges[i].high - acki->ranges[i].low + 1;
|
||||
return n;
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test1 (void)
|
||||
{
|
||||
/* Test taken from quic_framer_test.cc -- NewAckFrameOneAckBlock */
|
||||
unsigned char ack_buf[] = {
|
||||
0x45,
|
||||
0x12, 0x34, /* Largest acked */
|
||||
0x00, 0x00, /* Delta time */
|
||||
0x12, 0x34, /* Block length */
|
||||
0x00, /* Number of timestamps */
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct (8)", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 1", acki.n_ranges == 1));
|
||||
assert(("Largest acked is 0x1234", acki.ranges[0].high == 0x1234));
|
||||
assert(("Lowest acked is 1", acki.ranges[0].low == 1));
|
||||
unsigned n = n_acked(&acki);
|
||||
assert(("Number of acked packets is 0x1234", n == 0x1234));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test2 (void)
|
||||
{
|
||||
/* Test taken from quic_framer_test.cc -- NewAckFrameOneAckBlock */
|
||||
unsigned char ack_buf[] = {
|
||||
0x65,
|
||||
0x12, 0x34, /* Largest acked */
|
||||
0x00, 0x00, /* Zero delta time. */
|
||||
0x04, /* Num ack blocks ranges. */
|
||||
0x00, 0x01, /* First ack block length. */
|
||||
0x01, /* Gap to next block. */
|
||||
0x0e, 0xaf, /* Ack block length. */
|
||||
0xff, /* Gap to next block. */
|
||||
0x00, 0x00, /* Ack block length. */
|
||||
0x91, /* Gap to next block. */
|
||||
0x01, 0xea, /* Ack block length. */
|
||||
0x05, /* Gap to next block. */
|
||||
0x00, 0x04, /* Ack block length. */
|
||||
0x02, /* Number of timestamps. */
|
||||
0x01, /* Delta from largest observed. */
|
||||
0x10, 0x32, 0x54, 0x76, /* Delta time. */ /* XXX do we use this at all? */
|
||||
0x02, /* Delta from largest observed. */
|
||||
0x10, 0x32, /* Delta time. */
|
||||
};
|
||||
|
||||
/* We should get the following array of ranges:
|
||||
* high low
|
||||
* 0x1234 0x1234
|
||||
* 0x1232 0x384
|
||||
* 0x1F3 0xA
|
||||
* 0x4 0x1
|
||||
*/
|
||||
static const struct { unsigned high, low; } ranges[] = {
|
||||
{ 0x1234, 0x1234 },
|
||||
{ 0x1232, 0x384 },
|
||||
{ 0x1F3, 0xA },
|
||||
{ 0x4, 0x1 },
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct (29)", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 4", acki.n_ranges == 4));
|
||||
assert(("Largest acked is 0x1234", acki.ranges[0].high == 0x1234));
|
||||
unsigned n = n_acked(&acki);
|
||||
assert(("Number of acked packets is 4254", n == 4254));
|
||||
|
||||
for (n = 0; n < 4; ++n)
|
||||
assert(("Range checks out", ranges[n].high == acki.ranges[n].high
|
||||
&& ranges[n].low == acki.ranges[n].low));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test3 (void)
|
||||
{
|
||||
/* Generated by our own code, but failed to parse... */
|
||||
unsigned char ack_buf[] = {
|
||||
0x60, /* More than one ack block, 1 byte largest observed, 1 byte block length */
|
||||
0x06, /* Largest ACKed */
|
||||
0x00, 0x00, /* Delta time */
|
||||
0x01, /* Num ACK block ranges */
|
||||
0x01, /* First ACK block length */
|
||||
0x02, /* Gap to next block */
|
||||
0x03, /* Ack block length */
|
||||
0x00 /* Number of timestamps */
|
||||
};
|
||||
|
||||
/* We should get the following array of ranges:
|
||||
* high low
|
||||
* 6 6
|
||||
* 3 1
|
||||
*/
|
||||
static const struct { unsigned high, low; } ranges[] = {
|
||||
{ 6, 6, },
|
||||
{ 3, 1, },
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct (9)", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 2", acki.n_ranges == 2));
|
||||
assert(("Largest acked is 6", acki.ranges[0].high == 6));
|
||||
unsigned n = n_acked(&acki);
|
||||
assert(("Number of acked packets is 4", n == 4));
|
||||
|
||||
for (n = 0; n < 2; ++n)
|
||||
assert(("Range checks out", ranges[n].high == acki.ranges[n].high
|
||||
&& ranges[n].low == acki.ranges[n].low));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test4 (void)
|
||||
{
|
||||
unsigned char ack_buf[] = {
|
||||
0x60, /* More than one ack block, 1 byte largest observed, 1 byte block length */
|
||||
0x03, /* Largest ACKed */
|
||||
0x23, 0x00, /* Delta time */
|
||||
0x01, /* Num ACK block ranges */
|
||||
0x01, /* First ack block length */
|
||||
0x01, /* Gap */
|
||||
0x01, /* Ack block length */
|
||||
0x00, /* Number of timestamps */
|
||||
};
|
||||
|
||||
/* We should get the following array of ranges:
|
||||
* high low
|
||||
* 6 6
|
||||
* 3 1
|
||||
*/
|
||||
static const struct { unsigned high, low; } ranges[] = {
|
||||
{ 3, 3, },
|
||||
{ 1, 1, },
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct (9)", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 2", acki.n_ranges == 2));
|
||||
assert(("Largest acked is 3", acki.ranges[0].high == 3));
|
||||
unsigned n = n_acked(&acki);
|
||||
assert(("Number of acked packets is 2", n == 2));
|
||||
|
||||
for (n = 0; n < 2; ++n)
|
||||
assert(("Range checks out", ranges[n].high == acki.ranges[n].high
|
||||
&& ranges[n].low == acki.ranges[n].low));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
/* Four-byte packet numbers */
|
||||
static void
|
||||
test5 (void)
|
||||
{
|
||||
unsigned char ack_buf[] = {
|
||||
0x60
|
||||
| (2 << 2) /* Four-byte largest acked */
|
||||
| (2 << 0) /* Four-byte ACK block length */
|
||||
,
|
||||
0x23, 0x45, 0x67, 0x89,
|
||||
0x00, 0x00, /* Zero delta time. */
|
||||
0x01, /* Num ack blocks ranges. */
|
||||
0x00, 0x00, 0x00, 0x01, /* First ack block length. */
|
||||
33 - 1, /* Gap to next block. */
|
||||
0x23, 0x45, 0x67, 0x68, /* Ack block length. */
|
||||
0x00, /* Number of timestamps. */
|
||||
};
|
||||
|
||||
/* We should get the following array of ranges:
|
||||
* high low
|
||||
* 6 6
|
||||
* 3 1
|
||||
*/
|
||||
static const struct { unsigned high, low; } ranges[] = {
|
||||
{ 0x23456789, 0x23456789, },
|
||||
{ 0x23456768, 1, },
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct (9)", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 2", acki.n_ranges == 2));
|
||||
assert(("Largest acked is 0x23456789", acki.ranges[0].high == 0x23456789));
|
||||
lsquic_packno_t n = n_acked(&acki);
|
||||
assert(("Number of acked packets is correct", n == 0x23456768 + 1));
|
||||
|
||||
for (n = 0; n < 2; ++n)
|
||||
assert(("Range checks out", ranges[n].high == acki.ranges[n].high
|
||||
&& ranges[n].low == acki.ranges[n].low));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
/* Six-byte packet numbers */
|
||||
static void
|
||||
test6 (void)
|
||||
{
|
||||
unsigned char ack_buf[] = {
|
||||
0x60
|
||||
| (3 << 2) /* Six-byte largest acked */
|
||||
| (3 << 0) /* Six-byte ACK block length */
|
||||
,
|
||||
0xAB, 0xCD, 0x23, 0x45, 0x67, 0x89,
|
||||
0x00, 0x00, /* Zero delta time. */
|
||||
0x01, /* Num ack blocks ranges. */
|
||||
0x00, 0x00, 0x00, 0x00, 0x00, 0x01, /* First ack block length. */
|
||||
33 - 1, /* Gap to next block. */
|
||||
0xAB, 0xCD, 0x23, 0x45, 0x67, 0x68, /* Ack block length. */
|
||||
0x00, /* Number of timestamps. */
|
||||
};
|
||||
|
||||
static const struct { lsquic_packno_t high, low; } ranges[] = {
|
||||
{ 0xABCD23456789, 0xABCD23456789, },
|
||||
{ 0xABCD23456768, 1, },
|
||||
};
|
||||
|
||||
struct ack_info acki;
|
||||
memset(&acki, 0xF1, sizeof(acki));
|
||||
|
||||
int len = pf->pf_parse_ack_frame(ack_buf, sizeof(ack_buf), &acki, 0);
|
||||
assert(("Parsed length is correct", len == sizeof(ack_buf)));
|
||||
assert(("Number of ranges is 2", acki.n_ranges == 2));
|
||||
assert(("Largest acked is 0xABCD23456789", acki.ranges[0].high == 0xABCD23456789));
|
||||
lsquic_packno_t n = n_acked(&acki);
|
||||
assert(("Number of acked packets is correct", n == 0xABCD23456768 + 1));
|
||||
|
||||
for (n = 0; n < 2; ++n)
|
||||
assert(("Range checks out", ranges[n].high == acki.ranges[n].high
|
||||
&& ranges[n].low == acki.ranges[n].low));
|
||||
|
||||
{
|
||||
size_t sz;
|
||||
for (sz = 1; sz < sizeof(ack_buf); ++sz)
|
||||
{
|
||||
len = pf->pf_parse_ack_frame(ack_buf, sz, &acki, 0);
|
||||
assert(("Parsing truncated frame failed", len < 0));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test_max_ack (void)
|
||||
{
|
||||
lsquic_rechist_t rechist;
|
||||
lsquic_time_t now;
|
||||
unsigned i;
|
||||
int has_missing, sz[2];
|
||||
const struct lsquic_packno_range *range;
|
||||
unsigned char buf[1500];
|
||||
struct ack_info acki;
|
||||
|
||||
lsquic_rechist_init(&rechist, &lconn, 0);
|
||||
now = lsquic_time_now();
|
||||
|
||||
for (i = 1; i <= 300; ++i)
|
||||
{
|
||||
lsquic_rechist_received(&rechist, i * 10, now);
|
||||
now += i * 1000;
|
||||
}
|
||||
|
||||
memset(buf, 0xAA, sizeof(buf));
|
||||
|
||||
lsquic_packno_t largest = 0;
|
||||
sz[0] = pf->pf_gen_ack_frame(buf, sizeof(buf),
|
||||
(gaf_rechist_first_f) lsquic_rechist_first,
|
||||
(gaf_rechist_next_f) lsquic_rechist_next,
|
||||
(gaf_rechist_largest_recv_f) lsquic_rechist_largest_recv,
|
||||
&rechist, now, &has_missing, &largest, NULL);
|
||||
assert(sz[0] > 0);
|
||||
assert(sz[0] <= (int) sizeof(buf));
|
||||
assert(has_missing);
|
||||
|
||||
assert(0 == buf[ sz[0] - 1 ]); /* Number of timestamps */
|
||||
assert(0xAA == buf[ sz[0] ]);
|
||||
|
||||
sz[1] = pf->pf_parse_ack_frame(buf, sizeof(buf), &acki, 0);
|
||||
assert(sz[1] == sz[0]);
|
||||
assert(256 == acki.n_ranges);
|
||||
|
||||
for (range = lsquic_rechist_first(&rechist), i = 0;
|
||||
range && i < acki.n_ranges;
|
||||
range = lsquic_rechist_next(&rechist), ++i)
|
||||
{
|
||||
assert(range->high == acki.ranges[i].high);
|
||||
assert(range->low == acki.ranges[i].low);
|
||||
}
|
||||
assert(i == 256);
|
||||
|
||||
lsquic_rechist_cleanup(&rechist);
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test_ack_truncation (void)
|
||||
{
|
||||
lsquic_rechist_t rechist;
|
||||
lsquic_time_t now;
|
||||
unsigned i;
|
||||
int has_missing, sz[2];
|
||||
const struct lsquic_packno_range *range;
|
||||
unsigned char buf[1500];
|
||||
struct ack_info acki;
|
||||
size_t bufsz;
|
||||
|
||||
lsquic_rechist_init(&rechist, &lconn, 0);
|
||||
now = lsquic_time_now();
|
||||
|
||||
for (i = 1; i <= 300; ++i)
|
||||
{
|
||||
lsquic_rechist_received(&rechist, i * 10, now);
|
||||
now += i * 1000;
|
||||
}
|
||||
|
||||
for (bufsz = 200; bufsz < 210; ++bufsz)
|
||||
{
|
||||
memset(buf, 0xAA, sizeof(buf));
|
||||
lsquic_packno_t largest = 0;
|
||||
sz[0] = pf->pf_gen_ack_frame(buf, bufsz,
|
||||
(gaf_rechist_first_f) lsquic_rechist_first,
|
||||
(gaf_rechist_next_f) lsquic_rechist_next,
|
||||
(gaf_rechist_largest_recv_f) lsquic_rechist_largest_recv,
|
||||
&rechist, now, &has_missing, &largest, NULL);
|
||||
assert(sz[0] > 0);
|
||||
assert(sz[0] <= (int) bufsz);
|
||||
assert(has_missing);
|
||||
|
||||
assert(0 == buf[ sz[0] - 1 ]); /* Number of timestamps */
|
||||
assert(0xAA == buf[ sz[0] ]);
|
||||
|
||||
sz[1] = pf->pf_parse_ack_frame(buf, sizeof(buf), &acki, 0);
|
||||
assert(sz[1] == sz[0]);
|
||||
assert(acki.n_ranges < 256);
|
||||
|
||||
for (range = lsquic_rechist_first(&rechist), i = 0;
|
||||
range && i < acki.n_ranges;
|
||||
range = lsquic_rechist_next(&rechist), ++i)
|
||||
{
|
||||
assert(range->high == acki.ranges[i].high);
|
||||
assert(range->low == acki.ranges[i].low);
|
||||
}
|
||||
}
|
||||
|
||||
lsquic_rechist_cleanup(&rechist);
|
||||
}
|
||||
|
||||
|
||||
static void
|
||||
test_empty_ack (void)
|
||||
{
|
||||
int len;
|
||||
unsigned char buf[] = { 0x40, 0x00, 0xFF, 0xFF, 0x00, 0x00,
|
||||
/* fluff: */ 0x12, 0x23, 0x34, 0x45, };
|
||||
struct ack_info acki;
|
||||
|
||||
len = pf->pf_parse_ack_frame(buf, sizeof(buf), &acki, 0);
|
||||
assert(6 == len);
|
||||
assert(empty_ack_frame(&acki));
|
||||
}
|
||||
|
||||
|
||||
int
|
||||
main (void)
|
||||
{
|
||||
lsquic_global_init(LSQUIC_GLOBAL_SERVER);
|
||||
test1();
|
||||
test2();
|
||||
test3();
|
||||
test4();
|
||||
test5();
|
||||
test6();
|
||||
test_max_ack();
|
||||
test_ack_truncation();
|
||||
test_empty_ack();
|
||||
return 0;
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue