THEODOSSY SAMER L

Detecting and preventing the split-brain condition in redundant processing units