[Overflow] Test pour la multiplication

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

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

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

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).

Citation:

---

Envoyé par deadalnix

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.

Citation:

---

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.

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 :king:

Citation:

---

Envoyé par Nanoc

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 ! :-)

Et quelle est-elle cette réponse ?

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...

La somme de quoi ?

sik... effectivement c'est moi le boulet :D désolé :D j'ai rien dit