add producer-consumer based logging
Merge branch 'dev3' of github.com:ShawnXiao2007/straightDFA into dev3