ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
spinlock.h File Reference
#include <stdatomic.h>
#include <stdbool.h>
Include dependency graph for spinlock.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  spinlock_t

Macros

#define SPIN_LIMIT   80
 mock spinlock struct

Functions

void spin_lock_init (spinlock_t *lock)
bool spin_lock (spinlock_t *lock)
void spin_unlock (spinlock_t *lock)

Macro Definition Documentation

◆ SPIN_LIMIT

#define SPIN_LIMIT   80

mock spinlock struct

Function Documentation

◆ spin_lock()

bool spin_lock ( spinlock_t * lock)

◆ spin_lock_init()

void spin_lock_init ( spinlock_t * lock)

◆ spin_unlock()

void spin_unlock ( spinlock_t * lock)