Email-запись: Modeling of parallel program synchronization primitives