Memoria y propiedad¶
Un presupuesto es un contrato contable. Solo tiene sentido si la duración del cargo coincide con la del almacenamiento que cubre.
El cómputo sigue al almacenamiento¶
Reserva bytes antes de asignar y libera el cargo después de liberar el almacenamiento. Al sustituir un búfer, ambos pueden coexistir: carga toda la nueva asignación durante ese intervalo. Contar solo el aumento subestima el máximo.
La sesión recupera su entrada; la entrada del llamador sigue siendo responsabilidad de este. read_owned y read_kept expresan la diferencia. Una lectura menor no reduce la asignación ya realizada.
Un cero conocido no es un valor desconocido¶
Una sonda puede saber que no queda margen o no conseguir averiguarlo. Son estados distintos: la política usa una marca de conocimiento, no cero para ambos. En Linux se aplican los límites cgroup legibles de los ancestros visibles. La memoria libre del anfitrión puede ser engañosa para un contenedor.
Los diagnósticos sobreviven al espacio de trabajo¶
Un informe posterior a la sesión debe poseer título, fuente y corrección, sin prestar un búfer liberado. Los intervalos internos usan desplazamientos en bytes; las columnas visibles cuentan escalares Unicode. Los marcadores de terminal consideran aparte el ancho visual.
El límite restante¶
Guidedog mide su almacenamiento administrado. Typst y las dependencias nativas gestionan sus propias asignaciones; un PDF grande puede superar mucho el presupuesto del anfitrión. La validación remota de CPython midió unos 14,5 GiB de RSS máximo incluido Typst. Es evidencia de esa carga, no un límite universal. Consulta Mensajes de error para las opciones al agotar el presupuesto.