From 16fa8d7cc8c92f5ab879e4cf9c6c0bbb3567860f Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Thu, 24 May 2018 01:37:55 -0700 Subject: systemc: Import tests from the Accellera systemc distribution. Change-Id: Iad76b398949a55d768a34d027a2d8e3739953da6 Reviewed-on: https://gem5-review.googlesource.com/10845 Reviewed-by: Giacomo Travaglini Maintainer: Gabe Black --- .../kill_reset/golden/kill_reset.log | 17 ++ .../1666-2011-compliance/kill_reset/kill_reset.cpp | 270 +++++++++++++++++++++ 2 files changed, 287 insertions(+) create mode 100644 src/systemc/tests/systemc/1666-2011-compliance/kill_reset/golden/kill_reset.log create mode 100644 src/systemc/tests/systemc/1666-2011-compliance/kill_reset/kill_reset.cpp (limited to 'src/systemc/tests/systemc/1666-2011-compliance/kill_reset') diff --git a/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/golden/kill_reset.log b/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/golden/kill_reset.log new file mode 100644 index 000000000..e9e5e75ef --- /dev/null +++ b/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/golden/kill_reset.log @@ -0,0 +1,17 @@ +SystemC Simulation +Target called/reset at 0 s +Target awoke at 10 ns +Target awoke at 20 ns +sc_unwind_exception caught by target +Target called/reset at 25 ns +Target awoke at 30 ns +sc_unwind_exception caught by target +sc_unwind_exception caught by ticker +sc_unwind_exception caught by victim +sc_unwind_exception caught by bystander +sc_unwind_exception caught by second_bystander +sc_unwind_exception caught by third_bystander + +Info: /OSCI/SystemC: Simulation stopped by user. + +Success diff --git a/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/kill_reset.cpp b/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/kill_reset.cpp new file mode 100644 index 000000000..208e5bb2d --- /dev/null +++ b/src/systemc/tests/systemc/1666-2011-compliance/kill_reset/kill_reset.cpp @@ -0,0 +1,270 @@ +/***************************************************************************** + + Licensed to Accellera Systems Initiative Inc. (Accellera) under one or + more contributor license agreements. See the NOTICE file distributed + with this work for additional information regarding copyright ownership. + Accellera licenses this file to you under the Apache License, Version 2.0 + (the "License"); you may not use this file except in compliance with the + License. You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied. See the License for the specific language governing + permissions and limitations under the License. + + *****************************************************************************/ + +// kill_reset.cpp -- test for +// +// Original Author: John Aynsley, Doulos, Inc. +// +// MODIFICATION LOG - modifiers, enter your name, affiliation, date and +// +// $Log: kill_reset.cpp,v $ +// Revision 1.2 2011/05/08 19:18:46 acg +// Andy Goodrich: remove extraneous + prefixes from git diff. +// + +// Reset and kill a thread process, including nested kills and resets + +#include + +using namespace sc_core; +using std::cout; +using std::endl; + +struct M3: sc_module +{ + M3(sc_module_name _name) + { + SC_THREAD(ticker); + k = sc_get_current_process_handle(); + + SC_THREAD(calling); + + SC_THREAD(target); + t = sc_get_current_process_handle(); + + SC_THREAD(victim); + v = sc_get_current_process_handle(); + + SC_THREAD(bystander); + b = sc_get_current_process_handle(); + + SC_THREAD(second_bystander); + b2 = sc_get_current_process_handle(); + + SC_THREAD(third_bystander); + b3 = sc_get_current_process_handle(); + + killing_over = false; + third_bystander_knocked_over = false; + } + + sc_process_handle t, k, v, b, b2, b3; + sc_event ev; + int count; + bool killing_over; + bool third_bystander_knocked_over; + + void ticker() + { + for (;;) + { + try { + wait(10, SC_NS); + ev.notify(); + sc_assert( !sc_is_unwinding() ); + } + catch (const sc_unwind_exception& ex) + { + // ticker process killed by target + cout << "sc_unwind_exception caught by ticker" << endl; + sc_assert( !ex.is_reset() ); + sc_assert( count == 1 ); + sc_assert( !killing_over ); + sc_assert( t.is_unwinding() ); + sc_assert( sc_is_unwinding() ); + + v.kill(); + throw ex; + } + } + } + + void calling() + { + wait(15, SC_NS); + // Target runs at time 10 NS due to notification + sc_assert( count == 1 ); + // The victim awakes every 1ns + sc_assert( sc_time_to_pending_activity() <= sc_time(1, SC_NS) ); + + wait(10, SC_NS); + // Target runs again at time 20 NS due to notification + sc_assert( count == 2 ); + + t.reset(); + // Target reset immediately at time 25 NS + sc_assert( count == 0 ); + + wait(10, SC_NS); + // Target runs again at time 30 NS due to notification + sc_assert( count == 1 ); + + t.kill(); + sc_assert( !killing_over ); + killing_over = true; + + // Target killed immediately at time 35 NS + if (t.valid()) + sc_assert( t.terminated() ); + if (k.valid()) + sc_assert( k.terminated() ); + if (v.valid()) + sc_assert( v.terminated() ); + sc_assert( b.valid() && !b.terminated() ); + sc_assert( b2.valid() && !b2.terminated() ); + if (b3.valid()) + sc_assert( b3.terminated() ); + + sc_stop(); + } + + void target() + { + cout << "Target called/reset at " << sc_time_stamp() << endl; + count = 0; + for (;;) + { + try { + wait(ev); + cout << "Target awoke at " << sc_time_stamp() << endl; + ++count; + } + catch (const sc_unwind_exception& ex) + { + cout << "sc_unwind_exception caught by target" << endl; + if (count == 2) + sc_assert( ex.is_reset() ); + else if (count == 1) + { + sc_assert( !ex.is_reset() ); + sc_assert( !killing_over ); + k.kill(); + } + else + sc_assert( false ); + throw ex; + } + } + } + + void victim() + { + try { + while (true) + { + wait(1, SC_NS); + sc_assert( !sc_is_unwinding() ); + } + } + catch (const sc_unwind_exception& ex) + { + cout << "sc_unwind_exception caught by victim" << endl; + sc_assert( sc_time_stamp() == sc_time(35, SC_NS) ); + sc_assert( ex.is_reset() == false ); + sc_assert( !killing_over ); + sc_assert( v.is_unwinding() ); + sc_assert( sc_is_unwinding() ); + + b.reset(); + throw ex; + } + } + + void bystander() // Gets reset by victim + { + for (;;) + { + try { + wait(ev); + } + catch (const sc_unwind_exception& ex) { + cout << "sc_unwind_exception caught by bystander" << endl; + sc_assert( sc_time_stamp() == sc_time(35, SC_NS) ); + sc_assert( ex.is_reset() == true ); + sc_assert( !killing_over ); + sc_assert( v.is_unwinding() ); // sic + sc_assert( sc_is_unwinding() ); + + b2.reset(); + throw ex; + } + } + } + + void second_bystander() // Gets reset by bystander + { + for (;;) + { + try { + wait(ev); + } + catch (const sc_unwind_exception& ex) { + cout << "sc_unwind_exception caught by second_bystander" << endl; + sc_assert( sc_time_stamp() == sc_time(35, SC_NS) ); + sc_assert( ex.is_reset() == true ); + sc_assert( !killing_over ); + sc_assert( v.is_unwinding() ); // sic + sc_assert( b.is_unwinding() ); // sic + sc_assert( sc_is_unwinding() ); + + b3.kill(); + throw ex; + } + } + } + + void third_bystander() // Gets killed by second bystander + { + for (;;) + { + try { + wait(ev); + } + catch (const sc_unwind_exception& ex) { + cout << "sc_unwind_exception caught by third_bystander" << endl; + sc_assert( sc_time_stamp() == sc_time(35, SC_NS) ); + sc_assert( !ex.is_reset() == true ); + sc_assert( !killing_over ); + sc_assert( v.is_unwinding() ); // sic + sc_assert( b.is_unwinding() ); // sic + sc_assert( b2.is_unwinding() ); // sic + sc_assert( sc_is_unwinding() ); + + third_bystander_knocked_over = true; + throw ex; + } + } + } + + SC_HAS_PROCESS(M3); +}; + +int sc_main(int argc, char* argv[]) +{ + M3 m("m"); + sc_assert( sc_pending_activity() == false ); + sc_assert( sc_time_to_pending_activity() == sc_max_time() ); + + sc_start(); + sc_assert( m.third_bystander_knocked_over ); + + cout << endl << "Success" << endl; + return 0; +} + -- cgit v1.2.3