Mercurial > ecos-v3_0-branch
annotate packages/kernel/current/tests/cnt_sem1.cxx @ 2729:74dbf4c3f2e1 after-copyright-change-20090129
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
| author | jlarmour |
|---|---|
| date | Thu, 29 Jan 2009 17:47:46 +0000 |
| parents | d2c90368aeef |
| children |
| rev | line source |
|---|---|
| 0 | 1 //========================================================================== |
| 2 // | |
| 3 // cnt_sem1.cxx | |
| 4 // | |
| 5 // Counting semaphore test 1 | |
| 6 // | |
| 7 //========================================================================== | |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
8 // ####ECOSGPLCOPYRIGHTBEGIN#### |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
9 // ------------------------------------------- |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
10 // This file is part of eCos, the Embedded Configurable Operating System. |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
11 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc. |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
130
diff
changeset
|
12 // |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
13 // eCos is free software; you can redistribute it and/or modify it under |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
14 // the terms of the GNU General Public License as published by the Free |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
15 // Software Foundation; either version 2 or (at your option) any later |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
16 // version. |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
130
diff
changeset
|
17 // |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
18 // eCos is distributed in the hope that it will be useful, but WITHOUT |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
19 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
20 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
21 // for more details. |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
130
diff
changeset
|
22 // |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
23 // You should have received a copy of the GNU General Public License |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
24 // along with eCos; if not, write to the Free Software Foundation, Inc., |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
25 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
130
diff
changeset
|
26 // |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
27 // As a special exception, if other files instantiate templates or use |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
28 // macros or inline functions from this file, or you compile this file |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
29 // and link it with other works to produce a work based on this file, |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
30 // this file does not by itself cause the resulting work to be covered by |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
31 // the GNU General Public License. However the source code for this file |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
32 // must still be made available in accordance with section (3) of the GNU |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
33 // General Public License v2. |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
130
diff
changeset
|
34 // |
|
2729
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
35 // This exception does not invalidate any other reasons why a work based |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
36 // on this file might be covered by the GNU General Public License. |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
37 // ------------------------------------------- |
|
74dbf4c3f2e1
Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents:
210
diff
changeset
|
38 // ####ECOSGPLCOPYRIGHTEND#### |
| 0 | 39 //========================================================================== |
| 40 //#####DESCRIPTIONBEGIN#### | |
| 41 // | |
| 42 // Author(s): dsm | |
| 43 // Contributors: dsm | |
| 44 // Date: 1998-02-24 | |
| 45 // Description: Tests basic counting semaphore functionality. | |
| 46 //####DESCRIPTIONEND#### | |
| 47 | |
| 48 #include <pkgconf/kernel.h> | |
| 49 | |
| 50 #include <cyg/kernel/thread.hxx> // Cyg_Thread | |
| 51 #include <cyg/kernel/thread.inl> | |
| 52 #include <cyg/kernel/sched.hxx> // Cyg_Scheduler::start() | |
| 53 | |
| 54 #include <cyg/kernel/sema.hxx> | |
| 55 | |
| 56 #include <cyg/infra/testcase.h> | |
| 57 | |
| 58 #include <cyg/kernel/sched.inl> | |
| 59 | |
| 60 | |
| 61 #define NTHREADS 2 | |
| 62 #include "testaux.hxx" | |
| 63 | |
| 64 static Cyg_Counting_Semaphore s0(0), s1(2), s2; | |
| 65 | |
| 66 static volatile cyg_ucount8 q = 0; | |
| 67 | |
| 68 static void entry0( CYG_ADDRWORD data ) | |
| 69 { | |
| 70 s0.wait(); | |
| 71 CHECK( 1 == q++ ); | |
| 72 s1.post(); | |
| 73 s0.wait(); | |
| 74 CHECK( 3 == q++ ); | |
| 75 CHECK( 0 == s0.peek() ); | |
| 76 CHECK( ! s0.trywait() ); | |
| 77 s0.post(); | |
| 78 CHECK( 4 == q++ ); | |
| 79 CHECK( 1 == s0.peek() ); | |
| 80 s0.post(); | |
| 81 CHECK( 2 == s0.peek() ); | |
| 82 s1.post(); | |
| 83 CHECK( 0 == s2.peek() ); | |
| 84 s2.wait(); | |
| 85 CHECK( 6 == q++ ); | |
| 86 CYG_TEST_PASS_FINISH("Counting Semaphore 1 OK"); | |
| 87 } | |
| 88 | |
| 89 static void entry1( CYG_ADDRWORD data ) | |
| 90 { | |
| 91 CHECK( 2 == s1.peek() ); | |
| 92 s1.wait(); | |
| 93 CHECK( 1 == s1.peek() ); | |
| 94 s1.wait(); | |
| 95 CHECK( 0 == q++ ); | |
| 96 CHECK( 0 == s0.peek() ); | |
| 97 s0.post(); | |
| 98 s1.wait(); | |
| 99 CHECK( 2 == q++ ); | |
| 100 s0.post(); | |
| 101 s1.wait(); | |
| 102 CHECK( 5 == q++ ); | |
| 103 CHECK( 2 == s0.peek() ); | |
| 104 CHECK( s0.trywait() ); | |
| 105 CHECK( 1 == s0.peek() ); | |
| 106 CHECK( s0.trywait() ); | |
| 107 CHECK( 0 == s0.peek() ); | |
| 108 s2.post(); | |
| 109 s0.wait(); | |
| 110 CYG_TEST_FAIL_FINISH("Not reached"); | |
| 111 } | |
| 112 | |
| 113 void cnt_sem1_main( void ) | |
| 114 { | |
| 115 CYG_TEST_INIT(); | |
| 116 | |
| 117 new_thread(entry0, 0); | |
| 118 new_thread(entry1, 1); | |
| 119 | |
| 120 Cyg_Scheduler::start(); | |
| 121 | |
| 122 CYG_TEST_FAIL_FINISH("Not reached"); | |
| 123 } | |
| 124 | |
| 125 externC void | |
| 126 cyg_start( void ) | |
| 127 { | |
|
130
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
128 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
129 cyg_hal_invoke_constructors(); |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
130 #endif |
| 0 | 131 cnt_sem1_main(); |
| 132 } | |
| 133 | |
| 134 // EOF cnt_sem1.cxx |