Referência da Biblioteca Operacional

Esta página cataloga os pacotes seed comuns preparados pelo compilador operacional LLVM de seed/compiler/llvm/libs. Ele não trata todos os diretórios da árvore de compatibilidade Grove de nível superior como um pacote atual.

Importar e construir modelo

Os pacotes principais do repositório usam importações simples:

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

Os caminhos incrementais build e run do inicializador resolvem esses nomes, criam artefatos nativos profile/target-compatible e .sdi e reutilizam gerações instaladas exatas. O subcomando check mais restrito atualmente invoca a verificação direta da fonte e não prepara primeiro um pacote vazio ausente. Uma construção --static explícita seleciona dependências seed estáticas correspondentes; a vinculação hospedada comum usa os artefatos dinâmicos compatíveis com o perfil por padrão.

A disponibilidade permanece limitada pelo manifesto de cada pacote e pela matriz de capacidade de destino canônica. Um pacote presente na árvore de origem não adiciona serviços de tempo de execução a um destino que não os possui.

Catálogo de pacotes

Pacotes de aplicativos de nível superior Grove árvore inclui std-uuid 0,2. Ele fornece livre de alocação UUID validação de texto, validação estrita RFC 9562 UUIDv7, determinística uuid_v7_from_partse falível uuid_v7 geração apoiada por milissegundos de relógio hospedado mais 74 bits do sistema operacional auditado entropy pacote. Os UUIDs permanecem identificadores em vez de credenciais.

Convenções de propriedade e erro

Os pacotes operacionais seguem o modelo de propriedade do idioma:

• construtores que alocam o retorno result<t, alloc_error> ou alloc_result<t>;
• os valores possuídos movem-se e executam seu destruidor exatamente uma vez nas saídas estruturadas;
• emprestado str e os resultados da fatia preservam receiver/input proveniência;
• @mut métodos receptores mantêm empréstimos exclusivos com escopo de chamada e persistem alterações no chamador;
• ajudantes consumidores explícitos transferem propriedade em vez de esconder clones;
• a construção bruta do ponteiro permanece unsafe, mesmo quando métodos posteriores são seguros porque o wrapper preserva a invariante auditada;
• recuperável I/O e falhas de análise usam ADTs de pacote em vez de sentinela valores ou encerramento implícito do processo.

I/O

O novo código deve preferir io aos wrappers de compatibilidade file mais restritos. A distinção importante é a entrada parcial:

• input_stream.read(mut []u8) retorna uma contagem data/EOF digitada;
• stdin_read_all() está disponível quando se deseja reter a entrada completa;
• as operações de saída distinguem uma gravação de write_all;
• A string f format_args pode ser escrita diretamente sem alocar uma propriedade corda.

byte_buffer e io compartilham o contrato de prefixo inicializado. Chamadores seguros nunca observam capacidade não inicializada sobressalente.

Grove execução de comando

O Grove command O pacote fornece execução infantil baseada em argv limitada para aplicativos hospedados. command_run_configured_with_stdin_file tem o mesmo diretório de trabalho, ambiente, tempo limite e contrato de limite de captura que command_run_configurede, adicionalmente, conecta um arquivo de entrada regular existente à entrada padrão do filho. O arquivo é aberto sem seguir um link simbólico final e todos parent/child os descritores mantêm a limpeza exata. Isto é útil para protocolos stdio limitados, como servidores de linguagem, sem invocar um shell ou reter uma segunda cópia na memória da solicitação emoldurada.

Coleções e fatias

vec<t> é a sequência genérica canônica que pode ser cultivada. Ele fornece capacidade falível e operações push, verificadas update/pop, visualizações somente leitura e mutáveis e limpeza exata para elementos somente movimentação. Os tipos de fila, conjunto e mapa usam o mesmo modelo de propriedade.

Nativo []t e mut []t permanecem os tipos de sequência emprestados padrão. O slice pacote adiciona algoritmos; indexação verificada, fatiamento, fill, copy_frome split_at_mut são operações principais, em vez de um invólucro herdado de fatias de gordura brutas.

Tarefas

task é um pacote comum, não um conjunto de linguagens integradas. Ele fornece:

• canais limitados de divisão de propriedade;
• digitou uniões únicas e result<t,e> resultados da tarefa;
• eventos e cancelamento;
• grupos de espera, semáforos, barreiras e bloqueios.

Endpoints e tickets mantêm seus linear/exact-cleanup contratos. Direto spawn permanece lexicalmente estruturado e postfix ? não pode cruzar o limite do corpo gerado enquanto esse corpo ABI retorna void.

Pacote de sistemas

system alvos declarados perfis independentes. Endereços brutos, ponteiros MMIO, armazenamento atômico, buffers fixados, buffers DMA e armazenamento de apoio do alocador são criados por meio de unsafe construtores. Os métodos seguros dependem do alinhamento, vida útil, espaço de endereço, sincronização e obrigações de propriedade desses construtores.

A presença deste pacote não implica que todos os destinos hospedados ou independentes forneçam todos os serviços do sistema. Consulte System Primitives e a matriz de destino Gate 14.

Grove inventário de pacotes

O nível superior grove/libs/ corpus concluído Classificação G01–G22: 218 pacotes manifestados são cobertos exatamente uma vez pelo Grove arnês do portão. Pacotes portados expõem interfaces atuais excluídas da origem; pacotes arquivados expõem apenas seus documentos documentados validation/unavailability limite. Veja Grove Árvore de compatibilidade e Roteiro da Biblioteca.

Ridge pacotes v0.3

A pilha de banco de dados local Ridge v0.3 completa é dividida em pacotes Grove comuns:

Esses são contratos de banco de dados local limitados, não paridade PostgreSQL ou serviços de cluster. Consulte Ridge Database e o documento de capacidade Ridge para obter as formas e exclusões exatas suportadas.

Fontes da verdade

• fonte e manifestos do pacote: seed/compiler/llvm/libs/*/;
• operações conhecidas do compilador: Core Built-ins and Standard Libraries;
• contratos de propriedade: Propriedade;
• implementação e limites de meta: Status Atual.