Enabling Parallel Verification

Parallel verification typically improves verification performance for very large workspaces by using multiple execution agents, called Queue Processor, to process source files concurrently. You can start any number of Queue Processors on the local machine, remote machines, or some combination of local and remote machines. You can run parallel verification online in the Enterprise Analyzer or in batch mode with the Batch Refresh Process (BRP).

Important: When you run parallel verification on more than one machine, you need to make sure that workspace and project verification options are set identically on each machine. The easiest way to do this is to log in as the same Windows user on each machine. Alternatively, you can define a default option set that is automatically assigned to every user in the environment who has not explicitly defined a custom option set. See the related topics for more information on option sets.
You enable parallel verification in three steps:
  • Select the parallel verification method and the minimum number of concurrent Queue Processors on the Verification > Parallel Verification tab of the Workspace Options.
  • Start the Queue Processors on the local and/or remote machines. If you start fewer than the minimum number of Queue Processors specified on the Parallel Verification tab, the verification process starts the needed Queue Processors automatically on the local machine.
  • Verify the workspace online in the Enterprise Analyzer or in batch mode using the Batch Refresh Process (BRP).
Note: Verification results are reported in the Activity Log History window. They are not reported in the Activity Log itself (for online verification) or BRP log files (for batch verification). You can also use a Verification Report to view the results.

Follow the instructions below to launch Queue Processors and to specify the type of work they perform. You can launch multiple Queue Processors on the same machine. Once the minimum number of Queue Processors has been started, you can launch them at any point in the verification process.

  1. In the Enterprise Analyzer Administration window, choose Administer > Launch Queue Processor. The Launch Queue Processor window opens.
  2. In the Serve workspace combo box, specify the workspace to be processed.
  3. In the Processing Mode pane, select any combination of:
    • Conversion to perform operations used to generate a Interactive Analysis construct model.
    • Verification to perform verification operations.
    • Code Search Query to perform Code Search searches in offline mode.
  4. Select Produce Log File to generate a log file for parallel verification. The log file has a name of the form <workspace_name>HCC.<random_number>.log and is stored at the same level as the workspace (.rwp) file.
  5. Click OK. The product launches the Queue Processor. Click the button on the Windows toolbar to view the Queue Processor window.
    Note: Once verification has started, you can change the processing mode for a Queue Processors by selecting the appropriate choice in the Processing menu in the Queue Processor window.