Hoppa till huvudinnehåll
PersistiumTillförlitlighet produktfamilj · I utveckling

Tillförlitlighet som ligger nära systemet.

Vad det är

Persistium är en utveckling, lokal-första produktfamilj för system som måste bevara meningsfullt tillstånd genom förändring. Dess första riktning, Continuity, utforskar migration repetition, replay bevis, semantisk jämförelse och bunden minskning utan att förvandla ett lags operativa bevis till en värd svart låda.

Status
I utveckling
Första riktningen
Kontinuitet
Operativ gräns
Local-first
Allmän tillgänglighet
Inte tillkännagavs
Läs tekniska anteckningar

Kontinuitet riktning

Gör en förändring inspekterbar innan det blir en överraskning.

Persistium bevismotor som visar ett lokalt statligt arbetsflöde från spår genom verifiering och reduktion.
Lokalt tillstånd går in i ett begränsat bevis arbetsflöde snarare än en ogenomskinlig migrationsväg.
  1. 01

    Fånga staten

    Håll utgångsläget, miljö fingeravtryck, och förklarade gränsen explicit nog att undersöka senare.

  2. 02

    Repetera förändringen

    Kör en bunden migration eller spela genom deterministiska adaptrar istället för att lita på en ogenomskinlig omvandling.

  3. 03

    Jämför medvetet

    Använd semantiska kontroller och manifest för att skilja en ändrad representation från ett förändrat resultat.

  4. 04

    Minska misslyckandet

    När ett resultat är reproducerbart, bevara den minsta användbara motexempel för utredning.

Tillförlitlighetsytor

Kontinuitet är mer användbart när bevisen kan resa med laget.

Persistium migrationsdiagram med versionskontrollpunkter och statliga noder.

Spara migrationsrepetition

Ett sätt att inspektera en formatövergång innan den blir en oåterkallelig operativ händelse.

Persistium tillförlitlighet yta visar lokalt tillstånd, adaptrar och bevis manifesterar.

Replay bevis

Ett lokalt manifest kan ansluta källstatus, adapterbeteende och en repeterbar observation utan att avslöja privata systemdata.

Persistium counterexample reduktion mesh visar ett misslyckande begränsat till en mindre bevisuppsättning.

Counterexample reduktion

Ett begränsat arbetsflöde hjälper till att göra ett svårt att reproducera statligt misslyckande i en mindre, granskande bevisuppsättning.

Bounded Public Status

En verklig grund, fortfarande under noggrann utveckling.

Nuvarande stiftelse
  • Stabila adaptergränser för lokala statliga experiment
  • Deterministisk migrationsgraf och repetitionsprimitiv
  • Replay manifest och semantisk jämförelse riktning
  • Bundad reducerare för reproducerbara felbevis
Inte påstådd
  • En offentlig produktrelease eller marknadsplats notering
  • Hosted drift av kundmiljöer
  • Kommersiella resultat, referensresultat eller supporttäckning
  • Universell kompatibilitet över applikationsstaplar

Engineering Notes

Se de praktiska frågorna bakom produktriktningen.

Läs Persistium anteckningar