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

features/unsupported/tests/rtos/mbed/mutex/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 "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 50
elessair 0:f269e3021894 10 #define SIGNALS_TO_EMIT 100
elessair 0:f269e3021894 11
elessair 0:f269e3021894 12 /*
elessair 0:f269e3021894 13 * The stack size is defined in cmsis_os.h mainly dependent on the underlying toolchain and
elessair 0:f269e3021894 14 * the C standard library. For GCC, ARM_STD and IAR it is defined with a size of 2048 bytes
elessair 0:f269e3021894 15 * and for ARM_MICRO 512. Because of reduce RAM size some targets need a reduced stacksize.
elessair 0:f269e3021894 16 */
elessair 0:f269e3021894 17 #if defined(TARGET_STM32F334R8) && defined(TOOLCHAIN_IAR)
elessair 0:f269e3021894 18 #define STACK_SIZE DEFAULT_STACK_SIZE/4
elessair 0:f269e3021894 19 #elif (defined(TARGET_STM32F070RB) || defined(TARGET_STM32F072RB))
elessair 0:f269e3021894 20 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 21 #elif defined(TARGET_STM32F302R8) && defined(TOOLCHAIN_IAR)
elessair 0:f269e3021894 22 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 23 #elif defined(TARGET_STM32F303K8) && defined(TOOLCHAIN_IAR)
elessair 0:f269e3021894 24 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 25 #elif defined(TARGET_STM32F334C8)
elessair 0:f269e3021894 26 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 27 #elif defined(TARGET_STM32L073RZ)
elessair 0:f269e3021894 28 #define STACK_SIZE DEFAULT_STACK_SIZE/2
elessair 0:f269e3021894 29 #elif (defined(TARGET_EFM32HG_STK3400)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 30 #define STACK_SIZE 512
elessair 0:f269e3021894 31 #elif (defined(TARGET_EFM32LG_STK3600) || defined(TARGET_EFM32WG_STK3800) || defined(TARGET_EFM32PG_STK3401)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 32 #define STACK_SIZE 768
elessair 0:f269e3021894 33 #elif (defined(TARGET_EFM32GG_STK3700)) && !defined(TOOLCHAIN_ARM_MICRO)
elessair 0:f269e3021894 34 #define STACK_SIZE 1536
elessair 0:f269e3021894 35 #elif defined(TARGET_MCU_NRF51822)
elessair 0:f269e3021894 36 #define STACK_SIZE 768
elessair 0:f269e3021894 37 #else
elessair 0:f269e3021894 38 #define STACK_SIZE DEFAULT_STACK_SIZE
elessair 0:f269e3021894 39 #endif
elessair 0:f269e3021894 40
elessair 0:f269e3021894 41 void print_char(char c = '*') {
elessair 0:f269e3021894 42 printf("%c", c);
elessair 0:f269e3021894 43 fflush(stdout);
elessair 0:f269e3021894 44 }
elessair 0:f269e3021894 45
elessair 0:f269e3021894 46 Mutex stdio_mutex;
elessair 0:f269e3021894 47 DigitalOut led(LED1);
elessair 0:f269e3021894 48
elessair 0:f269e3021894 49 volatile int change_counter = 0;
elessair 0:f269e3021894 50 volatile bool changing_counter = false;
elessair 0:f269e3021894 51 volatile bool mutex_defect = false;
elessair 0:f269e3021894 52
elessair 0:f269e3021894 53 bool manipulate_protected_zone(const int thread_delay) {
elessair 0:f269e3021894 54 bool result = true;
elessair 0:f269e3021894 55
elessair 0:f269e3021894 56 stdio_mutex.lock(); // LOCK
elessair 0:f269e3021894 57 if (changing_counter == true) {
elessair 0:f269e3021894 58 // 'e' stands for error. If changing_counter is true access is not exclusively
elessair 0:f269e3021894 59 print_char('e');
elessair 0:f269e3021894 60 result = false;
elessair 0:f269e3021894 61 mutex_defect = true;
elessair 0:f269e3021894 62 }
elessair 0:f269e3021894 63 changing_counter = true;
elessair 0:f269e3021894 64
elessair 0:f269e3021894 65 // Some action on protected
elessair 0:f269e3021894 66 led = !led;
elessair 0:f269e3021894 67 change_counter++;
elessair 0:f269e3021894 68 print_char('.');
elessair 0:f269e3021894 69 Thread::wait(thread_delay);
elessair 0:f269e3021894 70
elessair 0:f269e3021894 71 changing_counter = false;
elessair 0:f269e3021894 72 stdio_mutex.unlock(); // UNLOCK
elessair 0:f269e3021894 73 return result;
elessair 0:f269e3021894 74 }
elessair 0:f269e3021894 75
elessair 0:f269e3021894 76 void test_thread(void const *args) {
elessair 0:f269e3021894 77 const int thread_delay = int(args);
elessair 0:f269e3021894 78 while (true) {
elessair 0:f269e3021894 79 manipulate_protected_zone(thread_delay);
elessair 0:f269e3021894 80 }
elessair 0:f269e3021894 81 }
elessair 0:f269e3021894 82
elessair 0:f269e3021894 83 int main() {
elessair 0:f269e3021894 84 MBED_HOSTTEST_TIMEOUT(20);
elessair 0:f269e3021894 85 MBED_HOSTTEST_SELECT(default);
elessair 0:f269e3021894 86 MBED_HOSTTEST_DESCRIPTION(Mutex resource lock);
elessair 0:f269e3021894 87 MBED_HOSTTEST_START("RTOS_2");
elessair 0:f269e3021894 88
elessair 0:f269e3021894 89 const int t1_delay = THREAD_DELAY * 1;
elessair 0:f269e3021894 90 const int t2_delay = THREAD_DELAY * 2;
elessair 0:f269e3021894 91 const int t3_delay = THREAD_DELAY * 3;
elessair 0:f269e3021894 92 Thread t2(test_thread, (void *)t2_delay, osPriorityNormal, STACK_SIZE);
elessair 0:f269e3021894 93 Thread t3(test_thread, (void *)t3_delay, osPriorityNormal, STACK_SIZE);
elessair 0:f269e3021894 94
elessair 0:f269e3021894 95 while (true) {
elessair 0:f269e3021894 96 // Thread 1 action
elessair 0:f269e3021894 97 Thread::wait(t1_delay);
elessair 0:f269e3021894 98 manipulate_protected_zone(t1_delay);
elessair 0:f269e3021894 99 if (change_counter >= SIGNALS_TO_EMIT or mutex_defect == true) {
elessair 0:f269e3021894 100 t2.terminate();
elessair 0:f269e3021894 101 t3.terminate();
elessair 0:f269e3021894 102 break;
elessair 0:f269e3021894 103 }
elessair 0:f269e3021894 104 }
elessair 0:f269e3021894 105
elessair 0:f269e3021894 106 fflush(stdout);
elessair 0:f269e3021894 107 MBED_HOSTTEST_RESULT(!mutex_defect);
elessair 0:f269e3021894 108 return 0;
elessair 0:f269e3021894 109 }