- Linux system call table
- Programación ensamblador desde 0 (Programming from the ground up).
- Tabla de códigos del 8086.
- Referencia rápida del GDB.
- Trucos de GDB
- Learning C with GDB.
- Soporte C++ en GCC.
- C++ Bare Bones.
- ASM Extendido
- Tutoriales sobre sistemas operativos de osdev.org.
- The little book of semaphores, by Allen B. Downey.
- Ensamblador en línea
- Desbordamiento de un vector sobre la pila, versión de 64 bits.
- LLamadas al sistema en Linux de 32 bits
- LLamadas al sistema en Linux de 64 bits
- Ensamblador en línea
- Coste de operación en ciclos
Temario
| tema | ejercicios voluntarios |
|---|---|
| Tema 0: Presentación | |
| Tema 1: Soporte hardware | 1. Tecnología de imposición de control de flujo (1 / 2 / 3 / 4 / 5) |
| Tema 2: Introducción a los sistemas operativos | 2. Spectre V1 |
| Tema 3: Historia de los sistemas operativos | 3. Famosa discusión |
| Tema 4: Procesos | 4. Memory Tagging Extension: (1) / (2) / (3) / (4) / (5) / (6) |
| Tema 5: Hebras | 5. Prestaciones de las hebras híbridas |
| Tema 6: Cambio de hebra | 6. Implementación de la pila núcleo: Draves/Ford. |
| Tema 7: Activación | 7. as::fiber: versión casera de setjmp/longjmp reparar recursividad |
| Tema 8: Sincronización / (src/src.txz) | 8. Sincronización no-bloqueante/libre de espera. |
| Tema 9: Exclusión mutua | 9. Estudio de eficiencia comparando los algoritmos de Dekker y Peterson. |
| Tema 10: Paso de mensajes | 10. Futex |
| Tema 11: Gestión de recursos: interbloqueo e inanición | 11. Memoria Transaccional |
| Tema 12: Planificación | |
| Tema 13: Planificación multiprocesador y de tiempo real |
Prácticas
Bibliografía
| portada | referencia |
|---|---|
 |
Modern Operating Systems. 4th Edition. Andrew S. Tanenbaum and Herbert Bos. Pearson. 2014. |
 |
Operating System Concepts. 9th Edition. Abraham Silverschatz, Peter B. Galvin, Greg Gagne. Wiley. 2010. |
 |
Computer Systems: A Programmer's Perspective (3rd Edition). Randal E. Bryant, David R. O'Hallaron. Prentice Hall. 2015. |