diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2023-03-03 12:08:18 -0700 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2023-03-03 12:08:18 -0700 |
| commit | df4cfc2ecf498bf4615ccbaa93438849322bbd18 (patch) | |
| tree | a71611e86cacd8e021190cc4755574c514acb5c7 /lib/std/io.zig | |
| parent | 72443fb88cfddad8a58868c150eaf5818826cb21 (diff) | |
| parent | 75ff34db9e93056482233f8476a06f78b4a2f3c2 (diff) | |
| download | zig-df4cfc2ecf498bf4615ccbaa93438849322bbd18.tar.gz zig-df4cfc2ecf498bf4615ccbaa93438849322bbd18.zip | |
Merge remote-tracking branch 'origin/master' into llvm16
Diffstat (limited to 'lib/std/io.zig')
| -rw-r--r-- | lib/std/io.zig | 250 |
1 files changed, 250 insertions, 0 deletions
diff --git a/lib/std/io.zig b/lib/std/io.zig index a61f2a4e0e..0faba2b652 100644 --- a/lib/std/io.zig +++ b/lib/std/io.zig @@ -168,6 +168,256 @@ test "null_writer" { null_writer.writeAll("yay" ** 10) catch |err| switch (err) {}; } +pub fn poll( + allocator: std.mem.Allocator, + comptime StreamEnum: type, + files: PollFiles(StreamEnum), +) Poller(StreamEnum) { + const enum_fields = @typeInfo(StreamEnum).Enum.fields; + var result: Poller(StreamEnum) = undefined; + + if (builtin.os.tag == .windows) result.windows = .{ + .first_read_done = false, + .overlapped = [1]os.windows.OVERLAPPED{ + mem.zeroes(os.windows.OVERLAPPED), + } ** enum_fields.len, + .active = .{ + .count = 0, + .handles_buf = undefined, + .stream_map = undefined, + }, + }; + + inline for (0..enum_fields.len) |i| { + result.fifos[i] = .{ + .allocator = allocator, + .buf = &.{}, + .head = 0, + .count = 0, + }; + if (builtin.os.tag == .windows) { + result.windows.active.handles_buf[i] = @field(files, enum_fields[i].name).handle; + } else { + result.poll_fds[i] = .{ + .fd = @field(files, enum_fields[i].name).handle, + .events = os.POLL.IN, + .revents = undefined, + }; + } + } + return result; +} + +pub const PollFifo = std.fifo.LinearFifo(u8, .Dynamic); + +pub fn Poller(comptime StreamEnum: type) type { + return struct { + const enum_fields = @typeInfo(StreamEnum).Enum.fields; + const PollFd = if (builtin.os.tag == .windows) void else std.os.pollfd; + + fifos: [enum_fields.len]PollFifo, + poll_fds: [enum_fields.len]PollFd, + windows: if (builtin.os.tag == .windows) struct { + first_read_done: bool, + overlapped: [enum_fields.len]os.windows.OVERLAPPED, + active: struct { + count: math.IntFittingRange(0, enum_fields.len), + handles_buf: [enum_fields.len]os.windows.HANDLE, + stream_map: [enum_fields.len]StreamEnum, + + pub fn removeAt(self: *@This(), index: u32) void { + std.debug.assert(index < self.count); + for (index + 1..self.count) |i| { + self.handles_buf[i - 1] = self.handles_buf[i]; + self.stream_map[i - 1] = self.stream_map[i]; + } + self.count -= 1; + } + }, + } else void, + + const Self = @This(); + + pub fn deinit(self: *Self) void { + if (builtin.os.tag == .windows) { + // cancel any pending IO to prevent clobbering OVERLAPPED value + for (self.windows.active.handles_buf[0..self.windows.active.count]) |h| { + _ = os.windows.kernel32.CancelIo(h); + } + } + inline for (&self.fifos) |*q| q.deinit(); + self.* = undefined; + } + + pub fn poll(self: *Self) !bool { + if (builtin.os.tag == .windows) { + return pollWindows(self); + } else { + return pollPosix(self); + } + } + + pub inline fn fifo(self: *Self, comptime which: StreamEnum) *PollFifo { + return &self.fifos[@enumToInt(which)]; + } + + fn pollWindows(self: *Self) !bool { + const bump_amt = 512; + + if (!self.windows.first_read_done) { + // Windows Async IO requires an initial call to ReadFile before waiting on the handle + for (0..enum_fields.len) |i| { + const handle = self.windows.active.handles_buf[i]; + switch (try windowsAsyncRead( + handle, + &self.windows.overlapped[i], + &self.fifos[i], + bump_amt, + )) { + .pending => { + self.windows.active.handles_buf[self.windows.active.count] = handle; + self.windows.active.stream_map[self.windows.active.count] = @intToEnum(StreamEnum, i); + self.windows.active.count += 1; + }, + .closed => {}, // don't add to the wait_objects list + } + } + self.windows.first_read_done = true; + } + + while (true) { + if (self.windows.active.count == 0) return false; + + const status = os.windows.kernel32.WaitForMultipleObjects( + self.windows.active.count, + &self.windows.active.handles_buf, + 0, + os.windows.INFINITE, + ); + if (status == os.windows.WAIT_FAILED) + return os.windows.unexpectedError(os.windows.kernel32.GetLastError()); + + if (status < os.windows.WAIT_OBJECT_0 or status > os.windows.WAIT_OBJECT_0 + enum_fields.len - 1) + unreachable; + + const active_idx = status - os.windows.WAIT_OBJECT_0; + + const handle = self.windows.active.handles_buf[active_idx]; + const stream_idx = @enumToInt(self.windows.active.stream_map[active_idx]); + var read_bytes: u32 = undefined; + if (0 == os.windows.kernel32.GetOverlappedResult( + handle, + &self.windows.overlapped[stream_idx], + &read_bytes, + 0, + )) switch (os.windows.kernel32.GetLastError()) { + .BROKEN_PIPE => { + self.windows.active.removeAt(active_idx); + continue; + }, + else => |err| return os.windows.unexpectedError(err), + }; + + self.fifos[stream_idx].update(read_bytes); + + switch (try windowsAsyncRead( + handle, + &self.windows.overlapped[stream_idx], + &self.fifos[stream_idx], + bump_amt, + )) { + .pending => {}, + .closed => self.windows.active.removeAt(active_idx), + } + return true; + } + } + + fn pollPosix(self: *Self) !bool { + // We ask for ensureUnusedCapacity with this much extra space. This + // has more of an effect on small reads because once the reads + // start to get larger the amount of space an ArrayList will + // allocate grows exponentially. + const bump_amt = 512; + + const err_mask = os.POLL.ERR | os.POLL.NVAL | os.POLL.HUP; + + const events_len = try os.poll(&self.poll_fds, std.math.maxInt(i32)); + if (events_len == 0) { + for (self.poll_fds) |poll_fd| { + if (poll_fd.fd != -1) return true; + } else return false; + } + + var keep_polling = false; + inline for (&self.poll_fds, &self.fifos) |*poll_fd, *q| { + // Try reading whatever is available before checking the error + // conditions. + // It's still possible to read after a POLL.HUP is received, + // always check if there's some data waiting to be read first. + if (poll_fd.revents & os.POLL.IN != 0) { + const buf = try q.writableWithSize(bump_amt); + const amt = try os.read(poll_fd.fd, buf); + q.update(amt); + if (amt == 0) { + // Remove the fd when the EOF condition is met. + poll_fd.fd = -1; + } else { + keep_polling = true; + } + } else if (poll_fd.revents & err_mask != 0) { + // Exclude the fds that signaled an error. + poll_fd.fd = -1; + } else if (poll_fd.fd != -1) { + keep_polling = true; + } + } + return keep_polling; + } + }; +} + +fn windowsAsyncRead( + handle: os.windows.HANDLE, + overlapped: *os.windows.OVERLAPPED, + fifo: *PollFifo, + bump_amt: usize, +) !enum { pending, closed } { + while (true) { + const buf = try fifo.writableWithSize(bump_amt); + var read_bytes: u32 = undefined; + const read_result = os.windows.kernel32.ReadFile(handle, buf.ptr, math.cast(u32, buf.len) orelse math.maxInt(u32), &read_bytes, overlapped); + if (read_result == 0) return switch (os.windows.kernel32.GetLastError()) { + .IO_PENDING => .pending, + .BROKEN_PIPE => .closed, + else => |err| os.windows.unexpectedError(err), + }; + fifo.update(read_bytes); + } +} + +/// Given an enum, returns a struct with fields of that enum, each field +/// representing an I/O stream for polling. +pub fn PollFiles(comptime StreamEnum: type) type { + const enum_fields = @typeInfo(StreamEnum).Enum.fields; + var struct_fields: [enum_fields.len]std.builtin.Type.StructField = undefined; + for (&struct_fields, enum_fields) |*struct_field, enum_field| { + struct_field.* = .{ + .name = enum_field.name, + .type = fs.File, + .default_value = null, + .is_comptime = false, + .alignment = @alignOf(fs.File), + }; + } + return @Type(.{ .Struct = .{ + .layout = .Auto, + .fields = &struct_fields, + .decls = &.{}, + .is_tuple = false, + } }); +} + test { _ = @import("io/bit_reader.zig"); _ = @import("io/bit_writer.zig"); |
