Introduction à l'Informatique

Le système Unix

Cours 1

kn@lmf.cnrs.fr https://usr.lmf.cnrs.fr/~kn

La science informatique

Informatique (computer science): ensemble des sciences qui ont pour objet d'étude l'information et les procédés de traîtement automatique de celle-ci.
Quelques exemples de champs d'étude couverts par cette définition :

Principes des systèmes d'exploitation

Système d'exploitation

Quelques systèmes:

Programme

Un programme est une suite d'instructions réalisant une certaine tâche sur un ordinateur.

Exemple de programmes :

Parfois, un programme est appelé app (diminutif de application), de façon complètement ridicule, à des fins de marketing.

Système d'exploitation

Qu'est-ce qu'un système d'exploitation ?

Quelles sont les ressources d'une machine?

Système d'exploitation


Haut niveau Applications (programmes utilisateurs): navigateur Web, éditeur de texte, anti-virus, jeu, compilateur, …
Système d'exploitation:
  • Gestion des ressources
  • Interface avec le matériel (pilotes)
Bas niveau Matériel: processeur, mémoire, périphériques, …

Le système Unix

1965 MultICS: Multiplexed Information and Computing Service (Bell & MIT)
1969 Unix: 1ère version en assembleur (AT&T)
1972-73 Unix réécrit en C
1976 Invention de TCP/IP
1977 Berkeley Software Distribution (BSD)
1985Unix System V
1988Minix
1992Linux

Linux sera le système principalement utilisé en TP d'informatique, du L1 au M2

Unix : architecture

Applications
Interface utilisateur Services
Noyau (kernel)
Micro-code
Matériel

Zoom sur le noyau

Applications
Bibliothèques (libc, DirectX, OpenGL, …)

Appels systèmes
Noyau
pilotes de périphériques ordonnanceur (gestion du temps CPU)
gestionnaire de mémoire système de fichier
Matériel

Le Shell Unix

Le Shell Unix

Exemple de session shell:

$ ls Documents Downloads Public Person $ cd Documents $ ls compte_rendu.txt $ mv compte_rendu.txt cr.txt $ ls cr.txt

Système de gestion de fichiers

Système de gestion de fichiers (filesystem)

Le concept de fichier

Un fichier est une collection d'informations numériques réunies sous un même nom et enregistrée sur un support de stockage

Le concept de fichier

Ne pas confondre:

Les attributs d'un fichier

Nom
Propriétaire utilisateur qui possède ce fichier
Groupe groupe d'utilisateurs qui possède ce fichier
Emplacement localisation du fichier sur le support physique
Taille en octet (peut être la taille réelle ou la taille occupée sur le support)
Permissions « qui a quel droit » sur le fichier (lecture, écriture, exécution, …)
Type
Dates dernier accès, dernière modification, création, …

Organisation logique des fichiers

Usuellement, les fichiers sont regroupés en répertoires. Les répertoires sont imbriqués les uns dans les autres de manière a former une arborescence.

Sous Unix il y a un répertoire racine, « / » (slash) qui contient toute l'arborescence du système.
Chaque utilisateur possède aussi un répertoire personnel

Noms de fichiers et chemins

Un chemin est une liste de répertoire à traverser pour atteindre un fichier ou répertoire donné. Sous Unix, le séparateur de chemin est le « / »
Les chemins absolus commencent par un / et dénotent des fichiers à partir de la racine. Exemple: /home/kim/Documents/IntroInfo/cours01.pdf Les chemins relatifs dénotent des fichiers à partir du répertoire courant. Exemple:
Documents/IntroInfo/cours01.pdf si on se trouve dans le répertoire /home/kim

Les noms spéciaux:

Utilisation du Shell

Le shell affiche un invite de commande (prompt). Exemple:

kim@machine $
On peut alors saisir une commande:

kim@machine $ ls *.txt
Le shell affiche la sortie de la commande:

fichier1.txt fichier2.txt
Certains caractères doivent être précédés d'un « \ » (échappés):

kim@machine $ ls mon\ fichier\#1.txt

La ligne de commande

Une ligne de commande a la forme :
prog item1 item2 item3 item4 …

  1. Si prog est un chemin il doit dénoter un fichier exécutable
  2. Si prog est un simple nom, il doit dénoter un fichier exécutable se trouvant dans un des répertoires prédéfinis (/bin, /usr/bin, …)
  3. Pour chaque itemi (séparés par un ou plusieurs espaces non échappés) le shell fait une expansion de nom
  4. La liste de toutes les chaînes de caractères expansées est passée comme argument au programme prog

Expansion des noms / Motifs glob

Certains caractères sont interprétés de manière spéciale par le shell. Ces caractères sont « expansés » selon des règles. Si la forme expansée correspond a un ou plusieurs fichiers existants, alors leurs noms sont placés sur la ligne de commande. Sinon la chaîne de caractère de départ garde sa valeur textuelle.

Motifs glob

Règles d'expansion: * n'importe quelle chaîne
? n'importe quel caractère
[ab12…] un caractère dans la liste
[^ab12…] un caractère absent de liste
[a-z] un caractère dans l'intervalle
[^a-z] un caractère absent de l'intervalle

?(m1|…|mn) @(m1|…|mn) *(m1|…|mn) +(m1|…|mn)
k motifs parmi les mi : !(m1|…|mn): ni m1, …, ni mn

Motifs glob : exemples

On suppose que le répertoire courant contient les fichiers : ficher1.txt fichier2.txt PERSO.txt une_image.jpeg

Motifs glob : exemples avancés

On suppose que le répertoire courant contient les fichiers : ficher1.txt fichier2.txt PERSO.txt une_image.jpeg

Commandes shell de base

Droits et propriétés des fichiers

