blob: 1e5de11ff00a7e27f02c401cb06ef929f37a218b [file] [log] [blame]
/*
* Copyright (c) 2018,2022 Intel Corporation.
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr/tc_util.h>
#include <zephyr/ztest.h>
#include <zephyr/kernel.h>
#include <zephyr/spinlock.h>
BUILD_ASSERT(CONFIG_MP_MAX_NUM_CPUS > 1);
#define CPU1_STACK_SIZE 1024
K_THREAD_STACK_DEFINE(cpu1_stack, CPU1_STACK_SIZE);
struct k_thread cpu1_thread;
static struct k_spinlock bounce_lock;
volatile int bounce_owner, bounce_done;
volatile int trylock_failures;
volatile int trylock_successes;
/**
* @brief Tests for spinlock
*
* @defgroup kernel_spinlock_tests Spinlock Tests
*
* @ingroup all_tests
*
* @{
* @}
*/
/**
* @brief Test basic spinlock
*
* @ingroup kernel_spinlock_tests
*
* @see k_spin_lock(), k_spin_unlock()
*/
ZTEST(spinlock, test_spinlock_basic)
{
k_spinlock_key_t key;
static struct k_spinlock l;
zassert_true(!z_spin_is_locked(&l), "Spinlock initialized to locked");
key = k_spin_lock(&l);
zassert_true(z_spin_is_locked(&l), "Spinlock failed to lock");
k_spin_unlock(&l, key);
zassert_true(!z_spin_is_locked(&l), "Spinlock failed to unlock");
}
static void bounce_once(int id, bool trylock)
{
int ret;
int i, locked;
k_spinlock_key_t key;
/* Take the lock, check last owner and release if it was us.
* Wait for us to get the lock "after" another CPU
*/
locked = 0;
for (i = 0; i < 10000; i++) {
if (trylock) {
ret = k_spin_trylock(&bounce_lock, &key);
if (ret == -EBUSY) {
trylock_failures++;
continue;
}
trylock_successes++;
} else {
key = k_spin_lock(&bounce_lock);
}
if (bounce_owner != id) {
locked = 1;
break;
}
k_spin_unlock(&bounce_lock, key);
k_busy_wait(100);
}
if (!locked && bounce_done) {
return;
}
zassert_true(locked, "Other cpu did not get lock in 10000 tries");
/* Mark us as the owner, spin for a while validating that we
* never see another owner write to the protected data.
*/
bounce_owner = id;
for (i = 0; i < 5; i++) {
zassert_true(bounce_owner == id, "Locked data changed");
k_busy_wait(1);
}
/* Release the lock */
k_spin_unlock(&bounce_lock, key);
}
static void cpu1_fn(void *p1, void *p2, void *p3)
{
ARG_UNUSED(p1);
ARG_UNUSED(p2);
ARG_UNUSED(p3);
while (!bounce_done) {
bounce_once(4321, false);
}
}
/**
* @brief Test spinlock with bounce
*
* @ingroup kernel_spinlock_tests
*
* @see arch_cpu_start()
*/
ZTEST(spinlock, test_spinlock_bounce)
{
int i;
k_thread_create(&cpu1_thread, cpu1_stack, CPU1_STACK_SIZE,
cpu1_fn, NULL, NULL, NULL,
0, 0, K_NO_WAIT);
k_busy_wait(10);
for (i = 0; i < 10000; i++) {
bounce_once(1234, false);
}
bounce_done = 1;
k_thread_join(&cpu1_thread, K_FOREVER);
}
/**
* @brief Test basic mutual exclusion using interrupt masking
*
* @details
* - Spinlocks can be initialized at run-time.
* - Spinlocks in uniprocessor context should achieve mutual exclusion using
* interrupt masking.
*
* @ingroup kernel_spinlock_tests
*
* @see k_spin_lock(), k_spin_unlock()
*/
ZTEST(spinlock, test_spinlock_mutual_exclusion)
{
k_spinlock_key_t key;
static struct k_spinlock lock_runtime;
unsigned int irq_key;
(void)memset(&lock_runtime, 0, sizeof(lock_runtime));
key = k_spin_lock(&lock_runtime);
zassert_true(z_spin_is_locked(&lock_runtime), "Spinlock failed to lock");
/* check irq has not locked */
zassert_true(arch_irq_unlocked(key.key),
"irq should be first locked!");
/*
* We make irq locked nested to check if interrupt
* disable happened or not.
*/
irq_key = arch_irq_lock();
/* check irq has already locked */
zassert_false(arch_irq_unlocked(irq_key),
"irq should be already locked!");
arch_irq_unlock(irq_key);
k_spin_unlock(&lock_runtime, key);
zassert_true(!z_spin_is_locked(&lock_runtime), "Spinlock failed to unlock");
}
static void trylock_fn(void *p1, void *p2, void *p3)
{
ARG_UNUSED(p1);
ARG_UNUSED(p2);
ARG_UNUSED(p3);
while (!bounce_done) {
bounce_once(4321, true);
}
}
/**
* @brief Test k_spin_trylock()
*
* @ingroup kernel_spinlock_tests
*
* @see k_spin_trylock()
*/
ZTEST(spinlock, test_trylock)
{
int i;
k_thread_create(&cpu1_thread, cpu1_stack, CPU1_STACK_SIZE,
trylock_fn, NULL, NULL, NULL,
0, 0, K_NO_WAIT);
k_busy_wait(10);
for (i = 0; i < 10000; i++) {
bounce_once(1234, true);
}
bounce_done = 1;
k_thread_join(&cpu1_thread, K_FOREVER);
zassert_true(trylock_failures > 0);
zassert_true(trylock_successes > 0);
}
static void before(void *ctx)
{
ARG_UNUSED(ctx);
bounce_done = 0;
bounce_owner = 0;
trylock_failures = 0;
trylock_successes = 0;
}
ZTEST_SUITE(spinlock, NULL, NULL, before, NULL, NULL);