Étude des circuits

Comme la présence d'un circuit dans la trace implique l'existence d'un inter-blocage, la première étape de l'algorithme présenté ici est la spécification des conditions nécessaires pour éviter tout inter-blocage. Les poids des buffers n'entreront en ligne de compte que dans une étape ultérieure de l'algorithme. A deux tâches, on retrouve pour chaque circuit quatre sommets distincts caractéristiques. Ils sont disposés comme dans la figure 3.2.

Figure 3.2: Circuit type

Les circuits peuvent être rangés dans trois catégories, nous allons les passer en revue et voir dans chaque cas quelles sont les solutions préconisées pour les briser.