Entraînement — Threads

Le processus regroupe mémoire et ressources; le TCB décrit le flot individuel, notamment registres, compteur ordinal, pile et état. Les threads du même processus ne disposent pas d’espaces d’adressage isolés.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Chaque thread a son contexte d’exécution. Code, globales/statiques, tas et fichiers ouverts sont communs au processus. Une pile propre n’est pas une frontière de protection : une adresse de cette pile peut être transmise à un autre thread, avec une durée de vie et une synchronisation à respecter.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Concurrence décrit la progression sur une période commune; un cœur peut entrelacer les activités. Le filtrage identique de partitions indépendantes sur plusieurs cœurs est un parallélisme de données. Des traitements différents correspondraient à un parallélisme de tâches.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Les quatre paramètres sont l’adresse de l’identifiant à remplir, les attributs, la routine void *(*)(void *) et son argument. Le code de retour signale le succès (0) ou une erreur; vérifier ce code avant d’utiliser tid. Le démarrage du travailleur n’attend pas le join.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Un tableau d’arguments distincts, initialisés avant chaque création et conservés jusqu’après les jointures, évite la réutilisation de la même variable. Chaque travailleur lit son élément. Le simple passage d’un pointeur ne copie pas l’objet pointé. La réponse reste autoévaluée par comparaison à la rubrique.

• Préparer un élément distinct par travailleur, par exemple args[3], et transmettre &args[i].
• Initialiser chaque élément avant sa création; ne pas le modifier concurremment pendant sa lecture.
• Conserver le tableau vivant jusqu’à la fin des lectures, par exemple dans le créateur qui joint tous les travailleurs avant de quitter.
• Expliquer que &i réutilise un objet mutable commun; ni un sleep ni une observation favorable ne garantit les valeurs.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

La terminaison d’un travailleur ne termine pas les autres. Le détachement libère automatiquement ses ressources de terminaison et exclut la jointure. Un délai ne crée pas de dépendance de fin. Quitter le processus, notamment par retour de main ou exit, termine en revanche ses threads.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Les deux fins A et B précèdent la création de C; les lettres possibles sont ABC et BAC dans ce modèle. Joindre A avant B ne force pas A à finir en premier : B peut déjà être terminé lors de sa jointure. La rubrique juge les relations de précédence, sans prétendre corriger automatiquement le texte.

• A et B peuvent démarrer et finir dans des ordres différents; ordre des create ne fixe pas celui des fins.
• C commence après les deux terminaisons, car ses créations sont précédées des deux jointures réussies.
• Les traces des trois lettres sont ABC et BAC, sans ordre imposé entre A et B.
• Remplacer les jointures par sleep ne garantit plus cette précédence; aucun code universitaire exécuté.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

B ne peut être créé qu’après la fin de A : 4+4=8 s. Créer les deux avant de les joindre permettrait 4 s dans le modèle idéal annoncé. Le nombre de threads ou de cœurs ne rétablit pas une concurrence supprimée par le programme.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Dans M:1, une seule entité noyau limite le parallélisme interne et un appel bloquant peut immobiliser le groupe. 1:1 permet des blocages indépendants et le multicœur au coût de ressources noyau. M:N et deux niveaux sont des correspondances, sans nombre fixe de travailleurs ni ordre global garanti.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Le pool sépare file de tâches et travailleurs réutilisés. Après affectation initiale, trois tâches occupent les travailleurs et sept restent en file. Leur durée et les ressources limitent le gain; agrandir sans mesure peut accroître contention, piles et changements de contexte.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

L’itération suivante dépend de la valeur produite par la précédente. Une directive ne change pas cette relation. Il faut préserver les dépendances ou transformer l’algorithme correctement; le nombre de threads ne remplace pas ce raisonnement.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

La garantie thread-safe dépend du contrat d’usage et des objets partagés. Un mutex interne peut éviter une course entre threads mais poser problème lors d’une réentrée par signal. Une locale static persiste et est commune aux appels; un objet externe peut encore être partagé incorrectement même sans globale.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

La réservation de case doit préserver un invariant sur les trois étapes. Protéger seulement l’incrément n’annule pas les deux choix de la même case. Les joins après créations attendent les fins sans protéger les mises à jour. Les bornes du compteur sont pédagogiques : des accès C ordinaires en course peuvent être indéfinis.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Join ne sérialise pas rétroactivement les opérations des travailleurs. Le modèle lecture/calcul/écriture montre une perte possible de mises à jour, mais ses bornes ne sont pas un contrat C. La précision ED15 et le prolongement S06 distinguent illustration pédagogique et comportement indéfini.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Sur une référence de 100 s : 15 s séquentielles + 85/4=21,25 s parallèles, soit 36,25 s. L’accélération vaut 100/36,25=80/29≈2,75862069, arrondie à 2,76. Ce gain théorique est inférieur à quatre et ne constitue pas une mesure réelle.

Variantes : Point ou virgule décimale; arrondi à deux décimales, tolérance absolue 0,005. Fraction et unités restent celles annoncées; aucun calcul de code saisi.

Les exemples comparent identité, mémoire et précédences; la chaîne mycall relie utilisateur et noyau effectivement chargé. Une compilation seule ne prouve ni l’amorçage du bon noyau ni le succès du test. Les numéros du laboratoire sont liés à sa version. La rubrique évalue uniquement une explication, pas la réalisation des manipulations.

• Pour fork, distinguer retour père/fils, vrais PID, mémoire séparée et ordre partiel de wait; une faute mémoire ne fixe pas un ordre.
• Pour pthread, identifier create/join/exit et expliquer les ordres variables ou la fin précoce du processus sans joins.
• Relier numéro/table, prototype/implantation, compilation/intégration, noyau réellement chargé et test syscall; uname contrôle le noyau chargé.
• Garder 337/299, Ubuntu 10.04/Linux 2.6.32.24 comme historiques; VM restaurable et ancien noyau; aucune compilation, modification ou observation personnelle attestée.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Le filtrage rapproche les deux premières lignes error 4, qui sont dédupliquées. La dernière est séparée par error 5 et demeure. $? décrit la commande précédente, 0 au succès. Pour le TSV, garder une taille comme clé jusqu’au tri numérique puis retirer la colonne évite un tri sur les seuls noms; la composition ne prouve aucune exécution.

Variantes : Les hypothèses fixent le problème. Une reformulation équivalente suit la rubrique pour les réponses rédigées, qui restent autoévaluées. Les traces observées ne fixent pas l’ordre général.

Le temps idéal est 15+85/8=25,625 s. 100/25,625=160/41≈3,90243902, donc 3,90. Doubler quatre vers huit unités ne double pas l’accélération : la fraction séquentielle reste 15 s.

Variantes : Point ou virgule décimale; arrondi à deux décimales, tolérance absolue 0,005. Fraction et unités restent celles annoncées; aucun calcul de code saisi.

La partie parallèle tend vers zéro mais les 15 % séquentiels persistent. La limite est 1/0,15=20/3≈6,66666667, soit 6,67. Les coûts de création, synchronisation, déséquilibre, caches et mémoire peuvent encore réduire le gain réel.

Variantes : Point ou virgule décimale; arrondi à deux décimales, tolérance absolue 0,005. Fraction et unités restent celles annoncées; aucun calcul de code saisi.