flash_v2: packages/kernel/current/tests/sync3.cxx annotate

annotate packages/kernel/current/tests/sync3.cxx @ 177:4c750ce71ae3

Merge from eCos master repository on 2001-08-10-19:22:57-BST

author	jlarmour
date	Fri, 10 Aug 2001 19:27:55 +0000
parents	eb9fd8c04db3
children	e0c0827131d1

rev	line source
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	1 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	2 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	3 // sync3.cxx
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	4 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	5 // Sync test 3 -- tests priorities and priority inheritance
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	6 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	7 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	8 //####COPYRIGHTBEGIN####
64 c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	9 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	10 // -------------------------------------------
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	11 // The contents of this file are subject to the Red Hat eCos Public License
66 bf00f99aec69 Merge from eCos master repository on 2000-02-02-19:16:44-GMT jlarmour parents: 64 diff changeset	12 // Version 1.1 (the "License"); you may not use this file except in
64 c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	13 // compliance with the License. You may obtain a copy of the License at
66 bf00f99aec69 Merge from eCos master repository on 2000-02-02-19:16:44-GMT jlarmour parents: 64 diff changeset	14 // http://www.redhat.com/
64 c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	15 //
66 bf00f99aec69 Merge from eCos master repository on 2000-02-02-19:16:44-GMT jlarmour parents: 64 diff changeset	16 // Software distributed under the License is distributed on an "AS IS"
64 c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	17 // basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	18 // License for the specific language governing rights and limitations under
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	19 // the License.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	20 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	21 // The Original Code is eCos - Embedded Configurable Operating System,
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	22 // released September 30, 1998.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	23 //
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	24 // The Initial Developer of the Original Code is Red Hat.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	25 // Portions created by Red Hat are
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	26 // Copyright (C) 1998, 1999, 2000 Red Hat, Inc.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	27 // All Rights Reserved.
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	28 // -------------------------------------------
c38311975d4f Merge from eCos master repository on 2000-01-28-04:28:11-GMT jlarmour parents: 2 diff changeset	29 //
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	30 //####COPYRIGHTEND####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	31 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	32 //#####DESCRIPTIONBEGIN####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	33 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	34 // Author(s): dsm
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	35 // Contributors: dsm
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	36 // Date: 1998-02-18
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	37 // Description:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	38 // Creates mutexes and threads to set up starvation condition.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	39 // Checks simple priority inheritance cures this.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	40 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	41 // The starvation condition is caused by the highest priority
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	42 // thread, t0 waiting on a mutex which is never released because
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	43 // it is held by t2. t2 never releases it because t1 will be
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	44 // running at a priority level higher than t2 (but lower than t0).
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	45 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	46 // With priority inheritance enabled, t2 will inherit its priority
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	47 // from t0 when t0 tries to grab the mutex.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	48 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	49 // Options:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	50 // CYGIMP_THREAD_PRIORITY
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	51 // CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	52 // CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_SIMPLE
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	53 //####DESCRIPTIONEND####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	54
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	55 #include <pkgconf/kernel.h>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	56
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	57 #include <cyg/kernel/thread.hxx>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	58 #include <cyg/kernel/thread.inl>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	59 #include <cyg/kernel/sched.hxx>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	60 #include <cyg/kernel/mutex.hxx>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	61 #include <cyg/kernel/sema.hxx>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	62
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	63 #include <cyg/infra/testcase.h>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	64
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	65 #include <cyg/kernel/sched.inl>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	66
177 4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	67 #if defined(CYGIMP_THREAD_PRIORITY) && \
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	68 !defined(CYGPKG_KERNEL_SMP_SUPPORT)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	69
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	70 // ------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	71 // Manufacture a simpler feature test macro for priority inheritance than
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	72 // the configuration gives us. We have priority inheritance if it is configured
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	73 // as the only protocol, or if it is the default protocol for dynamic protocol
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	74 // choice.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	75 // FIXME: If we have dynamic protocol choice, we can also set priority inheritance
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	76 // as the protocol to be used on the mutexes we are interested in. At present we
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	77 // do not do this.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	78
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	79 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	80 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	81 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	82 # define PRIORITY_INHERITANCE
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	83 # else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	84 # undef PRIORITY_INHERITANCE
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	85 # endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	86 # else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	87 # define PRIORITY_INHERITANCE
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	88 # endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	89 #else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	90 # undef PRIORITY_INHERITANCE
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	91 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	92
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	93 // ------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	94
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	95 #define NTHREADS 3
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	96
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	97 #include "testaux.hxx"
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	98
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	99 static Cyg_Mutex m0;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	100 static Cyg_Binary_Semaphore s0, s1, s2;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	101
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	102 static cyg_ucount8 m0d = 9;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	103
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	104 static void check_priorities_normal()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	105 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	106 CHECK( 5 == thread[0]->get_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	107 CHECK( 6 == thread[1]->get_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	108 CHECK( 7 == thread[2]->get_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	109 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	110
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	111 static void check_priorities_inherited()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	112 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	113 CHECK( 5 == thread[0]->get_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	114 CHECK( 6 == thread[1]->get_priority());
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	115 #ifdef PRIORITY_INHERITANCE
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	116 CHECK( 5 == thread[2]->get_current_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	117 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	118 CHECK( 7 == thread[2]->get_priority());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	119
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	120 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	121
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	122 static void entry0( CYG_ADDRWORD data )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	123 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	124 s0.wait(); // wait until t2 has gained m0.lock
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	125 check_priorities_normal();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	126 m0.lock(); {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	127 check_priorities_normal();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	128 CHECK( 2 == m0d );
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	129 m0d = 0;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	130 } m0.unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	131 check_priorities_normal();
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	132 #ifdef PRIORITY_INHERITANCE
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	133 CYG_TEST_PASS_FINISH("Sync 3 OK -- priority inheritance worked");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	134 #else
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	135 CYG_TEST_FAIL_FINISH("Sync 3: thread not starved");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	136 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	137 // NOT REACHED
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	138 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	139
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	140 static void entry1( CYG_ADDRWORD data )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	141 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	142 s1.wait();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	143 // The delay below will allow testing of the priority inheritance
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	144 // mechanism when scheduler does not guarantee to schedule threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	145 // in strict priority order.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	146 for ( volatile cyg_ucount32 i=0; i < 100000; i++ )
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	147 ; // math is hard
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	148
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 66 diff changeset	149 #ifdef PRIORITY_INHERITANCE
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	150 // thread0 should have stopped by this point
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	151 CYG_TEST_FAIL_FINISH("Sync 3: priority inheritance mechanism failed");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	152 #else
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	153 // With strict priority scheduling and no priority inheritance
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	154 // this is expected to happen.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	155 CYG_TEST_PASS_FINISH("Sync 3 OK");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	156 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	157 CYG_TEST_FAIL_FINISH("Not reached");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	158 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	159
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	160 void entry2( CYG_ADDRWORD data )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	161 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	162 m0.lock(); {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	163 CHECK( 9 == m0d );
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	164 check_priorities_normal();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	165 s0.post(); // Now I have lock on m0, wake t0 then t1
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	166 check_priorities_inherited();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	167 s1.post();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	168 check_priorities_inherited();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	169 m0d = 2;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	170 } m0.unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	171 check_priorities_normal();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	172 m0.lock(); {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	173 check_priorities_normal();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	174 CHECK( 0 == m0d );
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	175 m0d = 21;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	176 s2.wait(); // never posted
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	177 } m0.unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	178 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	179
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	180
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	181
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	182 void sync3_main(void)
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	183 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	184 CYG_TEST_INIT();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	185
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	186 new_thread( entry0, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	187 new_thread( entry1, 1);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	188 new_thread( entry2, 2);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	189
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	190 thread[0]->set_priority(5);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	191 thread[1]->set_priority(6);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	192 thread[2]->set_priority(7);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	193
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	194 Cyg_Scheduler::start();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	195
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	196 CYG_TEST_FAIL_FINISH("Not reached");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	197 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	198
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	199 externC void
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	200 cyg_start( void )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	201 {
130 eb9fd8c04db3 Merge from eCos master repository on 2000-10-23-17:01:37-BST jlarmour parents: 115 diff changeset	202 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
eb9fd8c04db3 Merge from eCos master repository on 2000-10-23-17:01:37-BST jlarmour parents: 115 diff changeset	203 cyg_hal_invoke_constructors();
eb9fd8c04db3 Merge from eCos master repository on 2000-10-23-17:01:37-BST jlarmour parents: 115 diff changeset	204 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	205 sync3_main();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	206 }
177 4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	207
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	208 #else // defined(CYGIMP_THREAD_PRIORITY) etc
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	209
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	210 externC void
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	211 cyg_start( void )
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	212 {
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	213 CYG_TEST_INIT();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	214 CYG_TEST_PASS_FINISH("Sync3 test requires:\n"
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	215 "defined(CYGIMP_THREAD_PRIORITY) &&\n"
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	216 "!defined(CYGPKG_KERNEL_SMP_SUPPORT)\n");
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	217
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	218 }
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	219
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	220 #endif // defined(CYGIMP_THREAD_PRIORITY) etc
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 130 diff changeset	221
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	222 // EOF sync3.cxx

Mercurial > flash_v2

annotate packages/kernel/current/tests/sync3.cxx @ 177:4c750ce71ae3