v2.11.0 (5380)

Programme d'approfondissement - INF559 : Architecture des ordinateurs et systèmes d'exploitation

Domaine > Informatique.

Descriptif

We will explain the enduring concepts underlying all computer systems, and show the concrete ways that these ideas affect the correctness, performance, and utility of any application program.

This course serves as an introduction to the students who go on to implement systems hardware and software.  But this course also pushes students towards becoming the rare programmers who know how things work and how to fix them when they break.  It is not a course reserved to geeks, it is a course for all programmers!

This course will cover most of the key interfaces between user programs and the bare hardware, including:

The representation and manipulation of information

We cover computer arithmetic, emphasising the properties of unsigned and two's complement number representations that affect programmers.  A solid understanding of computer arithmetic is critical to writing reliable programs: for instance, arithmetic overflow is a common source of programming errors and security vulnerabilities.

Machine-level representation of programs

We learn how to read the x86-64 machine code generated by a C compiler.  We cover the basic instruction set, and the implementation of procedures, including stack allocation, register usage conventions and parameter passing.  We cover how different data structures are allocated and accessed.  We also use the machine-level view of programs as a way to understand common code security vulnerabilities, including buffer overflow.

Processor architecture

We cover basic combinational and sequential logic elements, and then show how these elements can be combined in a datapath that executes a simplified subset of the x86-64 instruction set.  We begin with the design of a single-cycle datapath, very simple but not very fast, and then introduce pipelining, where the different steps required to process an instruction are implemented as separate stages and can be executed in parallel.  The final five-stage processor pipeline will be closer to modern architectures, and we will show how a programmer can speed up his code by by increasing the instruction parallelism hidden in his programs.

The memory hierarchy

The memory system is not a linear array with uniform access times.  In practice, a memory system is a hierarchy of storage devices with different capacities, costs, and access times.  We cover the different types of RAM and ROM memories and the geometry and organisation of magnetic-disk and solid state drives.  We describe how these storage devices are arranged in a hierarchy, and how this hierarchy is made possible by locality of reference.  We will show you how to improve the performance of application programs by improving their temporal and spatial locality.

Exceptional Control Flow

Here we step beyond the single-program model by introducing the general concept of exceptional control flow.  We cover examples of exceptional control flow that exist at all levels of the system, from low-level hardware exceptions and interrupts, to context switches between concurrent processes, to abrupt changes in control flow caused by the receipt of kernel signals, to the nonlocal jumps in C that break the stack discipline.

Virtual memory

Virtual memory space is just an array of bytes that the program can subdivide into different storage units.  However we will show how different simultaneous processes can each use an identical range of addresses, sharing some pages but having individual copies of others.  This helps the programmer to understand the effects of programs containing memory referencing errors such as storage leaks and invalid pointer references.

TDs  The TDs are the heart of the course and will illustrate how to put the above at work in everyday programming practice.  Among other things we will reverse-engineer a binary program, implement a buffer overflow attackoptimise a processor design, and implement our own memory allocator.


Student's background  We assume that the student has familiarity with programming.  Experience with C or C++ languages is a plus, but If your only prior experience is with Java we will help.  We do not assume any prior experience with hardware, machine language, or assembly-language programming.

 

Language  Lectures will be in French or English, as requested by the students.

 

Exam and grading  Labs are graded + a final written exam.


