URL
https://opencores.org/ocsvn/or1k/or1k/trunk
Subversion Repositories or1k
[/] [or1k/] [trunk/] [ecos-2.0/] [packages/] [kernel/] [v2_0/] [tests/] [sync3.cxx] - Rev 1773
Go to most recent revision | Compare with Previous | Blame | View Log
//========================================================================== // // sync3.cxx // // Sync test 3 -- tests priorities and priority inheritance // //========================================================================== //####ECOSGPLCOPYRIGHTBEGIN#### // ------------------------------------------- // This file is part of eCos, the Embedded Configurable Operating System. // Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc. // // 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 // 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 // WARRANTY; without even the implied warranty of MERCHANTABILITY or // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // // You should have received a copy of the GNU General Public License along // with eCos; if not, write to the Free Software Foundation, Inc., // 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. // // 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 // 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 // License. However the source code for this file must still be made available // 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 file might be covered by the GNU General Public License. // // Alternative licenses for eCos may be arranged by contacting Red Hat, Inc. // at http://sources.redhat.com/ecos/ecos-license/ // ------------------------------------------- //####ECOSGPLCOPYRIGHTEND#### //========================================================================== //#####DESCRIPTIONBEGIN#### // // Author(s): dsm // Contributors: dsm // Date: 1998-02-18 // Description: // Creates mutexes and threads to set up starvation condition. // Checks simple priority inheritance cures this. // // The starvation condition is caused by the highest priority // thread, t0 waiting on a mutex which is never released because // it is held by t2. t2 never releases it because t1 will be // running at a priority level higher than t2 (but lower than t0). // // With priority inheritance enabled, t2 will inherit its priority // from t0 when t0 tries to grab the mutex. // // Options: // CYGIMP_THREAD_PRIORITY // CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT // CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_SIMPLE //####DESCRIPTIONEND#### #include <pkgconf/kernel.h> #include <cyg/kernel/thread.hxx> #include <cyg/kernel/thread.inl> #include <cyg/kernel/sched.hxx> #include <cyg/kernel/mutex.hxx> #include <cyg/kernel/sema.hxx> #include <cyg/infra/testcase.h> #include <cyg/kernel/sched.inl> #if defined(CYGIMP_THREAD_PRIORITY) && \ !defined(CYGPKG_KERNEL_SMP_SUPPORT) // ------------------------------------------------------------------------ // Manufacture a simpler feature test macro for priority inheritance than // the configuration gives us. We have priority inheritance if it is configured // as the only protocol, or if it is the default protocol for dynamic protocol // choice. // FIXME: If we have dynamic protocol choice, we can also set priority inheritance // as the protocol to be used on the mutexes we are interested in. At present we // do not do this. #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_INHERIT # define PRIORITY_INHERITANCE # else # undef PRIORITY_INHERITANCE # endif # else # define PRIORITY_INHERITANCE # endif #else # undef PRIORITY_INHERITANCE #endif // ------------------------------------------------------------------------ #define NTHREADS 3 #include "testaux.hxx" static Cyg_Mutex m0; static Cyg_Binary_Semaphore s0, s1, s2; static cyg_ucount8 m0d = 9; static void check_priorities_normal() { CHECK( 5 == thread[0]->get_priority()); CHECK( 6 == thread[1]->get_priority()); CHECK( 7 == thread[2]->get_priority()); } static void check_priorities_inherited() { CHECK( 5 == thread[0]->get_priority()); CHECK( 6 == thread[1]->get_priority()); #ifdef PRIORITY_INHERITANCE CHECK( 5 == thread[2]->get_current_priority()); #endif CHECK( 7 == thread[2]->get_priority()); } static void entry0( CYG_ADDRWORD data ) { s0.wait(); // wait until t2 has gained m0.lock check_priorities_normal(); m0.lock(); { check_priorities_normal(); CHECK( 2 == m0d ); m0d = 0; } m0.unlock(); check_priorities_normal(); #ifdef PRIORITY_INHERITANCE CYG_TEST_PASS_FINISH("Sync 3 OK -- priority inheritance worked"); #else CYG_TEST_FAIL_FINISH("Sync 3: thread not starved"); #endif // NOT REACHED } static void entry1( CYG_ADDRWORD data ) { s1.wait(); // The delay below will allow testing of the priority inheritance // mechanism when scheduler does not guarantee to schedule threads // in strict priority order. for ( volatile cyg_ucount32 i=0; i < 100000; i++ ) ; // math is hard #ifdef PRIORITY_INHERITANCE // thread0 should have stopped by this point CYG_TEST_FAIL_FINISH("Sync 3: priority inheritance mechanism failed"); #else // With strict priority scheduling and no priority inheritance // this is expected to happen. CYG_TEST_PASS_FINISH("Sync 3 OK"); #endif CYG_TEST_FAIL_FINISH("Not reached"); } void entry2( CYG_ADDRWORD data ) { m0.lock(); { CHECK( 9 == m0d ); check_priorities_normal(); s0.post(); // Now I have lock on m0, wake t0 then t1 check_priorities_inherited(); s1.post(); check_priorities_inherited(); m0d = 2; } m0.unlock(); check_priorities_normal(); m0.lock(); { check_priorities_normal(); CHECK( 0 == m0d ); m0d = 21; s2.wait(); // never posted } m0.unlock(); } void sync3_main(void) { CYG_TEST_INIT(); new_thread( entry0, 0); new_thread( entry1, 1); new_thread( entry2, 2); thread[0]->set_priority(5); thread[1]->set_priority(6); thread[2]->set_priority(7); Cyg_Scheduler::start(); CYG_TEST_FAIL_FINISH("Not reached"); } externC void cyg_start( void ) { #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG cyg_hal_invoke_constructors(); #endif sync3_main(); } #else // defined(CYGIMP_THREAD_PRIORITY) etc externC void cyg_start( void ) { CYG_TEST_INIT(); CYG_TEST_PASS_FINISH("Sync3 test requires:\n" "defined(CYGIMP_THREAD_PRIORITY) &&\n" "!defined(CYGPKG_KERNEL_SMP_SUPPORT)\n"); } #endif // defined(CYGIMP_THREAD_PRIORITY) etc // EOF sync3.cxx
Go to most recent revision | Compare with Previous | Blame | View Log