lock_core.h

Go to the documentation of this file.

/*
 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
 
#ifndef _PICO_LOCK_CORE_H
#define _PICO_LOCK_CORE_H
 
#include "pico.h"
#include "pico/time.h"
#include "hardware/sync.h"
 
// PICO_CONFIG: PARAM_ASSERTIONS_ENABLED_LOCK_CORE, Enable/disable assertions in the lock core, type=bool, default=0, group=pico_sync
#ifndef PARAM_ASSERTIONS_ENABLED_LOCK_CORE
#define PARAM_ASSERTIONS_ENABLED_LOCK_CORE 0
#endif
 
struct lock_core {
    // spin lock protecting this lock's state
    spin_lock_t *spin_lock;
 
    // note any lock members in containing structures need not be volatile;
    // they are protected by memory/compiler barriers when gaining and release spin locks
};
 
typedef struct lock_core lock_core_t;
 
void lock_init(lock_core_t *core, uint lock_num);
 
#ifndef lock_owner_id_t
 
#define lock_owner_id_t int8_t
#endif
 
#ifndef LOCK_INVALID_OWNER_ID
 
#define LOCK_INVALID_OWNER_ID ((lock_owner_id_t)-1)
#endif
 
#ifndef lock_get_caller_owner_id
 
#define lock_get_caller_owner_id() ((lock_owner_id_t)get_core_num())
#ifndef lock_is_owner_id_valid
#define lock_is_owner_id_valid(id) ((id)>=0)
#endif
#endif
 
#ifndef lock_is_owner_id_valid
#define lock_is_owner_id_valid(id) ((id) != LOCK_INVALID_OWNER_ID)
#endif
 
#ifndef lock_internal_spin_unlock_with_wait
 
#define lock_internal_spin_unlock_with_wait(lock, save) spin_unlock((lock)->spin_lock, save), __wfe()
#endif
 
#ifndef lock_internal_spin_unlock_with_notify
 
#define lock_internal_spin_unlock_with_notify(lock, save) spin_unlock((lock)->spin_lock, save), __sev()
#endif
 
#ifndef lock_internal_spin_unlock_with_best_effort_wait_or_timeout
 
#define lock_internal_spin_unlock_with_best_effort_wait_or_timeout(lock, save, until) ({ \
    spin_unlock((lock)->spin_lock, save);                                                \
    best_effort_wfe_or_timeout(until);                                                   \
})
#endif
 
#ifndef sync_internal_yield_until_before
 
#define sync_internal_yield_until_before(until) ((void)0)
#endif
 
#endif