mirror of
https://github.com/espressif/esp-idf.git
synced 2024-09-21 06:56:11 -04:00
b7b9ea4361
This adds support for the retargetable locking implementation in newlib 3. This feature will be enabled in the future toolchain builds. With the present version of the toolchain, this code doesn't get used. When _RETARGETABLE_LOCKING gets enabled, newlib locking implementation will be modified as follows: - Legacy ESP-specific _lock_xxx functions are preserved. This is done because ROM copies of newlib in ESP32 and ESP32-S2 rely on these functions through the function pointer table. Also there is some code in IDF which still uses these locking functions. - New __retarget_lock_xxx functions are introduced. Newlib expects these functions to be provided by the system. These functions work pretty much the same way as the ESP-specific _lock_xxx functions, except one major difference: _lock_acquire receives the lock pointer by value, and as such doesn't support lazy initialization. - Static locks used by newlib are now explicitly initialized at startup. Since it is unlikely that these static locks are used at the same time, all compatible locks are set to point to the same mutex. This saves a bit of RAM. Note that there are still many locks not initialized statically, in particular those inside FILE structures.
110 lines
3.0 KiB
C
110 lines
3.0 KiB
C
#include <stdio.h>
|
|
#include <stdbool.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <sys/lock.h>
|
|
#include "unity.h"
|
|
#include "test_utils.h"
|
|
#include "sdkconfig.h"
|
|
#include "freertos/FreeRTOS.h"
|
|
#include "freertos/semphr.h"
|
|
|
|
#if defined(_RETARGETABLE_LOCKING)
|
|
|
|
static void locking_task(void* arg)
|
|
{
|
|
_LOCK_T lock = (_LOCK_T) arg;
|
|
__lock_acquire(lock);
|
|
__lock_release(lock);
|
|
vTaskSuspend(NULL);
|
|
}
|
|
|
|
static void recursive_locking_task(void* arg)
|
|
{
|
|
_LOCK_T lock = (_LOCK_T) arg;
|
|
__lock_acquire_recursive(lock);
|
|
__lock_release_recursive(lock);
|
|
vTaskSuspend(NULL);
|
|
}
|
|
|
|
static void test_inner_normal(_LOCK_T lock)
|
|
{
|
|
/* Acquire the lock */
|
|
__lock_acquire(lock);
|
|
|
|
/* Create another task to try acquire same lock */
|
|
TaskHandle_t task_hdl;
|
|
TEST_ASSERT(xTaskCreate(&locking_task, "locking_task", 2048, lock, UNITY_FREERTOS_PRIORITY, &task_hdl));
|
|
vTaskDelay(2);
|
|
/* It should get blocked */
|
|
TEST_ASSERT_EQUAL(eBlocked, eTaskGetState(task_hdl));
|
|
|
|
/* Once we release the lock, the task should succeed and suspend itself */
|
|
__lock_release(lock);
|
|
vTaskDelay(2);
|
|
TEST_ASSERT_EQUAL(eSuspended, eTaskGetState(task_hdl));
|
|
vTaskDelete(task_hdl);
|
|
|
|
/* Can not recursively acquire the lock from same task */
|
|
TEST_ASSERT_EQUAL(0, __lock_try_acquire(lock));
|
|
TEST_ASSERT_EQUAL(-1, __lock_try_acquire(lock));
|
|
__lock_release(lock);
|
|
}
|
|
|
|
static void test_inner_recursive(_LOCK_T lock)
|
|
{
|
|
/* Acquire the lock */
|
|
__lock_acquire_recursive(lock);
|
|
|
|
/* Create another task to try acquire same lock */
|
|
TaskHandle_t task_hdl;
|
|
TEST_ASSERT(xTaskCreate(&recursive_locking_task, "locking_task", 2048, lock, UNITY_FREERTOS_PRIORITY, &task_hdl));
|
|
vTaskDelay(2);
|
|
/* It should get blocked */
|
|
TEST_ASSERT_EQUAL(eBlocked, eTaskGetState(task_hdl));
|
|
|
|
/* Once we release the lock, the task should succeed and suspend itself */
|
|
__lock_release_recursive(lock);
|
|
vTaskDelay(2);
|
|
TEST_ASSERT_EQUAL(eSuspended, eTaskGetState(task_hdl));
|
|
vTaskDelete(task_hdl);
|
|
|
|
/* Try recursively acquiring the lock */
|
|
TEST_ASSERT_EQUAL(0, __lock_try_acquire_recursive(lock));
|
|
TEST_ASSERT_EQUAL(0, __lock_try_acquire_recursive(lock));
|
|
__lock_release_recursive(lock);
|
|
__lock_release_recursive(lock);
|
|
}
|
|
|
|
TEST_CASE("Retargetable static locks", "[newlib_locks]")
|
|
{
|
|
StaticSemaphore_t semaphore;
|
|
_LOCK_T lock = (_LOCK_T) xSemaphoreCreateMutexStatic(&semaphore);
|
|
test_inner_normal(lock);
|
|
}
|
|
|
|
TEST_CASE("Retargetable static recursive locks", "[newlib_locks]")
|
|
{
|
|
StaticSemaphore_t semaphore;
|
|
_LOCK_T lock = (_LOCK_T) xSemaphoreCreateRecursiveMutexStatic(&semaphore);
|
|
test_inner_recursive(lock);
|
|
}
|
|
|
|
TEST_CASE("Retargetable dynamic locks", "[newlib_locks]")
|
|
{
|
|
_LOCK_T lock;
|
|
__lock_init(lock);
|
|
test_inner_normal(lock);
|
|
__lock_close(lock);
|
|
}
|
|
|
|
TEST_CASE("Retargetable dynamic recursive locks", "[newlib_locks]")
|
|
{
|
|
_LOCK_T lock;
|
|
__lock_init_recursive(lock);
|
|
test_inner_recursive(lock);
|
|
__lock_close_recursive(lock);
|
|
}
|
|
|
|
#endif // _RETARGETABLE_LOCKING
|