Referencia de la biblioteca operativa

Esta página cataloga los paquetes seed ordinarios organizados por el compilador operativo LLVM de seed/compiler/llvm/libs. No trata todos los directorios del árbol de compatibilidad Grove de nivel superior como un paquete actual.

Importar y construir modelo

Los paquetes principales del repositorio utilizan importaciones simples:

use "io"
use "parse"
use "vec"

Las rutas incrementales build y run del iniciador resuelven estos nombres, crean artefactos nativos profile/target-compatible y .sdi y reutilizan las generaciones instaladas exactas. El subcomando más limitado check actualmente invoca la verificación directa de código fuente y no prepara primero un paquete básico que falta. Una compilación --static explícita selecciona dependencias estáticas seed coincidentes; La vinculación alojada ordinaria utiliza los artefactos dinámicos compatibles con el perfil de forma predeterminada.

La disponibilidad sigue estando limitada por el manifiesto de cada paquete y la matriz de capacidad de destino canónica. Un paquete que está presente en el árbol de origen no agrega servicios de ejecución a un destino que carece de ellos.

Catálogo de paquetes

Paquetes de aplicaciones en el nivel superior. Grove árbol incluye std-uuid 0.2. Proporciona asignación gratuita UUID validación de texto, validación estricta RFC 9562 UUIDv7, determinista uuid_v7_from_partsy falible uuid_v7 generación respaldada por milisegundos de reloj de pared alojados más 74 bits del sistema operativo auditado entropy paquete. Los UUID siguen siendo identificadores más que credenciales.

Convenciones de propiedad y error

Los paquetes operativos siguen el modelo de propiedad del idioma:

• constructores que asignan retorno result<t, alloc_error> o alloc_result<t>;
• los valores propios se mueven y ejecutan su destructor exactamente una vez en salidas estructuradas;
• prestado str y los resultados del corte se conservan receiver/input procedencia;
• @mut Los métodos de receptor tienen préstamos exclusivos con alcance de llamada y cambios persistentes. en la persona que llama;
• los ayudantes consumidores explícitos transfieren la propiedad en lugar de ocultar clones;
• La construcción del puntero sin procesar permanece unsafe, incluso cuando los métodos posteriores son seguros porque el contenedor conserva el invariante auditado;
• El I/O recuperable y los errores de análisis utilizan ADT de paquete en lugar de centinela. valores o terminación implícita del proceso.

I/O

El nuevo código debería preferir io sobre el más estrecho file envoltorios de compatibilidad. La distinción importante es la entrada parcial:

• input_stream.read(mut []u8) devuelve un recuento data/EOF escrito;
• stdin_read_all() está disponible cuando se desea conservar la entrada completa;
• las operaciones de salida distinguen una escritura de write_all;
• f-string format_args se puede escribir directamente sin asignar una propiedad cuerda.

byte_buffer y io comparten el contrato de prefijo inicializado. Las personas que llaman de forma segura nunca observan capacidad sobrante no inicializada.

Grove ejecución de comando

el Grove command El paquete proporciona ejecución secundaria limitada basada en argv para aplicaciones alojadas. command_run_configured_with_stdin_file tiene el mismo directorio de trabajo, entorno, tiempo de espera y contrato de límite de captura que command_run_configuredy, además, conecta un archivo de entrada normal existente a la entrada estándar del niño. El archivo se abre sin seguir un enlace simbólico final y todo parent/child Los descriptores conservan la limpieza exacta. Esto es útil para protocolos stdio limitados, como servidores de idiomas, sin invocar un shell o retener una segunda copia en memoria de la solicitud enmarcada.

Colecciones y cortes

vec<t> es la secuencia genérica cultivable canónica. Proporciona capacidad falible y operaciones de empuje, verificadas update/pop, vistas de solo lectura y mutables, y limpieza exacta para elementos de solo movimiento. Los tipos de cola, conjunto y mapa utilizan el mismo modelo de propiedad.

Nativo []t y mut []t siguen siendo los tipos de secuencia estándar prestados. el slice el paquete agrega algoritmos; indexación comprobada, corte, fill, copy_from, y split_at_mut son operaciones centrales en lugar de una envoltura heredada de rebanadas de grasa cruda.

Tareas

task es un paquete normal, no un conjunto de lenguajes integrados. Proporciona:

• canales delimitados con propiedad dividida;
• combinaciones one-shot escritas y result<t,e> resultados de la tarea;
• eventos y cancelación;
• grupos de espera, semáforos, barreras y cerraduras.

Los puntos finales y los tickets conservan su linear/exact-cleanup contratos. directo spawn permanece estructurado léxicamente y postfijo ? no puede cruzar el límite del cuerpo generado mientras ese cuerpo ABI regresa void.

Paquete de sistemas

system Objetivos declarados perfiles exentos. Las direcciones sin procesar, los punteros MMIO, el almacenamiento atómico, los búferes anclados, los búferes DMA y el almacenamiento de respaldo del asignador se crean a través de unsafe constructores. Los métodos seguros dependen de las obligaciones de alineación, vida útil, espacio de direcciones, sincronización y propiedad de esos constructores.

La presencia de este paquete no implica que todos los destinos alojados o independientes proporcionen todos los servicios del sistema. Consulte Primitivas del sistema y la matriz de destino Gate 14.

Grove inventario de paquetes

el nivel superior grove/libs/ corpus completó la clasificación G01-G22: 218 paquetes manifestados están cubiertos exactamente una vez por el Grove arnés de puerta. Los paquetes portados exponen las interfaces actuales eliminadas del código fuente; Los paquetes archivados exponen sólo sus documentos documentados. validation/unavailability límite. Ver Grove Árbol de compatibilidad y Hoja de ruta de la biblioteca.

Ridge paquetes v0.3

La pila de base de datos local Ridge v0.3 completa se divide en paquetes Grove normales:

Estos son contratos de base de datos locales limitados, no PostgreSQL servicios de paridad o cluster. Ver Ridge Base de datos y el Ridge documento de capacidad para conocer las formas y exclusiones exactas admitidas.

fuentes de verdad

• fuente del paquete y manifiestos: seed/compiler/llvm/libs/*/;
• operaciones conocidas por el compilador: Bibliotecas básicas integradas y estándar;
• contratos de propiedad: Ownership;
• límites de implementación y objetivos: Estado actual.