33 noticias
Depot ha utilizado el lenguaje de especificación formal TLA+ y su model checker TLC para verificar el recolector de basura de Depot Registry v2. El equipo sostiene que los errores más difíciles en sistemas distribuidos no aparecen en una sola operación, sino en intercalados concretos: dos procesos h
Con la publicación de JDK 27 ya en el horizonte, el equipo de OpenJDK repasa los cambios introducidos en los recolectores stop-the-world de la máquina virtual HotSpot. El más relevante es la activación de la JEP 423, que convierte a G1 en el recolector de basura por defecto en todos los entornos: ya
La recolección de basura (GC) no cobra por la memoria usada, sino por los objetos vivos y las referencias entre ellos: por eso un grafo de muchos objetos pequeños resulta mucho más caro de barrer que un único búfer del mismo tamaño. El artículo explica que toda la memoria dinámica vive en el heap —l
Los hashes son el tipo de objeto que más memoria consume en las aplicaciones Ruby, muy por encima de alternativas como Struct o los llamados PORO (Plain Old Ruby Objects). Un hash vacío ocupa 160 bytes en Ruby 4.0.6, hasta cuatro veces más que un Struct del mismo tamaño, una diferencia que se mantie
El artículo analiza el debate en torno a la seguridad de memoria en lenguajes de programación y arremete contra los llamados «absolutistas», que descalifican a Rust por contar con bloques `unsafe` sin aplicar el mismo rasero a C, C++ o Zig. El texto parte de una observación: aunque durante años la d
Jolt: una nueva implementación de Clojure sobre Chez Scheme con arranque rápido y bajo consumo Jolt, una nueva implementación del lenguaje Clojure que ejecuta sobre el compilador Chez Scheme, se presenta como una alternativa ligera al Clojure tradicional sobre JVM, con tiempos de arranque casi inst
Wasmtime 47, el runtime de WebAssembly desarrollado por Bytecode Alliance, activa por defecto las propuestas de estándar Wasm GC y excepciones, dos extensiones del lenguaje que permiten soportar de forma nativa lenguajes de alto nivel con modelos de objetos y referencias y con manejo de excepciones.
Soteria Rust es una herramienta de ejecución simbólica escrita en OCaml que verifica programas Rust recorriendo cada camino de ejecución para detectar comportamiento indefinido y errores de aliasing. Durante un benchmark rutinario, los desarrolladores observaron que un bucle sencillo que incrementa
Go 1.26 introdujo Green Tea como recolector de basura predeterminado, una evolución presentada originalmente en Go 1.25 que mejora la eficiencia de caché del proceso de limpieza de memoria. En Go, los objetos se agrupan por clases de tamaño dentro de fragmentos contiguos de páginas de 8 KiB, una téc
El análisis de escape es una optimización del compilador de Go que decide, valor por valor, si una variable puede vivir en la pila o debe trasladarse al montón. La pila es una región por gorutina donde las asignaciones son muy baratas y se liberan al retornar la función; el montón es una memoria com
A finales de los años ochenta, Linn Products, una empresa escocesa de alta fidelidad conocida por su tocadiscos Sondek LP12, envió al fondo del canal Forth and Clyde un procesador diseñado a medida llamado Rekursiv. La máquina verificaba en hardware el tipo y los límites de cada acceso a memoria, re
El ingeniero Dwight VandenBerghe sostiene que los lenguajes de la familia ML —especialmente OCaml y, en menor medida, SML/NJ— ofrecen una combinación de características que los hacen especialmente adecuados para desarrollar compiladores. El artículo, publicado en 1998 en el grupo comp.compilers, rep
Un desarrollador presenta bet, un lenguaje de programación real, no un experimento de juguete: compila a código nativo mediante LLVM, gestiona su propia memoria, se compila a sí mismo (self-hosting) y, como prueba de capacidad, ha servido para portar más de 56.000 líneas del código fuente original e
Go emplea una técnica intermedia entre la monomorfización completa de Rust o C++ y la borradura de tipos de Java para implementar los genéricos introducidos en Go 1.18: el GC shape stenciling. En lugar de generar una copia del código genérico por cada tipo concreto, el compilador agrupa los tipos se
En sistemas Java de baja latencia, optimizar las asignaciones de memoria y eliminar el trabajo redundante puede rendir más —y alterar la elección— que cualquier ajuste del recolector de basura. Un benchmark de latencia evento-respuesta ejecutado con JLBH sobre Chronicle-FIX ilustra esta idea con un
Un proyecto presentado como un lenguaje de sistemas compilado con anticipación (AOT) y emitido directamente a x86-64 sirve una página web desde un binario nativo sin enlazar con libc, sin máquina virtual y sin runtime. Los datos que muestra la página —tamaño del binario (190.207 bytes), PID del work
Poly/ML es una implementación del lenguaje de programación Standard ML escrita originalmente en un lenguaje experimental llamado Poly. Desde la versión 4.0 mantiene plena compatibilidad con el estándar ML97 y adopta un enfoque conservador, evitando extensiones incompatibles con la norma, aunque inco
Pon es un compilador y runtime nativo para Python 3.14 desarrollado en Rust, descrito por sus autores como el «bun/v8 de Python». A diferencia de CPython, no dispone de intérprete ni bytecode: cada módulo se analiza con el parser de ruff, se reduce a una representación intermedia única (PON IR) y se
El compilador de Elm alcanza su versión 0.19.2 con mejoras de rendimiento centradas en reducir la asignación de memoria durante el análisis sintáctico. En pruebas internas, el compilador procesa 850.000 líneas de código Elm desde cero en 5,7 segundos y completa las compilaciones incrementales en men
Sale a la luz la segunda edición de "The Garbage Collection Handbook: The Art of Automatic Memory Management", obra de referencia en el ámbito de la gestión automática de memoria que actualiza y amplía las ediciones previas de 1996 y 2012. Editada por Richard Jones y otros autores, la nueva versión
CS 6120 es un curso de nivel doctoral de la Cornell University, impartido por Adrian Sampson, que ahora se ofrece como itinerario autoguiado y abierto en la web. El programa aborda la implementación de lenguajes de programación desde una perspectiva tanto clásica como de investigación: representacio
El programador Mark Shinwell (seudónimo bajo el alias «No Marks Shinwell were harmed») ha presentado un puerto completo del runtime de OCaml, escrito originalmente en C, a Rust. El proyecto, llamado rustcaml y disponible en GitHub, se realizó con asistencia de Claude Code (modelo Opus 4.7) y consist
Lone es un intérprete de Lisp escrito en C que se distingue por su desarrollo 'desde cero' sin utilizar librerías estándar como libc. Su sistema de gestión de memoria, conocido como el 'heap', es el tema central de esta explicación y representa un caso de estudio valioso sobre cómo se construyen los
El motor JavaScript V8, utilizado en Chrome y Node.js, gestiona la memoria de los objetos JavaScript a través de un recolector de basura (garbage collector). Para optimizar el rendimiento, V8 ha evolucionado constantemente sus algoritmos de recolección de basura, buscando reducir los tiempos de paus
Un nuevo lenguaje de sistemas auto-alojado llamado 'Rail' ha sido presentado, destacando por eliminar por completo las dependencias de C y ofrecer una arquitectura innovadora. Desarrollado por Zemo-G, Rail se distingue por su compilador (4.687 líneas de código) que genera un binario ARM64 de 729 KB
Fil-C es un nuevo enfoque para implementar C/C++ con seguridad de memoria. El proyecto, detallado en corsix.org, busca resolver los problemas de seguridad inherentes a estos lenguajes mediante una transformación automatizada del código fuente. En su modelo simplificado, Fil-C inserta un `AllocationR
Este artículo, escrito por Matheus Afonso Martins Moreira, narra la evolución de un recolector de basura llamado 'Baby's Second Garbage Collector', originalmente concebido como una solución simple y precisa en el lenguaje dinámico 'lone lisp'. La historia se presenta de forma alegórica, utilizando m
Java 26 ha sido lanzada, marcando un hito importante en el desarrollo de la plataforma Java. Esta nueva versión, que llega seis meses después de Java 25, introduce una serie de mejoras enfocadas en sentar las bases para futuras innovaciones, posiblemente relacionadas con el Proyecto Valhalla. Aunque
Este documento describe una implementación de hilos cooperativos ligeros (fibers) para SBCL, una implementación de Common Lisp. El objetivo principal es proporcionar una alternativa eficiente a los hilos del sistema operativo (OS) para manejar aplicaciones concurrentes, especialmente aquellas con ca
Este artículo explora el concepto de "costos ocultos" en la programación, desafiando la idea de que los lenguajes de alto nivel son inherentemente menos eficientes que los lenguajes de bajo nivel como C o C++. El autor observa que los programadores de sistemas a menudo evitan lenguajes con recolecci
Este artículo del blog de Go explica cómo los desarrolladores están optimizando el rendimiento de Go al realizar más asignaciones de memoria en la pila (stack) en lugar del montón (heap). Las asignaciones en el montón son costosas, requieren código adicional y generan carga para el recolector de bas
El artículo "The Memory Allocator" de internals-for-interns.com explica cómo funciona el asignador de memoria del runtime de Go, un componente crucial para el rendimiento y la eficiencia del lenguaje. Imagina al asignador como un 'administrador de almacenes': Go necesita 'cajas' (memoria) de diferen
Un nuevo API de Java, incluido en OpenJDK 26, busca optimizar la eficiencia de la recolección de basura (GC) al permitir a los ingenieros cuantificar el costo de CPU asociado. Históricamente, la optimización de GC se centraba en minimizar los tiempos de pausa, pero con los colectores modernos, la re