Architecture et Système 2014/15

Contents

• 17 septembre : brief history of system architecture (PDF)
• 22 septembre : logical circuits, adder with logarithmic depth (PDF)
• 29 septembre : multiplication, multiplexer, decoder etc
• 6 octobre : latches/flip-flops, basic computer architecture (PDF)
• 15 octobre : CPU architecture, machine code, RISC/CISC (PDF)
• 22 octobre : data representation - floating-point, character coding (PDF)
• 5 novembre: error correction and detection, memory organisation (PDF)
• 17 novembre: processes (PDF), demonstration programs (ZIP)
• 24 novembre: signals (PDF), demonstration programs (ZIP)
• 1 décembre: threads, start on I/O (PDF), demonstration programs (ZIP)
• 8 décembre: file system, operations on files (PDF)
• 15 décembre: users/access rights, networks: OSI model (PDF)
• 5 janvier: networks, malloc, shared memory (PDF), demonstration programs (ZIP)

Exercises

• 19/26 septembre: PDF (ZIP with additional files, PDF with instructions for shell); solution for exercise 1.2
• 3 octobre: PDF (logical circuits)
• 10 octobre: PDF (verification/synthesis of circuits) - ZIP, snverif.pl (improved version with debug option), snfind.pl
• 17 octobre: PDF (linker) - ZIP, smash.c
• 24 octobre: PDF (bit manipulation, floats, characters) - float.c - HTML file (with encoding problems) - unicode.c
• 7 novembre: PDF (characters, codes) - ZIP (additional files), solution for 1.1
• 21 novembre: PDF (processes) - fork.c, forktree.c, ZIP (calculator), ZIP (shell)
• 28 novembre: PDF (signals) - pingpong.c - mywin.c - ZIP (solutions for pingpong)
• 5 décembre: PDF (threads, semaphores) - ZIP with additional files
• 19 décembre: PDF (files, pipes) - copyfile.c - ZIP (exercise 3)
• 9 janvier: PDF (memory allocation, network) - ZIP (additional files)

Les épreuves

• les questions: PDF
• les solutions: PDF

• les questions et solutions: PDF

• Soit P la note du partiel.
• Soit E la note de l'examen.
• Note finale = max ((P+E)/2,E)

Links

• IAS Simulator
• The Story of Mel (about self-modifying assembly code)
• Circuit simulator
• Sorting Networks (Wikipedia)
• Z3 tutorial
• Synthesis of Parallel Sorting Networks using SAT Solvers (paper by Morgenstern and Schneider, 2011)
• A Brief History of Microprogramming
• x86 machine code: opcodes, operand codes
• IEEE 754 Converter
• Unicode character tables, UTF-8 description (Wikipedia)
• Bit-twiddling hacks
• Interleaved 2-out-of-5 barcode
• Waiting for a Signal

Teachers: Stefan Schwoon, Christoph Haase