$[15$ min$/12$ puntos$]$ Considera la siguiente ejecuci$$n $($figura $3)$ con respecto a la implementaci$$n

del Snapshot Wait$-$free $($c$$digo en $4).$ La inicializaci$$n del Snapshot es $,$

en donde $SS[0]=$ registro de $p_1,SS[1]=$ registro de $p_2,SS[2]=$ registro de $p_3$ y $SS[3]=$

registro de $p_4-$

Dados los siguientes valores de las vistas $V_2,V_3$ y $V_4,$ zes posible que la ejecuci$$n sea una ejecuci$$n

del Snapshot Wait$-$free? Si tu respuesta es s$,$ argumenta porqu$$ es linealizable con respecto a

un objeto de tipo Snapshot at$$mico $($muestra una linearizaci$$n$).$

$($a$)$ Si $V_2=[b,{?}_{|}{?}_{,}{?}_{|}{?}_{,}c],V_3=[a,{?}_{|}{?}_{,}{?}_{|}{?}_{,}c]$ y $V_4=[b,{?}_{|}{?}_{,}{?}_{|}{?}_{,}c].$

$($b$)$ Si y $V_4=[b,{?}_{|}{?}_{,}{?}_{|}{?}_{,}d].$

$($c$)$ Si $V_2={[}_{|}{?}_{,}{?}_{|}{?}_{,}{?}_{|}{?}_{,}c],V_3=[a,{?}_{|}{?}_{,}{?}_{|}{?}_{,}c]$ y $V_4=[b,{?}_{|}{?}_{,}{?}_{|}{?}_{,}c].$

Finalmente, responde $$qu$$ n$$mero de consenso tiene un objeto Snapshot? Explica porqu$$ es

exactamente ese n$$mero y no uno mayor, adem$$s explica a grandes rasgos qu$$ es lo que implica.