A disciplined shared-memory model for parallel state-driven algorithms · HackerTrans