//==========================================================================
|
//==========================================================================
|
//
|
//
|
// sync2.cxx
|
// sync2.cxx
|
//
|
//
|
// Sync test 2 -- test of different locking mechanisms
|
// Sync test 2 -- test of different locking mechanisms
|
//
|
//
|
//==========================================================================
|
//==========================================================================
|
//####ECOSGPLCOPYRIGHTBEGIN####
|
//####ECOSGPLCOPYRIGHTBEGIN####
|
// -------------------------------------------
|
// -------------------------------------------
|
// This file is part of eCos, the Embedded Configurable Operating System.
|
// This file is part of eCos, the Embedded Configurable Operating System.
|
// Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.
|
// Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.
|
//
|
//
|
// eCos is free software; you can redistribute it and/or modify it under
|
// eCos is free software; you can redistribute it and/or modify it under
|
// the terms of the GNU General Public License as published by the Free
|
// the terms of the GNU General Public License as published by the Free
|
// Software Foundation; either version 2 or (at your option) any later version.
|
// Software Foundation; either version 2 or (at your option) any later version.
|
//
|
//
|
// eCos is distributed in the hope that it will be useful, but WITHOUT ANY
|
// eCos is distributed in the hope that it will be useful, but WITHOUT ANY
|
// WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
// WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
// for more details.
|
// for more details.
|
//
|
//
|
// You should have received a copy of the GNU General Public License along
|
// You should have received a copy of the GNU General Public License along
|
// with eCos; if not, write to the Free Software Foundation, Inc.,
|
// with eCos; if not, write to the Free Software Foundation, Inc.,
|
// 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
|
// 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
|
//
|
//
|
// As a special exception, if other files instantiate templates or use macros
|
// As a special exception, if other files instantiate templates or use macros
|
// or inline functions from this file, or you compile this file and link it
|
// or inline functions from this file, or you compile this file and link it
|
// with other works to produce a work based on this file, this file does not
|
// with other works to produce a work based on this file, this file does not
|
// by itself cause the resulting work to be covered by the GNU General Public
|
// by itself cause the resulting work to be covered by the GNU General Public
|
// License. However the source code for this file must still be made available
|
// License. However the source code for this file must still be made available
|
// in accordance with section (3) of the GNU General Public License.
|
// in accordance with section (3) of the GNU General Public License.
|
//
|
//
|
// This exception does not invalidate any other reasons why a work based on
|
// This exception does not invalidate any other reasons why a work based on
|
// this file might be covered by the GNU General Public License.
|
// this file might be covered by the GNU General Public License.
|
//
|
//
|
// Alternative licenses for eCos may be arranged by contacting Red Hat, Inc.
|
// Alternative licenses for eCos may be arranged by contacting Red Hat, Inc.
|
// at http://sources.redhat.com/ecos/ecos-license/
|
// at http://sources.redhat.com/ecos/ecos-license/
|
// -------------------------------------------
|
// -------------------------------------------
|
//####ECOSGPLCOPYRIGHTEND####
|
//####ECOSGPLCOPYRIGHTEND####
|
//==========================================================================
|
//==========================================================================
|
//#####DESCRIPTIONBEGIN####
|
//#####DESCRIPTIONBEGIN####
|
//
|
//
|
// Author(s): dsm
|
// Author(s): dsm
|
// Contributors: dsm
|
// Contributors: dsm
|
// Date: 1998-02-18
|
// Date: 1998-02-18
|
// Description:
|
// Description:
|
// Creates some threads and tests the various synchronization
|
// Creates some threads and tests the various synchronization
|
// mechanisms. Four threads are created t0..t3. t0 and t3 grab a
|
// mechanisms. Four threads are created t0..t3. t0 and t3 grab a
|
// mutex and check they have exclusive access to shared variable.
|
// mutex and check they have exclusive access to shared variable.
|
// t0,t1,t2 post each other in a loop with a semaphore so that
|
// t0,t1,t2 post each other in a loop with a semaphore so that
|
// only one is running at any time. t1,t2,t3 do a similar thing
|
// only one is running at any time. t1,t2,t3 do a similar thing
|
// with counting semaphores, except that there are two active
|
// with counting semaphores, except that there are two active
|
// threads.
|
// threads.
|
// Omissions:
|
// Omissions:
|
// Doesn't test condition variables
|
// Doesn't test condition variables
|
//
|
//
|
//####DESCRIPTIONEND####
|
//####DESCRIPTIONEND####
|
|
|
#include <pkgconf/kernel.h>
|
#include <pkgconf/kernel.h>
|
|
|
#include <cyg/kernel/thread.hxx>
|
#include <cyg/kernel/thread.hxx>
|
#include <cyg/kernel/thread.inl>
|
#include <cyg/kernel/thread.inl>
|
#include <cyg/kernel/sched.hxx>
|
#include <cyg/kernel/sched.hxx>
|
#include <cyg/kernel/mutex.hxx>
|
#include <cyg/kernel/mutex.hxx>
|
#include <cyg/kernel/sema.hxx>
|
#include <cyg/kernel/sema.hxx>
|
|
|
#include <cyg/infra/testcase.h>
|
#include <cyg/infra/testcase.h>
|
|
|
#include <cyg/kernel/sched.inl>
|
#include <cyg/kernel/sched.inl>
|
|
|
#define NTHREADS 4
|
#define NTHREADS 4
|
|
|
#include "testaux.hxx"
|
#include "testaux.hxx"
|
|
|
static Cyg_Mutex m0;
|
static Cyg_Mutex m0;
|
static Cyg_Binary_Semaphore s0, s1, s2(1);
|
static Cyg_Binary_Semaphore s0, s1, s2(1);
|
static Cyg_Counting_Semaphore cs0, cs1, cs2, cs3;
|
static Cyg_Counting_Semaphore cs0, cs1, cs2, cs3;
|
|
|
static const cyg_ucount16 n = 1000;
|
static const cyg_ucount16 n = 1000;
|
static cyg_ucount8 m0d=99, sd=2, cd0=99, cd1=99;
|
static cyg_ucount8 m0d=99, sd=2, cd0=99, cd1=99;
|
|
|
static void entry0( CYG_ADDRWORD data )
|
static void entry0( CYG_ADDRWORD data )
|
{
|
{
|
for(cyg_ucount16 i=0; i<n; i++) {
|
for(cyg_ucount16 i=0; i<n; i++) {
|
s2.wait();
|
s2.wait();
|
CHECK( 2 == sd );
|
CHECK( 2 == sd );
|
sd = 0;
|
sd = 0;
|
m0.lock(); {
|
m0.lock(); {
|
m0d = 0;
|
m0d = 0;
|
s0.post();
|
s0.post();
|
CHECK( 0 == m0d );
|
CHECK( 0 == m0d );
|
} m0.unlock();
|
} m0.unlock();
|
}
|
}
|
// wait for 3 explicit posts to indicate threads have stopped.
|
// wait for 3 explicit posts to indicate threads have stopped.
|
for(cyg_ucount8 i=0; i<3; i++)
|
for(cyg_ucount8 i=0; i<3; i++)
|
cs3.wait();
|
cs3.wait();
|
|
|
CHECK( ! s0.posted() );
|
CHECK( ! s0.posted() );
|
CHECK( ! s1.posted() );
|
CHECK( ! s1.posted() );
|
CHECK( s2.posted() );
|
CHECK( s2.posted() );
|
|
|
CHECK( 0 == cs0.peek() );
|
CHECK( 0 == cs0.peek() );
|
CHECK( 0 == cs1.peek() );
|
CHECK( 0 == cs1.peek() );
|
CHECK( 0 == cs2.peek() );
|
CHECK( 0 == cs2.peek() );
|
CHECK( 0 == cs3.peek() );
|
CHECK( 0 == cs3.peek() );
|
|
|
CHECK( 0 == cd0 );
|
CHECK( 0 == cd0 );
|
CHECK( 0 == cd1 );
|
CHECK( 0 == cd1 );
|
CYG_TEST_PASS_FINISH("Sync 2 OK");
|
CYG_TEST_PASS_FINISH("Sync 2 OK");
|
CYG_TEST_FAIL_FINISH("Not reached");
|
CYG_TEST_FAIL_FINISH("Not reached");
|
}
|
}
|
|
|
static void entry1( CYG_ADDRWORD data )
|
static void entry1( CYG_ADDRWORD data )
|
{
|
{
|
for(cyg_ucount16 i=0; i<n; i++) {
|
for(cyg_ucount16 i=0; i<n; i++) {
|
s0.wait();
|
s0.wait();
|
CHECK( 0 == sd );
|
CHECK( 0 == sd );
|
sd = 1;
|
sd = 1;
|
cd0 = 1;
|
cd0 = 1;
|
cs1.post();
|
cs1.post();
|
cd1 = 1;
|
cd1 = 1;
|
cs1.post();
|
cs1.post();
|
s1.post();
|
s1.post();
|
cs0.wait();
|
cs0.wait();
|
CHECK( 0 == cd0 );
|
CHECK( 0 == cd0 );
|
cs0.wait();
|
cs0.wait();
|
CHECK( 0 == cd1 );
|
CHECK( 0 == cd1 );
|
}
|
}
|
cs3.post();
|
cs3.post();
|
s0.wait();
|
s0.wait();
|
CYG_TEST_FAIL_FINISH("Not reached");
|
CYG_TEST_FAIL_FINISH("Not reached");
|
}
|
}
|
|
|
static void entry2( CYG_ADDRWORD data )
|
static void entry2( CYG_ADDRWORD data )
|
{
|
{
|
for(cyg_ucount16 i=0; i<n; i++) {
|
for(cyg_ucount16 i=0; i<n; i++) {
|
s1.wait();
|
s1.wait();
|
CHECK( 1 == sd );
|
CHECK( 1 == sd );
|
sd = 2;
|
sd = 2;
|
cs1.wait();
|
cs1.wait();
|
CHECK( 1 == cd0 );
|
CHECK( 1 == cd0 );
|
cd0 = 2;
|
cd0 = 2;
|
cs2.post();
|
cs2.post();
|
s2.post();
|
s2.post();
|
cs1.wait();
|
cs1.wait();
|
CHECK( 1 == cd1 );
|
CHECK( 1 == cd1 );
|
cd1 = 2;
|
cd1 = 2;
|
cs2.post();
|
cs2.post();
|
}
|
}
|
cs3.post();
|
cs3.post();
|
s1.wait();
|
s1.wait();
|
CYG_TEST_FAIL_FINISH("Not reached");
|
CYG_TEST_FAIL_FINISH("Not reached");
|
}
|
}
|
|
|
static void entry3( CYG_ADDRWORD data )
|
static void entry3( CYG_ADDRWORD data )
|
{
|
{
|
for(cyg_ucount16 i=0; i < n*2; i++) {
|
for(cyg_ucount16 i=0; i < n*2; i++) {
|
cs2.wait();
|
cs2.wait();
|
CHECK( 2 == cd0 || 2 == cd1 );
|
CHECK( 2 == cd0 || 2 == cd1 );
|
m0.lock(); {
|
m0.lock(); {
|
m0d = 3;
|
m0d = 3;
|
if( 2 == cd0 )
|
if( 2 == cd0 )
|
cd0 = 0;
|
cd0 = 0;
|
else {
|
else {
|
CHECK( 2 == cd1 );
|
CHECK( 2 == cd1 );
|
cd1 = 0;
|
cd1 = 0;
|
}
|
}
|
cs0.post();
|
cs0.post();
|
CHECK( 3 == m0d );
|
CHECK( 3 == m0d );
|
} m0.unlock();
|
} m0.unlock();
|
}
|
}
|
cs3.post();
|
cs3.post();
|
cs1.wait();
|
cs1.wait();
|
CYG_TEST_FAIL_FINISH("Not reached");
|
CYG_TEST_FAIL_FINISH("Not reached");
|
}
|
}
|
|
|
|
|
void sync2_main(void)
|
void sync2_main(void)
|
{
|
{
|
CYG_TEST_INIT();
|
CYG_TEST_INIT();
|
|
|
new_thread(entry0, 0);
|
new_thread(entry0, 0);
|
new_thread(entry1, 1);
|
new_thread(entry1, 1);
|
new_thread(entry2, 2);
|
new_thread(entry2, 2);
|
new_thread(entry3, 3);
|
new_thread(entry3, 3);
|
|
|
Cyg_Scheduler::start();
|
Cyg_Scheduler::start();
|
|
|
CYG_TEST_PASS_FINISH("Not reached");
|
CYG_TEST_PASS_FINISH("Not reached");
|
}
|
}
|
|
|
externC void
|
externC void
|
cyg_start( void )
|
cyg_start( void )
|
{
|
{
|
#ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
|
#ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
|
cyg_hal_invoke_constructors();
|
cyg_hal_invoke_constructors();
|
#endif
|
#endif
|
sync2_main();
|
sync2_main();
|
}
|
}
|
|
|
// EOF sync2.cxx
|
// EOF sync2.cxx
|
|
|