De ordenes parciales y cómputo distribuido

Ponente(s): Armando Castañeda Rojano

El área del cómputo distribuido estudia los sistemas formados por varios agentes computacionales que se coordinan entre sí a través de un medio de comunicación con el objetivo de solucionar un problema dado. Un problema distribuido clásico es el del consenso en el que cada agente tiene una propuesta y lo que se busca es que todos los agentes elijan una misma propuesta. Este famoso problema tiene fuertes implicaciones prácticas en una gran variedad de sistemas reales, desde sistemas de reservaciones de aerolíneas hasta los modernos sistemas de criptomonedas como Bitcoin o Ethereum. En esta platica explicaremos que esencialmente lo que procesa todo algoritmo distribuido es un orden parcial, y lo que hace al coordinar los agentes de cómputo no es más que modificar o extender ese orden parcial de forma tal que el problema en cuestión se solucione. Por ejemplo, el famoso algoritmo consensos usado en Bitcoin, conocido como Proof of Work, lo que hace es extender el orden parcial a uno total.