- 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
- Comparativa de GAS y NASM.
- Learning C with GDB.
- Soporte C++ en GCC.
- C++ Bare Bones.
- Tutoriales sobre sistemas operativos de osdev.org.
- The little book of semaphores, by Allen B. Downey.
- Ensamblador de 64 bits.
- 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
Temario
| tema | ejercicios voluntarios |
|---|---|
| Tema 0: Presentación | |
| Tema 1: Soporte hardware | 1. Tecnología de imposición de control de flujo (phoronix / intel / microsoft) |
| 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. Implementar ping-pong de forma síncrona con UDP de boost |
| 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. Memory Tagging Extension: (1) / (2) / (3) |
| Tema 8: Sincronización / (src/src.txz) | 8. Sincronización no-bloqueante/libre de espera. |
| Tema 9: Exclusión mutua | 9. ¿std::condition_variable es tipo Hoare o Mesa? |
| 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. |