Оптимизация кода — теория, инструменты