Sous Unix un utilisateur est identifié par son login (ou nom d'utilisateur). Chaque utilisateur est dans un groupe principal.

Au SIF (Service Informatique des Formations, bât. 336) :

Droits et propriétés des fichiers (suite)

Chaque fichier appartient à un utilisateur et à un groupe.
Chaque fichier possède 3 permissions pour son propriétaire, son groupe et tous les autres. Les permissions sont lecture, écriture, exécution (plus d'autres non abordées dans ce cours).

Permission fichier répertoire
lecture (r) lire le contenu du fichier lister le contenu du répertoire
écriture (w) écrire dans le fichier supprimer/renommer/créer des fichiers dans le répertoire
exécution (x) exécuter le fichier (si
c'est un programme)
rentrer dans le répertoire
$ ls -l drwxr-x--- 9 kim prof 4096 Sep 7 21:31 Documents

La commande chmod

chmod permissions chemin1cheminn

modifie les permissions des fichiers 1 à n. La chaîne permissions est soit une suite de modifications de permissions symbolique soit l'ensemble des permissions données de manière numérique:
chmod 755 fichier.txt chmod u-w,a+x,g=w fichier.txt

Permissions numériques

On groupe les bits de permissions par trois puis on convertit en décimal:

Utilisateur Groupe Autres
r w x r w x r w x
1 1 0 1 0 0 0 0 0
6 40


Dans cet exemple 1102 (lu en base 2) fait 6 en base 10, 1002 fait 4 et 0002 fait 0.
Rappel : 1102 = 1×22 + 1×21 + 0×20 = 6
Le fichier est lisible et modifiable mais pas exécutable par son propriétaire, lisible pour le groupe. Les autres ne peuvent ni le lire ni le modifier.

Permissions symboliques

cible modifieur permission

Exemple:
chmod u+rw,u-x,g+r,g-wx,o-rwx fichier.txt

Liens symboliques (1)

Pour des raisons d'organisation, on veut pouvoir « voir » le même fichier ou répertoire sous deux noms différents (ou à deux endroits différents). Par exemple:

$ ls -l Documents/Cours total 8 drwxr-xr-x 3 kim prof 4096 Sep 9 11:30 Licence drwxr-xr-x 3 kim prof 4096 Sep 9 11:30 Master $ cd Documents/Cours/Master; ls Compilation LangagesDynamiques $ cd LangagesDynamiques; ls cours01 cours02 cours03 cours04 cours05 cours06 Prereq $ ls -l Prereq lrwxrwxrwx 1 kim prof 28 Sep 9 11:30 Prereq -> ../../Licence/IntroInfo/

Liens symboliques (2)

La commande ln permet de créer des liens symboliques. Un lien est un petit fichier qui contient un chemin vers un fichier de destination.

Exemple d'utilisation

$ ln -s ../foo/bar/baz/toto.txt rep/titi.txt

crée un lien vers le fichier toto.txt sous le nom titi.txt (chacun placé dans des sous/sur répertoires)

Cela permet de créer l'illusion que la cible a été copiée à l'identique, sans les inconvénients
Sous Windows : les liens s'appellent des « raccourcis »

À propos de la suppression

La commande rm fichier efface un fichier définitivement
La commande rm -d rep efface un répertoire s'il est vide
La commande rm -r rep efface un répertoire récursivement mais demande confirmation avant d'effacer des éléments
La commande rm -rf rep efface un répertoire récursivement et sans confirmation

Toute suppression est définitive

Gag classique :

$ mkdir \~ ... $ ls Documents Photos Musique ~ $ rm -rf ~ ☠ ☠ ☠ ☠ ☠ ☠

Obtenir de l'aide sur une commande

La commande man permet d'obtenir de l'aide sur une commande. Lors qu'une page d'aide est affichée, on peut la faire défiler avec les touches du clavier, la quitter avec « q » et rechercher un mot avec la touche « / »

LS(1L) Manuel de l'utilisateur Linux LS(1L) NOM ls, dir, vdir - Afficher le contenu d'un répertoire. SYNOPSIS ls [options] [fichier...] Options POSIX : [-1acdilqrtuCFR] Options GNU (forme courte) : [-1abcdfgiklmnopqrstuxABCD­ FGLNQRSUX] [-w cols] [-T cols] [-I motif] [--full-time] [--format={long,verbose,commas,across,vertical,single-col­ umn}] [--sort={none,time,size,extension}] [--time={atime,access,use,ctime,status}] [--color[={none,auto,always}]] [--help] [--version] [--] DESCRIPTION La commande ls affiche tout d'abord l'ensemble de ses arguments fichiers autres que des répertoires. Puis ls affiche l'ensemble des fichiers contenus dans chaque répertoire indiqué. dir et vdir sont des versions de ls affichant par défaut leurs résultats avec d'autres for­ mats.

Recherche de fichiers

La commande find rep critères permet de trouver tous les fichiers se trouvant dans le répertoire rep (ou un sous répertoire) et répondant à certains critères. Exemples de critères :

Comment trouver toutes les options de la commande find ? man find

Recherche de fichiers (exemples)

Trouver tous les fichiers (dans un sous-répertoire) du répertoire courant dont le nom se finit par .jpg et dont la taille est supérieure à 1 Mo

find . -name '*.jpg' -a -size +1M

Trouver tous les fichiers (dans un sous-répertoire) du répertoire courant dont le nom se finit par .mpg (sans tenir compte de la casse) et dont la taille est supérieure à 10 Mo, et rajouter l'extension .bak à ces fichiers

find . -iname '*.mpg' -a -size +10M -exec mv {} {}.bak \;

Quelques commandes utiles

On verra comment composer ces commandes pour exécuter des opérations complexes