109a25192SPierre Pronchery /*
209a25192SPierre Pronchery * Copyright 2022 The OpenSSL Project Authors. All Rights Reserved.
309a25192SPierre Pronchery *
409a25192SPierre Pronchery * Licensed under the Apache License 2.0 (the "License"). You may not use
509a25192SPierre Pronchery * this file except in compliance with the License. You can obtain a copy
609a25192SPierre Pronchery * in the file LICENSE in the source distribution or at
709a25192SPierre Pronchery * https://www.openssl.org/source/license.html
809a25192SPierre Pronchery */
909a25192SPierre Pronchery
1009a25192SPierre Pronchery #include <stdio.h>
1109a25192SPierre Pronchery #include <string.h>
1209a25192SPierre Pronchery
1309a25192SPierre Pronchery #include <openssl/opensslconf.h>
1409a25192SPierre Pronchery #include <internal/priority_queue.h>
1509a25192SPierre Pronchery #include <openssl/err.h>
1609a25192SPierre Pronchery #include <openssl/crypto.h>
1709a25192SPierre Pronchery
1809a25192SPierre Pronchery #include "internal/nelem.h"
1909a25192SPierre Pronchery #include "testutil.h"
2009a25192SPierre Pronchery
2109a25192SPierre Pronchery #define MAX_SAMPLES 500000
2209a25192SPierre Pronchery
2309a25192SPierre Pronchery DEFINE_PRIORITY_QUEUE_OF(size_t);
2409a25192SPierre Pronchery
2509a25192SPierre Pronchery static size_t num_rec_freed;
2609a25192SPierre Pronchery
size_t_compare(const size_t * a,const size_t * b)2709a25192SPierre Pronchery static int size_t_compare(const size_t *a, const size_t *b)
2809a25192SPierre Pronchery {
2909a25192SPierre Pronchery if (*a < *b)
3009a25192SPierre Pronchery return -1;
3109a25192SPierre Pronchery if (*a > *b)
3209a25192SPierre Pronchery return 1;
3309a25192SPierre Pronchery return 0;
3409a25192SPierre Pronchery }
3509a25192SPierre Pronchery
qsort_size_t_compare(const void * a,const void * b)3609a25192SPierre Pronchery static int qsort_size_t_compare(const void *a, const void *b)
3709a25192SPierre Pronchery {
3809a25192SPierre Pronchery return size_t_compare((size_t *)a, (size_t *)b);
3909a25192SPierre Pronchery }
4009a25192SPierre Pronchery
qsort_size_t_compare_rev(const void * a,const void * b)4109a25192SPierre Pronchery static int qsort_size_t_compare_rev(const void *a, const void *b)
4209a25192SPierre Pronchery {
4309a25192SPierre Pronchery return size_t_compare((size_t *)b, (size_t *)a);
4409a25192SPierre Pronchery }
4509a25192SPierre Pronchery
free_checker(ossl_unused size_t * p)4609a25192SPierre Pronchery static void free_checker(ossl_unused size_t *p)
4709a25192SPierre Pronchery {
4809a25192SPierre Pronchery num_rec_freed++;
4909a25192SPierre Pronchery }
5009a25192SPierre Pronchery
test_size_t_priority_queue_int(int reserve,int order,int count,int remove,int random,int popfree)5109a25192SPierre Pronchery static int test_size_t_priority_queue_int(int reserve, int order, int count,
5209a25192SPierre Pronchery int remove, int random, int popfree)
5309a25192SPierre Pronchery {
5409a25192SPierre Pronchery PRIORITY_QUEUE_OF(size_t) *pq = NULL;
5509a25192SPierre Pronchery static size_t values[MAX_SAMPLES], sorted[MAX_SAMPLES], ref[MAX_SAMPLES];
5609a25192SPierre Pronchery size_t n;
5709a25192SPierre Pronchery int i, res = 0;
5809a25192SPierre Pronchery static const char *orders[3] = { "unordered", "ascending", "descending" };
5909a25192SPierre Pronchery
6009a25192SPierre Pronchery TEST_info("testing count %d, %s, %s, values %s, remove %d, %sfree",
6109a25192SPierre Pronchery count, orders[order], reserve ? "reserve" : "grow",
6209a25192SPierre Pronchery random ? "random" : "deterministic", remove,
6309a25192SPierre Pronchery popfree ? "pop " : "");
6409a25192SPierre Pronchery
6509a25192SPierre Pronchery if (!TEST_size_t_le(count, MAX_SAMPLES))
6609a25192SPierre Pronchery return 0;
6709a25192SPierre Pronchery
6809a25192SPierre Pronchery memset(values, 0, sizeof(values));
6909a25192SPierre Pronchery memset(sorted, 0, sizeof(sorted));
7009a25192SPierre Pronchery memset(ref, 0, sizeof(ref));
7109a25192SPierre Pronchery
7209a25192SPierre Pronchery for (i = 0; i < count; i++)
7309a25192SPierre Pronchery values[i] = random ? test_random() : (size_t)(count - i);
7409a25192SPierre Pronchery memcpy(sorted, values, sizeof(*sorted) * count);
7509a25192SPierre Pronchery qsort(sorted, count, sizeof(*sorted), &qsort_size_t_compare);
7609a25192SPierre Pronchery
7709a25192SPierre Pronchery if (order == 1)
7809a25192SPierre Pronchery memcpy(values, sorted, sizeof(*values) * count);
7909a25192SPierre Pronchery else if (order == 2)
8009a25192SPierre Pronchery qsort(values, count, sizeof(*values), &qsort_size_t_compare_rev);
8109a25192SPierre Pronchery
8209a25192SPierre Pronchery if (!TEST_ptr(pq = ossl_pqueue_size_t_new(&size_t_compare))
8309a25192SPierre Pronchery || !TEST_size_t_eq(ossl_pqueue_size_t_num(pq), 0))
8409a25192SPierre Pronchery goto err;
8509a25192SPierre Pronchery
8609a25192SPierre Pronchery if (reserve && !TEST_true(ossl_pqueue_size_t_reserve(pq, count)))
8709a25192SPierre Pronchery goto err;
8809a25192SPierre Pronchery
8909a25192SPierre Pronchery for (i = 0; i < count; i++)
9009a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_size_t_push(pq, values + i, ref + i)))
9109a25192SPierre Pronchery goto err;
9209a25192SPierre Pronchery
9309a25192SPierre Pronchery if (!TEST_size_t_eq(*ossl_pqueue_size_t_peek(pq), *sorted)
9409a25192SPierre Pronchery || !TEST_size_t_eq(ossl_pqueue_size_t_num(pq), count))
9509a25192SPierre Pronchery goto err;
9609a25192SPierre Pronchery
9709a25192SPierre Pronchery if (remove) {
9809a25192SPierre Pronchery while (remove-- > 0) {
9909a25192SPierre Pronchery i = test_random() % count;
10009a25192SPierre Pronchery if (values[i] != SIZE_MAX) {
10109a25192SPierre Pronchery if (!TEST_ptr_eq(ossl_pqueue_size_t_remove(pq, ref[i]),
10209a25192SPierre Pronchery values + i))
10309a25192SPierre Pronchery goto err;
10409a25192SPierre Pronchery values[i] = SIZE_MAX;
10509a25192SPierre Pronchery }
10609a25192SPierre Pronchery }
10709a25192SPierre Pronchery memcpy(sorted, values, sizeof(*sorted) * count);
10809a25192SPierre Pronchery qsort(sorted, count, sizeof(*sorted), &qsort_size_t_compare);
10909a25192SPierre Pronchery }
11009a25192SPierre Pronchery for (i = 0; ossl_pqueue_size_t_peek(pq) != NULL; i++)
11109a25192SPierre Pronchery if (!TEST_size_t_eq(*ossl_pqueue_size_t_peek(pq), sorted[i])
11209a25192SPierre Pronchery || !TEST_size_t_eq(*ossl_pqueue_size_t_pop(pq), sorted[i]))
11309a25192SPierre Pronchery goto err;
11409a25192SPierre Pronchery
11509a25192SPierre Pronchery if (popfree) {
11609a25192SPierre Pronchery num_rec_freed = 0;
11709a25192SPierre Pronchery n = ossl_pqueue_size_t_num(pq);
11809a25192SPierre Pronchery ossl_pqueue_size_t_pop_free(pq, &free_checker);
11909a25192SPierre Pronchery pq = NULL;
12009a25192SPierre Pronchery if (!TEST_size_t_eq(num_rec_freed, n))
12109a25192SPierre Pronchery goto err;
12209a25192SPierre Pronchery }
12309a25192SPierre Pronchery res = 1;
12409a25192SPierre Pronchery err:
12509a25192SPierre Pronchery ossl_pqueue_size_t_free(pq);
12609a25192SPierre Pronchery return res;
12709a25192SPierre Pronchery }
12809a25192SPierre Pronchery
12909a25192SPierre Pronchery static const int test_size_t_priority_counts[] = {
13009a25192SPierre Pronchery 10, 11, 6, 5, 3, 1, 2, 7500
13109a25192SPierre Pronchery };
13209a25192SPierre Pronchery
test_size_t_priority_queue(int n)13309a25192SPierre Pronchery static int test_size_t_priority_queue(int n)
13409a25192SPierre Pronchery {
13509a25192SPierre Pronchery int reserve, order, count, remove, random, popfree;
13609a25192SPierre Pronchery
13709a25192SPierre Pronchery count = n % OSSL_NELEM(test_size_t_priority_counts);
13809a25192SPierre Pronchery n /= OSSL_NELEM(test_size_t_priority_counts);
13909a25192SPierre Pronchery order = n % 3;
14009a25192SPierre Pronchery n /= 3;
14109a25192SPierre Pronchery random = n % 2;
14209a25192SPierre Pronchery n /= 2;
14309a25192SPierre Pronchery reserve = n % 2;
14409a25192SPierre Pronchery n /= 2;
14509a25192SPierre Pronchery remove = n % 6;
14609a25192SPierre Pronchery n /= 6;
14709a25192SPierre Pronchery popfree = n % 2;
14809a25192SPierre Pronchery
14909a25192SPierre Pronchery count = test_size_t_priority_counts[count];
15009a25192SPierre Pronchery return test_size_t_priority_queue_int(reserve, order, count, remove,
15109a25192SPierre Pronchery random, popfree);
15209a25192SPierre Pronchery }
15309a25192SPierre Pronchery
test_large_priority_queue(void)15409a25192SPierre Pronchery static int test_large_priority_queue(void)
15509a25192SPierre Pronchery {
15609a25192SPierre Pronchery return test_size_t_priority_queue_int(0, 0, MAX_SAMPLES, MAX_SAMPLES / 100,
15709a25192SPierre Pronchery 1, 1);
15809a25192SPierre Pronchery }
15909a25192SPierre Pronchery
16009a25192SPierre Pronchery typedef struct info_st {
16109a25192SPierre Pronchery uint64_t seq_num, sub_seq;
16209a25192SPierre Pronchery size_t idx;
16309a25192SPierre Pronchery } INFO;
16409a25192SPierre Pronchery
16509a25192SPierre Pronchery DEFINE_PRIORITY_QUEUE_OF(INFO);
16609a25192SPierre Pronchery
cmp(const INFO * a,const INFO * b)16709a25192SPierre Pronchery static int cmp(const INFO *a, const INFO *b)
16809a25192SPierre Pronchery {
16909a25192SPierre Pronchery if (a->seq_num < b->seq_num)
17009a25192SPierre Pronchery return -1;
17109a25192SPierre Pronchery if (a->seq_num > b->seq_num)
17209a25192SPierre Pronchery return 1;
17309a25192SPierre Pronchery if (a->sub_seq < b->sub_seq)
17409a25192SPierre Pronchery return -1;
17509a25192SPierre Pronchery if (a->sub_seq > b->sub_seq)
17609a25192SPierre Pronchery return 1;
17709a25192SPierre Pronchery return 0;
17809a25192SPierre Pronchery }
17909a25192SPierre Pronchery
test_22644(void)18009a25192SPierre Pronchery static int test_22644(void)
18109a25192SPierre Pronchery {
18209a25192SPierre Pronchery size_t i;
18309a25192SPierre Pronchery INFO infos[32];
18409a25192SPierre Pronchery int res = 0;
18509a25192SPierre Pronchery PRIORITY_QUEUE_OF(INFO) *pq = ossl_pqueue_INFO_new(cmp);
18609a25192SPierre Pronchery
18709a25192SPierre Pronchery memset(infos, 0, sizeof(infos));
18809a25192SPierre Pronchery for (i = 0; i < 32; ++i)
18909a25192SPierre Pronchery infos[i].sub_seq = i;
19009a25192SPierre Pronchery
19109a25192SPierre Pronchery infos[0].seq_num = 70650219160667140;
19209a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[0], &infos[0].idx))
19309a25192SPierre Pronchery || !TEST_size_t_eq(infos[0].idx, 7)
19409a25192SPierre Pronchery || !TEST_ptr(ossl_pqueue_INFO_remove(pq, infos[0].idx)))
19509a25192SPierre Pronchery goto err;
19609a25192SPierre Pronchery
19709a25192SPierre Pronchery infos[1].seq_num = 289360691352306692;
19809a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[1], &infos[1].idx))
19909a25192SPierre Pronchery || !TEST_size_t_eq(infos[1].idx, 7)
20009a25192SPierre Pronchery || !TEST_ptr(ossl_pqueue_INFO_remove(pq, infos[1].idx)))
20109a25192SPierre Pronchery goto err;
20209a25192SPierre Pronchery
20309a25192SPierre Pronchery infos[2].seq_num = 289360691352306692;
20409a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[2], &infos[2].idx))
20509a25192SPierre Pronchery || !TEST_size_t_eq(infos[2].idx, 7))
20609a25192SPierre Pronchery goto err;
20709a25192SPierre Pronchery
20809a25192SPierre Pronchery infos[3].seq_num = 289360691352306692;
20909a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[3], &infos[3].idx))
21009a25192SPierre Pronchery || !TEST_size_t_eq(infos[3].idx, 6))
21109a25192SPierre Pronchery goto err;
21209a25192SPierre Pronchery
21309a25192SPierre Pronchery infos[4].seq_num = 289360691352306692;
21409a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[4], &infos[4].idx))
21509a25192SPierre Pronchery || !TEST_size_t_eq(infos[4].idx, 5))
21609a25192SPierre Pronchery goto err;
21709a25192SPierre Pronchery
21809a25192SPierre Pronchery infos[5].seq_num = 289360691352306692;
21909a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[5], &infos[5].idx))
22009a25192SPierre Pronchery || !TEST_size_t_eq(infos[5].idx, 4))
22109a25192SPierre Pronchery goto err;
22209a25192SPierre Pronchery
22309a25192SPierre Pronchery infos[6].seq_num = 289360691352306692;
22409a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[6], &infos[6].idx))
22509a25192SPierre Pronchery || !TEST_size_t_eq(infos[6].idx, 3))
22609a25192SPierre Pronchery goto err;
22709a25192SPierre Pronchery
22809a25192SPierre Pronchery infos[7].seq_num = 289360691352306692;
22909a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[7], &infos[7].idx))
23009a25192SPierre Pronchery || !TEST_size_t_eq(infos[7].idx, 2))
23109a25192SPierre Pronchery goto err;
23209a25192SPierre Pronchery
23309a25192SPierre Pronchery infos[8].seq_num = 289360691352306692;
23409a25192SPierre Pronchery if (!TEST_true(ossl_pqueue_INFO_push(pq, &infos[8], &infos[8].idx))
23509a25192SPierre Pronchery || !TEST_size_t_eq(infos[8].idx, 1))
23609a25192SPierre Pronchery goto err;
23709a25192SPierre Pronchery
23809a25192SPierre Pronchery if (!TEST_ptr(ossl_pqueue_INFO_pop(pq))
23909a25192SPierre Pronchery || !TEST_ptr(ossl_pqueue_INFO_pop(pq))) /* crash if bug present */
24009a25192SPierre Pronchery goto err;
24109a25192SPierre Pronchery res = 1;
24209a25192SPierre Pronchery
24309a25192SPierre Pronchery err:
24409a25192SPierre Pronchery ossl_pqueue_INFO_free(pq);
24509a25192SPierre Pronchery return res;
24609a25192SPierre Pronchery }
24709a25192SPierre Pronchery
setup_tests(void)24809a25192SPierre Pronchery int setup_tests(void)
24909a25192SPierre Pronchery {
25009a25192SPierre Pronchery ADD_ALL_TESTS(test_size_t_priority_queue,
25109a25192SPierre Pronchery OSSL_NELEM(test_size_t_priority_counts) /* count */
25209a25192SPierre Pronchery * 3 /* order */
25309a25192SPierre Pronchery * 2 /* random */
25409a25192SPierre Pronchery * 2 /* reserve */
25509a25192SPierre Pronchery * 6 /* remove */
25609a25192SPierre Pronchery * 2); /* pop & free */
25709a25192SPierre Pronchery ADD_TEST(test_large_priority_queue);
25809a25192SPierre Pronchery ADD_TEST(test_22644);
25909a25192SPierre Pronchery return 1;
26009a25192SPierre Pronchery }
261