testcx2.cxx

来自「eCos操作系统源码」· CXX 代码 · 共 938 行 · 第 1/3 页

//===========================================================================
//
//      testcx2.cxx
//
//      uITRON "C++" test program two
//
//===========================================================================
//####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):   hmt
// Contributors:        hmt
// Date:        1998-03-13
// Purpose:     uITRON API testing
// Description: 
//
//####DESCRIPTIONEND####
//
//===========================================================================

#include <pkgconf/uitron.h>             // uITRON setup CYGNUM_UITRON_SEMAS
                                        // CYGPKG_UITRON et al
#include <cyg/infra/testcase.h>         // testing infrastructure

#ifdef CYGPKG_UITRON                    // we DO want the uITRON package

#ifdef CYGSEM_KERNEL_SCHED_MLQUEUE      // we DO want prioritized threads

#ifdef CYGFUN_KERNEL_THREADS_TIMER      // we DO want timout-able calls

#ifdef CYGVAR_KERNEL_COUNTERS_CLOCK     // we DO want the realtime clock

// we're OK if it's C++ or neither of those two is defined:
#if defined( __cplusplus ) || \
    (!defined( CYGIMP_UITRON_INLINE_FUNCS ) && \
     !defined( CYGIMP_UITRON_CPP_OUTLINE_FUNCS) )

// =================== TEST CONFIGURATION ===================
#if \
    /* test configuration for enough tasks */                      \
    (CYGNUM_UITRON_TASKS >= 4)                                  && \
    (CYGNUM_UITRON_TASKS < 90)                                  && \
    (CYGNUM_UITRON_START_TASKS == 1)                            && \
    ( !defined(CYGPKG_UITRON_TASKS_CREATE_DELETE) ||               \
      CYGNUM_UITRON_TASKS_INITIALLY >= 4             )          && \
                                                                   \
    /* test configuration for enough semaphores */                 \
    defined( CYGPKG_UITRON_SEMAS )                              && \
    (CYGNUM_UITRON_SEMAS >= 3)                                  && \
    (CYGNUM_UITRON_SEMAS < 90)                                  && \
    ( !defined(CYGPKG_UITRON_SEMAS_CREATE_DELETE) ||               \
      CYGNUM_UITRON_SEMAS_INITIALLY >= 3             )          && \
                                                                   \
    /* test configuration for enough flag objects */               \
    defined( CYGPKG_UITRON_FLAGS )                              && \
    (CYGNUM_UITRON_FLAGS >= 3)                                  && \
    (CYGNUM_UITRON_FLAGS < 90)                                  && \
    ( !defined(CYGPKG_UITRON_FLAGS_CREATE_DELETE) ||               \
      CYGNUM_UITRON_FLAGS_INITIALLY >= 3             )          && \
                                                                   \
    /* test configuration for enough message boxes */              \
    defined( CYGPKG_UITRON_MBOXES )                             && \
    (CYGNUM_UITRON_MBOXES >= 3)                                 && \
    (CYGNUM_UITRON_MBOXES < 90)                                 && \
    ( !defined(CYGPKG_UITRON_MBOXES_CREATE_DELETE) ||              \
      CYGNUM_UITRON_MBOXES_INITIALLY >= 3            )          && \
                                                                   \
    /* test configuration for enough fixed memory pools */         \
    defined( CYGPKG_UITRON_MEMPOOLFIXED )                       && \
    (CYGNUM_UITRON_MEMPOOLFIXED >= 3)                           && \
    (CYGNUM_UITRON_MEMPOOLFIXED < 90)                           && \
    ( !defined(CYGPKG_UITRON_MEMPOOLFIXED_CREATE_DELETE) ||        \
      CYGNUM_UITRON_MEMPOOLFIXED_INITIALLY >= 3       )         && \
                                                                   \
    /* test configuration for enough variable mempools */          \
    defined( CYGPKG_UITRON_MEMPOOLVAR )                         && \
    (CYGNUM_UITRON_MEMPOOLVAR >= 3)                             && \
    (CYGNUM_UITRON_MEMPOOLVAR < 90)                             && \
    ( !defined(CYGPKG_UITRON_MEMPOOLVAR_CREATE_DELETE) ||          \
      CYGNUM_UITRON_MEMPOOLVAR_INITIALLY >= 3       )           && \
                                                                   \
    /* the end of the large #if statement */                       \
    1 

// ============================ END ============================



