Hajautetut järjestelmät K07

Harjoitustehtävä 4

       
Harjoitustehtävä palautetaan sähköpostin liitetiedostona (mieluiten
pdf-muodossa) viimeistään torstaina 22.2. klo 23.59 osoitteilla
Lea.Kutvonen@cs.helsinki.fi, mika.karlstedt@cs.helsinki.fi .
Liitetiedoston nimi voisi olla muotoa [sukunimi].[tiedostotyyppitunnus]

1. Coda-järjestelmä tarkistaa tiedostotoisintojen ajantasaisuuden
   käyttämällä versiovektoria (CVV), johon kirjataan toisintoihin
   tapahtuneiden päivitysten lukumäärät. Oletetaan, että tiedoston F
   toisintoja löytyy palvelimilta A ja B. Palvelimien A ja B väliset
   yhteydet ovat usein pitkiä aikoja poikki.
   Käyttäjällä on liikkuva työasema, joka toisinaan on yhteydessä vain
   A-palvelimeen, toisinaan vain B-palvelimeen.
   a) Työasema haluaa palauttaa päivittämänsä F-tiedoston palvelimille.
      Kuvaa CVV-vektorien päivitysalgoritmi, kun molemmat palvelimet ovat
      saatavilla.
   b) Tietyllä hetkellä A-palvelimen F-tiedoston CVV-vektori on (3,2) ja
      B-palvelimen vastaavasti (2,4). Montako päivitystä F-tiedostoon on
      tehty? Kuinka moni niistä löytyy molemmista toisinnoista? Montako on
      pelkästään A-palvelimella, montako pelkästään B-palvelimella?
   c) Miksi A-palvelimella CVV=(2,3) ei ole mahdollinen arvo? Jos
      A-palvelimella CVV=(3,2), niin mitä erilaisia CVV-vektoreita
      B-palvelimelta voi löytyä? Mistä työasema tietää, mikä palvelimilla
      oleva F-toisinto on tuorein? Miten järjestelmä ajantasaistaa
      F-toisintonsa?
   d) Pitääkö työasemalla olevassa F-toisinnon kopiossa olla CVV-leima?
   e) Mikä on CVV:n suhde kausaalijärjestyksen toteutuksessa käytettävään
      vektoriaikaleimaan? Voitaisiinko sitä käyttää kausaliteetti-
      järjestyksen toteutukseen?