Text this: Modeling of parallel program synchronization primitives