Lee Kai Xuan / mbed-os

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Fork of mbed-os by erkin yucel

TESTS/mbedmicro-rtos-mbed/semaphore/main.cpp@0:f269e3021894, 2016-10-23 (annotated)

Committer:
elessair
Date:
Sun Oct 23 15:10:02 2016 +0000
Revision:
0:f269e3021894
Initial commit

Who changed what in which revision?

UserRevisionLine numberNew contents of line
elessair 0:f269e3021894 1 #include "mbed.h"
elessair 0:f269e3021894 2 #include "greentea-client/test_env.h"
elessair 0:f269e3021894 3 #include "rtos.h"
elessair 0:f269e3021894 4
elessair 0:f269e3021894 5 #if defined(MBED_RTOS_SINGLE_THREAD)
elessair 0:f269e3021894 6 #error [NOT_SUPPORTED] test not supported
elessair 0:f269e3021894 7 #endif
elessair 0:f269e3021894 8
elessair 0:f269e3021894 9 #define THREAD_DELAY 75
elessair 0:f269e3021894 10 #define SEMAPHORE_SLOTS 2
elessair 0:f269e3021894 11 #define SEM_CHANGES 100
elessair 0:f269e3021894 12
elessair 0:f269e3021894 13 /*
elessair 0:f269e3021894 14 * The stack size is defined in cmsis_os.h mainly dependent on the underlying toolchain and
elessair 0:f269e3021894 15 * the C standard library. For GCC, ARM_STD and IAR it is defined with a size of 2048 bytes
elessair 0:f269e3021894 16 * and for ARM_MICRO 512. Because of reduce RAM size some targets need a reduced stacksize.
elessair 0:f269e3021894 17 */
elessair 0:f269e3021894 18 #if defined(TARGET_STM32F334R8) && (defined(TOOLCHAIN_GCC) || defined(TOOLCHAIN_IAR))
elessair 0:f269e3021894 19 #define STACK_SIZE DEFAULT_STACK_SIZE/4
elessair 0:f269e3021894 20 #elif defined(TARGET_STM32F103RB)
elessair 0:f269e3021894 21 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 22 #elif defined(TARGET_STM32F070RB)
elessair 0:f269e3021894 23 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 24 #elif defined(TARGET_STM32F072RB)
elessair 0:f269e3021894 25 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 26 #elif defined(TARGET_STM32F302R8) && defined(TOOLCHAIN_IAR)
elessair 0:f269e3021894 27 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 28 #elif defined(TARGET_STM32L073RZ)
elessair 0:f269e3021894 29 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 30 #elif defined(TARGET_STM32F303K8) && defined(TOOLCHAIN_IAR)
elessair 0:f269e3021894 31 #define STACK_SIZE DEFAULT_STACK_SIZE/4
elessair 0:f269e3021894 32 #elif (defined(TARGET_EFM32HG_STK3400)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 33 #define STACK_SIZE 512
elessair 0:f269e3021894 34 #elif (defined(TARGET_EFM32LG_STK3600) || defined(TARGET_EFM32WG_STK3800) || defined(TARGET_EFM32PG_STK3401)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 35 #define STACK_SIZE 768
elessair 0:f269e3021894 36 #elif (defined(TARGET_EFM32GG_STK3700)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 37 #define STACK_SIZE 1536
elessair 0:f269e3021894 38 #elif defined(TARGET_MCU_NRF51822) || defined(TARGET_MCU_NRF52832)
elessair 0:f269e3021894 39 #define STACK_SIZE 768
elessair 0:f269e3021894 40 #elif defined(TARGET_XDOT_L151CC)
elessair 0:f269e3021894 41 #define STACK_SIZE 1024
elessair 0:f269e3021894 42 #else
elessair 0:f269e3021894 43 #define STACK_SIZE DEFAULT_STACK_SIZE
elessair 0:f269e3021894 44 #endif
elessair 0:f269e3021894 45
elessair 0:f269e3021894 46 void print_char(char c = '*') {
elessair 0:f269e3021894 47 printf("%c", c);
elessair 0:f269e3021894 48 fflush(stdout);
elessair 0:f269e3021894 49 }
elessair 0:f269e3021894 50
elessair 0:f269e3021894 51 Semaphore two_slots(SEMAPHORE_SLOTS);
elessair 0:f269e3021894 52
elessair 0:f269e3021894 53 volatile int change_counter = 0;
elessair 0:f269e3021894 54 volatile int sem_counter = 0;
elessair 0:f269e3021894 55 volatile bool sem_defect = false;
elessair 0:f269e3021894 56
elessair 0:f269e3021894 57 void test_thread(void const *delay) {
elessair 0:f269e3021894 58 const int thread_delay = int(delay);
elessair 0:f269e3021894 59 while (true) {
elessair 0:f269e3021894 60 two_slots.wait();
elessair 0:f269e3021894 61 sem_counter++;
elessair 0:f269e3021894 62 const bool sem_lock_failed = sem_counter > SEMAPHORE_SLOTS;
elessair 0:f269e3021894 63 const char msg = sem_lock_failed ? 'e' : sem_counter + '0';
elessair 0:f269e3021894 64 print_char(msg);
elessair 0:f269e3021894 65 if (sem_lock_failed) {
elessair 0:f269e3021894 66 sem_defect = true;
elessair 0:f269e3021894 67 }
elessair 0:f269e3021894 68 Thread::wait(thread_delay);
elessair 0:f269e3021894 69 print_char('.');
elessair 0:f269e3021894 70 sem_counter--;
elessair 0:f269e3021894 71 change_counter++;
elessair 0:f269e3021894 72 two_slots.release();
elessair 0:f269e3021894 73 }
elessair 0:f269e3021894 74 }
elessair 0:f269e3021894 75
elessair 0:f269e3021894 76 int main (void) {
elessair 0:f269e3021894 77 GREENTEA_SETUP(20, "default_auto");
elessair 0:f269e3021894 78
elessair 0:f269e3021894 79 const int t1_delay = THREAD_DELAY * 1;
elessair 0:f269e3021894 80 const int t2_delay = THREAD_DELAY * 2;
elessair 0:f269e3021894 81 const int t3_delay = THREAD_DELAY * 3;
elessair 0:f269e3021894 82 Thread t1(test_thread, (void *)t1_delay, osPriorityNormal, STACK_SIZE);
elessair 0:f269e3021894 83 Thread t2(test_thread, (void *)t2_delay, osPriorityNormal, STACK_SIZE);
elessair 0:f269e3021894 84 Thread t3(test_thread, (void *)t3_delay, osPriorityNormal, STACK_SIZE);
elessair 0:f269e3021894 85
elessair 0:f269e3021894 86 while (true) {
elessair 0:f269e3021894 87 if (change_counter >= SEM_CHANGES or sem_defect == true) {
elessair 0:f269e3021894 88 t1.terminate();
elessair 0:f269e3021894 89 t2.terminate();
elessair 0:f269e3021894 90 t3.terminate();
elessair 0:f269e3021894 91 break;
elessair 0:f269e3021894 92 }
elessair 0:f269e3021894 93 }
elessair 0:f269e3021894 94
elessair 0:f269e3021894 95 fflush(stdout);
elessair 0:f269e3021894 96 GREENTEA_TESTSUITE_RESULT(!sem_defect);
elessair 0:f269e3021894 97 return 0;
elessair 0:f269e3021894 98 }