voroskoi/skiplist.zig - Change CZRDWLIQAJHD7NDGJYPJ7F7B5SOEJN25WS5U36WVRV7OJ4YZYXEQC

introduce LockSet

Created by voroskoi on December 26, 2024

CZRDWLIQAJHD7NDGJYPJ7F7B5SOEJN25WS5U36WVRV7OJ4YZYXEQC

Dependencies

In channels

main

Change contents

Insertion in src/lazy.zig at line 83 [3.108]

[3.1660]


        const LockSet = struct {
            bitset: std.StaticBitSet(max_level) = std.StaticBitSet(max_level).initEmpty(),
            inline fn set(self: *@This(), level: usize) void {
                self.bitset.set(level);
            }

Insertion in src/lazy.zig at line 91 [3.108]

[3.1661]

[3.2449]

            inline fn release(self: *@This(), preds: []?*Node) void {
                var lit = self.bitset.iterator(.{});
                while (lit.next()) |lvl| {
                    preds[lvl].?.lock.unlock();
                }
            }
        };

Replacement in src/lazy.zig at line 221 [3.108]

B:BD[3.6939] → [4.1729:1798]

                var locks = std.StaticBitSet(max_level).initEmpty();

[3.6939]

[3.7273]

                var locks = LockSet{};

Deletion in src/lazy.zig at line 225 [3.108]

B:BD[5.7426] → [5.7426:7526]

                    var pred: ?*Node = undefined;
                    var succ: ?*Node = undefined;

Replacement in src/lazy.zig at line 230 [3.108]

∅:D[2.867] → [5.7763:7853]

∅:D[4.1877] → [5.7763:7853]

B:BD[5.7763] → [5.7763:7853]

                        pred = preds[level];
                        succ = succs[level];

[2.867]

[3.7696]

                        const pred = preds[level];
                        const succ = succs[level];

Replacement in src/lazy.zig at line 251 [3.108]

B:BD[5.8941] → [5.8941:9194]

                            // cleanup the locks
                            var lit = locks.iterator(.{});
                            while (lit.next()) |lvl| {
                                preds[lvl].?.lock.unlock();
                            }

[5.8941]

[5.9194]

                            locks.release(&preds);

Replacement in src/lazy.zig at line 270 [3.108]

∅:D[6.495] → [7.7889:7948]

B:BD[7.7889] → [7.7889:7948]

                            var lit = locks.iterator(.{});

[6.495]

[7.7948]

                            var lit = locks.bitset.iterator(.{});

Replacement in src/lazy.zig at line 280 [3.108]

B:BD[5.9788] → [5.9788:10063]

                    var lit = locks.iterator(.{});
                    while (lit.next()) |lvl| {
                        // std.debug.print("\tfinal unlocks {d} {any}\n", .{ lvl, preds[lvl].?.key });
                        preds[lvl].?.lock.unlock();
                    }

[5.9788]

[3.9087]

                    locks.release(&preds);

Replacement in src/lazy.zig at line 313 [3.108]

B:BD[3.10486] → [4.2039:2112]

                    var locks = std.StaticBitSet(max_level).initEmpty();

[3.10486]

[3.10859]

                    var locks = LockSet{};

Deletion in src/lazy.zig at line 316 [3.108]

B:BD[8.559] → [8.559:667]

                        var pred: ?*Node = undefined;
                        var succ: ?*Node = undefined;

Replacement in src/lazy.zig at line 320 [3.108]

∅:D[9.1341] → [8.830:928]

∅:D[4.2175] → [8.830:928]

B:BD[8.830] → [8.830:928]

                            pred = preds[level];
                            succ = succs[level];

[9.1341]

[8.928]

                            const pred = preds[level];
                            const succ = succs[level];

Replacement in src/lazy.zig at line 334 [3.108]

B:BD[8.1409] → [8.1409:1629]

                                var lit = locks.iterator(.{});
                                while (lit.next()) |lvl| {
                                    preds[lvl].?.lock.unlock();
                                }

[8.1409]

[8.1629]

                                locks.release(&preds);

Replacement in src/lazy.zig at line 345 [3.108]

B:BD[7.8808] → [7.8808:8871]

                                var lit = locks.iterator(.{});

[7.8808]

[7.8871]

                                var lit = locks.bitset.iterator(.{});

Replacement in src/lazy.zig at line 356 [3.108]

B:BD[8.2188] → [8.2188:2376]

                        var lit = locks.iterator(.{});
                        while (lit.next()) |lvl| {
                            preds[lvl].?.lock.unlock();
                        }

[8.2188]

[3.11594]

                        locks.release(&preds);