Efficient technique for performance analysis of locking protocols | IEEE Conference Publication | IEEE Xplore