Discussion :

[Nanoc]

Bonjour � tous.

Je travaille sur une classe d'entiers (positifs uniquement) s�curis�s qui lance des exceptions si la valeur obtenue lors d'une op�ration d�passe la valeur maximale pouvant �tre contenue dans cet entier.

La question qui me pr�occupe est de savoir comment g�rer les overflows lors d'une multiplication avec un test simple et surtout efficace ?

Je connais les 2 op�randes ainsi que la valeur maximale que mon type de donn�e peut contenir. Je ne peux �videmment pas effectuer la multiplication et je ne vois aucun test utilisable sur les bits.

Merci � vous

[Jean-Marc.Bourguet]

Si les op�randes sont R et L et que le maximum est MAX, il y a overflow si R != 0 && MAX/R < L

[Nanoc]

Mmmmh oui. Mais on a le co�t d'une division.

J'aurais pr�f�r� quelque chose de plus rapide.

J'ai regard� dans quelques papiers sur le net et c'est cette solution l� qui est privil�gi�e ou alors l'utilisation du bit d'overflow dans le cas des micro-processeurs. Apperement c'est quand m�me la solution la plus simple.

Merci

[deadalnix]

a*b > max
a > max/b si a>=0 et b>=0

L'in�galit� pr�sent�e est dans le mauvais sens !

Attention, ce test peu de plus g�n�rer de faux positifs en sous estimant la valeur de la division, ce qui est le comportement normal sur le calcul sur entiers (10/3 donne 3).

[Jean-Marc.Bourguet]

a*b > max
a > max/b si a>=0 et b>=0

L'in�galit� pr�sent�e est dans le mauvais sens !

Oops, je corrige.

Attention, ce test peu de plus g�n�rer de faux positifs en sous estimant la valeur de la division, ce qui est le comportement normal sur le calcul sur entiers (10/3 donne 3).

Je ne suis pas d'accord. Tu aurais des faux positifs si tu determinais la limite en entier pour t'en servir avec des flottant, mais comme tu t'en sers pour des entiers le resultat est correct. Si tu multiplies 3 par 4, tu as bien quelque chose de plus grand que 10.

[deadalnix]

Les faux positifs sont la en cas de >= comme dans ton exemple .

Il ne sont en effet plus la dans le mien, mais c'est tout a fait malgr� moi

[Obsidian]

J'ai regard� dans quelques papiers sur le net et c'est cette solution l� qui est privil�gi�e ou alors l'utilisation du bit d'overflow dans le cas des micro-processeurs. Apperement c'est quand m�me la solution la plus simple

La vraie question est : comment le microprocesseur d�termine-t-il la valeur du bit d'overflow ? La r�ponse est plus simple qu'on ne le croit ! :-)

[Nanoc]

Et quelle est-elle cette r�ponse ?

[Blackhorn]

Si c'est en non sign� suffit de regarder si la somme est inf�rieur a une op�rande.. si c'est le cas ... c'est qu'il y a eu de l'overflow...