Riferimento alla libreria operativa

Questa pagina cataloga i pacchetti seed ordinari gestiti dal compilatore operativo LLVM da seed/compiler/llvm/libs. Non tratta ogni directory nell'albero di compatibilità Grove di livello superiore come un pacchetto corrente.

Importa e crea modello

I pacchetti core del repository utilizzano importazioni semplici:

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

I percorsi incrementali build e run del programma di avvio risolvono questi nomi, creano artefatti profile/target-compatible nativi e .sdi e riutilizzano le esatte generazioni installate. Il sottocomando più ristretto check attualmente invoca il controllo diretto del codice sorgente e non mette prima in scena un pacchetto nudo mancante. Una build --static esplicita seleziona le dipendenze statiche seed corrispondenti; il collegamento ospitato ordinario utilizza gli artefatti dinamici compatibili con il profilo per impostazione predefinita.

La disponibilità rimane vincolata dal manifest di ciascun pacchetto e dalla matrice di capacità di destinazione canonica. Un pacchetto presente nell'albero di origine non aggiunge servizi runtime a una destinazione che ne è priva.

Catalogo dei pacchetti

Pacchetti applicativi di primo livello Grove l'albero include std-uuid 0,2. Fornisce senza allocazione UUID convalida del testo, convalida rigorosa UUIDv7 RFC 9562, deterministica uuid_v7_from_parts, e fallibile uuid_v7 generazione supportata dai millisecondi dell'orologio da parete ospitato più 74 bit dal sistema operativo controllato entropy pacchetto. Gli UUID rimangono identificatori anziché credenziali.

Proprietà e convenzioni di errore

I pacchetti operativi seguono il modello di proprietà della lingua:

• costruttori che allocano restituiscono Result<T, alloc_error> o AllocResult<T>;
• i valori posseduti si muovono ed eseguono il loro distruttore esattamente una volta su uscite strutturate;
• preso in prestito str e i risultati delle sezioni vengono preservati receiver/input provenienza;
• @mut i metodi riceventi detengono prestiti esclusivi nell'ambito della chiamata e mantengono le modifiche nel chiamante;
• gli aiutanti espliciti al consumo trasferiscono la proprietà anziché nascondere i cloni;
• la costruzione del puntatore grezzo rimane unsafe, anche quando i metodi successivi sono sicuri perché il wrapper preserva l'invariante controllato;
• recuperabile I/O e gli errori di analisi utilizzano gli ADT del pacchetto anziché la sentinella valori o terminazione implicita del processo.

I/O

Il nuovo codice dovrebbe preferire io rispetto ai wrapper di compatibilità file più stretti. La distinzione importante è l’input parziale:

• input_stream.read(mut []u8) restituisce un conteggio data/EOF digitato;
• stdin_read_all() è disponibile quando si desidera conservare l'input completo;
• le operazioni di output distinguono una scrittura da write_all;
• La stringa f format_args può essere scritta direttamente senza allocare un valore di proprietà stringa.

byte_buffer e io condividono il contratto con prefisso inizializzato. I chiamanti sicuri non rispettano mai la capacità di riserva non inizializzata.

Grove esecuzione del comando

Il Grove command Il pacchetto fornisce un'esecuzione figlio limitata basata su argv per le applicazioni ospitate. command_run_configured_with_stdin_file ha lo stesso contratto di directory di lavoro, ambiente, timeout e limite di acquisizione di command_run_configurede inoltre collega un file di input regolare esistente all'input standard del bambino. Il file viene aperto senza seguire un collegamento simbolico finale e tutto parent/child i descrittori mantengono la pulizia esatta. Ciò è utile per i protocolli stdio limitati come i server linguistici senza invocare una shell o conservare una seconda copia in memoria della richiesta con frame.

Collezioni e fette

vec<t> è la sequenza generica coltivabile canonica. Fornisce capacità fallibile e operazioni push, controllate update/pop, visualizzazioni di sola lettura e modificabili e pulizia esatta per gli elementi di solo spostamento. I tipi di coda, set e mappa utilizzano lo stesso modello di proprietà.

Nativo []t e mut []t rimangono i tipi di sequenze presi in prestito standard. Il slice il pacchetto aggiunge algoritmi; controllato l'indicizzazione, l'affettatura, fill, copy_from, e split_at_mut sono operazioni fondamentali piuttosto che un involucro legacy di fette di grasso grezzo.

Compiti

task è un pacchetto ordinario, non un insieme di linguaggi integrati. Fornisce:

• canali delimitati dalla suddivisione della proprietà;
• digitato one-shot join e Result<T, E> risultati del compito;
• eventi e cancellazioni;
• gruppi di attesa, semafori, barriere e serrature.

Gli endpoint e i ticket mantengono la loro linear/exact-cleanup contratti. Diretto spawn rimane lessicalmente strutturato e suffisso ? non può attraversare il confine del corpo generato mentre quel corpo ABI ritorna void.

Pacchetto sistemi

system obiettivi dichiarati profili indipendenti. Gli indirizzi grezzi, i puntatori MMIO, l'archiviazione atomica, i buffer bloccati, i buffer DMA e l'archiviazione di supporto dell'allocatore vengono creati tramite unsafe costruttori. I metodi sicuri si basano sull'allineamento, sulla durata, sullo spazio degli indirizzi, sulla sincronizzazione e sugli obblighi di proprietà di tali costruttori.

La presenza di questo pacchetto non implica che tutte le destinazioni ospitate o indipendenti forniscano tutti i servizi di sistema. Consultare System Primitives e la matrice target Gate 14.

Grove inventario dei pacchi

Il livello più alto grove/libs/ corpus completato classificazione G01–G22: 218 pacchetti manifestati sono coperti esattamente una volta dal Grove cablaggio del cancello. I pacchetti portati espongono le attuali interfacce elise dal codice sorgente; i pacchetti archiviati espongono solo i loro file documentati validation/unavailability confine. Vedi Grove Albero di compatibilità e Roadmap della biblioteca.

Pacchetti client di rete operativi

I limiti completi e le evidenze target sono registrati nel documento G12 e G14 linee di base.

Pacchetti di aggiornamento remoto dell'interfaccia utente adattiva operativa

La cache non implementa il condizionale HTTP validatori, scadenza, eliminazione, quota condivisa, crittografia o manutenzione in background. Nativo macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release le prove sono congelate dal update e distribuzione della fiducia linee di base.

Ridge pacchetti v0.3

Lo stack del database locale Ridge v0.3 completato è suddiviso in pacchetti Grove ordinari:

Si tratta di contratti di database locale vincolati, non di parità PostgreSQL o di servizi cluster. Consulta il Ridge Database e il documento sulle funzionalità Ridge per le forme e le esclusioni esatte supportate.

Fonti di verità

• origine e manifest del pacchetto: seed/compiler/llvm/libs/*/;
• operazioni note al compilatore: Core Built-in e librerie standard;
• contratti di proprietà: Proprietà;
• limiti di implementazione e target: Stato attuale.