Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Cours program mat ion du systeme unix en ocaml

Programmation du syst eme Unix en Objective Caml Xavier Leroy et Didier R ?emy c INRIA Rocquencourt Droits r ?eserv ?es Distribut ?e sous licence Creative Commons Paternit ?e ??Pas d ? Utilisation Commerciale ?? Partage des Conditions Initiales a l ? Identique France Voir http creativecommons org licenses by-nc-sa fr pour les termes l ?egaux CR ?esum ?e Ce document est un cours d ? introduction a la programmation du systeme Unix mettant l ? accent sur la communication entre les processus La principale nouveaut ?e de ce travail est l ? utilisation du langage Objective Caml un dialecte du langage ML ala place du langage C qui est d ? ordinaire associ ?e a la programmation systeme Ceci donne des points de vue nouveaux a la fois sur la programmation syst eme et sur le langage ML Unix system programming in Objective Caml This document is an introductory course on Unix system programming with an emphasis on communications between processes The main novelty of this work is the use of the Objective Caml language a dialect of the ML language instead of the C language that is customary in systems programming This gives an unusual perspective on systems programming and on the ML language CTable des mati eres G ?en ?eralit ?es Les modules Sys et Unix Interface avec le programme appelant Traitement des erreurs Fonctions de biblioth eque Les ?chiers Le syst eme de ?chiers Noms de ?chiers descripteurs de ?chiers M ?eta-donn ?ees types et permissions Op ?erations sur les r ?epertoires Exemple complet recherche dans la hi ?erarchie Ouverture d ? un ?chier Lecture et ?ecriture Fermeture d ? un descripteur Exemple complet copie de ?chiers Cou t des appels syst eme Les tampons Exemple complet une petite biblioth eque d ? entr ?ees-sorties Positionnement Op ?erations sp ?eci ?ques a certains types de ?chiers Verrous sur des ?chiers Exemple complet copie r ?ecursive de ?chiers Exemple Tape ARchive Les processus Cr ?eation de processus Exemple complet la commande leave Attente de la terminaison d ? un processus Lancement d ? un programme Exemple complet un mini-shell Les signaux Le comportement par d ?efaut Produire des signaux Changer l ? e ?et d ? un signal Masquer des signaux Signaux et appels-syst eme Le temps qui passe Probl emes avec les signaux C Communications inter-processus classiques Les tuyaux Exemple complet le crible d ? E ?ratosthene parallele Les tuyaux nomm ?es Redirections de descripteurs Exemple complet composer N commandes Multiplexage d ? entr ?ees-sorties Miscelleaneous write Communications modernes les prises Les prises Cr ?eation d ? une prise Adresses Connexion a un serveur D ?econnexion Exemple complet Le client universel E ?tablissement d ? un service R ?eglage des prises Exemple complet le serveur universel Communication en mode d ?econnect ?e Primitives de haut niveau Exemples de protocoles Exemple complet requ etes http Les coprocessus G ?en ?eralit ?es Cr ?eation et terminaison des coprocessus Mise en attente Synchronisation entre coprocessus les verrous Exemple complet