ECTS credits: 4

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme M1 HPDA - High Performance Data Analytics

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C
    • Crédits ECTS acquis : 5 ECTS

    Pour les étudiants du diplôme M1 PDS - Parallel and Distributed Systems

    Le rattrapage est autorisé (Note de rattrapage conservée)
      L'UE est acquise si note finale transposée >= C
      • Crédits ECTS acquis : 5 ECTS

      Pour les étudiants du diplôme MScT-Internet of Things : Innovation and Management Program (IoT)

      Le rattrapage est autorisé (Note de rattrapage conservée)
        L'UE est acquise si note finale transposée >= C
        • Crédits ECTS acquis : 4 ECTS

        La note obtenue rentre dans le calcul de votre GPA.

        Pour les étudiants du diplôme M1 Innovation, Entreprise, et Société - Voie Innovation technologique

        Le rattrapage est autorisé (Note de rattrapage conservée)
          L'UE est acquise si note finale transposée >= C
          • Crédits ECTS acquis : 5 ECTS

          La note obtenue rentre dans le calcul de votre GPA.

          Pour les étudiants du diplôme M1 CPS - Cyber Physical Systems

          Le rattrapage est autorisé (Note de rattrapage conservée)
            L'UE est acquise si note finale transposée >= C
            • Crédits ECTS acquis : 5 ECTS

            Pour les étudiants du diplôme M1 MPRI - Foudations of Computer Science

            L'UE est acquise si note finale transposée >= C
            • Crédits ECTS acquis : 5 ECTS

            Pour les étudiants du diplôme M1 Informatique - Voie Jacques Herbrand - X

            Le rattrapage est autorisé (Note de rattrapage conservée)
              L'UE est acquise si note finale transposée >= C
              • Crédits ECTS acquis : 4 ECTS

              Pour les étudiants du diplôme Diplôme d'ingénieur de l'Ecole polytechnique

              Le rattrapage est autorisé (Note de rattrapage conservée)
                L'UE est acquise si note finale transposée >= C
                • Crédits ECTS acquis : 5 ECTS

                La note obtenue rentre dans le calcul de votre GPA.

                Pour les étudiants du diplôme M2 Cyber Physical System

                Le rattrapage est autorisé (Note de rattrapage conservée)
                  L'UE est acquise si note finale transposée >= C

                    Pour les étudiants du diplôme M2 HPDA - High Performance Data Analytics

                    Le rattrapage est autorisé (Note de rattrapage conservée)
                      L'UE est acquise si note finale transposée >= C

                        Pour les étudiants du diplôme Non Diplomant

                        L'UE est acquise si note finale transposée >= C
                        • Crédits ECTS acquis : 5 ECTS

                        Pour les étudiants du diplôme Echanges PEI

                        Le rattrapage est autorisé (Note de rattrapage conservée)
                          L'UE est acquise si note finale transposée >= C
                          • Crédits ECTS acquis : 5 ECTS

                          La note obtenue rentre dans le calcul de votre GPA.

                          Pour les étudiants du diplôme MScT-Cybersecurity : Threats and Defenses

                          Le rattrapage est autorisé (Note de rattrapage conservée)
                            L'UE est acquise si note finale transposée >= C
                            • Crédits ECTS acquis : 4 ECTS

                            Pour les étudiants du diplôme M1 IGD - Interaction, Graphic and Design

                            Le rattrapage est autorisé (Note de rattrapage conservée)
                              L'UE est acquise si note finale transposée >= C
                              • Crédits ECTS acquis : 5 ECTS

                              Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems

                              Le rattrapage est autorisé (Note de rattrapage conservée)

                                Pour les étudiants du diplôme M1 Cyber - Cybersecurity

                                Le rattrapage est autorisé (Note de rattrapage conservée)
                                  L'UE est acquise si note finale transposée >= C
                                  • Crédits ECTS acquis : 5 ECTS

                                  Pour les étudiants du diplôme MSc X-HEC Entrepreneurs

                                  Le rattrapage est autorisé (Note de rattrapage conservée)
                                    L'UE est acquise si note finale transposée >= C
                                    • Crédits ECTS acquis : 5 ECTS

                                    Pour les étudiants du diplôme M1 IES - Innovation, Entreprise and Société

                                    Le rattrapage est autorisé (Note de rattrapage conservée)
                                      L'UE est acquise si note finale transposée >= C
                                      • Crédits ECTS acquis : 5 ECTS

                                      La note obtenue rentre dans le calcul de votre GPA.

                                      Veuillez patienter