SolidOpt- A Multi-Model Software Optimization Framework
This paper presents a framework, SolidOpt, which helps the automated and dynamic lifelong optimization of software systems. Usually, optimizations are a virtue of the (optimizing) compilers. We suggest moving out the optimization facilities and making them more accessible even to end-users during the entire program life cycle. In order to achieve better results, SolidOpt provides multiple representations and flow graphs. The work presents some of the main ideas and principles of the optimization framework and the advantages of using multiple representations. We emphasize on the significance of the environment and how it influences the optimal execution of the computer programs. We examine a “continuous optimization” approach, which considers programs environment and perform domain-specific optimizations. We illustrate the concept of these advanced optimizations with examples.
Keywords: Software Optimization, Multi-model Architecture, Software analysis, IL/bytecode Engineering
Download Full-Text
ABOUT THE AUTHORS
Vassil Vassilev
Vassil Vassilev is pursuing his PhD degree in Computing at the University of Plovdiv “Paisii Hilendarski”, Bulgaria. In 2010 he completed his MSc degree in “Software Technologies” and in 2009 a BSc degree in “Informatics” at the same institution. Vassil has around 5 years work experience at CERN. Currently, his research interests are in the area of programming languages design and implementation and software optimization. He is a member of the ACM.
Alexander Penev
Alexander Penev received his PhD degree in Computing at the University of Plovdiv “Paisii Hilendarski”, Bulgaria. In 1996, he completed his MSc degree in “Mathematics – specialization Informatics” at the same institution. Alexander has over 20 years work experience at University of Plovdiv as an assistant professor. Currently, his research interests are in the area of computer graphics, programming languages design and implementation, and software optimization.
Martin Vassilev
Martin Vassilev received an MSc in “Software technologies” in the University of Plovdiv in 2013. He completed his BSc in "Informatics" a year earlier. Martin has a broad set of interests in the field of software technologies. He is a Student member of the ACM.
Vassil Vassilev
Vassil Vassilev is pursuing his PhD degree in Computing at the University of Plovdiv “Paisii Hilendarski”, Bulgaria. In 2010 he completed his MSc degree in “Software Technologies” and in 2009 a BSc degree in “Informatics” at the same institution. Vassil has around 5 years work experience at CERN. Currently, his research interests are in the area of programming languages design and implementation and software optimization. He is a member of the ACM.
Alexander Penev
Alexander Penev received his PhD degree in Computing at the University of Plovdiv “Paisii Hilendarski”, Bulgaria. In 1996, he completed his MSc degree in “Mathematics – specialization Informatics” at the same institution. Alexander has over 20 years work experience at University of Plovdiv as an assistant professor. Currently, his research interests are in the area of computer graphics, programming languages design and implementation, and software optimization.
Martin Vassilev
Martin Vassilev received an MSc in “Software technologies” in the University of Plovdiv in 2013. He completed his BSc in "Informatics" a year earlier. Martin has a broad set of interests in the field of software technologies. He is a Student member of the ACM.
