Linux MintLinux Mint est un système d'exploitation GNU/Linux créé en 2006 à partir d'Ubuntu, lui-même basé sur Debian. Il est conçu pour les ordinateurs individuels au même titre que Windows ou Mac OS et s'affirme comme un . Selon le site Alexa, Linux Mint est la distribution Linux la plus consultée sur Internet, après Ubuntu et devant Debian. Créé par le Français Clément Lefèbvre, le projet est actuellement maintenu par l'équipe de Linux Mint. La devise en anglais de la distribution est , ce qu'on peut traduire en français par : « De la liberté vint l'élégance ».
Application binary interfacevignette|300px|Exemples pour une interface binaire-programme stable et instable une interface de programmation stable et instable. En informatique, une Application Binary Interface (ABI, interface binaire-programme), décrit une interface de bas niveau entre les applications et le système d'exploitation, entre une application et une bibliothèque ou bien entre différentes parties d’une application. Une ABI diffère d’une API, puisqu'une API définit une interface entre du code source et une bibliothèque, de façon à assurer que le code source fonctionnera (compilera, si applicable) sur tout système supportant cette API.
Loadable Kernel ModuleDans un système d'exploitation, un module est une partie du noyau qui peut être intégrée pendant son fonctionnement. Le terme anglais généralement employé pour les désigner est Loadable Kernel Module, abrégé LKM, ou . Cette fonctionnalité existe dans les noyaux Linux et les noyaux BSD. C'est une alternative aux fonctionnalités compilées dans le noyau, qui ne peuvent être modifiées qu'en relançant le système. Les modules du noyau Linux sont généralement placés dans /lib/modules. Ils utilisent l'extension .
Mouvement du logiciel librealt=Logo du projet GNU, initiateur du mouvement du logiciel libre.|vignette|231x231px|Logo du projet GNU, initiateur du mouvement du logiciel libre. Le mouvement du logiciel libre est un mouvement politique et social dont la démarche vise à proposer des logiciels exempts de secret industriel, sur lesquels la libre circulation du code source est garantie. Selon Richard Stallman, initiateur de ce mouvement, « les éditeurs de logiciel cherchent à diviser et à conquérir les utilisateurs en forçant chacun à accepter de ne pas partager avec les autres.
Sémaphore (informatique)Un sémaphore est une variable (ou un type de donnée abstrait) partagée par différents « acteurs », qui garantit que ceux-ci ne peuvent y accéder que de façon séquentielle à travers des opérations atomiques, et constitue la méthode utilisée couramment pour restreindre l'accès à des ressources partagées (par exemple un espace de stockage) et synchroniser les processus dans un environnement de programmation concurrente. Le sémaphore a été inventé par Edsger Dijkstra et utilisé pour la première fois dans le système d'exploitation THE Operating system.
Fork (programmation)La fonction fork fait partie des appels système standard d'UNIX (norme POSIX). Cette fonction permet à un processus (un programme en cours d'exécution) de donner naissance à un nouveau processus qui est sa copie conforme, par exemple en vue de réaliser un second traitement parallèlement au premier. Un bon moyen de visualiser l'effet d'un fork sur un processus est d'imaginer une division cellulaire. Il existe une filiation dans les processus : le créateur d'un nouveau processus est appelé le père et le nouveau processus, le fils.
Ext4ext4 est le successeur du système de fichiers ext3, principalement destiné aux systèmes basés sur GNU/Linux. Il garde une compatibilité avec son prédécesseur et est considéré par ses propres concepteurs comme une étape intermédiaire devant mener à un vrai système de fichiers de nouvelle génération tel que Btrfs. Toutefois, ext4 est une étape utile et non une simple solution temporaire. C'est à la fin du mois de que la discussion sur le développement d'une amélioration d'ext3 apparaît , c'est ext3dev.
LG webOSLG webOS est un système d'exploitation mobile propriétaire fonctionnant grâce à un noyau Linux. D'abord appelé « Palm webOS » , il a été renommé HP webOS le à la suite du rachat intervenu quelques mois auparavant de Palm par HP. Ce système d'exploitation a donc d'abord été conçu pour les téléphones mobiles, de type smartphone, fabriqués par Palm. Il a été racheté le par le constructeur coréen LG qui l'intègre à ses téléviseurs connectés. Au moment du rachat de Palm, HP avait annoncé que webOS équiperait ses tablettes, ses futures imprimantes et ses smartphones.
SpinlockEn programmation informatique et plus particulièrement en programmation concurrente, le spinlock ou verrou tournant est un mécanisme simple de synchronisation basé sur l'attente active. Le spinlock base son principe sur l'attente active. En attendant leur tour, les threads l'utilisant vont le tester de manière répétée jusqu'à ce qu'il se libère. Pour ce faire, les threads doivent impérativement utiliser une opération atomique afin de garder le principe de l'exclusion mutuelle. L'attente active rend le spinlock gourmand en ressources.
Memory pagingIn computer operating systems, memory paging (or swapping on some Unix-like systems) is a memory management scheme by which a computer stores and retrieves data from secondary storage for use in main memory. In this scheme, the operating system retrieves data from secondary storage in same-size blocks called pages. Paging is an important part of virtual memory implementations in modern operating systems, using secondary storage to let programs exceed the size of available physical memory.
