LES FIBERS : DES THREADS NON PRÉEMPTÉS PAR LE SYSTÈME

Commentaire de cirec le 01/03/2009 18:01:36 administrateur CS

c'est a l'air génial ces Fibers

et avec très peut de code .. Bravo et merci de partager cela avec nous ;)

j'ai pas encore analyser le code et j'ai juste parcouru le tuto en diagonale (il n'est toujours pas activé mais tu dois le savoir) mais ça ne saurait tarder.

Mais le principe me plait, j'avais jamais entendu parler de ça !!! comme quoi ... :D

rien que pour ça et les possibilités ainsi que la souplesse qu'offre cette méthode je mets un 10/10

Commentaire de Bacterius le 01/03/2009 20:30:12

Oups la note désolé ^^

Cordialement, Bacterius !

Commentaire de Francky23012301 le 02/03/2009 13:48:13

Débiars en révait , Cari l'a fait :  un jeu sur Fibers le dauphin :p.

En tout cas merci d'avoir rajouté un poisson dans l'aquarium de mes pauvres connaissances : j'ai appris un truc donc j'ignorais l'existence.

Juste deux petits bémols :
*renomme tes composants et des ptits commentaires pour la compréhension de l'asm j'en veux bien ;) (Hihi je sais je suis chiant ;) ).
*A quand une classe TFiber un peu à la sauce TThread ;) ? Tu nous laisses sur notre faim/fin.

Bon allez pour le poiscaille je colle un 9/10 (A cause de l'arrette :p ).

Commentaire de rt15 le 09/03/2009 12:32:26 administrateur CS

Je rejoins les félicitations générales. Très belle source. Originale, qui peut aider ceux qui veulent faire des fibers... Du grand art.

En attendant une grosse pointure que je ne suis pas, je peux essayer de donner un début d'explication concernant les quelques lignes d'assembleur. Soit dit en passant l'assembleur est infiniment plus simple que le Delphi sur le plan syntaxique : il y a vraiment pas beaucoup d'instructions et elles sont toutes relativement simples. C'est pas du tout un langage qu'il faut considéré comme inabordable et réservé à je ne sais quels bidouilleurs de l'extrème.

Le processeur est composé d'un certain nombre de registres, c'est à dire de cases nommées pouvant contenir des valeurs.

Quand le windows décide de changer le thread en cours d'exécution, il remplace les valeurs stockées dans ces registres par celles du thread à exécuter.

On appelle ça des contexte d'exécution. Windows garde en mémoire le contexte de tous les threads et remplace un contexte par un autre pour changer de thread.

Dans un processus, tous les threads ont accès à la même mémoire.

Donc si un processus a un thread A et un thread B, comment faire la différence entre les deux ?

En sockant dans le contexte des informations sur le thread courant.

A chaque changement de thread, le contexte étant mis à jour, les informations sur le thread sont mises à jour.

Le processus peut ainsi facilement connaître son thread qui est en cours d'exécution.

GetCurrentThreadId par exemple, exploite probablement les informations de contexte pour renvoyer l'id du thread.

Où sont stockées ses informations dans le contexte ?

Le contexte, composé de registre, est de taille très restreinte pour des raisons de performance évidente.

Le contexte est donc stocké en mémoire et pointée par un des registres, fs.

Chaque thread a donc son propre fs qui pointe sur son propre contexte, le TEB, pour Thread Environment Block :
http://undocumented.ntinternals.net/UserMode/Undocumented%20Functions/NT%20Objects/Thread/TEB.html

Le TEB permet de récupérer beaucoup d'informations sur le thread et le processus :
Il y a un pointeur sur le Process Environment Block, les IDs du thread et du processus (Dans RealClientId)...

Et un pointeur sur les infos sur la fibre.

Le pointeur sur ces infos se trouve dans la Tib, la première structure du TEB.

Le TEB est bien représentée sur wikipedia (Ils appellent ça le TIB, mais le TIB est seulement la première partie), avec les offset :
http://en.wikipedia.org/wiki/Win32_Thread_Information_Block

On voit que "Fiber data" se trouve à l'offset de la TEB/TIB + 0x10 = 16 = $10 octets.

C'est ça que va chercher l'assembleur.

function GetCurrentFiber : Pointer;
  asm
    mov eax, fs:[$10]
end;

La valeur de retour de la fonction doit être mise en place dans le registre eax.
Donc il faut déplacer Fiber data dans eax :
mov eax, FiberData

fs est un registre de segment. Les registres de segments permettent de modifier l'adressage. Par défaut, pour une instruction, c'est le registre de segment ds qui est utilisé. mov eax, [$10] est équivalent à mov eax, ds:[$10].

Ici, on veut accèder au TEB et on sait que fs pointe dessus, du moins que l'adresse 0 dans le segment fs correspond à l'adresse du TEB. On précise donc que l'on utilise le registre de segment fs.

Et on tape à l'adresse $10 de ce segment. Détail "amusant", pour ce segment, nil n'est pas du tout une adresse invalide.

Dans le cas de la deuxième fonction :

function GetFiberData : Pointer;
  asm
    mov eax, fs:[$10]
    mov eax, [eax]
end;

On récupère le premier champ de la structure pointé par Fiber Data. Mais je n'ai pas trouvé la définition de la structure en question.

J'espère avoir été au moins vaguement compréhensible...

Commentaire de rt15 le 09/03/2009 16:07:21 administrateur CS

Non, malheureusement ce n'est plus la saison du père noël. Windows schedule les threads. Les threads schedulent les fibers.

http://msdn.microsoft.com/en-us/library/ms682661(VS.85).aspx