mirror of
https://codeberg.org/ziglang/zig.git
synced 2025-12-06 13:54:21 +00:00
* Add missing period in Stack's description This looks fine in the source, but looks bad when seen on the documentation website. * Correct documentation for attachSegfaultHandler() The description for attachSegfaultHandler() looks pretty bad without indicating that the stuff at the end is code * Added missing 'the's in Queue.put's documentation * Fixed several errors in Stack's documentation `push()` and `pop()` were not styled as code There was no period after `pop()`, which looks bad on the documentation. * Fix multiple problems in base64.zig Both "invalid"s in Base64.decoder were not capitalized. Missing period in documentation of Base64DecoderWithIgnore.calcSizeUpperBound. * Fix capitalization typos in bit_set.zig In DynamicBitSetUnmanaged.deinit's and DynamicBitSet.deinit's documentation, "deinitializes" was uncapitalized. * Fix typos in fifo.zig's documentation Added a previously missing period to the end of the first line of LinearFifo.writableSlice's documentation. Added missing periods to both lines of LinearFifo.pump's documentation. * Fix typos in fmt.bufPrint's documentation The starts of both lines were not capitalized. * Fix minor documentation problems in fs/file.zig Missing periods in documentation for Permissions.setReadOnly, PermissionsWindows.setReadOnly, MetadataUnix.created, MetadataLinux.created, and MetadataWindows.created. * Fix a glaring typo in enums.zig * Correct errors in fs.zig * Fixed documentation problems in hash_map.zig The added empty line in verify_context's documentation is needed, otherwise autodoc for some reason assumes that the list hasn't been terminated and continues reading off the rest of the documentation as if it were part of the second list item. * Added lines between consecutive URLs in http.zig Makes the documentation conform closer to what was intended. * Fix wrongfully ended sentence in Uri.zig * Handle wrongly entered comma in valgrind.zig. * Add missing periods in wasm.zig's documentation * Fix odd spacing in event/loop.zig * Add missing period in http/Headers.zig * Added missing period in io/limited_reader.zig This isn't in the documentation due to what I guess is a limitation of autodoc, but it's clearly supposed to be. If it was, it would look pretty bad. * Correct documentation in math/big/int.zig * Correct formatting in math/big/rational.zig * Create an actual link to ZIGNOR's paper. * Fixed grammatical issues in sort/block.zig This will not show up in the documentation currently. * Fix typo in hash_map.zig
178 lines
5.7 KiB
Zig
178 lines
5.7 KiB
Zig
const std = @import("../std.zig");
|
|
const builtin = @import("builtin");
|
|
const assert = std.debug.assert;
|
|
const expect = std.testing.expect;
|
|
|
|
/// Many reader, many writer, non-allocating, thread-safe.
|
|
/// Uses a spinlock to protect `push()` and `pop()`.
|
|
/// When building in single threaded mode, this is a simple linked list.
|
|
pub fn Stack(comptime T: type) type {
|
|
return struct {
|
|
root: ?*Node,
|
|
lock: @TypeOf(lock_init),
|
|
|
|
const lock_init = if (builtin.single_threaded) {} else false;
|
|
|
|
pub const Self = @This();
|
|
|
|
pub const Node = struct {
|
|
next: ?*Node,
|
|
data: T,
|
|
};
|
|
|
|
pub fn init() Self {
|
|
return Self{
|
|
.root = null,
|
|
.lock = lock_init,
|
|
};
|
|
}
|
|
|
|
/// push operation, but only if you are the first item in the stack. if you did not succeed in
|
|
/// being the first item in the stack, returns the other item that was there.
|
|
pub fn pushFirst(self: *Self, node: *Node) ?*Node {
|
|
node.next = null;
|
|
return @cmpxchgStrong(?*Node, &self.root, null, node, .SeqCst, .SeqCst);
|
|
}
|
|
|
|
pub fn push(self: *Self, node: *Node) void {
|
|
if (builtin.single_threaded) {
|
|
node.next = self.root;
|
|
self.root = node;
|
|
} else {
|
|
while (@atomicRmw(bool, &self.lock, .Xchg, true, .SeqCst)) {}
|
|
defer assert(@atomicRmw(bool, &self.lock, .Xchg, false, .SeqCst));
|
|
|
|
node.next = self.root;
|
|
self.root = node;
|
|
}
|
|
}
|
|
|
|
pub fn pop(self: *Self) ?*Node {
|
|
if (builtin.single_threaded) {
|
|
const root = self.root orelse return null;
|
|
self.root = root.next;
|
|
return root;
|
|
} else {
|
|
while (@atomicRmw(bool, &self.lock, .Xchg, true, .SeqCst)) {}
|
|
defer assert(@atomicRmw(bool, &self.lock, .Xchg, false, .SeqCst));
|
|
|
|
const root = self.root orelse return null;
|
|
self.root = root.next;
|
|
return root;
|
|
}
|
|
}
|
|
|
|
pub fn isEmpty(self: *Self) bool {
|
|
return @atomicLoad(?*Node, &self.root, .SeqCst) == null;
|
|
}
|
|
};
|
|
}
|
|
|
|
const Context = struct {
|
|
allocator: std.mem.Allocator,
|
|
stack: *Stack(i32),
|
|
put_sum: isize,
|
|
get_sum: isize,
|
|
get_count: usize,
|
|
puts_done: bool,
|
|
};
|
|
// TODO add lazy evaluated build options and then put puts_per_thread behind
|
|
// some option such as: "AggressiveMultithreadedFuzzTest". In the AppVeyor
|
|
// CI we would use a less aggressive setting since at 1 core, while we still
|
|
// want this test to pass, we need a smaller value since there is so much thrashing
|
|
// we would also use a less aggressive setting when running in valgrind
|
|
const puts_per_thread = 500;
|
|
const put_thread_count = 3;
|
|
|
|
test "std.atomic.stack" {
|
|
var plenty_of_memory = try std.heap.page_allocator.alloc(u8, 300 * 1024);
|
|
defer std.heap.page_allocator.free(plenty_of_memory);
|
|
|
|
var fixed_buffer_allocator = std.heap.FixedBufferAllocator.init(plenty_of_memory);
|
|
var a = fixed_buffer_allocator.threadSafeAllocator();
|
|
|
|
var stack = Stack(i32).init();
|
|
var context = Context{
|
|
.allocator = a,
|
|
.stack = &stack,
|
|
.put_sum = 0,
|
|
.get_sum = 0,
|
|
.puts_done = false,
|
|
.get_count = 0,
|
|
};
|
|
|
|
if (builtin.single_threaded) {
|
|
{
|
|
var i: usize = 0;
|
|
while (i < put_thread_count) : (i += 1) {
|
|
try expect(startPuts(&context) == 0);
|
|
}
|
|
}
|
|
context.puts_done = true;
|
|
{
|
|
var i: usize = 0;
|
|
while (i < put_thread_count) : (i += 1) {
|
|
try expect(startGets(&context) == 0);
|
|
}
|
|
}
|
|
} else {
|
|
var putters: [put_thread_count]std.Thread = undefined;
|
|
for (&putters) |*t| {
|
|
t.* = try std.Thread.spawn(.{}, startPuts, .{&context});
|
|
}
|
|
var getters: [put_thread_count]std.Thread = undefined;
|
|
for (&getters) |*t| {
|
|
t.* = try std.Thread.spawn(.{}, startGets, .{&context});
|
|
}
|
|
|
|
for (putters) |t|
|
|
t.join();
|
|
@atomicStore(bool, &context.puts_done, true, .SeqCst);
|
|
for (getters) |t|
|
|
t.join();
|
|
}
|
|
|
|
if (context.put_sum != context.get_sum) {
|
|
std.debug.panic("failure\nput_sum:{} != get_sum:{}", .{ context.put_sum, context.get_sum });
|
|
}
|
|
|
|
if (context.get_count != puts_per_thread * put_thread_count) {
|
|
std.debug.panic("failure\nget_count:{} != puts_per_thread:{} * put_thread_count:{}", .{
|
|
context.get_count,
|
|
@as(u32, puts_per_thread),
|
|
@as(u32, put_thread_count),
|
|
});
|
|
}
|
|
}
|
|
|
|
fn startPuts(ctx: *Context) u8 {
|
|
var put_count: usize = puts_per_thread;
|
|
var prng = std.rand.DefaultPrng.init(0xdeadbeef);
|
|
const random = prng.random();
|
|
while (put_count != 0) : (put_count -= 1) {
|
|
std.time.sleep(1); // let the os scheduler be our fuzz
|
|
const x = @as(i32, @bitCast(random.int(u32)));
|
|
const node = ctx.allocator.create(Stack(i32).Node) catch unreachable;
|
|
node.* = Stack(i32).Node{
|
|
.next = undefined,
|
|
.data = x,
|
|
};
|
|
ctx.stack.push(node);
|
|
_ = @atomicRmw(isize, &ctx.put_sum, .Add, x, .SeqCst);
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
fn startGets(ctx: *Context) u8 {
|
|
while (true) {
|
|
const last = @atomicLoad(bool, &ctx.puts_done, .SeqCst);
|
|
|
|
while (ctx.stack.pop()) |node| {
|
|
std.time.sleep(1); // let the os scheduler be our fuzz
|
|
_ = @atomicRmw(isize, &ctx.get_sum, .Add, node.data, .SeqCst);
|
|
_ = @atomicRmw(usize, &ctx.get_count, .Add, 1, .SeqCst);
|
|
}
|
|
|
|
if (last) return 0;
|
|
}
|
|
}
|