Discord: A case study in performance optimization