Daily Arxiv

Cette page résume et organise les publications en intelligence artificielle du monde entier.
Les contenus sont synthétisés grâce à Google Gemini et le service est proposé à but non lucratif.
Les droits d'auteur des articles appartiennent à leurs auteurs ou institutions respectives ; en cas de partage, il suffit d'en mentionner la source.

Programmation de processus collectifs distribués dans le calcul d'échange

Created by
  • Haebom

Auteur

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

Contour

Cet article présente une méthode de programmation du comportement collectif et adaptatif de dispositifs informatiques distribués dans divers environnements tels que l'Internet des objets (IoT). Nous supposons un environnement dans lequel plusieurs dispositifs interagissent avec leurs voisins et exécutent des cycles de détection-calcul-interaction quasi synchronisés, et où un seul programme effectue le calcul qui mappe les valeurs de détection et les messages reçus aux messages de sortie et transmis. Pour programmer l'ensemble du système informatique collectif, nous proposons une abstraction de processus collectif distribué capable de définir simultanément la logique de formation d'ensemble et les opérations collectives. Cette abstraction est formalisée en eXchange Calculus (XC), un langage fonctionnel de base basé sur les valeurs de voisinage (mappage des voisins aux valeurs), et implémentée dans le langage FCPP. Nous expérimentons le processus collectif distribué à travers deux études de cas : la propagation de messages multi-sauts et la surveillance distribuée des caractéristiques spatiales. Nous discutons ensuite des caractéristiques et de l'adéquation de l'abstraction à diverses applications informatiques distribuées.

Takeaways, Limitations

Takeaways:
Un nouveau modèle d'abstraction pour la programmation de systèmes informatiques collectifs et adaptatifs dans l'environnement de l'Internet des objets
Définition et gestion efficaces de la formation d'ensembles et des tâches collectives grâce à des processus collectifs distribués
Implémentation et vérification expérimentale à l'aide du langage eXchange Calculus (XC) et FCPP
Suggère l'applicabilité à diverses applications informatiques distribuées
Limitations:
Des recherches supplémentaires sont nécessaires sur l’évolutivité et les performances de l’abstraction proposée.
Une validation supplémentaire de l’applicabilité dans des environnements complexes réels est nécessaire.
Des recherches supplémentaires sont nécessaires sur la généralisabilité à divers types de systèmes informatiques distribués.
👍