Programmation Objet et Distribution
partie Objective CAML
Extraits de l'ouvrage ``Objective CAML : Développement d'applications''


Emmanuel CHAILLOUX - Pascal MANOURY - Bruno PAGANO

Partie: I
Organisation d'Applications

Chapitre 1 :   Programmation Modulaire

• Introduction
• Plan du chapitre
• Modules simples
  • Compilation séparée
  • Interface et implantation
  • Relation entre interface et implantation
• Langage des modules simples
  • Deux modules pour les piles
  • Modules et portée lexicale
  • Partage de types entre modules
  • Modules simples et extension
• Modules paramétrés
  • Foncteurs et réutilisabilité
  • Déclarations locales de modules
• Exemple : gestion de comptes banquaires
  • Organisation de l'application
  • Signatures des modules paramètres
  • Module général paramétré de gestion
  • Définition des paramètres
• Exercices
  • Listes d'association
  • Vecteurs paramétrés
  • Arbres lexicaux
• Résumé
• Pour en savoir plus

Chapitre 2 :   Programmation Objet

• Introduction
• Plan du chapitre
• Classes, objets et méthodes
  • Terminologie objet
  • Déclaration d'une classe
  • Création d'une instance
  • Envoi d'un message
• Relations entre classes
  • Relation d'agrégation
  • Relation d'héritage
• Autres traits objet
  • Référencements : self et super
  • Liaison retardée
  • Représentation mémoire et envoi de messages
  • Initialisation
  • Méthodes privées
• Types et généricité
  • Classes et méthodes abstraites
  • Classes, types et objets
  • Héritage multiple
  • Classes paramétrées
• Sous-typage et polymorphisme d'inclusion
  • Exemple
  • Sous-typage n'est pas héritage
  • Polymorphisme d'inclusion
  • Égalité entre objets
• Style fonctionnel
• Autres éléments de l'extension objet
  • Interface
  • Déclarations locales dans les classes
• Exercices
  • Piles en objet
  • Liaison retardée
  • Classes abstraites et évaluateur d'expressions
  • Jeu de la vie en objet
• Résumé
• Pour en savoir plus

Partie: II
Concurrence et Distribution

• Présentation de la partie IV

Chapitre 3 :   Communication et processus

• Introduction
• Plan du chapitre
• Module Unix
  • Gestion des erreurs
  • Portabilité des appels système
• Descripteurs de fichiers
  • Manipulation des fichiers
  • Entrées-sorties sur un fichier
• Processus
  • Exécution d'un programme
  • Lancement de processus
  • Création d'un processus par duplication
  • Ordre et moment d'exécution
  • Filiation, mort et funérailles d'un processus
• Communication entre processus
  • Tubes de communication
  • Canaux de communication
  • Signaux sous UNIX
• Exercices
  • Compter les mots : la commande wc
  • Pipelinage pour correcteur orthographique
  • Trace interactive
• Résumé
• Pour en savoir plus

Chapitre 4 :   Programmation concurrente

• Introduction
• Plan du chapitre
• Processus concurrents
  • Compilation avec processus légers
  • Module Thread
• Synchronisation des processus
  • Section critique et exclusion mutuelle
  • Module Mutex
  • Attente et synchronisation
  • Module Condition
• Communication synchrone
  • Synchronisation sur événements de communication
  • Valeurs transmises
  • Module Event
• Exemple : bureau de Poste
  • Le matériel
  • Clients et guichetiers
  • L'ensemble
• Résumé
• Exercices
  • Les philosophes débloqués
  • Producteurs et consommateurs d'objet
• Pour en savoir plus

Chapitre 5 :   Programmation Distribuée

• Introduction
• Plan du chapitre
• Réseau Internet
  • Module Unix et adressage IP
• Prises de communication
  • Description et création
  • Adresses et connexions
• Clients-Serveurs
  • Schémas d'actions d'un client-serveur
  • Programmation d'un client-serveur
  • Code du serveur
  • Tester avec telnet
  • Code du client
  • Clients-serveurs avec processus légers
  • Client-serveur à plusieurs niveaux
  • Remarques sur les clients-serveurs réalisés
• Protocoles de communication
  • Protocoles avec acquittement et limite de temps
  • Transmission de valeurs en représentation interne
  • Inter-opérer avec d'autres langages
• Exercices
  • Service : horloge
  • Jeu d'action réseau
  • Distribution de calculs : jeu de la vie
• Résumé
• Pour en savoir plus

Bibliographie

Références

[And91]

G. Andrews. Concurrent Programming : Principles and practices. Benjamin Cumming, 1991.

[Ari86]

Ben Ari. Processus concurrents. Masson, 1986.

[CDM96]

Rémy Card, Éric Dumas, and Franck Mével. Programmation Linux 2.0, API système et fonctionnement du noyau. Eyrolles, 1996.

[Ciz98]

Gisèle Cizault. IPv6 : Théorie et pratique. O'Reilly, 1998.

[GHJV98]

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Pattern : catalogue de modèles de conception réutilisables. MIT, 1998.

[Ler92]

Xavier Leroy. Programmation du système unix en caml light. Technical Report RR-147, INRIA, Décembre 1992.

[MNC⁺89]

G. Masini, A. Napoli, D. Colnet, D. Léonard, and K. Tombre. Les langages à objets. InterEditions, 1989.

[Rep92]

John Reppy. Higher-Order Concurrency. PhD thesis, Cornell University, June 1992.

[Rif90]

Jean-Marie Rifflet. La communication sous Unix. EdiSciences, 1990.

Ce document a été traduit de L^AT_EX par H^EV^EA et H^AC^HA.