Spring til hovedindhold
BemærkningerArbejde
PersistiumPålidelighed produktfamilie · Udviklingspolitik

Pålidelighed, der forbliver tæt på systemet.

Hvad er det?

Persistium er en in-development, local-first produkt familie for systemer, der er nødt til at bevare meningsfuld tilstand gennem forandring. Dens første retning, Kontinuitet, udforsker migration prøver, replay beviser, semantisk sammenligning, og begrænset reduktion uden at vende et holds operationelle beviser til en hostet sort boks.

Status
Udviklingspolitik
Første retning
Kontinuitet
Driftsgrænse
Lokal- først
Offentlig tilgængelighed
Ikke annonceret
Læs de tekniske noter

Kontinuitetsretning

Lav en ændring inspicerbar, før det bliver en overraskelse.

Persistium property motor viser en lokal tilstand workflow fra spor gennem verifikation og reduktion.
Lokal stat træder ind i en afgrænset bevis workflow snarere end en uigennemsigtig migration vej.
  1. 01

    Fange staten

    Hold starttilstand, miljø fingeraftryk, og erklærede grænse eksplicit nok til at undersøge senere.

  2. 02

    Ophør ændringen

    Kør en afgrænset migration eller replay gennem deterministiske adaptere i stedet for at stole på en uigennemsigtig konvertering.

  3. 03

    Sammenlign meningsfuldt

    Brug semantisk kontrol og manifester til at skelne en ændret repræsentation fra et ændret resultat.

  4. 04

    Reducer fejlen

    Når et resultat er reproducerbart, bevare den mindste nyttige counterexample til undersøgelse.

Pålidelighed

Kontinuitet er mere nyttigt, når beviserne kan rejse med holdet.

Persistium migration graf med version checkpoints og stat knudepunkter.

Gem migrationsprøver

En måde at inspicere en format overgang, før det bliver en irreversibel operationel begivenhed.

Persistium pålidelighed overflade viser lokal tilstand, adaptere, og dokumentation manifesterer.

Genafspil beviser

Et lokalt manifest kan forbinde kildetilstand, adapter adfærd, og en gentagelig observation uden at udsætte private systemdata.

Persistium counterexample reduktionsmesh viser en fejl indsnævret til en mindre dokumentation sæt.

Reduktion af counterexample

En afgrænset reduktion workflow hjælper med at vende en hard- to- reproducere state fiasko i en mindre, gentænkelig bevismateriale sæt.

Offentlig status i forbindelse med bundt

Et rigtigt fundament, der stadig er under omhyggelig udvikling.

Nuværende fond
  • Stabile adapter grænser for lokale statslige eksperimenter
  • Deterministiske migrationsgrafer og primitiver til prøver
  • Replay manifest og semantisk sammenligning retning
  • Bagudrettet reduktionsanordning til reproducerbar fejldokumentation
Ikke påstået
  • En offentlig produkt frigivelse eller markedsplads liste
  • Hostet drift af kundemiljøer
  • Kommercielle resultater, benchmarkresultater eller støttedækning
  • Universal kompatibilitet på tværs af programmer stakke

Ingeniørnoter

Se de praktiske spørgsmål bag produktretningen.

Læs Persistium noter