\end{equation}
\noindent active successivement les deux premiers éléments (24 est 11000)
et les quatre derniers éléments (15 est 01111).
-On dit que la stratégie est
-\emph{pseudo-periodique} si tous les éléments sont activés infiniment
-souvent.
% , it is sufficient to establish that the set $\{t \mid t \in \mathbb{N}
% \land \textit{bin}(s^t)[i] = 1\}$ is infinite for any $i$, $1 \le i \le n$,
% where
Dans le mode asynchrone, a chaque itération $t$, chaque composant peut
mettre à jour son état en
fonction des dernières valeurs qu'il connaît des autre composants.
-Obtenir ou non les valeurs les plus à jours dépend du temps de calcul et
+Obtenir ou non les valeurs les plus à jour dépend du temps de calcul et
du temps d'acheminement de celles-ci. On parle de latence, de délai.
Formalisons le mode les itérations asynchrone.
du système pour les itérations généralisées sont
basés sur l'absence de cycles. Ils ne peuvent donc pas être appliqués ici.
-\begin{figure}[ht]
+\begin{figure}%[ht]
\begin{center}
$$ f(x)= \left \{
\begin{array}{lll}
\noindent sinon.
En démarrant de $x^0=00011$, le système atteint $x^1 = 01011$ et boucle entre
ces deux configurations. Pour une même stratégies, les itérations
-asynhrones divergent alors que les synchrones convergent.
+asynchrones divergent alors que les synchrones convergent.
Les sections suivantes de ce chapitre montrent comment résoudre ce problème.
\subsection{Itérations Mixes}
La \emph{relation de synchronisation} $\eqNode$ est
définie sur l'ensemble des n{\oe}uds par:
$i \eqNode j$ si $i$ et $j$ appartiennent à la même composante fortement
- connexe (CFC) dans $\Gamma(F)$.
+ connexe (CFC) dans $\Gamma(f)$.
\end{Def}
On peut facilement démontrer que la relation de synchronisation est une
classe.
Pour gommer cette distinction, on définit le mode suivant:
\begin{Def}[Itérations mixes avec delais uniformes]
- Le mode mixe a des \emph{délais uniformes}si pour chaque
+ Le mode mixe a des \emph{délais uniformes} si pour chaque
$t=0,1,\ldots$ et pour chaque paire de classes $(\class{p}, \class{q})$,
il existe une constante $d^t_{pq}$ telle que la propriété suivante est
établie:
mode synchrone.
\end{xpl}
-\subsection{Le mode généralisé asynchrone}
+\subsection{Le mode unaire asynchrone}
\label{sec:evalasync}
En terme de durée de convergence, ce mode peut être vu comme un
cas particulier du mode mixe où toutes les classes sont des singletons.
ne recouvrent nullement les communications.
\begin{xpl}
- La \Fig{fig:evalasync} présente un exemple d'exécution du mode généralisé
+ La \Fig{fig:evalasync} présente un exemple d'exécution du mode unaire
asynchrone.
Certaines communications issues de l'élément $4$ n'ont pas été représentées
pour des raisons de clarté.
