Quantifying the performance of garbage collection vs. explicit memory management