Sistemi Distribuiti 08-09

Secondo me tra i due archivi di dati del compito, il primo rispetta la consistenza sequenziale perchè tutti i processi vedono lo stesso ordine di operazioni, infatti leggono tutti e due NIL dopo la scrittura e successivamente leggono a.
Per il secondo archivio invece che è identico a quello a pagina 12, viola la consistenza sequenziale perchè le letture mostrano un ordine opposto di operazioni, mentre rispettano la consistenza causale perchè le Write di P1 e P2 sono scritture concorrenti.
Ho sbagliato qualcosa?

Cancel ha scritto:

Secondo me tra i due archivi di dati del compito, il primo rispetta la consistenza sequenziale perchè tutti i processi vedono lo stesso ordine di operazioni, infatti leggono tutti e due NIL dopo la scrittura e successivamente leggono a.
Per il secondo archivio invece che è identico a quello a pagina 12, viola la consistenza sequenziale perchè le letture mostrano un ordine opposto di operazioni, mentre rispettano la consistenza causale perchè le Write di P1 e P2 sono scritture concorrenti.
Ho sbagliato qualcosa?

Spero vivamente di no, ho fatto esattamente così al compito

Rizzi ha scritto:

Cancel ha scritto:

Secondo me tra i due archivi di dati del compito, il primo rispetta la consistenza sequenziale perchè tutti i processi vedono lo stesso ordine di operazioni, infatti leggono tutti e due NIL dopo la scrittura e successivamente leggono a.
Per il secondo archivio invece che è identico a quello a pagina 12, viola la consistenza sequenziale perchè le letture mostrano un ordine opposto di operazioni, mentre rispettano la consistenza causale perchè le Write di P1 e P2 sono scritture concorrenti.
Ho sbagliato qualcosa?

Spero vivamente di no, ho fatto esattamente così al compito

anche io ho fatto così...quoto la speranza di rizzi!!!

Sentite allora a furor di popolo direi proprio che è così!
ne avevo parlato con una persona credo molto preparata e mi aveva fatto venire un po' di dubbi... ma a questo punto, alla luce dell'intuizione comune, direi proprio che:
- il primo scenario rispetta la consistenza sequenziale
- il secondo no, ma rispetta quella causale
e basta farsi p***e mentali!!!! Avevo cominciato col farmele io e vi ho contagiato!!

Zen meriti di essere fustigato allora, sei causa delle nostre sofferenze

Scherzi a parte, spesso la troppa conoscenza fa fare troppe pippe mentali e quindi sbagliare (soprattutto in queste domande sì/no)....sperimentato sulla mia pelle.

zenmarkus ha scritto:

Sentite allora a furor di popolo direi proprio che è così!
ne avevo parlato con una persona credo molto preparata e mi aveva fatto venire un po' di dubbi... ma a questo punto, alla luce dell'intuizione comune, direi proprio che:
- il primo scenario rispetta la consistenza sequenziale
- il secondo no, ma rispetta quella causale
e basta farsi p***e mentali!!!! Avevo cominciato col farmele io e vi ho contagiato!!

Il primo scenario rispetta la consistenza sequenziale e chiaramente ANCHE quella causale, visto che la causale è un rilascio di condizioni della sequenziale.

Insomma non è sbagliato dire che è causale, ma è sbagliato non dire che è sequenziale ( soprattutto quando la domanda esplicitamente chiedeva di vedere quale fosse sequenziale.. )