tiny.sql.history.segment.EventRange
Defined in history.segment.
API (10)
Actions
Public operations.
Types and contracts
Public types and contracts.
Values and defaults
Public values and defaults.
budget_eventsmaximum_increment_eventsmaximum_seconds_per_yearmaximum_units_per_secondservice_lifetime_secondsservice_lifetime_yearsunit_precision_events
Source
Source: lib/sql/src/history/segment/format.zig:78
zig
pub const EventRange = struct { pub const Count = u64; pub const unit_precision_events: Count = 1; pub const maximum_units_per_second: Count = 512 * 1024 * 1024; pub const maximum_seconds_per_year: Count = RangeLifetime.maximum_seconds_per_year; pub const service_lifetime_years: Count = RangeLifetime.service_lifetime_years; pub const service_lifetime_seconds: Count = RangeLifetime.service_lifetime_seconds; pub const maximum_increment_events: Count = @as(Count, blocks_max) * @as(Count, std.math.maxInt(u32)); pub const budget_events: Count = total( maximum_units_per_second, service_lifetime_seconds, ).?; pub fn total(units_per_second: Count, lifetime_seconds: Count) ?Count { return totalRange( unit_precision_events, units_per_second, lifetime_seconds, ); } pub fn advance(current: Count, increment: Count) ?Count { if (current > budget_events or increment == 0 or increment > maximum_increment_events) { return null; } const next = std.math.add(Count, current, increment) catch return null; return if (next <= budget_events) next else null; }};Source: lib/sql/src/history/segment/root.zig:6
zig
pub const EventRange = format.EventRange;Complete caller list for history.segment.EventRange.advance
8 direct callers.
tiny.sql.history.segment.Iterator.next[method] atlib/sql/src/history/segment/format.zig:531tiny.sql.history.segment.Sealer.addBlock[method] atlib/sql/src/history/segment/format.zig:381tiny.sql.history.segment.Sealer.finish[method] atlib/sql/src/history/segment/format.zig:406lib.sql.src.history.segment.format.readBlock[function] — private source atlib/sql/src/history/segment/format.zig:718in nearest public ownerlib.sql.src.history.segment.formatlib.sql.src.history.segment.format.readHeader[function] — private source atlib/sql/src/history/segment/format.zig:650in nearest public ownerlib.sql.src.history.segment.formatlib.sql.src.history.segment.format.writeHeader[function] — private source atlib/sql/src/history/segment/format.zig:622in nearest public ownerlib.sql.src.history.segment.formatlib.sql.src.properties.history.checkEventAdvance[function] — private source atlib/sql/src/properties/history.zig:498in nearest public ownerlib.sql.src.properties.historylib.sql.src.properties.history.test_property:_segmented_counter_ranges_cover_scale_and_final_legal_increments[function] — test source atlib/sql/src/properties/history.zig:571in nearest public ownerlib.sql.src.properties.history
Audit
| Definitions | 11 |
|---|---|
| Public names | 11 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |