发送短信: Garbage collection : algorithms for automatic dynamic memory management / Richard Jones, Rafael Lins.