Add transactions synchronized by channels example.
Add unsynchronized logic for race condition checking.