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 --- .../sc_semaphore/test02/golden/test02.log | 56 +++++++++ .../communication/sc_semaphore/test02/test02.cpp | 139 +++++++++++++++++++++ 2 files changed, 195 insertions(+) create mode 100644 src/systemc/tests/systemc/communication/sc_semaphore/test02/golden/test02.log create mode 100644 src/systemc/tests/systemc/communication/sc_semaphore/test02/test02.cpp (limited to 'src/systemc/tests/systemc/communication/sc_semaphore/test02') diff --git a/src/systemc/tests/systemc/communication/sc_semaphore/test02/golden/test02.log b/src/systemc/tests/systemc/communication/sc_semaphore/test02/golden/test02.log new file mode 100644 index 000000000..b498f9139 --- /dev/null +++ b/src/systemc/tests/systemc/communication/sc_semaphore/test02/golden/test02.log @@ -0,0 +1,56 @@ +SystemC Simulation +1 ns proc_a - lock requested +1 ns proc_a - lock obtained +2 ns proc_b - lock requested +3 ns proc_a - unlock successful +3 ns proc_b - lock obtained +6 ns proc_a - trylock failed +6 ns proc_a - unlock successful +7 ns proc_b - unlock successful +7 ns proc_a - lock requested +7 ns proc_a - lock obtained +9 ns proc_a - unlock successful +10 ns proc_b - trylock successful +10 ns proc_b - unlock successful +12 ns proc_a - trylock successful +12 ns proc_a - unlock successful +12 ns proc_b - lock requested +12 ns proc_b - lock obtained +13 ns proc_a - lock requested +13 ns proc_a - lock obtained +15 ns proc_a - unlock successful +16 ns proc_b - unlock successful +18 ns proc_a - trylock successful +18 ns proc_a - unlock successful +19 ns proc_b - trylock successful +19 ns proc_b - unlock successful +19 ns proc_a - lock requested +19 ns proc_a - lock obtained +21 ns proc_b - lock requested +21 ns proc_b - lock obtained +21 ns proc_a - unlock successful +24 ns proc_a - trylock successful +24 ns proc_a - unlock successful +25 ns proc_b - unlock successful +25 ns proc_a - lock requested +25 ns proc_a - lock obtained +27 ns proc_a - unlock successful +28 ns proc_b - trylock successful +28 ns proc_b - unlock successful +30 ns proc_a - trylock successful +30 ns proc_a - unlock successful +30 ns proc_b - lock requested +30 ns proc_b - lock obtained +31 ns proc_a - lock requested +31 ns proc_a - lock obtained +33 ns proc_a - unlock successful +34 ns proc_b - unlock successful +36 ns proc_a - trylock successful +36 ns proc_a - unlock successful +37 ns proc_b - trylock successful +37 ns proc_b - unlock successful +37 ns proc_a - lock requested +37 ns proc_a - lock obtained +39 ns proc_b - lock requested +39 ns proc_b - lock obtained +39 ns proc_a - unlock successful diff --git a/src/systemc/tests/systemc/communication/sc_semaphore/test02/test02.cpp b/src/systemc/tests/systemc/communication/sc_semaphore/test02/test02.cpp new file mode 100644 index 000000000..3ca52a36d --- /dev/null +++ b/src/systemc/tests/systemc/communication/sc_semaphore/test02/test02.cpp @@ -0,0 +1,139 @@ +/***************************************************************************** + + 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. + + *****************************************************************************/ + +/***************************************************************************** + + test02.cpp -- + + Original Author: Martin Janssen, Synopsys, Inc., 2002-02-15 + + *****************************************************************************/ + +/***************************************************************************** + + MODIFICATION LOG - modifiers, enter your name, affiliation, date and + changes you are making here. + + Name, Affiliation, Date: + Description of Modification: + + *****************************************************************************/ + +// test of the sc_semaphore_if interface -- mutex case + +#include "systemc.h" + +SC_MODULE( mod_a ) +{ + sc_port semaphore; + + void write( const char* msg ) + { + cout << sc_time_stamp() << " " << msg << endl; + } + + void proc_a() + { + while( true ) { + wait( 1, SC_NS ); + write( "proc_a - lock requested" ); + semaphore->wait(); + write( "proc_a - lock obtained" ); + wait( 2, SC_NS ); + if( semaphore->post() == 0 ) { + write( "proc_a - unlock successful" ); + } else { + write( "proc_a - unlock failed" ); + } + wait( 3, SC_NS ); + if( semaphore->trywait() == 0 ) { + write( "proc_a - trylock successful" ); + } else { + write( "proc_a - trylock failed" ); + } + if( semaphore->post() == 0 ) { + write( "proc_a - unlock successful" ); + } else { + write( "proc_a - unlock failed" ); + } + } + } + + SC_CTOR( mod_a ) + { + SC_THREAD( proc_a ); + } +}; + +SC_MODULE( mod_b ) +{ + sc_port semaphore; + + void write( const char* msg ) + { + cout << sc_time_stamp() << " " << msg << endl; + } + + void proc_b() + { + while( true ) { + wait( 2, SC_NS ); + write( "proc_b - lock requested" ); + semaphore->wait(); + write( "proc_b - lock obtained" ); + wait( 4, SC_NS ); + if( semaphore->post() == 0 ) { + write( "proc_b - unlock successful" ); + } else { + write( "proc_b - unlock failed" ); + } + wait( 3, SC_NS ); + if( semaphore->trywait() == 0 ) { + write( "proc_b - trylock successful" ); + } else { + write( "proc_b - trylock failed" ); + } + if( semaphore->post() == 0 ) { + write( "proc_b - unlock successful" ); + } else { + write( "proc_b - unlock failed" ); + } + } + } + + SC_CTOR( mod_b ) + { + SC_THREAD( proc_b ); + } +}; + +int +sc_main( int, char*[] ) +{ + mod_a a( "a" ); + mod_b b( "b" ); + sc_semaphore semaphore( "semaphore", 1 ); + + a.semaphore( semaphore ); + b.semaphore( semaphore ); + + sc_start( 40, SC_NS ); + + return 0; +} -- cgit v1.2.3