aboutsummaryrefslogtreecommitdiff
path: root/std/mutex.zig
blob: 6aee87d1d797a73a0da9432bdadcd1ba39dbe968 (plain)
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
const std = @import("index.zig");
const builtin = @import("builtin");
const AtomicOrder = builtin.AtomicOrder;
const AtomicRmwOp = builtin.AtomicRmwOp;
const assert = std.debug.assert;

/// TODO use syscalls instead of a spinlock
pub const Mutex = struct {
    lock: u8, // TODO use a bool

    pub const Held = struct {
        mutex: *Mutex,

        pub fn release(self: Held) void {
            assert(@atomicRmw(u8, &self.mutex.lock, builtin.AtomicRmwOp.Xchg, 0, AtomicOrder.SeqCst) == 1);
        }
    };

    pub fn init() Mutex {
        return Mutex{ .lock = 0 };
    }

    pub fn acquire(self: *Mutex) Held {
        while (@atomicRmw(u8, &self.lock, builtin.AtomicRmwOp.Xchg, 1, AtomicOrder.SeqCst) != 0) {}
        return Held{ .mutex = self };
    }
};