xref: /src/crypto/openssl/test/priority_queue_test.c (revision f25b8c9fb4f58cf61adb47d7570abe7caa6d385d)
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