Référence de la bibliothèque opérationnelle

Cette page répertorie les packages seed ordinaires mis en scène par le compilateur opérationnel LLVM de seed/compiler/llvm/libs. Il ne traite pas chaque répertoire de l'arborescence de compatibilité Grove de niveau supérieur comme un package actuel.

Importer et créer un modèle

Les packages de base du référentiel utilisent des importations nues :

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

L'incrément du lanceur build et run les chemins résolvent ces noms, construisent profile/target-compatible natif et .sdi artefacts et réutiliser les générations installées exactes. Le plus étroit check La sous-commande appelle actuellement la vérification directe de la source et ne prépare pas en premier un package nu manquant. Un explicite --static build sélectionne la correspondance statique seed dépendances; la liaison hébergée ordinaire utilise par défaut les artefacts dynamiques compatibles avec le profil.

La disponibilité reste limitée par le manifeste de chaque package et la matrice de capacités cibles canoniques. Un package présent dans l’arborescence source n’ajoute pas de services d’exécution à une cible qui en manque.

Catalogue de packages

Packages d'application au niveau supérieur Grove l'arbre comprend std-uuid 0,2. Il fournit sans allocation UUID validation de texte, validation stricte RFC 9562 UUIDv7, déterministe uuid_v7_from_parts, et faillible uuid_v7 génération soutenue par des millisecondes d'horloge murale hébergées plus 74 bits du système d'exploitation audité entropy paquet. Les UUID restent des identifiants plutôt que des informations d'identification.

Conventions de propriété et d’erreur

Les packages opérationnels suivent le modèle de propriété du langage :

• les constructeurs qui allouent le retour Result<T, alloc_error> ou AllocResult<T>;
• les valeurs possédées déplacent et exécutent leur destructeur exactement une fois sur les sorties structurées ;
• emprunté str et les résultats des tranches sont préservés receiver/input provenance;
• @mut les méthodes de réception détiennent des prêts exclusifs à portée d'appel et persistent les changements chez l'appelant ;
• les assistants consommateurs explicites transfèrent la propriété plutôt que de cacher les clones ;
• la construction du pointeur brut reste unsafe, même lorsque les méthodes ultérieures sont sûres parce que le wrapper préserve l'invariant audité ;
• récupérable I/O et les échecs d'analyse utilisent les ADT du package plutôt que la sentinelle valeurs ou une terminaison implicite du processus.

I/O

Le nouveau code devrait préférer io aux wrappers de compatibilité file plus étroits. La distinction importante est la saisie partielle :

• input_stream.read(mut []u8) renvoie un nombre data/EOF tapé ;
• stdin_read_all() est disponible lorsqu'il est souhaité de conserver l'intégralité de l'entrée ;
• les opérations de sortie distinguent une écriture de write_all;
• La chaîne f format_args peut être écrite directement sans allouer de propriété. chaîne.

byte_buffer et io partagent le contrat de préfixe initialisé. Les appelants sûrs n’observent jamais la capacité disponible non initialisée.

Grove exécution de la commande

Le package Grove command fournit une exécution enfant basée sur argv limitée pour les applications hébergées. command_run_configured_with_stdin_file a le même contrat de répertoire de travail, d'environnement, de délai d'attente et de limite de capture que command_run_configured, et connecte en outre un fichier d'entrée standard existant à l'entrée standard de l'enfant. Le fichier est ouvert sans suivre un lien symbolique final et tous les descripteurs parent/child conservent un nettoyage exact. Ceci est utile pour les protocoles stdio limités tels que les serveurs de langage sans appeler de shell ni conserver une deuxième copie en mémoire de la requête encadrée.

Collections et tranches

vec<t> est la séquence générique canonique cultivable. Il fournit une capacité faillible et des opérations de poussée, vérifié update/pop, des vues en lecture seule et mutables et un nettoyage exact pour les éléments à déplacement uniquement. Les types de file d’attente, d’ensemble et de mappe utilisent le même modèle de propriété.

Natif []t et mut []t restent les types de séquence empruntés standard. Le slice le package ajoute des algorithmes ; indexation vérifiée, découpage, fill, copy_from, et split_at_mut sont des opérations de base plutôt qu'un ancien emballage de tranches de graisse brute.

Tâches

task est un package ordinaire, pas un ensemble de langages intégrés. Il fournit :

• canaux délimités à propriété partagée ;
• jointures ponctuelles saisies et résultats de tâches Result<T, E> ;
• événements et annulations ;
• groupes d'attente, sémaphores, barrières et verrous.

Les points de terminaison et les tickets conservent leur linear/exact-cleanup contrats. Direct spawn reste structuré lexicalement, et postfix ? ne peut pas franchir la limite du corps engendré tant que ce corps ABI retours void.

Paquet de systèmes

system cibles déclarées profils autoportants. Les adresses brutes, les pointeurs MMIO, le stockage atomique, les tampons épinglés, les tampons DMA et le stockage de sauvegarde de l'allocateur sont créés via unsafe constructeurs. Les méthodes sûres reposent sur les obligations d’alignement, de durée de vie, d’espace d’adressage, de synchronisation et de propriété de ces constructeurs.

La présence de ce package n'implique pas que toutes les cibles hébergées ou autonomes fournissent tous les services système. Consultez System Primitives et la matrice cible Gate 14.

Grove inventaire des colis

Le plus haut niveau grove/libs/ corpus complété classification G01–G22 : 218 paquets manifestés sont couverts une seule fois par le Grove harnais de portail. Les packages portés exposent les interfaces actuelles élidées par les sources ; les paquets archivés exposent uniquement leurs éléments documentés validation/unavailability frontière. Voir Grove Arbre de compatibilité et Feuille de route de la bibliothèque.

Packages clients réseau opérationnels

Les limites complètes et les preuves de cible sont enregistrées dans le G12 et G14 lignes de base.

Packages de mise à jour à distance de l'interface utilisateur adaptative opérationnelle

Le cache n'implémente pas le conditionnel HTTP validateurs, expiration, expulsion, quota partagé, cryptage ou maintenance en arrière-plan. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release les preuves sont gelées par le mise à jour et trust-distribution lignes de base.

Ridge Forfaits v0.3

La pile de base de données locale Ridge v0.3 terminée est divisée en packages Grove ordinaires :

Il s'agit de contrats limités de base de données locale, et non PostgreSQL services de parité ou de cluster. Voir Ridge Base de données et le Ridge document de capacité pour les formes et exclusions exactes prises en charge.

Sources de vérité

• source du package et manifestes : seed/compiler/llvm/libs/*/;
• opérations connues du compilateur : Core Built-ins et Standard Libraries;
• contrats de propriété : Propriété;
• mise en œuvre et limites cibles : Statut actuel.