• Post Reply Bookmark Topic Watch Topic
  • New Topic

Micro-Benchmarking Locks  RSS feed

 
Greenhorn
Posts: 4
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
I'm currently writing a promela description of a CLH-based RW-lock that supports aborting arbitrary members in the queue. So proving correctness shouldn't be (too much of) an issue.
But I'll have to implement this in Java, obviously, (7, as it happens, because that's what the project supports), and I have no idea how to micro-benchmark such an implementation for comparison with other synchronisation options.
Any suggestions?
 
Marshal
Posts: 4214
248
Clojure IntelliJ IDE Java
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
jmh is pretty popular for benchmarking. I have used it a number of times at work for a very very very performance sensitive application. HdrHistogram is also a valuable measurement tool for performance sensitive applications, however I have had less experience in using this one.
 
Time flies like an arrow. Fruit flies like a banana. Steve flies like a tiny ad:
ScroogeXHTML 7.1 - RTF to HTML5 / XHTML converter
https://coderanch.com/t/690611/ScroogeXHTML-RTF-HTML-XHTML-converter
  • Post Reply Bookmark Topic Watch Topic
  • New Topic
Boost this thread!