10 Jan 2025 |
ダニエル (Dani) Trujillo Viedma | Me da un poco he vergüenza ir por la vida sin saber nada de bare metal, la verdad | 14:30:02 |
ダニエル (Dani) Trujillo Viedma | Y unikernels | 14:30:06 |
ダニエル (Dani) Trujillo Viedma | In reply to almu_hs Es un sistema basado en microkernel. Pero lleva ya casi una década y no sale, y ya se le han adelantado los chinos con HarmonyOS Ostras! No sabía que HarmonyOS era eso.... | 14:28:29 |
almu_hs | El microkernel es un tipo de kernel | 14:51:33 |
almu_hs | La comparación sería entre kernel monolítico y microkernel | 14:52:00 |
almu_hs | https://es.m.wikipedia.org/wiki/HarmonyOS | 14:40:04 |
Elishua Olam | ¿Qué diferencia existe entre un microkernel y un kernel en un lenguaje sencillo a alguien que no entiende de programación? | 14:51:12 |
almu_hs | In reply to ダニエル (Dani) Trujillo Viedma Ostras! No sabía que HarmonyOS era eso.... Me suena que era microkernel | 14:36:57 |
almu_hs | El microkernel más extremo sería la variante de L4 que usa GenodeOS, donde incluso el planificador de procesos y la gestión de memoria están en espacio de usuario | 14:55:02 |
almu_hs | El monolítico incorpora todo lo que requiera un mínimo acceso al hardware dentro del kernel. Drivers, sistemas de ficheros, gestión de recursos en general...
Mientras que el microkernel deja únicamente lo más esencial, dejando el resto en espacio de usuario. Drivers, sistemas de ficheros, gestión de permisos, recursos... Son miniaplicaciones en espacio de usuario | 14:53:56 |
almu_hs | Si, más modular y flexible. Además de dar seguridad en sentido de que un fallo en un componente no revienta el sistema | 14:55:50 |
Elishua Olam | Vaya! Entonces, si encaja mejor con la filosofía UNIX y posee todas esas características que mencionas es muchísimo mejor 🔥👌🏻 | 14:56:36 |
Elishua Olam | Entonces, el microkernel se podría decir que es ¿más modular?
O sea … más ¿específico? Y que el otro es ¿más general o pretende abarcar más cosas?
En resumen, ¿el microkernel encaja mejor con la filosofía UNIX? | 14:55:08 |
almu_hs | https://es.m.wikipedia.org/wiki/Debate_Tanenbaum–Torvalds | 14:57:14 |
Elishua Olam | Gracias por la recomendación y por la explicación 👌🏻👌🏻👌🏻 | 14:57:10 |
Elishua Olam | Ni idea, nunca lo he visto … | 14:56:56 |
almu_hs | Sobre la filosofía UNIX, podéis buscar el debate entre Tanembaun y Torvalds | 14:56:43 |
ダニエル (Dani) Trujillo Viedma | Supongo que en un kernel monolítico, incluso un driver inocente como de un ratón se puede usar como vector para escalar privilegios si tiene un bug lo suficientemente gordo. En un micronúcleo probablemente solo te quedarías sin ratón y ya. Pero también es cierto que un micronúcleo a priori debería ir más lento, por toda la comunicación entre todos los servicios que están en espacio de usuario, no? | 15:29:58 |
ダニエル (Dani) Trujillo Viedma | In reply to almu_hs https://es.m.wikipedia.org/wiki/Debate_Tanenbaum–Torvalds Normalmente cuando veo una flamewar así, yo me inclino por pensar que no hay una opción realmente superior a las que se están discutiendo. Monolítico vs micronúcleo probablemente tenga más sentido como una decisión de diseño y ya está | 15:26:55 |
ダニエル (Dani) Trujillo Viedma | Pues eso, que al final es una decisión de diseño. Quieres que vaya rápido? Usa un monolítico. Quieres que sea a prueba de balas? Usa un micronúcleo | 15:30:39 |
ダニエル (Dani) Trujillo Viedma | Sel4 tiene que ser pequeño de narices, porque creo que está formalmente verificado, no? 😂😂😂 | 15:32:13 |
15 Jan 2025 |
| Mathews Tonya joined the room. | 07:52:28 |