Texas InstrumentsTexas Instruments (TI) est une entreprise d'électronique américaine renommée dans le domaine des composants électroniques passifs et des semi-conducteurs fondée en 1941. Originellement nommée Geophysical Service Incorporated (GSI), la société prend son nom actuel en 1951. Son siège est à Dallas, Texas. TI compte plus de 30 000 employés et un catalogue de plus de 80 000 produits, notamment des microcontrôleurs, processeurs, capteurs, connectivité sans fil et calculatrices scientifiques.
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
UltraSPARCL’UltraSPARC est un micro-processeur développé par Sun Microsystems et fabriqué par Texas Instruments. Il implémente le jeu d'instructions SPARC V9. Il a été mis sur le marché en 1995. Il fut le premier micro-processeur de Sun Microsystems qui implémenta ce jeu d'instructions. Marc Tremblay participa à sa création. L'UltraSPARC est un micro-processeur superscalaire capable de gérer ses instructions dans le désordre (Exécution out-of-order). Il est en mesure de traiter quatre instructions en parallèle.
File lockingFile locking is a mechanism that restricts access to a , or to a region of a file, by allowing only one user or process to modify or delete it at a specific time and to prevent reading of the file while it's being modified or deleted. Systems implement locking to prevent the classic interceding update scenario, which is a typical example of a race condition, by enforcing the serialization of update processes to any given file.
