-avaimessa, TrueTime & CAP-lause , Eric Brewer kirjoittaa:
Yksi hieno asia Spannerissa on, että se saa sarjallisuuden lukkoista, mutta saa ulkoinen johdonmukaisuus (samanlainen kuin linearisoitavuus ) TrueTimestä [ kurssi lisätty ].
Mikä on ulkoisen johdonmukaisuuden määritelmä, ja miten se eroaa linearisoitavuudesta ?
Kommentit
- Tämä on hieno kysymys, ja toivon, että Ericillä olisi kehitelty hieman täällä. Onko se linearisoitavissa vai ei? 🙂
Vastaus
Ulkoisella johdonmukaisuudella ei ole kiinteää merkitystä. Tässä yhteydessä sillä on merkitys, joka esiintyy asiakirjan seuraavassa lauseessa:
Kaikille kahdelle tapahtumalle, $ T_1 $ ja $ T_2 $ (vaikka ne olisivatkin vastakkaisilla puolilla maapallo): jos $ T_2 $ alkaa sitoutua sen jälkeen, kun $ T_1 $ on lopettanut sitoutumisen, $ T_2 $: n aikaleima on suurempi kuin $ T_1 $: n aikaleima.
Kommentit
- Mitä enemmän ajattelen asiaa, se kuulostaa minusta aivan aivan lineaarisilta, koska kaikki tapahtumat on järjestetty. Valitettavasti joskus nämä ehdot ovat hienovaraisia. .. Kukaan on eri mieltä? Tarkoitan, että tapahtumat ovat sarjamuotoisia ja ne järjestetään täysin sitoutumisajan perusteella. Ehkä hienovaraisuus piilee siinä, miten 2PC toteutetaan Spannerissa?
- @Bminer Linearizability on johdonmukaisuusmalleja, jotka koskee vain yksittäisiä objekteja, joissa tapahtumiin voi liittyä useita o bjektit.
- @LorinHochstein – Ha! Se tuoksuu sanojen jauhamiselta. Terminologian tarkoituksena on auttaa todellisia ihmisiä käsittelemään, mitä takuita he saavat, erityisesti liiketoimien suhteen. Lineaarisoitavuus + sarjoitettavuus on vahvin takuu, ja mielestäni ' on se, mihin Spanner-asiakirjat viittaavat termillä " ulkoinen yhdenmukaisuus. " Mutta herättää kysymyksen: tietääkö kukaan todella, mikä " ulkoinen johdonmukaisuus " tarkoittaa? 🙂
vastaus
Voit ajatella ulkoista johdonmukaisuutta tapahtumien (Tx) eristämisestä ja tilauksen näkökulmasta . Tx-eristyksessä puhu ulkoinen johdonmukaisuus vastaa tiukkaa sarjoitettavaa eristystä, jossa ”tiukka” on reaaliaikainen rajoitusosa (kuten linearisoitavuudessa).
Tämä tarkoittaa jälleen kerran, että järjestelmän asiakkaalle havaittavissa oleva Tx sivuvaikutukset vastaavat järjestelmää, jossa kaikki Tx tapahtuvat erillään ilman samanaikaisuutta ja jossa niiden reaaliaikainen tilaaminen asiakkaan näkemyksen mukaan säilyy. Vielä tärkeämpää on, että kaikki muut etuyhteydettömät asiakkaat näkevät saman järjestyksen.
Lue lisää erottelusta tässä blogissa .
vastaus
Kun mainitaan " ulkoinen johdonmukaisuus " , Panimoviitteet B.Liskov. Synkronoitujen kellojen käytännön käyttö hajautetuissa järjestelmissä . ACM Distributed Computing (PODC) -periaatteet. Montreal, Kanada, elokuu 1991.
Liskov viittaa termillä Gifford D.K. Tietojen tallennus hajautetussa tietokonejärjestelmässä . Tekninen raportti CSL-81-8, Xerox Corporation, maaliskuu 1983
Näin Gifford määrittelee ulkoisen johdonmukaisuuden:
Ulkoinen johdonmukaisuus takaa, että tapahtuma saa aina ajantasaista tietoa. Äskettäin käyttöön ottamiemme käsitteiden avulla voimme antaa muodollisen määritelmän ulkoiselle johdonmukaisuudelle. Todellinen tapahtumien aikajärjestys määrittää yksilöllisen sarjaliikenteen aikataulun. Tätä sarjaliikenteen aikataulua kutsutaan em> ulkoinen aikataulu . Järjestelmän sanotaan tarjoavan ulkoista johdonmukaisuutta, jos se takaa, että aikataulu, jota se käyttää tapahtumasarjan käsittelyyn, vastaa sen ulkoista aikataulua.
Kuten @Oleg mainitsee, tämä kuulostaa tiukalta sarjallisuudelta .