checkpoint commit: mapped 4 different sems to different buffer states. Added both threads producer and consumer