AGGRO: Boosting STM replication via aggressively optimistic transaction processing