diffkemp icon indicating copy to clipboard operation
diffkemp copied to clipboard

Published 20 hours ago • verified publisher icon viktormalik

Long duration of generate phase because of symbol lookup by use

Open lenticularis39 opened this issue 5 years ago • 2 comments

Currently, DiffKemp tries to compile all files where a symbol is used and looks for it in the generated LLVM IR in cases when the compilation of the file containing the definition fails for some reason.

In the case of some sources (like mutex_lock in 2.6.32-696.el6), this can take a few minutes, which would become a significant delay when there are multiple symbols behaving like that.

lenticularis39 avatar Nov 01 '19 14:11 lenticularis39

The best solution I currently have is skipping the compilation of other sources when a definition in a non-header file is found. This however causes some problem with finding sources containing global variables, whose comparison is not fully implemented yet, therefore the resolution of this issue will be probably postponed after #79 is resolved.

lenticularis39 avatar Dec 06 '19 09:12 lenticularis39

This now seems to also affect the compare phase (after the implementation of using the kernel directory to look for missing definitions).

lenticularis39 avatar Feb 28 '20 09:02 lenticularis39