Methods for Analyzing Performance of Process Synchronization Algorithms