151c0b2f7Stbbdev /*
251c0b2f7Stbbdev     Copyright (c) 2020 Intel Corporation
351c0b2f7Stbbdev 
451c0b2f7Stbbdev     Licensed under the Apache License, Version 2.0 (the "License");
551c0b2f7Stbbdev     you may not use this file except in compliance with the License.
651c0b2f7Stbbdev     You may obtain a copy of the License at
751c0b2f7Stbbdev 
851c0b2f7Stbbdev         http://www.apache.org/licenses/LICENSE-2.0
951c0b2f7Stbbdev 
1051c0b2f7Stbbdev     Unless required by applicable law or agreed to in writing, software
1151c0b2f7Stbbdev     distributed under the License is distributed on an "AS IS" BASIS,
1251c0b2f7Stbbdev     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
1351c0b2f7Stbbdev     See the License for the specific language governing permissions and
1451c0b2f7Stbbdev     limitations under the License.
1551c0b2f7Stbbdev */
1651c0b2f7Stbbdev 
1751c0b2f7Stbbdev 
1851c0b2f7Stbbdev #include "common/test.h"
1951c0b2f7Stbbdev 
2051c0b2f7Stbbdev #include "common/utils.h"
2151c0b2f7Stbbdev #include "common/graph_utils.h"
2251c0b2f7Stbbdev 
23*49e08aacStbbdev #include "oneapi/tbb/flow_graph.h"
24*49e08aacStbbdev #include "oneapi/tbb/task_arena.h"
25*49e08aacStbbdev #include "oneapi/tbb/global_control.h"
2651c0b2f7Stbbdev 
2751c0b2f7Stbbdev #include "conformance_flowgraph.h"
2851c0b2f7Stbbdev 
2951c0b2f7Stbbdev //! \file conformance_write_once_node.cpp
3051c0b2f7Stbbdev //! \brief Test for [flow_graph.write_once_node] specification
3151c0b2f7Stbbdev 
3251c0b2f7Stbbdev /*
3351c0b2f7Stbbdev TODO: implement missing conformance tests for write_once_node:
3451c0b2f7Stbbdev   - [ ] The copy constructor and copy assignment are called for the node's type template parameter.
3551c0b2f7Stbbdev   - [ ] Improve copy constructor and general constructor tests.
3651c0b2f7Stbbdev   - [ ] Write test checking the value is initially invalid.
3751c0b2f7Stbbdev   - [ ] Write test checking that the gets from the node are non-destructive, but the first `try_get'
3851c0b2f7Stbbdev     fails.
3951c0b2f7Stbbdev   - [ ] Add test on `write_once_node::is_valid()' method.
4051c0b2f7Stbbdev   - [ ] Add test on `write_once_node::clear()' method.
4151c0b2f7Stbbdev   - [ ] Add test with reserving `join_node' as node's successor. Use example from the spec.
4251c0b2f7Stbbdev */
4351c0b2f7Stbbdev 
4451c0b2f7Stbbdev template<typename T>
4551c0b2f7Stbbdev void test_inheritance(){
46*49e08aacStbbdev     using namespace oneapi::tbb::flow;
4751c0b2f7Stbbdev 
4851c0b2f7Stbbdev     CHECK_MESSAGE( (std::is_base_of<graph_node, write_once_node<T>>::value), "write_once_node should be derived from graph_node");
4951c0b2f7Stbbdev     CHECK_MESSAGE( (std::is_base_of<receiver<T>, write_once_node<T>>::value), "write_once_node should be derived from receiver<T>");
5051c0b2f7Stbbdev     CHECK_MESSAGE( (std::is_base_of<sender<T>, write_once_node<T>>::value), "write_once_node should be derived from sender<T>");
5151c0b2f7Stbbdev }
5251c0b2f7Stbbdev 
5351c0b2f7Stbbdev void test_copies(){
54*49e08aacStbbdev     using namespace oneapi::tbb::flow;
5551c0b2f7Stbbdev 
5651c0b2f7Stbbdev     graph g;
5751c0b2f7Stbbdev     write_once_node<int> fn(g);
5851c0b2f7Stbbdev     write_once_node<int> fn2(fn);
5951c0b2f7Stbbdev 
6051c0b2f7Stbbdev }
6151c0b2f7Stbbdev void test_buffering(){
62*49e08aacStbbdev     oneapi::tbb::flow::graph g;
6351c0b2f7Stbbdev 
64*49e08aacStbbdev     oneapi::tbb::flow::write_once_node<int> node(g);
65*49e08aacStbbdev     oneapi::tbb::flow::limiter_node<int> rejecter(g, 0);
6651c0b2f7Stbbdev 
67*49e08aacStbbdev     oneapi::tbb::flow::make_edge(node, rejecter);
6851c0b2f7Stbbdev     node.try_put(1);
6951c0b2f7Stbbdev 
7051c0b2f7Stbbdev     int tmp = -1;
7151c0b2f7Stbbdev     CHECK_MESSAGE( (node.try_get(tmp) == true), "try_get after rejection should succeed");
7251c0b2f7Stbbdev     CHECK_MESSAGE( (tmp == 1), "try_get after rejection should set value");
7351c0b2f7Stbbdev     g.wait_for_all();
7451c0b2f7Stbbdev }
7551c0b2f7Stbbdev 
7651c0b2f7Stbbdev void test_forwarding(){
77*49e08aacStbbdev     oneapi::tbb::flow::graph g;
7851c0b2f7Stbbdev 
79*49e08aacStbbdev     oneapi::tbb::flow::write_once_node<int> node1(g);
8051c0b2f7Stbbdev     test_push_receiver<int> node2(g);
8151c0b2f7Stbbdev     test_push_receiver<int> node3(g);
8251c0b2f7Stbbdev 
83*49e08aacStbbdev     oneapi::tbb::flow::make_edge(node1, node2);
84*49e08aacStbbdev     oneapi::tbb::flow::make_edge(node1, node3);
8551c0b2f7Stbbdev 
8651c0b2f7Stbbdev     node1.try_put(1);
8751c0b2f7Stbbdev     g.wait_for_all();
8851c0b2f7Stbbdev 
8951c0b2f7Stbbdev     CHECK_MESSAGE( (get_count(node2) == 1), "Descendant of the node must receive one message.");
9051c0b2f7Stbbdev     CHECK_MESSAGE( (get_count(node3) == 1), "Descendant of the node must receive one message.");
9151c0b2f7Stbbdev }
9251c0b2f7Stbbdev 
9351c0b2f7Stbbdev 
9451c0b2f7Stbbdev void test_writing_once(){
95*49e08aacStbbdev     oneapi::tbb::flow::graph g;
9651c0b2f7Stbbdev 
97*49e08aacStbbdev     oneapi::tbb::flow::write_once_node<int> node1(g);
9851c0b2f7Stbbdev 
9951c0b2f7Stbbdev     int tmp = -1;
10051c0b2f7Stbbdev     node1.try_put(1);
10151c0b2f7Stbbdev 
10251c0b2f7Stbbdev     CHECK_MESSAGE( (node1.try_get(tmp) == true), "Descendant needs to receive");
10351c0b2f7Stbbdev     CHECK_MESSAGE( (tmp == 1), "Descendant needs be receive correct message");
10451c0b2f7Stbbdev 
10551c0b2f7Stbbdev     CHECK_MESSAGE( (node1.try_put(2) == false), "Putting again should not succeed");
10651c0b2f7Stbbdev 
10751c0b2f7Stbbdev     CHECK_MESSAGE( (node1.try_get(tmp) == true), "try_get should still succeed");
10851c0b2f7Stbbdev     CHECK_MESSAGE( (tmp == 1), "try_get should receive initial value");
10951c0b2f7Stbbdev 
11051c0b2f7Stbbdev     g.wait_for_all();
11151c0b2f7Stbbdev }
11251c0b2f7Stbbdev 
11351c0b2f7Stbbdev //! Test overwrite_node behavior
11451c0b2f7Stbbdev //! \brief \ref requirement
11551c0b2f7Stbbdev TEST_CASE("write_once_node messages"){
11651c0b2f7Stbbdev     test_writing_once();
11751c0b2f7Stbbdev }
11851c0b2f7Stbbdev 
11951c0b2f7Stbbdev //! Test function_node broadcast
12051c0b2f7Stbbdev //! \brief \ref requirement
12151c0b2f7Stbbdev TEST_CASE("overwrite_node broadcast"){
12251c0b2f7Stbbdev     test_forwarding();
12351c0b2f7Stbbdev }
12451c0b2f7Stbbdev 
12551c0b2f7Stbbdev //! Test write_once_node buffering
12651c0b2f7Stbbdev //! \brief \ref requirement
12751c0b2f7Stbbdev TEST_CASE("write_once_node buffering"){
12851c0b2f7Stbbdev     test_buffering();
12951c0b2f7Stbbdev }
13051c0b2f7Stbbdev 
13151c0b2f7Stbbdev //! Test copy constructor
13251c0b2f7Stbbdev //! \brief \ref interface
13351c0b2f7Stbbdev TEST_CASE("write_once_node copy constructor"){
13451c0b2f7Stbbdev     test_copies();
13551c0b2f7Stbbdev }
13651c0b2f7Stbbdev 
13751c0b2f7Stbbdev //! Test inheritance relations
13851c0b2f7Stbbdev //! \brief \ref interface
13951c0b2f7Stbbdev TEST_CASE("write_once_node superclasses"){
14051c0b2f7Stbbdev     test_inheritance<int>();
14151c0b2f7Stbbdev     test_inheritance<void*>();
14251c0b2f7Stbbdev }
14351c0b2f7Stbbdev 
144