感觉15-445的实验贯彻了这样一件事

在p0中将不支持并发的trie包装成支持并发的trie

在p2中将需要手动unpin的bpm包装成自动管理的