search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Parallelization via context sensitivity #92

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

When some function is called from multiple points in a program, all the inputs are merged and the result is therefore same for all these function calls. Simple parallelization would be to execute all these calculation for every function call separately. This would not only increase precision, but also can be executed in parallel, since it is basically execution of the same instruction over different input data.

karelklic commented 11 years ago

No need for parallelization in a foreseeable future.