#include <cyg/compat/uitron/uit_func.h> // uITRON

externC void
cyg_package_start( void )
{
    CYG_TEST_INIT();
    CYG_TEST_INFO( "Calling cyg_uitron_start()" );
    cyg_uitron_start();
}

int intercom = 0;
int intercount = 0;
INT scratch = 0;

extern "C" {
    void task1( unsigned int arg );
    void task2( unsigned int arg );
    void task3( unsigned int arg );
    void task4( unsigned int arg );
}

void task1( unsigned int arg )
{
    ER ercd;

    T_RSEM sem_info;
    T_RFLG flg_info;
    T_RMBX mbx_info;
    T_RMPF mpf_info;
    T_RMPL mpl_info;
    UINT flagptn;
    static char foo[] = "Test message";
    T_MSG *msgptr = (T_MSG *)foo;
    T_MSG *rxptr = NULL;
    VP blfptr = (VP)foo;
    VP blkptr = (VP)foo;

    int delay = 10;
    if (cyg_test_is_simulator)
        delay = 3;

    CYG_TEST_INFO( "Task 1 running" );
    ercd = get_tid( &scratch );
    CYG_TEST_CHECK( E_OK == ercd, "get_tid bad ercd" );
    CYG_TEST_CHECK( 1 == scratch, "tid not 1" );
    
    // start a lower prio task to interact with
    intercom = 1;
    ercd = sta_tsk( 2, 222 );
    CYG_TEST_CHECK( E_OK == ercd, "sta_tsk bad ercd" );
    ercd = dly_tsk( delay );
    CYG_TEST_CHECK( E_OK == ercd, "dly_tsk bad ercd" );

    // Semaphores; all the illegal argument combinations first
    CYG_TEST_INFO( "Testing semaphore ops" );
#ifdef CYGSEM_UITRON_BAD_PARAMS_RETURN_ERRORS
    ercd = sig_sem( -6 );
    CYG_TEST_CHECK( E_ID == ercd, "sig_sem bad ercd !E_ID" );
    ercd = sig_sem( 99 );
    CYG_TEST_CHECK( E_ID == ercd, "sig_sem bad ercd !E_ID" );
    ercd = wai_sem( -6 );
    CYG_TEST_CHECK( E_ID == ercd, "wai_sem bad ercd !E_ID" );
    ercd = wai_sem( 99 );
    CYG_TEST_CHECK( E_ID == ercd, "wai_sem bad ercd !E_ID" );
    ercd = preq_sem( -6 );
    CYG_TEST_CHECK( E_ID == ercd, "preq_sem bad ercd !E_ID" );
    ercd = preq_sem( 99 );
    CYG_TEST_CHECK( E_ID == ercd, "preq_sem bad ercd !E_ID" );
    ercd = twai_sem( -6, delay );
    CYG_TEST_CHECK( E_ID == ercd, "twai_sem bad ercd !E_ID" );
    ercd = twai_sem( 99, delay );
    CYG_TEST_CHECK( E_ID == ercd, "twai_sem bad ercd !E_ID" );
    ercd = twai_sem( 2, -999 );
    CYG_TEST_CHECK( E_PAR == ercd, "twai_sem bad ercd !E_PAR" );
    ercd = ref_sem( &sem_info, -6 );
    CYG_TEST_CHECK( E_ID == ercd, "ref_sem bad ercd !E_ID" );
    ercd = ref_sem( &sem_info, 99 );
    CYG_TEST_CHECK( E_ID == ercd, "ref_sem bad ercd !E_ID" );
#ifndef CYGSEM_UITRON_PARAMS_NULL_IS_GOOD_PTR
    ercd = ref_sem( NULL, 2 );
    CYG_TEST_CHECK( E_PAR == ercd, "ref_sem bad ercd !E_PAR" );
#endif
    CYG_TEST_PASS( "bad calls: sig_sem, [t]wai_sem, preq_sem, ref_sem" );
#endif // we can test bad param error returns

    // check the waitable functions versus dispatch disable
    ercd = preq_sem( 2 );
    CYG_TEST_CHECK( E_TMOUT == ercd, "preq_sem bad ercd !E_TMOUT" );
    ercd = twai_sem( 2, delay );
    CYG_TEST_CHECK( E_TMOUT == ercd, "twai_sem bad ercd !E_TMOUT" );
    ercd = twai_sem( 2, TMO_POL );
    CYG_TEST_CHECK( E_TMOUT == ercd, "twai_sem(POL) bad ercd !E_TMOUT" );
    ercd = dis_dsp();
    CYG_TEST_CHECK( E_OK == ercd, "dis_dsp bad ercd" );
#ifdef CYGSEM_UITRON_BAD_PARAMS_RETURN_ERRORS
    ercd = wai_sem( 2 );
    CYG_TEST_CHECK( E_CTX == ercd, "wai_sem bad ercd !E_CTX" );
    ercd = twai_sem( 2, delay );
    CYG_TEST_CHECK( E_CTX == ercd, "twai_sem bad ercd !E_CTX" );
    ercd = twai_sem( 2, TMO_FEVR );
    CYG_TEST_CHECK( E_CTX == ercd, "twai_sem(FEVR) bad ercd !E_CTX" );
#endif // we can test bad param error returns
    ercd = twai_sem( 2, TMO_POL );
    CYG_TEST_CHECK( E_TMOUT == ercd, "twai_sem(POL) bad ercd !E_TMOUT" );
    ercd = preq_sem( 2 );
    CYG_TEST_CHECK( E_TMOUT == ercd, "preq_sem bad ercd !E_TMOUT" );
    ercd = ena_dsp();
    CYG_TEST_CHECK( E_OK == ercd, "ena_dsp bad ercd" );
    ercd = preq_sem( 2 );
    CYG_TEST_CHECK( E_TMOUT == ercd, "preq_sem bad ercd !E_TMOUT" );
    ercd = twai_sem( 2, delay );
    CYG_TEST_CHECK( E_TMOUT == ercd, "twai_sem bad ercd !E_TMOUT" );
    ercd = twai_sem( 2, TMO_POL );
    CYG_TEST_CHECK( E_TMOUT == ercd, "twai_sem(POL) bad ercd !E_TMOUT" );
    CYG_TEST_PASS( "bad calls: wai_sem, twai_sem with dis_dsp" );

    // check ref_sem with various states
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    ercd = sig_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "sig_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 1 == sem_info.semcnt, "semcnt should be 1" );
    ercd = preq_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "wai_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    ercd = sig_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "sig_sem bad ercd" );
    ercd = sig_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "sig_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 2 == sem_info.semcnt, "semcnt should be 2" );
    ercd = wai_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "wai_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 1 == sem_info.semcnt, "semcnt should be 1" );
    ercd = twai_sem( 2, delay );
    CYG_TEST_CHECK( E_OK == ercd, "wai_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    intercom = 0;
    ercd = dly_tsk( delay );
    CYG_TEST_CHECK( E_OK == ercd, "dly_tsk bad ercd" );
    intercom = 1;
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 != sem_info.wtsk, "sem.wtsk should be non0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    ercd = sig_sem( 2 );
    CYG_TEST_CHECK( E_OK == ercd, "sig_sem bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be non0" );
#if 1
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
#else // old, non-uITRON semantics
    CYG_TEST_CHECK( 1 == sem_info.semcnt, "semcnt should be 1" );
#endif
    ercd = dly_tsk( delay );               // let task 2 pick up the signal
    CYG_TEST_CHECK( E_OK == ercd, "dly_tsk bad ercd" );
    ercd = ref_sem( &sem_info, 2 );
    CYG_TEST_CHECK( E_OK == ercd, "ref_sem bad ercd" );
    CYG_TEST_CHECK( 0 == sem_info.wtsk, "sem.wtsk should be 0" );
    CYG_TEST_CHECK( 0 == sem_info.semcnt, "semcnt should be 0" );
    CYG_TEST_PASS( "good calls: sig_sem, [t]wai,preq_sem with ref_sem" );

    // Flags; all the illegal argument combinations first
    CYG_TEST_INFO( "Testing flag ops" );
#ifdef CYGSEM_UITRON_BAD_PARAMS_RETURN_ERRORS
    ercd = set_flg( -6, 1 );
    CYG_TEST_CHECK( E_ID == ercd, "set_flg bad ercd !E_ID" );
    ercd = set_flg( 99, 1 );
    CYG_TEST_CHECK( E_ID == ercd, "set_flg bad ercd !E_ID" );
    ercd = clr_flg( -6, 1 );
    CYG_TEST_CHECK( E_ID == ercd, "clr_flg bad ercd !E_ID" );
    ercd = clr_flg( 99, 1 );