Post function done, sequential consistency done
Merge branch 'master' of github.com:fanzhang312/csci5105_BulletinBoard