deloxide 1.0.0

Deloxide scrubs your threads clean by detecting deadlocks in real time—keeping your system smooth, safe, and corrosion-free. 🦀🧼🔒
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

// Compile with: gcc -Iinclude three_thread_rwlock_deadlock.c -Ltarget/release -ldeloxide -lpthread -o rwlock_3thread
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <pthread.h>
#include <stdatomic.h>
#include "deloxide.h"
#include "test_util.h"

// Use shared test util globals/callback

struct cycle_args {
    void* locks[3];
    int index;
    atomic_int* ready_count;
};

void* rw_cycle_worker(void* arg) {
    struct cycle_args* a = (struct cycle_args*)arg;
    // Each thread grabs read on i
    RWLOCK_READ(a->locks[a->index]);
    // Signal ready and wait for all threads
    atomic_fetch_add(a->ready_count, 1);
    while (atomic_load(a->ready_count) < 3) {
        sched_yield();
    }
    // Each tries to upgrade to write on (i+1)%3 (held for read by next thread)
    RWLOCK_WRITE(a->locks[(a->index + 1) % 3]);
    // Should never get here
    return NULL;
}

DEFINE_TRACKED_THREAD(rw_cycle_worker)

int main() {
    deloxide_test_init();

    void* locks[3];
    for (int i = 0; i < 3; ++i) {
        locks[i] = deloxide_create_rwlock();
    }

    atomic_int ready_count = 0;

    pthread_t threads[3];
    struct cycle_args args[3];
    for (int i = 0; i < 3; ++i) {
        args[i].index = i;
        args[i].locks[0] = locks[0];
        args[i].locks[1] = locks[1];
        args[i].locks[2] = locks[2];
        args[i].ready_count = &ready_count;
        CREATE_TRACKED_THREAD(threads[i], rw_cycle_worker, &args[i]);
    }

    // Wait up to 2s for deadlock
    wait_for_deadlock_ms(2000, 100);

    if (DEADLOCK_FLAG) {
        printf("✔ Detected 3-thread RwLock cycle deadlock!\n%s\n", DEADLOCK_INFO);
        return 0;
    } else {
        fprintf(stderr, "No deadlock detected in 3-thread RwLock cycle\n");
        return 1;
    }
}