Project

General

Profile

Feature #9273

New translation mode for EMG

Added by Pavel Andrianov 7 months ago. Updated 3 months ago.

Status:
New
Priority:
High
Assignee:
Category:
Environment model
Target version:
-
Start date:
09/11/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

There are two translators for EMG. One of them prepare sequential code, when all specified functions are called directly from switch..case. The other one is used for data race detection and thus pthread_create is used for every function. In large projects there are a lot of functions, and thousands of threads break the analysis. The idea is to call all specified functions in switch-case, and create a pthread for the parent function. Note, the second way is also useful, so do not modify the second way, transforming it into the third one.

History

#1

Updated by Evgeny Novikov 7 months ago

  • Target version set to 2.0
  • Priority changed from Normal to Urgent

This is required to verify some C software.

#2

Updated by Evgeny Novikov 6 months ago

  • Target version changed from 2.0 to 3.0

Let's postpone these not so important issues as Klever 2.0 is too large already.

#3

Updated by Evgeny Novikov 3 months ago

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

I am not sure that we will be able to this in Klever 3.0.

Also available in: Atom PDF