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:

Click Options > Workspace Options. This opens the Options - Workspace dialog box. Click the Verification > Parallel Verification tabs. Select the parallel verification method required and set the corresponding minimum number of concurrent Queue Processors and click OK.
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 pane. 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:

Open Enterprise Analyzer Administration.
Click Administer > Launch Queue Processor. This opens the Launch Queue Processor dialog box.
In the Serve workspace field, specify the workspace to be processed.
In the Processing Mode group, check any combination of:
- Conversion to perform operations used to generate an Interactive Analysis construct model.
- Verification to perform verification operations.
- Code Search Query to perform Code Search in offline mode.
Check 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 location as the workspace (.rwp) file.
Click OK. The product launches the Queue Processor. Click the button on the menu 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 dialog box.