Pacemaker

Pacemaker is a cluster resource manager, commonly used together with Corosync.

See also