|
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469 |
- /*!
- * \file deque.cpp
- * \brief
- * Unit tests for deque
- *
- * \copyright Copyright (C) 2020 Christos Choutouridis <christos@choutouridis.net>
- *
- * <dl class=\"section copyright\"><dt>License</dt><dd>
- * The MIT License (MIT)
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in all
- * copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
- * SOFTWARE.
- * </dd></dl>
- *
- */
- #include <cont/deque.h>
- #include <cont/span.h>
- #include <gtest/gtest.h>
-
- #include <array>
- #include <type_traits>
- #include <cstring>
- #ifndef WIN_TRHEADS
- #include <mutex>
- #include <thread>
- #else
- #include <mingw.thread.h>
- #include <mingw.mutex.h>
- #endif
-
- namespace Tdeque {
- using namespace tbx;
-
- template <typename>
- struct is_span : std::false_type {};
-
- template <typename T, std::size_t S>
- struct is_span<tbx::span<T, S>> : std::true_type {};
-
- template <typename>
- struct is_std_array : std::false_type {};
-
- template <typename T, std::size_t N>
- struct is_std_array<std::array<T, N>> : std::true_type {};
-
- template <typename, typename = void>
- struct has_size_and_data : std::false_type {};
-
- template <typename T>
- struct has_size_and_data<T, std::void_t<decltype(std::declval<T>().size()),
- decltype(std::declval<T>().data())>>
- : std::true_type {};
-
- // Concept
- TEST(Tdeque, concept) {
- using deque_t = deque<int, 8>;
-
- EXPECT_EQ ( std::is_default_constructible<deque_t>::value, true);
- EXPECT_EQ ( std::is_nothrow_default_constructible<deque_t>::value, true);
- EXPECT_EQ (!std::is_copy_constructible<deque_t>::value, true);
- EXPECT_EQ (!std::is_copy_assignable<deque_t>::value, true);
-
- EXPECT_EQ (true, !is_span<deque_t>::value);
- EXPECT_EQ (true, !is_std_array<deque_t>::value);
- EXPECT_EQ (true, !std::is_array<deque_t>::value);
- EXPECT_EQ (true, has_size_and_data<deque_t>::value);
- }
- // Test construction
- TEST(Tdeque, contruct) {
- deque<int, 8> q1;
- deque<int, 8> q2{1, 2, 3, 4, 5, 6, 7, 8};
- deque<int, 8> q3{1, 2, 3, 4, 5};
-
- EXPECT_EQ (8UL, q1.capacity());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (8UL, q2.capacity());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (8UL, q3.capacity());
- EXPECT_EQ (5UL, q3.size());
- }
-
- // simple push-pop functionality
- TEST(Tdeque, push_pop) {
- deque<int, 8> q1;
- deque<int, 8> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_front(1);
- q1.push_front(2);
- EXPECT_EQ (1, q1.pop_back());
- EXPECT_EQ (2, q1.pop_back());
-
- q1.push_back(1);
- q1.push_back(2);
- EXPECT_EQ (1, q1.pop_front());
- EXPECT_EQ (2, q1.pop_front());
-
- q1.push_front(2);
- q1.push_back(3);
- q1.push_front(1);
- q1.push_back(4);
-
- for (int i=1 ; i<= 4 ; ++i)
- EXPECT_EQ ((int)i, q1.pop_front());
- }
-
- // front-back
- TEST(Tdeque, front_back) {
- deque<int, 8> q1;
- deque<int, 8> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_front(2);
- q1.push_front(1);
- q1.push_back(3);
- q1.push_back(4);
-
- EXPECT_EQ (1, q1.front());
- EXPECT_EQ (4, q1.back());
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- }
-
- // capacity
- TEST(Tdeque, capacity) {
- deque<int, 8> q1;
- deque<int, 8> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_back(1);
- q1.clear();
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (true, q2.full());
-
- EXPECT_EQ (8UL, q1.capacity());
- EXPECT_EQ (8UL, q2.capacity());
-
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (8UL, q2.size());
-
- q1.push_back(2);
- EXPECT_EQ (1UL, q1.size());
- q1.push_front(1);
- EXPECT_EQ (2UL, q1.size());
-
- q1.pop_back();
- EXPECT_EQ (1UL, q1.size());
- q1.pop_front();
- EXPECT_EQ (0UL, q1.size());
- }
-
- // push-pop limits
- TEST (Tdeque, push_pop_limits) {
- deque<int, 8> q1;
- deque<int, 8> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- EXPECT_EQ (int{}, q1.pop_back());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- EXPECT_EQ (int{}, q1.pop_front());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- q2.push_front(0);
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (false, q2.empty());
- EXPECT_EQ (true, q2.full());
-
- q2.push_back(9);
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (false, q2.empty());
- EXPECT_EQ (true, q2.full());
- }
-
- // iterators
- TEST (Tdeque, iterators) {
- deque<int, 8> q1{1, 2, 3, 4, 5, 6, 7, 8};
- int check_it=1;
-
- EXPECT_EQ (q1.begin().base(), q1.end().base());
- EXPECT_NE (q1.begin().iter(), q1.end().iter());
- EXPECT_EQ (1, *q1.begin());
- EXPECT_EQ (true, (q1.begin() == ++q1.end())); // loop edge iterators
-
- for (auto it = q1.begin() ; it != q1.end() ; ++it)
- EXPECT_EQ(*it, check_it++);
- EXPECT_EQ(9, check_it); // run through all
-
- EXPECT_EQ (1, q1.front()); // queue stays intact
- EXPECT_EQ (8, q1.back());
- EXPECT_EQ (8UL, q1.size());
- EXPECT_EQ (false, q1.empty());
- EXPECT_EQ (true, q1.full());
-
- q1.pop_front();
- q1.pop_back();
-
- check_it=2;
- for (auto& it : q1)
- EXPECT_EQ(it, check_it++);
- EXPECT_EQ(8, check_it); // run through all
-
- EXPECT_EQ (2, q1.front()); // queue stays intact
- EXPECT_EQ (7, q1.back());
- EXPECT_EQ (6UL, q1.size());
- EXPECT_EQ (false, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- deque<int, 8> q2;
- q2.push_front(2);
- q2.push_front(1);
- q2.push_back(3);
- q2.push_back(4);
- q2.push_back(5);
- check_it =1;
- for (auto& it : q2)
- EXPECT_EQ(it, check_it++);
- EXPECT_EQ(6, check_it); // run through all
-
- }
- TEST (Tdeque, range) {
- deque<int, 8> q1{1, 2, 3, 4, 5, 6, 7, 8};
- int check_it=1;
-
- for (auto& it : q1.contents())
- EXPECT_EQ(it, check_it++);
-
- EXPECT_EQ(9, check_it); // run through all
- }
-
-
- // Concept
- TEST(Tdeque, concept_atomic) {
- using deque_t = deque<int, 8, true>;
-
- EXPECT_EQ (true, !is_span<deque_t>::value);
- EXPECT_EQ (true, !is_std_array<deque_t>::value);
- EXPECT_EQ (true, !std::is_array<deque_t>::value);
- EXPECT_EQ (true, has_size_and_data<deque_t>::value);
- }
- // Test construction
- TEST(Tdeque, contruct_atomic) {
- deque<int, 8, true> q1;
- deque<int, 8, true> q2{1, 2, 3, 4, 5, 6, 7, 8};
- deque<int, 8, true> q3{1, 2, 3, 4, 5};
-
- EXPECT_EQ (8UL, q1.capacity());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (8UL, q2.capacity());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (8UL, q3.capacity());
- EXPECT_EQ (5UL, q3.size());
- }
-
- // simple push-pop functionality
- TEST(Tdeque, push_pop_atomic) {
- deque<int, 8, true> q1;
- deque<int, 8, true> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_front(1);
- q1.push_front(2);
- EXPECT_EQ (1, q1.pop_back());
- EXPECT_EQ (2, q1.pop_back());
-
- q1.push_back(1);
- q1.push_back(2);
- EXPECT_EQ (1, q1.pop_front());
- EXPECT_EQ (2, q1.pop_front());
-
- q1.push_front(2);
- q1.push_back(3);
- q1.push_front(1);
- q1.push_back(4);
-
- for (int i=1 ; i<= 4 ; ++i)
- EXPECT_EQ ((int)i, q1.pop_front());
- }
-
- // front-back
- TEST(Tdeque, front_back_atomic) {
- deque<int, 8, true> q1;
- deque<int, 8, true> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_front(2);
- q1.push_front(1);
- q1.push_back(3);
- q1.push_back(4);
-
- EXPECT_EQ (1, q1.front());
- EXPECT_EQ (4, q1.back());
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- }
-
- // capacity
- TEST(Tdeque, capacity_atomic) {
- deque<int, 8, true> q1;
- deque<int, 8, true> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- q1.push_back(1);
- q1.clear();
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (true, q2.full());
-
- EXPECT_EQ (8UL, q1.capacity());
- EXPECT_EQ (8UL, q2.capacity());
-
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (8UL, q2.size());
-
- q1.push_back(2);
- EXPECT_EQ (1UL, q1.size());
- q1.push_front(1);
- EXPECT_EQ (2UL, q1.size());
-
- q1.pop_back();
- EXPECT_EQ (1UL, q1.size());
- q1.pop_front();
- EXPECT_EQ (0UL, q1.size());
- }
-
- // push-pop limits
- TEST (Tdeque, push_pop_limits_atomic) {
- deque<int, 8, true> q1;
- deque<int, 8, true> q2{1, 2, 3, 4, 5, 6, 7, 8};
-
- EXPECT_EQ (int{}, q1.pop_back());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- EXPECT_EQ (int{}, q1.pop_front());
- EXPECT_EQ (0UL, q1.size());
- EXPECT_EQ (true, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- q2.push_front(0);
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (false, q2.empty());
- EXPECT_EQ (true, q2.full());
-
- q2.push_back(9);
- EXPECT_EQ (1, q2.front());
- EXPECT_EQ (8, q2.back());
- EXPECT_EQ (8UL, q2.size());
- EXPECT_EQ (false, q2.empty());
- EXPECT_EQ (true, q2.full());
- }
-
- // iterators
- TEST (Tdeque, iterators_atomic) {
- deque<int, 8, true> q1{1, 2, 3, 4, 5, 6, 7, 8};
- int check_it=1;
-
- EXPECT_EQ (q1.begin().base(), q1.end().base());
- EXPECT_NE (q1.begin().iter(), q1.end().iter());
- EXPECT_EQ (1, *q1.begin());
- EXPECT_EQ (true, (q1.begin() == ++q1.end())); // loop edge iterators
-
- for (auto it = q1.begin() ; it != q1.end() ; ++it)
- EXPECT_EQ(*it, check_it++);
- EXPECT_EQ(9, check_it); // run through all
-
- EXPECT_EQ (1, q1.front()); // queue stays intact
- EXPECT_EQ (8, q1.back());
- EXPECT_EQ (8UL, q1.size());
- EXPECT_EQ (false, q1.empty());
- EXPECT_EQ (true, q1.full());
-
- q1.pop_front();
- q1.pop_back();
-
- check_it=2;
- for (auto& it : q1)
- EXPECT_EQ(it, check_it++);
- EXPECT_EQ(8, check_it); // run through all
-
- EXPECT_EQ (2, q1.front()); // queue stays intact
- EXPECT_EQ (7, q1.back());
- EXPECT_EQ (6UL, q1.size());
- EXPECT_EQ (false, q1.empty());
- EXPECT_EQ (false, q1.full());
-
- deque<int, 8, true> q2;
- q2.push_front(2);
- q2.push_front(1);
- q2.push_back(3);
- q2.push_back(4);
- q2.push_back(5);
- check_it =1;
- for (auto& it : q2)
- EXPECT_EQ(it, check_it++);
- EXPECT_EQ(6, check_it); // run through all
-
- }
- TEST (Tdeque, range_atomic) {
- deque<int, 8, true> q1{1, 2, 3, 4, 5, 6, 7, 8};
- int check_it=1;
-
- for (auto& it : q1.contents())
- EXPECT_EQ(it, check_it++);
-
- EXPECT_EQ(9, check_it); // run through all
- }
-
- TEST(Tdeque, race) {
- constexpr size_t N = 1000000;
- deque<int, N, true> q;
- int result[N];
-
- auto push_front = [&](){
- for (size_t i=1 ; i<=N ; ++i) q.push_front(i);
- };
- auto push_back = [&](){
- for (size_t i=1 ; i<=N ; ++i) q.push_back(i);
- };
- auto pop_front = [&](){
- for (size_t i=0 ; i<N ; ) {
- result[i] = q.pop_front();
- if (result[i] != int{})
- ++i;
- }
- };
- auto pop_back = [&](){
- for (size_t i=0 ; i<N ; ) {
- result[i] = q.pop_back();
- if (result[i] != int{})
- ++i;
- }
- };
-
- std::memset(result, 0, sizeof result);
- std::thread th1 (push_front);
- std::thread th2 (pop_back);
- th1.join();
- th2.join();
- for (size_t i=0 ; i<N ; ++i)
- EXPECT_EQ (result[i], (int)i+1);
-
- std::memset(result, 0, sizeof result);
- std::thread th3 (push_back);
- std::thread th4 (pop_front);
- th3.join();
- th4.join();
- for (size_t i=0 ; i<N ; ++i)
- EXPECT_EQ (result[i], (int)i+1);
- }
- }
|