From 2775cadcd21f6fa957c1762888c8e757429d8595 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Fri, 19 Mar 2021 15:22:25 -0600 Subject: [PATCH] Increase the system timer rate: -CONFIG_USEC_PER_TICK=10000 +CONFIG_USEC_PER_TICK=1000 A system timer with a 10 MS period is not sufficient to run the dual thread sporadic scheduler test since the timings in that test are also around 10 MS. Apparently there is a race condition when both sporadic thread's budgets complete on the same clock time. This change does not eliminate the race, but reduces its effect greatly. --- boards/arm/stm32/stm32f4discovery/configs/sporadic/defconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/boards/arm/stm32/stm32f4discovery/configs/sporadic/defconfig b/boards/arm/stm32/stm32f4discovery/configs/sporadic/defconfig index 2acf3c2913..8011087cbc 100644 --- a/boards/arm/stm32/stm32f4discovery/configs/sporadic/defconfig +++ b/boards/arm/stm32/stm32f4discovery/configs/sporadic/defconfig @@ -49,4 +49,5 @@ CONFIG_TESTING_OSTEST=y CONFIG_USART6_RXBUFSIZE=128 CONFIG_USART6_SERIAL_CONSOLE=y CONFIG_USART6_TXBUFSIZE=128 +CONFIG_USEC_PER_TICK=1000 CONFIG_USER_ENTRYPOINT="nsh_main"