Formations en Informatique de Lille
Portail pédagogique
Vous êtes ici : FIL > Portail > Licence Info > L3S5 Miage > PDS

Programmation des systèmes

BCC 5 : Appréhender des architectures matérielles et logicielles

Description

Dans cette UE vous apprendrez à utiliser l’interface POSIX d’un système d’exploitation. Cette UE se centre sur :

  • le système de fichiers (qui joue un rôle particulièrement important dans l’API POSIX) : quelle fonctionnalité assure-t-il, notion de droits d’accès, comment l’utiliser efficacement,
  • les threads (processus légers) : à quoi servent-ils, comment les synchroniser.

Équipe pédagogique

Le cours magistraux sont tenus par Giuseppe Lipari, responsable de l'unité pédagogique.

Intervenants en Licence Informatique :

  1. __
  2. Pierre Graux
  3. Damien Pollet
  4. Adrien Poteaux
  5. Giuseppe Lipari
  6. __
  7. Pierre Graux

Intervenants en Licence MIAGE :

  1. Alexandre Sedoglavic
  2. Jean-François Roos

Pour plus d'information, vous pouvez contacter le responsable du cours ou votre intervenant à l'adress nom.prenom@univ-lille.fr.

Crédits

3 ECTS

Programmation des Systèmes

Sémanier

Les séances de cours magistral

  Date Salle
1 Mardi 6 sept. 2022, 13h00–14h30  
2 Mercredi 21 sept. 2022, 10h45–12h15  
3 Mercredi 5 oct. 2022, 10h45–12h15  
4 Mercredi 19 oct. 2022, 10h45–12h15  

Les séances de TD/TP

On alterne TD et TP toutes les deux semaines : une semaine de TD sera suivi par une semaine de TP. L'horaire et la salle changent en fonction du groupe, consultez l'agenda pour plus de détails.

Sem. dates TD TP Examens
1 5-9 sept 1 : kgetc -  
2 12-16 sept. - 1: perf  
3 19-23 sept. 2 : which -  
4 26-30 sept.   2 : mdu  
5 3-7 oct. 3 : mth search -  
6 10-14 oct.   3 : mdu Interro1
7 17-21 oct. 4 : barrière -  
8 24-28 oct.   4 : taux g/c  
        Interruption pédagogique
9 7-11 nov. 5 : prod/cons -  
10 14-18 nov.   5 : barrière  
11 21-25 nov. 6 : prod/cons -  
12 28 nov.-2 dec.   6 : barrière 2 Interro2

Examen final

Date à fixer.

Évaluation

L'évaluation s'effectue par deux interrogations écrites et par un examen finale sur ordinateur.

Trois notes seront attribuées à chaque étudiant :

  • Interro1: une note sur la première interrogation écrite qui porte sur les système de fichiers ;
  • Interro2 : une note sur la deuxième interrogation écrite qui porte sur les threads POSIX ;
  • Exmen : une note sur l'examen finale sur ordinateur.

La note finale est calculée de la façon suivante :

0,3 × Interro1 + 0,3 × Interro2 + 0,4 × Examen

En cas d'échec, une soutenance de rattrappage sera prevue, qui consiste dans un examen sur ordinateur.

Mise à niveau en C

Ce cours suppose la maîtrise du langage C !

Vous trouverez à la [bibliothèque] des livres pour vous aider à vous mettre à niveau si besoin est, par exemple « Programmer en langage C : Cours et exercices corrigés » de Claude Delannoy, disponible à la fois en version papier et en ligne.

[bibliothèque]: https://lilliad.univ-lille.fr/

Le cours sur openclassrooms a l’air intéressant aussi.

Retravaillez les TP de l’unité PDC de L2, en particulier le 1erTP qui détaille comment compiler : compilation modulaire, `#include`{.c}, Makefiles, etc.

Mini-man

Le [mini-man] (ou la [version 2 pages par page]) est un extrait du manuel couvrant l’essentiel des appels systèmes, fonctions et fonctionnalités que nous étudions dans le cadre du cours.

Supports de TD / TP

TODO

Bibliographie

Références

Des petits liens, en vrac :