faster HDT-SMP的问题