Qu'est-ce que le split brain dans un système en cluster, et comment le quorum l'empêche-t-il ?

Le split brain, c'est quand une partition réseau laisse deux moitiés d'un cluster se croire chacune leader, si bien que les deux acceptent des écritures et que les données divergent. Le quorum l'empêche en exigeant une majorité, N/2 plus 1, pour élire un leader ou valider une écriture, et un seul côté d'une partition peut détenir une majorité. Utilisez un nombre impair de nœuds, des jetons de fencing, et ne laissez jamais une partition minoritaire servir des écritures.

Imaginez cinq nœuds et un switch qui lâche, si bien que vous vous retrouvez avec un groupe de trois et un groupe de deux qui ne se voient plus. Sans quorum, les deux groupes constatent que le leader a disparu, chacun élit le sien, et vous avez maintenant deux sources de vérité qui acceptent des écritures contradictoires, ce qui est vraiment pénible à réconcilier ensuite. Le quorum veut dire qu'il faut trois nœuds sur cinq pour élire ou valider, donc le groupe de deux ne peut simplement pas avancer et doit rejeter les écritures. C'est le marché : vous achetez de la cohérence en renonçant à la disponibilité du côté minoritaire. Deux choses que je vérifie toujours en pratique. Un, utilisez des nombres impairs, parce que six nœuds ont quand même besoin de quatre pour le quorum et tolèrent les mêmes deux pannes que cinq tout en coûtant plus cher. Deux, le fencing. L'ancien leader peut ignorer qu'il a été rétrogradé, donc il vous faut des jetons de fencing monotones ou des verrous au niveau du stockage, sinon un processus mis en pause se réveille et écrit sur un volume qui ne lui appartient plus.