A framework for building HA and linearised clusters for doing parallel work on idempotent works