Kahn

排序、cycle detection、dependency unlocking 與 graph propagation