112855Sgabeblack@google.com/*****************************************************************************
212855Sgabeblack@google.com
312855Sgabeblack@google.com  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
412855Sgabeblack@google.com  more contributor license agreements.  See the NOTICE file distributed
512855Sgabeblack@google.com  with this work for additional information regarding copyright ownership.
612855Sgabeblack@google.com  Accellera licenses this file to you under the Apache License, Version 2.0
712855Sgabeblack@google.com  (the "License"); you may not use this file except in compliance with the
812855Sgabeblack@google.com  License.  You may obtain a copy of the License at
912855Sgabeblack@google.com
1012855Sgabeblack@google.com    http://www.apache.org/licenses/LICENSE-2.0
1112855Sgabeblack@google.com
1212855Sgabeblack@google.com  Unless required by applicable law or agreed to in writing, software
1312855Sgabeblack@google.com  distributed under the License is distributed on an "AS IS" BASIS,
1412855Sgabeblack@google.com  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
1512855Sgabeblack@google.com  implied.  See the License for the specific language governing
1612855Sgabeblack@google.com  permissions and limitations under the License.
1712855Sgabeblack@google.com
1812855Sgabeblack@google.com *****************************************************************************/
1912855Sgabeblack@google.com
2012855Sgabeblack@google.com// sc_process_handle_less_than.cpp -- test for
2112855Sgabeblack@google.com//
2212855Sgabeblack@google.com//  Original Author: John Aynsley, Doulos, Inc.
2312855Sgabeblack@google.com//
2412855Sgabeblack@google.com// MODIFICATION LOG - modifiers, enter your name, affiliation, date and
2512855Sgabeblack@google.com//
2612855Sgabeblack@google.com// $Log: sc_process_handle_less_than.cpp,v $
2712855Sgabeblack@google.com// Revision 1.2  2011/05/08 19:18:46  acg
2812855Sgabeblack@google.com//  Andy Goodrich: remove extraneous + prefixes from git diff.
2912855Sgabeblack@google.com//
3012855Sgabeblack@google.com
3112855Sgabeblack@google.com// sc_process_handle::operator< and swap
3212855Sgabeblack@google.com
3312855Sgabeblack@google.com#define SC_INCLUDE_DYNAMIC_PROCESSES
3412855Sgabeblack@google.com
3512855Sgabeblack@google.com#include <systemc>
3612855Sgabeblack@google.com#include <map>
3712855Sgabeblack@google.com
3812855Sgabeblack@google.comusing namespace sc_core;
3912855Sgabeblack@google.comusing std::cout;
4012855Sgabeblack@google.comusing std::endl;
4112855Sgabeblack@google.com
4212855Sgabeblack@google.comstruct Top: sc_module
4312855Sgabeblack@google.com{
4412855Sgabeblack@google.com  Top(sc_module_name _name)
4512855Sgabeblack@google.com  {
4612855Sgabeblack@google.com    SC_THREAD(T1);
4712855Sgabeblack@google.com    SC_THREAD(T2);
4812855Sgabeblack@google.com  }
4912855Sgabeblack@google.com
5012855Sgabeblack@google.com  void T1()
5112855Sgabeblack@google.com  {
5212855Sgabeblack@google.com    sc_process_handle a, b;                // Two empty handles
5312855Sgabeblack@google.com    sc_assert( !a.valid() && !b.valid() ); // Both are invalid
5412855Sgabeblack@google.com    sc_assert( a != b );
5512855Sgabeblack@google.com    sc_assert( !(a < b) && !(b < a) );
5612855Sgabeblack@google.com
5712855Sgabeblack@google.com    a = sc_spawn(sc_bind(&Top::f, this));
5812855Sgabeblack@google.com    b = sc_spawn(sc_bind(&Top::f, this));
5912855Sgabeblack@google.com
6012855Sgabeblack@google.com    sc_assert( a != b );
6112855Sgabeblack@google.com    sc_assert( (a < b) || (b < a) );       // Two handles to different processes
6212855Sgabeblack@google.com
6312855Sgabeblack@google.com    sc_process_handle c = b;
6412855Sgabeblack@google.com
6512855Sgabeblack@google.com    sc_assert( b == c );
6612855Sgabeblack@google.com    sc_assert( !(b < c) && !(c < b) );     // Two handles to the same process
6712855Sgabeblack@google.com
6812855Sgabeblack@google.com    std::map<sc_process_handle, int> m;
6912855Sgabeblack@google.com    m[a] = 1;
7012855Sgabeblack@google.com    m[b] = 2;
7112855Sgabeblack@google.com    m[c] = 3;
7212855Sgabeblack@google.com
7312855Sgabeblack@google.com    sc_assert( m.size() == 2 );
7412855Sgabeblack@google.com    sc_assert( m[a] == 1 );
7512855Sgabeblack@google.com    sc_assert( m[b] == 3 );
7612855Sgabeblack@google.com    sc_assert( m[c] == 3 );
7712855Sgabeblack@google.com
7812855Sgabeblack@google.com    a.swap(b);
7912855Sgabeblack@google.com    sc_assert( m[a] == 3 );
8012855Sgabeblack@google.com    sc_assert( m[b] == 1 );
8112855Sgabeblack@google.com    sc_assert( m[c] == 3 );
8212855Sgabeblack@google.com    b.swap(a);
8312855Sgabeblack@google.com
8412855Sgabeblack@google.com    wait( a.terminated_event() & b.terminated_event() );
8512855Sgabeblack@google.com
8612855Sgabeblack@google.com    sc_assert( (a < b) || (b < a) ); // Same ordering whether handles are valid or not
8712855Sgabeblack@google.com
8812855Sgabeblack@google.com    if ( b.valid() ) // Handles may or may not have been invalidated
8912855Sgabeblack@google.com      sc_assert( b == c );
9012855Sgabeblack@google.com    else
9112855Sgabeblack@google.com      sc_assert( b != c );
9212855Sgabeblack@google.com
9312855Sgabeblack@google.com    sc_assert( b.valid() == c.valid() ); // Invalidation is consistent
9412855Sgabeblack@google.com    sc_assert( !(b < c) && !(c < b) ); // Two handles to the same process, whether valid or not
9512855Sgabeblack@google.com    sc_assert( c.terminated() );
9612855Sgabeblack@google.com
9712855Sgabeblack@google.com    sc_process_handle d = a;
9812855Sgabeblack@google.com    m[d] = 4;
9912855Sgabeblack@google.com
10012855Sgabeblack@google.com    sc_assert( m.size() == 2 );
10112855Sgabeblack@google.com    sc_assert( m[a] == 4 );
10212855Sgabeblack@google.com    sc_assert( m[b] == 3 );
10312855Sgabeblack@google.com    sc_assert( m[c] == 3 );
10412855Sgabeblack@google.com    sc_assert( m[d] == 4 );
10512855Sgabeblack@google.com
10612855Sgabeblack@google.com    sc_process_handle e;
10712855Sgabeblack@google.com    m[e] = 5;
10812855Sgabeblack@google.com
10912855Sgabeblack@google.com    sc_assert( m.size() == 3 );
11012855Sgabeblack@google.com    sc_assert( m[a] == 4 );
11112855Sgabeblack@google.com    sc_assert( m[b] == 3 );
11212855Sgabeblack@google.com    sc_assert( m[c] == 3 );
11312855Sgabeblack@google.com    sc_assert( m[d] == 4 );
11412855Sgabeblack@google.com    sc_assert( m[e] == 5 );
11512855Sgabeblack@google.com
11612855Sgabeblack@google.com    sc_process_handle f;
11712855Sgabeblack@google.com    m[f] = 6;
11812855Sgabeblack@google.com
11912855Sgabeblack@google.com    sc_assert( m.size() == 3 );
12012855Sgabeblack@google.com    sc_assert( m[a] == 4 );
12112855Sgabeblack@google.com    sc_assert( m[b] == 3 );
12212855Sgabeblack@google.com    sc_assert( m[c] == 3 );
12312855Sgabeblack@google.com    sc_assert( m[d] == 4 );
12412855Sgabeblack@google.com    sc_assert( m[e] == 6 );
12512855Sgabeblack@google.com    sc_assert( m[f] == 6 );
12612855Sgabeblack@google.com
12712855Sgabeblack@google.com    sc_process_handle g;
12812855Sgabeblack@google.com    m[g] = 7;
12912855Sgabeblack@google.com
13012855Sgabeblack@google.com    sc_assert( m.size() == 3 );
13112855Sgabeblack@google.com    sc_assert( m[a] == 4 );
13212855Sgabeblack@google.com    sc_assert( m[b] == 3 );
13312855Sgabeblack@google.com    sc_assert( m[c] == 3 );
13412855Sgabeblack@google.com    sc_assert( m[d] == 4 );
13512855Sgabeblack@google.com    sc_assert( m[e] == 7 );
13612855Sgabeblack@google.com    sc_assert( m[f] == 7 );
13712855Sgabeblack@google.com    sc_assert( m[g] == 7 );
13812855Sgabeblack@google.com
13912855Sgabeblack@google.com    g = sc_spawn(sc_bind(&Top::f, this));
14012855Sgabeblack@google.com    m[g] = 8;
14112855Sgabeblack@google.com
14212855Sgabeblack@google.com    sc_assert( m.size() == 4 );
14312855Sgabeblack@google.com    sc_assert( m[a] == 4 );
14412855Sgabeblack@google.com    sc_assert( m[b] == 3 );
14512855Sgabeblack@google.com    sc_assert( m[c] == 3 );
14612855Sgabeblack@google.com    sc_assert( m[d] == 4 );
14712855Sgabeblack@google.com    sc_assert( m[e] == 7 );
14812855Sgabeblack@google.com    sc_assert( m[f] == 7 );
14912855Sgabeblack@google.com    sc_assert( m[g] == 8 );
15012855Sgabeblack@google.com
15112855Sgabeblack@google.com    cout << "T1 completed" << endl;
15212855Sgabeblack@google.com  }
15312855Sgabeblack@google.com
15412855Sgabeblack@google.com  void T2()
15512855Sgabeblack@google.com  {
15612855Sgabeblack@google.com    sc_process_handle a, b = sc_get_current_process_handle();
15712855Sgabeblack@google.com    sc_assert( b.valid() );
15812855Sgabeblack@google.com
15912855Sgabeblack@google.com    a.swap( b );
16012855Sgabeblack@google.com    sc_assert( a == sc_get_current_process_handle() );
16112855Sgabeblack@google.com    sc_assert( !b.valid() );
16212855Sgabeblack@google.com
16312855Sgabeblack@google.com    cout << "T2 completed" << endl;
16412855Sgabeblack@google.com  }
16512855Sgabeblack@google.com
16612855Sgabeblack@google.com  void f() {}
16712855Sgabeblack@google.com
16812855Sgabeblack@google.com  SC_HAS_PROCESS(Top);
16912855Sgabeblack@google.com};
17012855Sgabeblack@google.com
17112855Sgabeblack@google.comint sc_main(int argc, char* argv[])
17212855Sgabeblack@google.com{
17312855Sgabeblack@google.com  Top top("top");
17412855Sgabeblack@google.com
17512855Sgabeblack@google.com  sc_start();
17612855Sgabeblack@google.com
17712855Sgabeblack@google.com  cout << endl << "Success" << endl;
17812855Sgabeblack@google.com  return 0;
17912855Sgabeblack@google.com}
18012855Sgabeblack@google.com
181