Project

General

Profile

Feature #8568

Optimize weaving

Added by Evgeny Novikov over 1 year ago. Updated 3 months ago.

Status:
New
Priority:
High
Category:
Tasks generation
Target version:
-
Start date:
11/13/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

After Ilja supported reusing SA and EMG results one of the most time consuming and redundant operation is processing the same models for various verification objects and rule specifications. Moreover several file transformations, e.g. preprocessing of CIF output files, should be avoided.


Related issues

Blocked by Klever - Feature #6731: Pass source code just through C-backend if aspects are emptyNew02/03/2016

Actions

History

#1

Updated by Evgeny Novikov 8 months ago

  • Target version set to 3.0
  • Priority changed from High to Urgent
  • Assignee changed from Ilja Zakharov to Evgeny Novikov

Weaver became a real bottleneck. It does too much I/O work most of which is redundant. For instance, its wall time exceeds its CPU time in ~6 times!

#2

Updated by Evgeny Novikov 7 months ago

  • Description updated (diff)
  • Subject changed from Reuse processed models to Optimize weaving
#3

Updated by Evgeny Novikov 3 months ago

  • Target version deleted (3.0)
  • Priority changed from Urgent to High

Let's do minor optimizations one day later.

#4

Updated by Evgeny Novikov 15 days ago

  • Blocked by Feature #6731: Pass source code just through C-backend if aspects are empty added

Also available in: Atom PDF