Modeling, analysis and throughput optimization of a generational garbage collector