tiny.sql.FileReadLease

1pub const ReadLease = struct {2    database: *Database,3    index: u8,4    serial: u64,56    /// Releases one hold on this read lease. A lease of a database that7    /// publishes through lanes keeps its own handle on the base file, and that8    /// handle closes when the last hold is released. Other leases share the9    /// database's handle. Every snapshot taken from the lease stops being10    /// usable once the last hold is gone.11    pub fn deinit(self: *ReadLease) void {12        self.database.read_leases.release(13            self.database.io,14            self.index,15            self.serial,16        );17        self.* = undefined;18    }1920    pub fn retain(self: *const ReadLease) Error!ReadLease {21        try self.database.read_leases.retain(self.index, self.serial);22        return self.*;23    }2425    pub fn snapshot(self: *const ReadLease) Snapshot {26        const slot = self.database.read_leases.live(27            self.index,28            self.serial,29        ) catch unreachable;30        const base_file = if (slot.base_file) |*value| value.file() else unreachable;31        return .{32            .source = .{ .durable = .{33                .io = self.database.io,34                .base_file = base_file,35                .pager = &self.database.pager,36                .read_cache = &self.database.read_cache,37                .recovery_required = &self.database.recovery_required,38                .guard = .{39                    .database = self.database,40                    .index = self.index,41                    .serial = self.serial,42                },43            } },44            .view = slot.view,45        };46    }47};

1pub const FileReadLease = file.ReadLease;