Cours

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Partie 3 : Exécution à la compilation ======

[[in204:tds:sujets:td9|TD9]]

===== Références=====


===== Question 1 : =====

Nous nous intéressons à l'estimation du temps de calcul des fonction ''factorial'' et des fonctions ''power_by_int'' que nous avons défini précédemment.

<code cpp>
    auto fn =  estimate_function_time(factorial, 100);
    std::cout << "Computing fact(100)=" << fn .second << " in " << fn.first.count() << " ticks.\n";
    auto pw = estimate_function_time(power_by_int<long double>, 1.0002, 1000000);
    std::cout << "Computing 1.02^1000000=" << pw.second << " in " << pw.first.count() << " ticks.\n";
</code>

Ceci nous retourne le temps mis pour calculer la fonction ''factorial'' et pour la fonction ''power_by_int''.

Expérimenter.

===== Question 2 : =====


Nous souvaitons indiquer au compilateur qu'il peut calculer au moment de la compilation les expressions si celles-ci sont constantes.

Pour ce faire nous ajoutons le mot-clé ''constexpr'' devant la fonction ou l'expression dont la valeur peut-être exécuté au moment de la compilation.

Ainsi, nous pouvons indiquer que les deux fonctions ''factorial'' et ''power_by_int'' peuvent être calculer au moment de la compilation si les arguments sont des valeurs définies au moment de la compilation.

<code cpp>
constexpr long double factorial(int n)
{
	return n == 0 ? 1 : n * factorial(n - 1);
}

template<class numericalT>
constexpr numericalT power_by_int(numericalT x, int y)
{
	numericalT result = (numericalT)1.0;
	while (y-- > 0)
		result *= x;
	return result;
}
</code>

Ceci autorise le compilateur a compilé l'expression au moment de la compilation.


===== Question 1 : =====

Tester le code suivant:

<code cpp>

auto fn = estimate_function_time(factorial, 100);
std::cout << "Computing fact(100)=" << fn.second << " in " << fn.first.count() << " ticks.\n";

auto pw = estimate_function_time(power_by_int<long double>, 1.0002, 1000000);
std::cout << "Computing 1.02^100000=" << pw.second << " in " << pw.first.count() << " ticks.\n";

</code>


A votre avis ? Est-ce que le compilateur à générer le code au moment de la compilation ?


===== Question 2 : =====

En fait, nous pouvons aider naivement le compilateur en faisant bien apparaître le paramètre constant :

<code cpp>
  factorial_100 = []() { return factorial(100); };
  fn = estimate_function_time(factorial_100);
  std::cout << "Computing fact(100)=" << fn.second << " in " << fn.first.count() << " ticks.\n";
  
  power_10002_100000 = []() { return power_by_int<long double>, 1.0002, 100000); };
  pw = estimate_function_time(power_10002_100000);
  std::cout << "Computing 1.02^1000000=" << pw.second << " in " << pw.first.count() << " ticks.\n";
</code>


Est-ce que cela améliore les résultats ? Tenter d'expliquer pourquoi ?


===== Question 3 : =====

Il faut imposer que l'évaluation se fasse à la compilation. Pour ce faire, nous pouvons forcer à ce que l'expression soit évaluée en ajoutant l'attribue ''constexpr'' à la variable résultat du calcul.

Ainsi le code suivant :

<code cpp>
constexpr long double factorial(int n)
{
    return n == 0 ? 1 : n * factorial(n - 1);
}

int main()
{
    auto res = factorial(100);
    std::cout << res << "\n";
}
</code>

Indique que le compilateur peut effectué le calcul au moment de la compilation mais la plupart des compilateurs ne le font que partiellement.

Pour forcer, il est possible de déclarer la variable ''res'' comme étant une variable stockant le résultat d'une expression constante :

<code cpp>
int main()
{
    auto res = factorial(100);
    std::cout << res << "\n";
}
</code>

Dans ce cas, le compilateur va lancer l'évaluation de ''factorial(100)'' au moment de la compilation, en effet, il doit s'assurer que ''res'' est une variable stockant le résultat d'une expression constante, le seul moyen de le vérifier est de calculer le résulat.

Ainsi on force bien l'évaluation au moment de l'exécution.

Modifier le code des ''lambda'' expressions pour mettre en oeuvre ce mécanisme et estimer les temps de calculs.


<hidden Correction>
	auto c_factorial_100 = []() { constexpr auto res = factorial(100); return res; };
	fn = estimate_function_time(c_factorial_100);
	std::cout << "Computing fact(100)=" << fn.second << " in " << fn.first.count() << " ticks.\n";

	auto c_power_10002_100000 = []() { constexpr auto res = power_by_int<long double>(1.0002, 100000); return res; };
	pw = estimate_function_time(power_10002_100000);
	std::cout << "Computing 1.02^1000000=" << pw.second << " in " << pw.first.count() << " ticks.\n";

</hidden>


===== Question 4 : =====

Tester le code suivant avec un compilateur C++20:

<code cpp>
template<double value, int power>
struct constant_value
{
    static constexpr long double constant() { constexpr auto result = power_by_int(value, power); return result; }
};

</code>

et appeller cette fonction comme suit:

<code cpp>
	auto pw_c = estimate_function_time(pre_computed_value<1.0002, 100000>::pow);
	std::cout << "Computing 1.02^1000000=" << pw_c.second << " in " << pw_c.first.count() << " ticks.\n";
</code>

Expliquer ce qui se passe ? Et pourquoi ce résultat.
Cours

User Tools

Site Tools

Page Tools
