Solutions temps réel sous Linux - · PDF filetemps partagé •Mesure du temps...

Click here to load reader

  • date post

    11-Sep-2018
  • Category

    Documents

  • view

    216
  • download

    0

Embed Size (px)

Transcript of Solutions temps réel sous Linux - · PDF filetemps partagé •Mesure du temps...

  • Solutions temps relsous Linux

    Solutions temps relsous Linux

    C h r i s t o p h e B l a e s s

    C.

    Bla

    ess

    Sol

    utio

    ns t

    emps

    re

    l so

    us L

    inux

    C. BlaessExpert reconnu de Linux dans lindustrie, Christophe Blaess conoit et met en uvre des systmes embarqus industriels, et propose au sein de la socit Logilin quil a cre en 2004 des prestations dingnierie et de conseil dans diffrents domaines lis Linux. Soucieux de partager ses connaissances et son savoir-faire, il dispense galement des formations professionnelles (Linux temps rel, Linux embarqu avec Yocto, criture de drivers, programmation systme), co-organise des rencontres ddies aux systmes libres embarqus (Paris Embedded Meetup) et publie rgulirement des articles sur son blog et dans des revues spcialises.

    Comprendre le fonctionnement de lordonnanceur et du noyauPour concevoir un systme quilibr, stable et ractif aux vnements externes, il est indispensable de bien comprendre le rle et lorganisation de ses divers composants. Cest lun des premiers buts de ce livre, qui dtaille et commente les interactions, les activations et les commutations des tches. De trs nombreux exemples illustrant le propos permettront au lecteur de raliser ses propres expriences sur son poste Linux.

    Btir un systme temps rel sous contraintes temporelles fortesPour construire une application temps rel sous Linux, larchitecte logiciel doit choisir entre diffrentes solutions, un choix crucial qui influera sensiblement sur les limites de fonctionnement de son application. Dans cet ouvrage, lauteur tudie les environnements libres pouvant rpondre des contraintes temporelles plus ou moins fortes et propose des outils pour valider le comportement des tches face des charges logicielles ou interruptives importantes. Augmente et mise jour, la deuxime dition a pour support dexprimentation le nano-ordinateur Raspberry Pi. Elle tudie galement la mise en uvre du temps rel sur la carte BeagleBone Black, de porte plus industrielle.

    Au sommaireMultitche et commutation Multitche sous Linux Systmes multiprocesseurs tats des tches Interruptions, exceptions et appels systme Mode noyau Interruptions et exceptions Appels systme Threads du noyau Ordonnancement temps partag et priorits Temps partag Configuration des priorits Limitations de lordonnancement temps partag Mesure du temps Tches priodiques Premption des tches Principes du temps rel Traitement direct dans le noyau Temps rel sous Linux Performances du temps rel souple Timers temps rel Temps de commutation Premptibilit du noyau Problmes temps rel classiques Dmarrage en Round Robin Inversion de priorit Prise de mutex Limites et amliorations du temps rel Linux Traitement des interruptions PREEMPT-RT Outils de mesure des performances conomies dnergie Extensions temps rel de Linux Les nanokernels temps rel Installation de Xenomai Expriences avec Xenomai Programmer avec Xenomai Programmation de tches simples Alarmes et tches priodiques Synchronisation des tches Traitement des interruptions Programmation dun driver Interruptions avec Xenomai.

    @Sur le site http://christophe.blaess.fr Tlchargez le code source des exemples Consultez les corrigs des exercices et de nombreux documents complmentaires Dialoguez avec lauteur

    Code

    di

    teur

    : G

    1420

    8IS

    BN :

    978

    -2-2

    12-1

    4208

    -2

    Conc

    eptio

    n :

    Nor

    d Co

    mpo

    35

    qui sadresse cet ouvrage ? Aux dveloppeurs, architectes logiciels et ingnieurs devant mettre en uvre des applications temps rel sous Linux Aux dcideurs et industriels souhaitant installer un systme temps rel sous Linux Aux tudiants en informatique

    2e dition

    2e

    dit

    ion

    2e dition

    Cas pratique : le Raspberry Pi

    Avec 50 exercices corrigs

    G14208_Temps_Reel_COUV_2e_04.indd Toutes les pages 06/11/15 14:13

  • Solutions temps relsous Linux

    Solutions temps relsous Linux

    C h r i s t o p h e B l a e s s

    C.

    Bla

    ess

    Sol

    utio

    ns t

    emps

    re

    l so

    us L

    inux

    C. BlaessExpert reconnu de Linux dans lindustrie, Christophe Blaess conoit et met en uvre des systmes embarqus industriels, et propose au sein de la socit Logilin quil a cre en 2004 des prestations dingnierie et de conseil dans diffrents domaines lis Linux. Soucieux de partager ses connaissances et son savoir-faire, il dispense galement des formations professionnelles (Linux temps rel, Linux embarqu avec Yocto, criture de drivers, programmation systme), co-organise des rencontres ddies aux systmes libres embarqus (Paris Embedded Meetup) et publie rgulirement des articles sur son blog et dans des revues spcialises.

    Comprendre le fonctionnement de lordonnanceur et du noyauPour concevoir un systme quilibr, stable et ractif aux vnements externes, il est indispensable de bien comprendre le rle et lorganisation de ses divers composants. Cest lun des premiers buts de ce livre, qui dtaille et commente les interactions, les activations et les commutations des tches. De trs nombreux exemples illustrant le propos permettront au lecteur de raliser ses propres expriences sur son poste Linux.

    Btir un systme temps rel sous contraintes temporelles fortesPour construire une application temps rel sous Linux, larchitecte logiciel doit choisir entre diffrentes solutions, un choix crucial qui influera sensiblement sur les limites de fonctionnement de son application. Dans cet ouvrage, lauteur tudie les environnements libres pouvant rpondre des contraintes temporelles plus ou moins fortes et propose des outils pour valider le comportement des tches face des charges logicielles ou interruptives importantes. Augmente et mise jour, la deuxime dition a pour support dexprimentation le nano-ordinateur Raspberry Pi. Elle tudie galement la mise en uvre du temps rel sur la carte BeagleBone Black, de porte plus industrielle.

    Au sommaireMultitche et commutation Multitche sous Linux Systmes multiprocesseurs tats des tches Interruptions, exceptions et appels systme Mode noyau Interruptions et exceptions Appels systme Threads du noyau Ordonnancement temps partag et priorits Temps partag Configuration des priorits Limitations de lordonnancement temps partag Mesure du temps Tches priodiques Premption des tches Principes du temps rel Traitement direct dans le noyau Temps rel sous Linux Performances du temps rel souple Timers temps rel Temps de commutation Premptibilit du noyau Problmes temps rel classiques Dmarrage en Round Robin Inversion de priorit Prise de mutex Limites et amliorations du temps rel Linux Traitement des interruptions PREEMPT-RT Outils de mesure des performances conomies dnergie Extensions temps rel de Linux Les nanokernels temps rel Installation de Xenomai Expriences avec Xenomai Programmer avec Xenomai Programmation de tches simples Alarmes et tches priodiques Synchronisation des tches Traitement des interruptions Programmation dun driver Interruptions avec Xenomai.

    @Sur le site http://christophe.blaess.fr Tlchargez le code source des exemples Consultez les corrigs des exercices et de nombreux documents complmentaires Dialoguez avec lauteur

    qui sadresse cet ouvrage ? Aux dveloppeurs, architectes logiciels et ingnieurs devant mettre en uvre des applications temps rel sous Linux Aux dcideurs et industriels souhaitant installer un systme temps rel sous Linux Aux tudiants en informatique

    2e dition

    2e

    dit

    ion

    2e dition

    Cas pratique : le Raspberry Pi

    Avec 50 exercices corrigs

    G14208_Temps_Reel_COUV_2e_04.indd Toutes les pages 06/11/15 14:13

    http://www.editions-eyrolles.com

  • Solutions temps rel sous Linux2e dition

    G00000_TempsReel-PDT_2e.indd 1 29/10/15 10:44

  • Dans la collection Les guides de formation Tsoft

    J.-F. Bouchaudy. Linux Administration. Tome 1 : les bases de ladministration systme.N14082, 3e dition, 2014, 690 pages.

    J.-F. Bouchaudy. Linux Administration. Tome 2 : administration systme avance.N12882, 2e dition, 2011, 504 pages.

    J.-F. Bouchaudy. Linux Administration. Tome 3 : scuriser un serveur Linux.N13462, 2e dition, 2012, 400 pages.

    J.-F. Bouchaudy. Linux Administration. Tome 4 : installer et configurer des serveurs Web, mail ou FTP sous Linux. N13790, 2e dition, 2013, 420 pages.

    Autres ouvrages

    P. Ficheux. Linux embarqu.N13482, 4e dition, 2012, 378 pages.

    c. Blaess. Dveloppement systme sous Linux. Ordonnancement multitches, gestion mmoire, communications, programmation rseau. paratre. N14207, 4e dition, 2016, 1004 pages.

    c. Blaess. Shells Linux et Unix par la pratique.N13579, 2e dition, 2012, 296 pages.

    i. hurBain, e. dreyFus. Mmento Unix/Linux N13306, 2e dition, 2011, 14 pages.

  • Solutions temps rel sous Linux

    C h r i s t o p h e B l a e s s

    2e dition

    G00000_TempsReel-PDT_2e.indd 2 29/10/15 10:44

  • En application de la loi du 11 mars 1957, il est interdit de reproduire intgralement ou partiellement le prsent ouvrage, sur quelque support que ce soit, sans lautorisation de lditeur ou du Centre Franais dexploitation du droit de copie, 20, rue des Grands Augustins, 75006 Paris. Groupe Eyrolles, 2012, 2016, ISBN : 978-2-212-14208-2

    DITIONS EYROLLES61, bd Saint-Germain75240 Paris Cedex 05

    www.editions-eyrolles.com

  • Table des matires

    CHAPITRE 1

    Multitche et commutation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

    Multitche sous Linux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .