Exadata Cloud Service: grid infrastructure upgrade for cloud VM clusters