Le calcul réversible

Hello,

hier je parlais avec un gars qui a évoqué le « calcul réversible », je ne connaissais pas du tout, alors j’ai regardé un peu, voilà ce que j’ai compris:

disons que x=5, si je donne à x la valeur x+1 alors maintenant x=5+1=6. Bien, donc x=6, mais sachant seulement cela peut-t-on retrouver la valeur de x? Bah non…
On a perdu une information, vous me direz c’est pas très grave, que nenni!

En effet, une grande partie de la consommation électrique d’un ordinateur est liée à cette perte d’information irréversible. Mais il est possible de rendre ce calcul réversible et de retrouver x si l’on stocke que l’on a ajouté 1…

Il y a une classe entière d’algorithme qui sont concu pour pouvoir retrouver toutes les valeurs de départ à partir des valeurs finales, c’est cela le calcul réversible.

Je n’ai trouvé qu’une société active dans ce secteur, qui a levé $4.5 millions, donc ca reste ultra pointu…

il y a une heure, SpookyTheFirst a dit :

disons que x=5, si je donne à x la valeur x+1 alors maintenant x=5+1=6. Bien, donc x=6,

bonjour, 

je ne saisis pas bien !

si x=5 ( comme donné ) et que l'on attribue à x la valeur de x+1 donc 6 : comment x pourrait-il avoir 2 valeurs différentes ( 5 et 6 à la fois )  ?

si x=6 est vrai alors la première donnée est fausse ( x=5) ....

logiquement, ce n'est pas une donnée ... perdue mais une donnée erronée et par là-même , puisque x=5 est faux alors x+1 l'est aussi ( donc les 2 valeurs de x sont fausses ! 

bon, je n'y comprend sans doute rien, ça vole trop haut pour moi ( c'est une peu comme les raisonnement par l'absurde ) .

bonne journée ( dire qu'une société a trouvé des fonds , pas des montagnes mais pas mal quand même , pour se pencher ( sans se casser la figure ) sur ces concepts ) .

il y a 6 minutes, pic et repic a dit :

si x=5 ( comme donné ) et que l'on attribue à x la valeur de x+1 donc 6 : comment x pourrait-il avoir 2 valeurs différentes ( 5 et 6 à la fois )  ?

Oui, ça n'a pas de sens. On ne peut établir que x = x+- quelque chose. Car cela revient à dire que x n'a en fait pas la valeur de x.

J'avoue ne pas avoir compris grand-chose à tout ça mais je pense que c'est plus facile à aborder du côte de l'application pratique.

Du peu de ce que j'ai compris du calcul réversible appliqué aux puces électroniques, il s'agit d'éviter d'avoir à décharger brutalement les bits stockés à la fin d'un calcul. Cette opération consistant à renvoyer la charge électrique vers la masse, crée un échauffement qui pose une limite à la montée en fréquence des CPU et à la densité d'implantation des transistors.

Plutôt que de remettre les registres à zéro, la méthode consiste à remettre chaque bit dans l'état dans lequel il se trouvait précédemment (en déplaçant simplement les charges électriques). Pour que l'ensemble reste stable, il est nécessaire de refaire tout le calcul à l'envers jusqu'à remettre tous les bits dans leur état d'origine afin de ne pas perdre trop d'électrons dans la nature et ne pas créer d'échauffement. 

Il y a 2 heures, garthriter a dit :

Oui, ça n'a pas de sens. On ne peut établir que x = x+- quelque chose. Car cela revient à dire que x n'a en fait pas la valeur de x.

Il y a 2 heures, pic et repic a dit :

bonjour, 

je ne saisis pas bien !

si x=5 ( comme donné ) et que l'on attribue à x la valeur de x+1 donc 6 : comment x pourrait-il avoir 2 valeurs différentes ( 5 et 6 à la fois )  ?

si x=6 est vrai alors la première donnée est fausse ( x=5) ....

logiquement, ce n'est pas une donnée ... perdue mais une donnée erronée et par là-même , puisque x=5 est faux alors x+1 l'est aussi ( donc les 2 valeurs de x sont fausses ! 

bon, je n'y comprend sans doute rien, ça vole trop haut pour moi ( c'est une peu comme les raisonnement par l'absurde ) .

bonne journée ( dire qu'une société a trouvé des fonds , pas des montagnes mais pas mal quand même , pour se pencher ( sans se casser la figure ) sur ces concepts ) .

En informatique on écrit usuellement x=x+1 pour affecter une nouvelle valeur à x (partie gauche) en utilisant sa valeur précédente (partie droite). Certains langages utilisent d’ailleurs le symbole := pour faire la différence avec le égal standard qui peut en effet supremdre, comme vous l’avez relevé!