Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-24667

Explore running tests under Application Verifier's Cuzz

    XMLWordPrintable

    Details

    • Backwards Compatibility:
      Fully Compatible

      Description

      From the Cuzz homepage, http://research.microsoft.com/en-us/projects/cuzz/

      Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined way, using an algorithm that provides probabilistic coverage guarantees.

      Cuzz is very scalable and can run on large programs that create lots of threads. It is available as part of AppVerifier. You can find out more about Cuzz from this video or the paper below.

      We should explore running our tests under Cuzz. While it will not detect race conditions ala CHESS or Thread Sanitizer it will instead simulate different program schedules which may help find bugs. This is Windows only.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              backlog-server-stm Backlog - Server Tooling and Methods (STM)
              Reporter:
              mark.benvenuto Mark Benvenuto
              Participants:
              Votes:
              0 Vote for this issue
              Watchers:
              6 Start watching this issue

                Dates

                Created:
                Updated: