Files
esp-idf/components/linux/include/sys/lock.h
Guillaume Souchere 445db75612 fix(linux): implement pthread-based locks for soft-preemption safety
The Linux target's sys/lock.h provided no-op inline stubs, which was
safe only under the assumption of single-threaded execution.  With the
new FreeRTOS Linux simulator using soft preemption, an outgoing task
can still run concurrently with the incoming task until it reaches a
yield point, making no-op locks unsafe.

Replace the no-op implementation with real pthread mutexes:

- Change _lock_t from `typedef int` to `typedef void *` (pointer to a
  heap-allocated pthread_mutex_t).
- Implement all _lock_* functions in a new lock.c, supporting both
  normal and recursive mutexes.
- Zero-initialized locks are lazily created on first acquire using
  double-checked locking, preserving newlib/esp_libc semantics.
- Add lock.c unconditionally to the linux component sources and link
  pthread.
2026-06-04 11:36:34 +02:00

38 lines
897 B
C

/*
* SPDX-FileCopyrightText: 2021-2026 Espressif Systems (Shanghai) CO LTD
*
* SPDX-License-Identifier: Apache-2.0
*/
#ifndef __SYS_LOCK_H__
#define __SYS_LOCK_H__
#include <sys/types.h>
#ifdef __cplusplus
extern "C" {
#endif
/**
* Lock type backed by pthread mutexes. A zero-initialized _lock_t is valid
* and will be lazily created on first acquire (matching newlib/esp_libc
* semantics).
*/
typedef void * _lock_t;
void _lock_init(_lock_t *plock);
void _lock_init_recursive(_lock_t *plock);
void _lock_close(_lock_t *plock);
void _lock_close_recursive(_lock_t *plock);
void _lock_acquire(_lock_t *plock);
void _lock_acquire_recursive(_lock_t *plock);
int _lock_try_acquire(_lock_t *plock);
int _lock_try_acquire_recursive(_lock_t *plock);
void _lock_release(_lock_t *plock);
void _lock_release_recursive(_lock_t *plock);
#ifdef __cplusplus
}
#endif
#endif /* __SYS_LOCK_H__ */