È poi un esercizio non troppo brutto quello di arrivare alla message complexity "ragionando sugli archi", i.e. chiedendosi quanti messaggi passano su ciascun arco.
A questo punto dovrei forse spendere qualche parola sul valore di questa modalità di rappresentazione dei protocolli, che potremmo battezzare Protocol Table.
L'idea, di Alessandro, coglie appieno il fatto che non si tratta qui di algoritmi procedurali (tanto meno paralleli). Il fatto che si parli di algoritmi distribuiti richiede di ragionare... nel più incasinato dei mondi possibili, dove dietro ad ogni angolo è nascosto il più fatale dei delay, pronto a capovolgere l'ordine delle cose.
Insomma, scritti così, i protocolli si vedono "a colpo d'occhio", con tutti gli input sulle colonne e tutti gli stati sulle righe.
Funziona. Enjoy.
No comments:
Post a Comment