@mark1russell7/kind 0.13.4 → 0.14.1

package/build/{judge-BZFTT0RL.d.ts → judge-DLn2PLxb.d.ts}

@@ -431,6 +431,10 @@ interface ResetReuse<A = Quantity> {
  *   the socket of its last request before the fault. With `window`, the failed requests also start in that window.
  *   With `of: "tunnel"`, the HBONE connection of the ztunnel of each client ends in the band instead.
  *   With `answer`, the close of the peer in that band is an answer to the close of the client.
+ * - `reconnects`: a producer of a message broker gets its connection again after its broker stops
+ *   (`ReconnectsPrediction`). The lookups name another broker in the band `flip`. Each producer is back
+ *   at the first try of its backoff after that change, and its sends fail only until then.
+ *   With `owner: "either"`, the stopped broker can start again and take the topic back.
  * - `measured`: no document bounds the outcome. The run keeps the measurement.
  */
 type Prediction<A = Quantity> = NonePrediction | WindowPrediction<A> | {
@@ -479,10 +483,49 @@ type Prediction<A = Quantity> = NonePrediction | WindowPrediction<A> | {
    */
   readonly answer?: Band<A> | undefined;
   readonly why: string;
-} | {
+} | ReconnectsPrediction<A> | {
   readonly kind: "measured";
   readonly why: string;
 };
+/**
+ * A backoff is the delays of a client between its tries to connect again. The first delay is
+ * `initial`, and each next delay is two times the last, up to `max`. One delay is shorter: the try
+ * after it comes `mandatoryStop` after the first delay. The client takes a random share of up to
+ * `jitter` from each delay. A failed try takes up to `attempt`.
+ */
+interface Backoff<A = Quantity> {
+  readonly initial: A;
+  readonly max: A;
+  readonly mandatoryStop: A;
+  readonly jitter: number;
+  readonly attempt: A;
+}
+/**
+ * A reconnects prediction is the return of the producers of a broker after the stop of the broker
+ * that owns their topic (SYS-56). Each band is from the fault.
+ */
+interface ReconnectsPrediction<A = Quantity> {
+  readonly kind: "reconnects";
+  /** This band is the first lookup that names another broker as the owner of the topic. */
+  readonly flip: Band<A>;
+  /**
+   * This value says which broker owns the topic after the change. With `other`, the default, a lookup
+   * names another broker. With `either`, the stopped broker can start again and take the topic back.
+   * Then the lookups name one broker before and after the change, and only `flip` bounds the tries.
+   */
+  readonly owner?: "other" | "either" | undefined;
+  /** This time is the most from the change of the owner to the first lookup that names it. */
+  readonly probe: A;
+  /** This band is the first delay of each producer before its first try. */
+  readonly disconnect: Band<A>;
+  /** This backoff is the delays of each producer between its tries. */
+  readonly backoff: Backoff<A>;
+  /** This band is from the try that succeeds to the producer on the new owner. */
+  readonly setup: Band<A>;
+  /** These outcomes are the only failures of a send. */
+  readonly outcomes: readonly string[];
+  readonly why: string;
+}
 /** A prediction of no failure: no request fails in the run, or none with an outcome of `outcomes`. */
 interface NonePrediction {
   readonly kind: "none";
@@ -644,6 +687,8 @@ interface KindRun {
   readonly target: Replica | null;
   /** This node is the node whose kube-proxy paused, or null. */
   readonly paused: string | null;
+  /** This pod is the broker that owned the topic at the fault, for a cell with a broker (`KindCell.pulsar`). */
+  readonly broker?: string | undefined;
   readonly replicas: readonly Replica[];
   readonly void: string | null;
   readonly lines: ReadonlyArray<{
@@ -686,6 +731,24 @@ interface KindCell<A = Quantity> {
    * each request to the VIP. Without it, the cell has no VIP.
    */
   readonly vip?: VipSettings | undefined;
+  /**
+   * This broker is Apache Pulsar (SYS-56). With it, the cluster has Pulsar, and `clients` more pods
+   * send messages to one topic and look up its owner. Without it, the cell has no broker.
+   */
+  readonly pulsar?: PulsarSettings | undefined;
+  /**
+   * This count is the CPUs, 1 or less, that a process outside the cluster keeps busy before each run
+   * (SYS-95). The load starts after the baseline of the environment. Thus this cell tests that the
+   * quiet gate refuses a loaded VM, and each of its runs is void when the gate holds.
+   */
+  readonly plannedLoad?: number | undefined;
+}
+/** These are the settings of the broker of a cell (`KindCell.pulsar`). */
+interface PulsarSettings {
+  /** This count is the pods of the producers, one on each worker. */
+  readonly clients: number;
+  /** This time is between two lookups of the owner of the topic by each client pod. */
+  readonly probe: Quantity;
 }
 /** This name is an announcer of a VIP: kube-vip in ARP mode (SYS-51), or MetalLB in L2 mode (SYS-53). */
 type VipAnnouncerName = "kube-vip" | "metallb";
@@ -695,6 +758,18 @@ interface VipSettings {
   readonly clients: number;
   /** This name is the announcer of the VIP (`announcer.ts`). Without it, the announcer is kube-vip. */
   readonly announcer?: VipAnnouncerName | undefined;
+  /**
+   * These are the settings of memberlist for the speakers of MetalLB (SYS-57). With them, the install
+   * writes the config file of memberlist, with each other value of `DefaultLANConfig`. Without them,
+   * the install writes no file.
+   */
+  readonly memberlist?: MemberlistSettings | undefined;
+}
+/** A cell can change these settings of memberlist: the probe interval, the wait for an ack, and the multiplier of the suspicion timeout. */
+interface MemberlistSettings {
+  readonly probeInterval: Quantity;
+  readonly probeTimeout: Quantity;
+  readonly suspicionMult: number;
 }
 //#endregion
 //#region src/bands.d.ts
@@ -1109,6 +1184,25 @@ interface RunFacts<A = Quantity> {
    * with fewer than 2 requests of each client does not have it. A record before SYS-41 does not have it.
    */
   readonly period?: Period<A> | undefined;
+  /**
+   * These are the facts of the return of the producers (`reconnects`, SYS-56). They are the first
+   * lookup with another owner, the gap of the lookups before it, each producer, and the failed sends
+   * by outcome. Each time is from the fault, but `gap`.
+   */
+  readonly reconnects?: ReconnectsFacts<A> | undefined;
+}
+/** These are the facts of the return of the producers of a run (`RunFacts.reconnects`). */
+interface ReconnectsFacts<A = Quantity> {
+  readonly flip: A | null;
+  readonly gap: A | null;
+  readonly returns: ReadonlyArray<{
+    readonly pod: string;
+    readonly disconnect: A | null;
+    readonly back: A | null;
+    readonly setup: A | null;
+    readonly tries: number;
+  }>;
+  readonly failures: Readonly<Record<string, number>>;
 }
 /** A deleted replica is a replica of a run that got a deletion. It gives its pod, and the stamps of its intake (or null) and of its deletion. */
 interface Deleted {
@@ -1234,12 +1328,17 @@ declare const judgeKind: (cell: KindCell, runs: readonly KindRun[]) => KindVerdi
 declare const FORMAT = "systems.kind-cell-record/2";
 /** This format is the first format. Its bands, its medians and its times are numbers. */
 declare const FORMAT_V1 = "systems.kind-cell-record/1";
-/** A load sample is what the VM did in 4 s before a run: when (a stamp of the wall clock in milliseconds), its idle share, and its busiest processes. */
+/**
+ * A load sample is what the VM did in 4 s before a run: when (a stamp of the wall clock in
+ * milliseconds), its idle share, and its busiest processes. A sample of the gate has `needed`, the
+ * idle share of the gate at that time. A baseline sample has no `needed`.
+ */
 interface LoadSample {
   readonly t: number;
   readonly idle: number;
   readonly top: readonly string[];
   readonly foreign: readonly string[];
+  readonly needed?: number | undefined;
 }
 /** A cluster manifest is what a run records about its cluster: the versions, the images, the nodes and the mode as read back. */
 interface ClusterManifest {
@@ -1393,5 +1492,95 @@ declare const quantileOf: (sorted: readonly number[], p: number) => number;
  */
 declare const medianInterval: (sorted: readonly number[]) => [number, number];
 //#endregion
-export { unitOf as $, cidrRange as $n, OUTSIDE as $t, TriggerV1 as A, Reference as An, recordsOf as At, RunCheck as B, Workload as Bn, sliceReadyAt as Bt, KindCellResult as C, MeshFlavor as Cn, intakeOf as Ct, PredictionV1 as D, PodSettings as Dn, periodOf as Dt, LoadSample as E, PermittedWindow as En, outcomesOf as Et, KIND_NOISE as F, Trigger as Fn, sessionsAt as Ft, factsOf as G, KindScenario as Gn, transitionOf as Gt, checkRun as H, Dataplane as Hn, slicesOf as Ht, KindDecision as I, TriggerKind as In, signalOf as It, observationEnd as J, NodeImage as Jn, ztunnelReplaced as Jt, judgeKind as K, KubeProxyMode as Kn, tunnelsOf as Kt, KindVerdict as L, VipAnnouncerName as Ln, signalsOf as Lt, upgrade as M, ResetReuse as Mn, restartOf as Mt, upgradeCell as N, Stack as Nn, restartsAt as Nt, RunCheckV1 as O, Prediction as On, podsAt as Ot, Deleted as P, Template as Pn, rulesOf as Pt, reusesReset as Q, cidrOverlap as Qn, LOG_LABEL as Qt, LAST_SLACK as R, VipSettings as Rn, sliceDropOf as Rt, KindCellRecordV1 as S, Mesh as Sn, failuresOf as St, KindVerdictV1 as T, NonePrediction as Tn, kernelCounts as Tt, cyclesOf as U, KUBE_PROXY_MODES as Un, socketsOf as Ut, RunFacts as V, DATAPLANES as Vn, sliceReadyOf as Vt, deletionsOf as W, KindConfig as Wn, stoppingOf as Wt, propagationSource as X, ZONE_LABEL as Xn, HEALTH_PORT as Xt, propagationOf as Y, ZONE_KEPT as Yn, CLIENT as Yt, referenceOf as Z, ZONE_LOST as Zn, LB_CLASS as Zt, ClusterManifest as _, EdgeProtocol as _n, byClients as _t, STAGES as a, backlogEnd as an, scenario as ar, PodLine as at, FORMAT_V1 as b, KindRun as bn, dropOf as bt, readRecord as c, overshootBand as cn, Request as ct, calibrationOf as d, secondsOf as dn, SliceLine as dt, PORT as en, goDuration as er, updatesOf as et, cellsTable as f, showBand as fn, SocketLine as ft, BandV1 as g, Declaration as gn, backendsAt as gt, timeSpread as h, Cycle as hn, ZtunnelPodLine as ht, quantileOf as i, CountBand as in, nodeNames as ir, Period as it, judge as j, Replica as jn, requestsOf as jt, RunFactsV1 as k, RedisDeclaration as kn, podsOf as kt, Judged as l, requestBand as ln, RulesLine as lt, predictionText as m, Band as mn, TunnelLine as mt, medianInterval as n, SERVER as nn, kindConfig as nr, HBONE_PORT as nt, kindCellRecordSchema as o, bandOf as on, scenarioProblems as or, PropagationSource as ot, medianText as p, BacklogTerm as pn, TCP_STATE as pt, observationAfter as q, NODE_IMAGES as qn, ztunnelPodsOf as qt, middle as r, VIP_ANNOTATION as rn, kubeProxyPatch as rr, Line as rt, kindCellRecordV1Schema as s, drainBand as sn, zoneOf as sr, RecordLine as st, RELATIVE as t, REDIS as tn, isKubeProxyMode as tr, Endpoint as tt, TimeSpread as u, seconds as un, Sessions as ut, EnvironmentManifest as v, Flap as vn, byNode as vt, KindCellV1 as w, MeshMode as wn, isTunnelState as wt, KindCellRecord as x, KubeletProbe as xn, emptyOf as xt, FORMAT as y, KindCell as yn, deletionOf as yt, Propagated as z, WindowPrediction as zn, sliceEmptyOf as zt };
-//# sourceMappingURL=judge-BZFTT0RL.d.ts.map
+//#region src/reconnects.d.ts
+/**
+ * This module judges the return of the producers of a message broker after the stop of the broker
+ * that owns their topic (SYS-56). It knows the backoff of a client and the lines of the lab, and
+ * nothing of Pulsar. Each time is in milliseconds, on the clock of the lines.
+ *
+ * The backoff is the law of `Backoff::next` of the C++ client of Pulsar 4.2.0 (lib/Backoff.cc,
+ * lines 33–57). The first delay is the initial delay, and each next delay is two times the last, up
+ * to the most. The first call keeps its time. If a later call ends after the mandatory stop, it
+ * gets the rest of the time to that stop, once. Then the call takes a random share of up to the
+ * jitter from the delay. The delay is not below the initial delay at any time.
+ */
+/** A try is the earliest and the latest time of one try to connect, after the first delay starts. */
+interface Try {
+  readonly lo: number;
+  readonly hi: number;
+}
+/**
+ * This function gives the band of each try after the first delay starts, up to the first try whose
+ * earliest time is after `until`. The earliest path has the most jitter and no time for a try. The
+ * latest path has no jitter and `attempt` for each failed try. A later call gets a delay that ends no
+ * earlier, thus each try of a path between them is in the band.
+ */
+declare const triesOf: (backoff: Backoff, until: number) => Try[];
+/**
+ * This function gives the latest return of a producer after the fault, from the bands of the
+ * prediction. It adds three terms. The first is the first delay at its latest. The second is the
+ * latest time of the first try that cannot come before the latest change of the owner. The third
+ * is the latest setup.
+ */
+declare const latestReturn: (prediction: ReconnectsPrediction) => number;
+/** A schedule is one call of the backoff of a producer: when, and its delay in milliseconds. */
+interface Schedule {
+  readonly t: number;
+  readonly delay: number;
+}
+/** A return is the facts of one producer in one run. */
+interface Return {
+  readonly pod: string;
+  /** This time is the first call of the backoff after the fault, from the fault. */
+  readonly disconnect: number | null;
+  /** These are the calls of the backoff from the fault to the producer on the new owner. */
+  readonly schedules: readonly Schedule[];
+  /** This time is the producer on the new owner, from the fault, or null. */
+  readonly back: number | null;
+  /** This time is from the try that succeeded to the producer on the new owner. */
+  readonly setup: number | null;
+  /** This count is the tries up to the one that succeeded. */
+  readonly tries: number;
+  readonly ok: boolean;
+  readonly why: string;
+}
+/** A judgement is the facts of one run: the change of the owner, each producer, and the failed sends. */
+interface Reconnects {
+  readonly ok: boolean;
+  readonly why: string;
+  /** This time is the first lookup that names another owner, from the fault, or null. */
+  readonly flip: number | null;
+  /** This time is from the last lookup before that change to it. */
+  readonly gap: number | null;
+  readonly returns: readonly Return[];
+  /** This count is the sends of the producers that failed, by outcome. */
+  readonly failures: Readonly<Record<string, number>>;
+  /** This time is the median return of the producers, from the fault, or null. */
+  readonly value: number | null;
+}
+/**
+ * This function judges one run: the fault at `fault`, the broker `broker` that owned the topic, and
+ * the lines of the run. A lookup line is `{ev: "lookup", t, o, owner}`, a line of the client is
+ * `{ev: "pulsar", t, p, m}`, and a send is `{ev: "send", t, d, o, p}`. `timeout` and `every` are the
+ * timeout and the interval of the sends. Each check has a margin of `noise`.
+ *
+ * For each producer, the delays of its backoff follow the law, from the observed time of each call.
+ * Its last try comes after the last lookup that named the old owner. The try before it comes no
+ * later than the first lookup that named another. Then the setup is in its band. Each failed send
+ * starts between the fault and the return, with an outcome of the prediction. At least one fails.
+ *
+ * With `owner: "either"`, the lookups can name the old owner for the whole run, because it started
+ * again and took the topic back. Then the last try comes after the start of the band `flip`. The
+ * try before it comes no later than the end of that band.
+ */
+declare const judgeReconnects: (prediction: ReconnectsPrediction, run: {
+  readonly fault: number;
+  readonly broker: string;
+  readonly lines: readonly Line[];
+}, sends: {
+  readonly timeout: number;
+  readonly every: number;
+}, noise: number) => Reconnects;
+//#endregion
+export { factsOf as $, DATAPLANES as $n, transitionOf as $t, KindCellResult as A, KubeletProbe as An, failuresOf as At, upgradeCell as B, ReconnectsPrediction as Bn, restartOf as Bt, BandV1 as C, Band as Cn, ZtunnelPodLine as Ct, FORMAT_V1 as D, Flap as Dn, deletionOf as Dt, FORMAT as E, EdgeProtocol as En, byNode as Et, RunCheckV1 as F, NonePrediction as Fn, periodOf as Ft, LAST_SLACK as G, Stack as Gn, signalsOf as Gt, KIND_NOISE as H, Reference as Hn, rulesOf as Ht, RunFactsV1 as I, PermittedWindow as In, podsAt as It, RunCheck as J, TriggerKind as Jn, sliceReadyAt as Jt, Propagated as K, Template as Kn, sliceDropOf as Kt, TriggerV1 as L, PodSettings as Ln, podsOf as Lt, KindVerdictV1 as M, Mesh as Mn, isTunnelState as Mt, LoadSample as N, MeshFlavor as Nn, kernelCounts as Nt, KindCellRecord as O, KindCell as On, dropOf as Ot, PredictionV1 as P, MeshMode as Pn, outcomesOf as Pt, deletionsOf as Q, Workload as Qn, stoppingOf as Qt, judge as R, Prediction as Rn, recordsOf as Rt, timeSpread as S, Backoff as Sn, TunnelLine as St, EnvironmentManifest as T, Declaration as Tn, byClients as Tt, KindDecision as U, Replica as Un, sessionsAt as Ut, Deleted as V, RedisDeclaration as Vn, restartsAt as Vt, KindVerdict as W, ResetReuse as Wn, signalOf as Wt, checkRun as X, VipSettings as Xn, slicesOf as Xt, RunFacts as Y, VipAnnouncerName as Yn, sliceReadyOf as Yt, cyclesOf as Z, WindowPrediction as Zn, socketsOf as Zt, TimeSpread as _, requestBand as _n, scenario as _r, RulesLine as _t, judgeReconnects as a, LB_CLASS as an, NODE_IMAGES as ar, referenceOf as at, medianText as b, showBand as bn, SocketLine as bt, RELATIVE as c, PORT as cn, ZONE_LABEL as cr, updatesOf as ct, quantileOf as d, VIP_ANNOTATION as dn, cidrRange as dr, Line as dt, tunnelsOf as en, Dataplane as er, judgeKind as et, STAGES as f, CountBand as fn, goDuration as fr, Period as ft, Judged as g, overshootBand as gn, nodeNames as gr, Request as gt, readRecord as h, drainBand as hn, kubeProxyPatch as hr, RecordLine as ht, Try as i, HEALTH_PORT as in, KubeProxyMode as ir, propagationSource as it, KindCellV1 as j, MemberlistSettings as jn, intakeOf as jt, KindCellRecordV1 as k, KindRun as kn, emptyOf as kt, medianInterval as l, REDIS as ln, ZONE_LOST as lr, Endpoint as lt, kindCellRecordV1Schema as m, bandOf as mn, kindConfig as mr, PropagationSource as mt, Return as n, ztunnelReplaced as nn, KindConfig as nr, observationEnd as nt, latestReturn as o, LOG_LABEL as on, NodeImage as or, reusesReset as ot, kindCellRecordSchema as p, backlogEnd as pn, isKubeProxyMode as pr, PodLine as pt, ReconnectsFacts as q, Trigger as qn, sliceEmptyOf as qt, Schedule as r, CLIENT as rn, KindScenario as rr, propagationOf as rt, triesOf as s, OUTSIDE as sn, ZONE_KEPT as sr, unitOf as st, Reconnects as t, ztunnelPodsOf as tn, KUBE_PROXY_MODES as tr, observationAfter as tt, middle as u, SERVER as un, cidrOverlap as ur, HBONE_PORT as ut, calibrationOf as v, seconds as vn, scenarioProblems as vr, Sessions as vt, ClusterManifest as w, Cycle as wn, backendsAt as wt, predictionText as x, BacklogTerm as xn, TCP_STATE as xt, cellsTable as y, secondsOf as yn, zoneOf as yr, SliceLine as yt, upgrade as z, PulsarSettings as zn, requestsOf as zt };
+//# sourceMappingURL=judge-DLn2PLxb.d.ts.map