Apuntes de estudio · Basado en Zanzibar: Google's Consistent, Global Authorization System · Pang et al., USENIX ATC 2019

¿Puede este usuario hacer esto?

Esa es la única pregunta que responde Zanzibar. Es el sistema interno con el que Google decide —para Drive, Calendar, YouTube, Maps, Photos, Cloud y más— quién tiene permiso de ver, editar o compartir cada cosa, a escala global y de forma consistente.

Esta app te lleva desde cero (¿qué es una tupla?) hasta los detalles finos (zookies, TrueTime, Leopard), con animaciones interactivas, guías paso a paso y un quiz con casos para comprobar lo que aprendiste.

Autenticación ≠ Autorización

Autenticación = quién eres (login). Autorización = qué puedes hacer. Zanzibar solo hace lo segundo.

La idea central en 1 línea

Todo permiso se guarda como una tupla: objeto#relación@usuario. El resto son reglas para derivar más permisos.

>2B

ACLs (tuplas) guardadas

>10M

consultas por segundo

>1.500

namespaces (tipos)

99.999%

disponibilidad (3 años)

¿Cómo usar esta app?

Tres pasos, en orden. Cada uno prepara el siguiente.

Ruta de aprendizaje

Aprende Zanzibar desde cero

Sigue los módulos en orden. Cada uno construye sobre el anterior. Marca "completado" para llevar tu progreso.

Laboratorio visual

Animaciones interactivas

Pulsa los botones y observa cómo se comporta el sistema. Estas son las mismas ideas de los módulos, pero en movimiento.

1 · El grafo de tuplas

Cada tupla es una arista dirigida entre objetos/usuarios. Añade tuplas y luego ejecuta un Check para ver el recorrido.

Fig A · Las tuplas forman un grafo dirigido. Pulsa los botones.

2 · Evaluación de un Check (árbol de decisión)

Zanzibar evalúa la relación viewer como una unión de ramas, en paralelo. Aquí se recorre paso a paso.

Fig B · Pulsa "Siguiente paso" para evaluar cada rama.

3 · El "new enemy problem"

¿Por qué la consistencia importa? Mira qué pasa si un Check lee datos atrasados después de que alguien fue removido.

Fig C · Alice quita a Bob; Charlie (aún miembro) mueve el documento.

4 · Ciclo de vida del zookie

El zookie es un token de frescura que viaja con el contenido y se reenvía en futuros Checks.

Fig D · Pulsa reproducir.

5 · Arquitectura en movimiento

Así fluye un Check: cliente → aclserver → (fan-out) → Spanner → respuesta.

Fig E · Pulsa "Animar flujo".

Comprueba tu aprendizaje

Quiz técnico

Responde y recibe la explicación al instante. Puedes reintentar las veces que quieras. Después pasa a los casos prácticos.

0%

Casos prácticos (ejercicios)

Aplica lo aprendido. Intenta resolver cada caso antes de pulsar "Ver solución".

Referencia rápida

Glosario

Todos los términos del paper en un solo lugar. Escribe para filtrar.

Repaso de último minuto

Cheatsheet

Todo lo esencial en una página, ideal para repasar antes del quiz o el examen.