1
0
mirror of https://gitlab.com/klmp200/LO41.git synced 2024-12-28 02:31:13 +00:00
LO41/Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur.html

227 lines
49 KiB
HTML
Raw Normal View History

2018-06-22 07:10:59 +00:00
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no">
<meta name="apple-mobile-web-app-capable" content="yes">
<meta name="apple-mobile-web-app-status-bar-style" content="black">
<meta name="mobile-web-app-capable" content="yes">
<title>
Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur - HackMD
</title>
<link rel="icon" type="image/png" href="https://hackmd.io/favicon.png">
<link rel="apple-touch-icon" href="https://hackmd.io/apple-touch-icon.png">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha256-916EbMg70RQy9LHiGkXzG8hSg9EdNy97GazNG/aiY1w=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css" integrity="sha256-eZrrJcwDc/3uDhsdt61sL2oOBY362qM3lon1gyExkL0=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/ionicons/2.0.1/css/ionicons.min.css" integrity="sha256-3iu9jgsy9TpTwXKb7bNQzqWekRX7pPK+2OLj3R922fo=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/octicons/3.5.0/octicons.min.css" integrity="sha256-QiWfLIsCT02Sdwkogf6YMiQlj4NE84MKkzEMkZnMGdg=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/prism/1.5.1/themes/prism.min.css" integrity="sha256-vtR0hSWRc3Tb26iuN2oZHt3KRUomwTufNIf5/4oeCyg=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github-gist.min.css" integrity="sha256-tAflq+ymku3Khs+I/WcAneIlafYgDiOQ9stIHH985Wo=" crossorigin="anonymous" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/emojify.js/1.1.0/css/basic/emojify.min.css" integrity="sha256-UOrvMOsSDSrW6szVLe8ZDZezBxh5IoIfgTwdNDgTjiU=" crossorigin="anonymous" />
<style>
@import url(https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,400italic,600,600italic,300italic,300|Source+Serif+Pro|Source+Code+Pro:400,300,500&subset=latin,latin-ext);.markdown-body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:16px;line-height:1.5;word-wrap:break-word}.markdown-body:after,.markdown-body:before{display:table;content:""}.markdown-body:after{clear:both}.markdown-body>:first-child{margin-top:0!important}.markdown-body>:last-child{margin-bottom:0!important}.markdown-body a:not([href]){color:inherit;text-decoration:none}.markdown-body .absent{color:#c00}.markdown-body .anchor{float:left;padding-right:4px;margin-left:-20px;line-height:1}.markdown-body .anchor:focus{outline:none}.markdown-body blockquote,.markdown-body dl,.markdown-body ol,.markdown-body p,.markdown-body pre,.markdown-body table,.markdown-body ul{margin-top:0;margin-bottom:16px}.markdown-body hr{height:.25em;padding:0;margin:24px 0;background-color:#e7e7e7;border:0}.markdown-body blockquote{padding:0 1em;color:#777;border-left:.25em solid #ddd}.markdown-body blockquote>:first-child{margin-top:0}.markdown-body blockquote>:last-child{margin-bottom:0}.markdown-body .loweralpha{list-style-type:lower-alpha}.markdown-body h1,.markdown-body h2,.markdown-body h3,.markdown-body h4,.markdown-body h5,.markdown-body h6{margin-top:24px;margin-bottom:16px;font-weight:600;line-height:1.25}.markdown-body h1 .octicon-link,.markdown-body h2 .octicon-link,.markdown-body h3 .octicon-link,.markdown-body h4 .octicon-link,.markdown-body h5 .octicon-link,.markdown-body h6 .octicon-link{color:#000;vertical-align:middle;visibility:hidden}.markdown-body h1:hover .anchor,.markdown-body h2:hover .anchor,.markdown-body h3:hover .anchor,.markdown-body h4:hover .anchor,.markdown-body h5:hover .anchor,.markdown-body h6:hover .anchor{text-decoration:none}.markdown-body h1:hover .anchor .octicon-link,.markdown-body h2:hover .anchor .octicon-link,.markdown-body h3:hover .anchor .octicon-link,.markdown-body h4:hover .anchor .octicon-link,.markdown-body h5:hover .anchor .octicon-link,.markdown-body h6:hover .anchor .octicon-link{visibility:visible}.markdown-body h1 code,.markdown-body h1 tt,.markdown-body h2 code,.markdown-body h2 tt,.markdown-body h3 code,.markdown-body h3 tt,.markdown-body h4 code,.markdown-body h4 tt,.markdown-body h5 code,.markdown-body h5 tt,.markdown-body h6 code,.markdown-body h6 tt{font-size:inherit}.markdown-body h1{font-size:2em}.markdown-body h1,.markdown-body h2{padding-bottom:.3em;border-bottom:1px solid #eee}.markdown-body h2{font-size:1.5em}.markdown-body h3{font-size:1.25em}.markdown-body h4{font-size:1em}.markdown-body h5{font-size:.875em}.markdown-body h6{font-size:.85em;color:#777}.markdown-body ol,.markdown-body ul{padding-left:2em}.markdown-body ol.no-list,.markdown-body ul.no-list{padding:0;list-style-type:none}.markdown-body ol ol,.markdown-body ol ul,.markdown-body ul ol,.markdown-body ul ul{margin-top:0;margin-bottom:0}.markdown-body li>p{margin-top:16px}.markdown-body li+li{margin-top:.25em}.markdown-body dl{padding:0}.markdown-body dl dt{padding:0;margin-top:16px;font-size:1em;font-style:italic;font-weight:700}.markdown-body dl dd{padding:0 16px;margin-bottom:16px}.markdown-body table{display:block;width:100%;overflow:auto;word-break:normal;word-break:keep-all}.markdown-body table th{font-weight:700}.markdown-body table td,.markdown-body table th{padding:6px 13px;border:1px solid #ddd}.markdown-body table tr{background-color:#fff;border-top:1px solid #ccc}.markdown-body table tr:nth-child(2n){background-color:#f8f8f8}.markdown-body img{max-width:100%;box-sizing:content-box;background-color:#fff}.markdown-body img[align=right]{padding-left:20px}.markdown-body img[align=left]{padding-right:20px}.markdown-body .emoji{max-width:none;vertical-align:text-top;background-color:transparent}.markdown-body span.frame{display:block;overflow:hidden}.markdown-body span.frame>span{display:block;float:left;width:auto;padding:7px;margin:13px 0 0;overflow:hidden;border:1px solid #ddd}
</style>
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!--[if lt IE 9]>
<script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js" integrity="sha256-3Jy/GbSLrg0o9y5Z5n1uw0qxZECH7C6OQpVBgNFYa0g=" crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/respond.js/1.4.2/respond.min.js" integrity="sha256-g6iAfvZp+nDQ2TdTR/VVKJf3bGro4ub5fvWSWVRi2NE=" crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/es5-shim/4.5.9/es5-shim.min.js" integrity="sha256-8E4Is26QH0bD52WoQpcB+R/tcWQtpzlCojrybUd7Mxo=" crossorigin="anonymous"></script>
<![endif]-->
</head>
<body>
2018-06-22 07:34:33 +00:00
<div id="doc" class="markdown-body container-fluid" style="position: relative;"><h1 id="Rapport-projet-LO41-Bartuccio-Antoine-et-Amalvy-Arthur"><a class="anchor hidden-xs" href="#Rapport-projet-LO41-Bartuccio-Antoine-et-Amalvy-Arthur" title="Rapport-projet-LO41-Bartuccio-Antoine-et-Amalvy-Arthur" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur</h1><h1 id="Interprétation-du-sujet"><a class="anchor hidden-xs" href="#Interprétation-du-sujet" title="Interprétation-du-sujet" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Interprétation du sujet</h1><p>Ce sujet de LO41 étant volontairement vague pour permettre de nombreuses implémentations différentes, et la contrainte vis à vis du temps étant importante, il était impossible dajouter toutes les fonctionnalitées proposées. Il a donc fallu opérer un choix pragmatique afin de rendre un travail le plus complet possible tout en sapprochant un maximum de la vision originelle du sujet.</p><p>Dans un premier temps, nous avons répertorié les contraintes auxquelles nous ne pouvions nous soustraire. Cest donc bien évidemment que nous avons conservé le bâtiment de 25 étages ainsi que les 3 ascenseurs et la borne interactive au pied de ce dernier. Cest à ce moment là que se sont posées les questions les plus importantes et pouvant potentiellement modifier complètement le résultat du projet : est-ce seulement la borne qui permet dappeler les ascenseurs ? Auquel cas, puisquelle est au pied de limmeuble personne ne peut redescendre autrement quen prenant les escaliers. Devons nous utiliser un bouton par ascenseur ou un système dappel centralisé ? Si on ajoute un bouton pour les ascenseurs à chaque étage, à quoi sert donc la borne au final ? Est-elle uniquement dédiée aux visiteurs ou est-elle utilisable par les résidents ? Est-elle vraiment pertinente ? La rendre indépendante est-il vraiment un choix intéressant ? Allons nous empêcher certains ascenseurs daccéder à certains étages ou faire en sorte quils aient tous accès à lentièreté de limmeuble ? Comment faire pour le dépannage ? Comment peut-on déterminer quun technicien est plus à même dintervenir ? Doit-on avoir plusieurs types de pannes nécessitant différents outils ? Combien tout ceci va-t-il coûter à la copropriété ?</p><p>Nous avons donc commencé par trancher sur lutilisation de la borne. Cette borne aura une utilité assez limitée et sera cantonée à la recherche de létage dun résident par un visiteur. Globalement, elle sera simulée par une fonction renvoyant létage dun résident à partir de son nom. Lappel des ascenseur se fera en interrogeant directement le bâtiment qui se chargera tout seul dindiquer un ascenseur à partir simplement de létage de départ et de létage darrivée souhaité. Lordonancement des ascenseurs se fera donc directement depuis le bâtiment.</p><p>Nous en arrivons donc logiquement à une distinction visiteurs et résidents. Les visiteurs démarrent à leur étage dhabitation et se déplacent ou non selon leur envie. Les visiteurs, quand à eux, souhaitent rejoindre létage dun résident dont ils connaissent uniquement le nom, ils demandent donc à la borne où celui-ci réside, et tentent dy accéder en utilisant les ascenceurs.</p><p>Enfin, pour les réparations, il a été décidé, afin déviter de peser trop fortement sur le budget de la copropriété, dengager un seul réparateur prêt à répondre à tous les cas pratique et toutes les pannes. Il sera appelé par les ascenseurs qui détecteront automatiquement les pannes et attendront leur réparation selon la disponibilité de cette ressource critique.</p><h1 id="Mise-en-place-de-larchitecture"><a class="anchor hidden-xs" href="#Mise-en-place-de-larchitecture" title="Mise-en-place-de-larchitecture" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-l
2018-06-22 07:10:59 +00:00
SharedData <span class="token operator">*</span> shared_data <span class="token operator">=</span> <span class="token function">GET_INSTANCE</span><span class="token punctuation">(</span>SharedData<span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token function">signal</span><span class="token punctuation">(</span>SIGINT<span class="token punctuation">,</span> clean_exit<span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token keyword">if</span><span class="token punctuation">(</span>argc <span class="token operator">==</span> <span class="token number">3</span><span class="token punctuation">)</span><span class="token punctuation">{</span>
shared_data<span class="token operator">-&gt;</span><span class="token function">set_main_building</span><span class="token punctuation">(</span>shared_data<span class="token punctuation">,</span> <span class="token function">NEW</span><span class="token punctuation">(</span>Building<span class="token punctuation">,</span> argv<span class="token punctuation">[</span><span class="token number">1</span><span class="token punctuation">]</span><span class="token punctuation">,</span> argv<span class="token punctuation">[</span><span class="token number">2</span><span class="token punctuation">]</span><span class="token punctuation">)</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token punctuation">}</span> <span class="token keyword">else</span> <span class="token keyword">if</span> <span class="token punctuation">(</span>argc <span class="token operator">==</span> <span class="token number">1</span><span class="token punctuation">)</span><span class="token punctuation">{</span>
shared_data<span class="token operator">-&gt;</span><span class="token function">set_main_building</span><span class="token punctuation">(</span>shared_data<span class="token punctuation">,</span> <span class="token function">NEW</span><span class="token punctuation">(</span>Building<span class="token punctuation">,</span> <span class="token string">"../residents.txt"</span><span class="token punctuation">,</span> <span class="token string">"../visitors.txt"</span><span class="token punctuation">)</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token punctuation">}</span> <span class="token keyword">else</span><span class="token punctuation">{</span>
<span class="token function">CRASH</span><span class="token punctuation">(</span><span class="token string">"Arguments invalides\nUsage : ./LO41 [residents_file visitors_file]\n"</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token punctuation">}</span>
shared_data<span class="token operator">-&gt;</span><span class="token function">start_all_threads</span><span class="token punctuation">(</span>shared_data<span class="token punctuation">)</span><span class="token punctuation">;</span>
shared_data<span class="token operator">-&gt;</span><span class="token function">wait_all_threads</span><span class="token punctuation">(</span>shared_data<span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token function">DELETE</span><span class="token punctuation">(</span>shared_data<span class="token punctuation">)</span><span class="token punctuation">;</span>
<span class="token keyword">return</span> <span class="token number">0</span><span class="token punctuation">;</span>
<span class="token punctuation">}</span>
2018-06-22 07:34:33 +00:00
</code></pre><h2 id="Lintroduction-des-agents"><a class="anchor hidden-xs" href="#Lintroduction-des-agents" title="Lintroduction-des-agents" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Lintroduction des agents</h2><p>De lobjet à lagent il ny a quun pas, lindépendance. Enfin, pas vraiment, mais presque. Nous avons eu loccasion lors de notre cursus de travailler sur un langage orienté agent : le SARL. Même si celui-ci reste perfectible, il a su nous inspirer lors de la conception de ce projet. Même si nous navons pas le temps dimplémenter de la communication entre agents dans des contextes séparés le tout en architecture holonique, nous avons repris lidée de lagent et lavons adaptée à notre architecture et notre projet.</p><p>Globalement, il existe 4 types dagents dans ce projet : les ascenseurs, les visiteurs, les résidents et le casseur dascenseur (pour casser les ascenseurs de temps en temps). Ils sont chacun lancés dans leur propre thread et tentent datteindre leur objectif indépendamment tout en interagissant avec les autres. Ils réagissent également lorsquils reçoivent un signal dapoptose les invitant à mettre fin à leur existence dans le but de libérer les ressources, dans le cadre dune fin prévue ou non du programme.</p><p>Pour y parvenir, nous avons attaché à chacun de ces trois objets une méthode <code>runnable</code>, qui prend en paramètre une référence vers lobjet lui même et qui configure le thread de manière à répondre de manière normalisée aux signaux. En effet, chaque agent se doit de répondre correctement aux signaux dapoptose (attachés à SIGUSR1) et dignorer les signaux darrêt (SIGINT) pour ne pas quils linterceptent à la place du thread principal puisque la réception de signal dans un environnement multithread nest pas predictive.</p><p>Attention en utilisant lAPI pthread, envoyer un signal (avec <code>pthread_kill</code>) vers un thread terminé a un comportement non défini daprès la spécification du standard. On observe ainsi des comportements très variés selon lOS. Pour pallier à cela, nous avons mis en place un système de déréférencement des threads terminés.</p><h2 id="Le-choix-des-scénarios-prétirés"><a class="anchor hidden-xs" href="#Le-choix-des-scénarios-prétirés" title="Le-choix-des-scénarios-prétirés" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Le choix des scénarios prétirés</h2><p>Dans ce projet, nous avons fait le choix de ne pas effectuer de génération aléatoire de clients. En effet, le programme opère vis-à-vis de scénarios pré-tirés injectables directement à lexécution du programme. Cela permet notamment de facilement reproduire en phase de développement les différents situations pratiques non souhaitées par le développeur dans une optique damélioration de la stabilité du programme… Ces scenarios se présentent sous la forme de fichiers textes au format csv où les différentes données sont séparées par des points virgule.</p><h1 id="Architecture"><a class="anchor hidden-xs" href="#Architecture" title="Architecture" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Architecture</h1><h2 id="Diagramme-des-classes"><a class="anchor hidden-xs" href="#Diagramme-des-classes" title="Diagramme-des-classes" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Diagramme des classes</h2><p>Puisque nous respectons aussi rigoureusement que possible une architecture objet, nous sommes en mesure de vous fournir un diagramme de classe du projet.</p><p>Nous avons tout dabord commencé par faire une liste chaînée afin de tester notre architecture objet.<br>
2018-06-22 07:10:59 +00:00
<img src="https://i.imgur.com/rcbNfz2.png" alt=""></p><p>Voici enfin ce que donne larchitecture du projet.<br>
2018-06-22 07:34:33 +00:00
<img src="https://i.imgur.com/0QwVT5k.png" alt=""></p><p>On observe en particulier la singularité de lobjet SharedData, vis-à-vis en tout cas de ses pairs. En effet, celui-ci opère en tant que singleton et permet notamment de référencer et déréférencer tous les threads, et ce quelque soit le contexte dans lequel opère le programme.</p><h2 id="Réseau-de-Pétri"><a class="anchor hidden-xs" href="#Réseau-de-Pétri" title="Réseau-de-Pétri" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Réseau de Pétri</h2><p>Même si notre architecture initiale limite déjà fortmenet les possibilités dinterblocages, il était judicieux de modéliser de manière abstraite le fonctionnement théorique et basique de lattente dun utilisateur à un étage à laide dun réseau de Pétri. La priorité est ici simulée par un nombre détapes plus ou moins faible pour chaque ascenseur. Il faut cependant ne pas oublier que les ascenseurs devant être intelligents et autonomes, il est impossible avec un outil tel que le réseau de pétri de modéliser fidèlement leur comportement. Ce réseau ne donne donc quune vision simplifiée du principe et limplémentation sen éloigne parfois.</p><p><img src="https://i.imgur.com/nbTpyfB.png" alt=""></p><h1 id="Guide-dutilisation"><a class="anchor hidden-xs" href="#Guide-dutilisation" title="Guide-dutilisation" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Guide dutilisation</h1><h2 id="Phase-de-compilation"><a class="anchor hidden-xs" href="#Phase-de-compilation" title="Phase-de-compilation" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Phase de compilation</h2><p>Le logiciel utilise la technologie cmake pour gérer le projet. Voici donc les étapes nécessaires à sa compilation.</p><pre><code class="shell hljs"><span class="token function">mkdir</span> out
2018-06-22 07:10:59 +00:00
<span class="token function">cd</span> out
cmake <span class="token punctuation">..</span>
<span class="token function">make</span>
</code></pre><h2 id="Exécution"><a class="anchor hidden-xs" href="#Exécution" title="Exécution" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Exécution</h2><p>Ce programme peut sexécuter avec ou sans arguments. Sans arguments, le logiciel ouvre automatiquement les fichiers …/residents.txt et …/visitors.txt. Avec arguments, il est possible de choisir de lancer des scénarios personnalisés.</p><pre><code class="shell hljs">./LO41 <span class="token punctuation">[</span>fichier_residents fichier_visiteurs<span class="token punctuation">]</span>
./LO41 <span class="token comment"># -&gt; correspond à ./LO41 ../residents.txt ../visitors.txt </span>
</code></pre></div>
<div class="ui-toc dropup unselectable hidden-print" style="display:none;">
<div class="pull-right dropdown">
<a id="tocLabel" class="ui-toc-label btn btn-default" data-toggle="dropdown" href="#" role="button" aria-haspopup="true" aria-expanded="false" title="Table of content">
<i class="fa fa-bars"></i>
</a>
<ul id="ui-toc" class="ui-toc-dropdown dropdown-menu" aria-labelledby="tocLabel">
2018-06-22 07:34:33 +00:00
<div class="toc"><ul class="nav"><li class=""><a href="#Rapport-projet-LO41-Bartuccio-Antoine-et-Amalvy-Arthur" title="Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur" data-vivaldi-spatnav-clickable="1">Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur</a></li><li class=""><a href="#Interprétation-du-sujet" title="Interprétation du sujet" data-vivaldi-spatnav-clickable="1">Interprétation du sujet</a></li><li><a href="#Mise-en-place-de-larchitecture" title="Mise en place de larchitecture" data-vivaldi-spatnav-clickable="1">Mise en place de larchitecture</a><ul class="nav"><li><a href="#Le-choix-des-moniteurs-et-des-threads" title="Le choix des moniteurs et des threads" data-vivaldi-spatnav-clickable="1">Le choix des moniteurs et des threads</a></li><li><a href="#Une-architecture-orientée-objet" title="Une architecture orientée objet" data-vivaldi-spatnav-clickable="1">Une architecture orientée objet</a></li><li><a href="#Lintroduction-des-agents" title="Lintroduction des agents" data-vivaldi-spatnav-clickable="1">Lintroduction des agents</a></li><li><a href="#Le-choix-des-scénarios-prétirés" title="Le choix des scénarios prétirés" data-vivaldi-spatnav-clickable="1">Le choix des scénarios prétirés</a></li></ul></li><li class=""><a href="#Architecture" title="Architecture" data-vivaldi-spatnav-clickable="1">Architecture</a><ul class="nav"><li class=""><a href="#Diagramme-des-classes" title="Diagramme des classes" data-vivaldi-spatnav-clickable="1">Diagramme des classes</a></li><li class=""><a href="#Réseau-de-Pétri" title="Réseau de Pétri" data-vivaldi-spatnav-clickable="1">Réseau de Pétri</a></li></ul></li><li class=""><a href="#Guide-dutilisation" title="Guide dutilisation" data-vivaldi-spatnav-clickable="1">Guide dutilisation</a><ul class="nav"><li><a href="#Phase-de-compilation" title="Phase de compilation" data-vivaldi-spatnav-clickable="1">Phase de compilation</a></li><li class=""><a href="#Exécution" title="Exécution" data-vivaldi-spatnav-clickable="1">Exécution</a></li></ul></li></ul></div><div class="toc-menu"><a class="expand-toggle" href="#" data-vivaldi-spatnav-clickable="1">Expand all</a><a class="back-to-top" href="#" data-vivaldi-spatnav-clickable="1">Back to top</a><a class="go-to-bottom" href="#" data-vivaldi-spatnav-clickable="1">Go to bottom</a></div>
2018-06-22 07:10:59 +00:00
</ul>
</div>
</div>
<div id="ui-toc-affix" class="ui-affix-toc ui-toc-dropdown unselectable hidden-print" data-spy="affix" style="top:17px;display:none;" >
2018-06-22 07:34:33 +00:00
<div class="toc"><ul class="nav"><li class=""><a href="#Rapport-projet-LO41-Bartuccio-Antoine-et-Amalvy-Arthur" title="Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur" data-vivaldi-spatnav-clickable="1">Rapport projet LO41 Bartuccio Antoine et Amalvy Arthur</a></li><li class=""><a href="#Interprétation-du-sujet" title="Interprétation du sujet" data-vivaldi-spatnav-clickable="1">Interprétation du sujet</a></li><li><a href="#Mise-en-place-de-larchitecture" title="Mise en place de larchitecture" data-vivaldi-spatnav-clickable="1">Mise en place de larchitecture</a><ul class="nav"><li><a href="#Le-choix-des-moniteurs-et-des-threads" title="Le choix des moniteurs et des threads" data-vivaldi-spatnav-clickable="1">Le choix des moniteurs et des threads</a></li><li><a href="#Une-architecture-orientée-objet" title="Une architecture orientée objet" data-vivaldi-spatnav-clickable="1">Une architecture orientée objet</a></li><li><a href="#Lintroduction-des-agents" title="Lintroduction des agents" data-vivaldi-spatnav-clickable="1">Lintroduction des agents</a></li><li><a href="#Le-choix-des-scénarios-prétirés" title="Le choix des scénarios prétirés" data-vivaldi-spatnav-clickable="1">Le choix des scénarios prétirés</a></li></ul></li><li class=""><a href="#Architecture" title="Architecture" data-vivaldi-spatnav-clickable="1">Architecture</a><ul class="nav"><li class=""><a href="#Diagramme-des-classes" title="Diagramme des classes" data-vivaldi-spatnav-clickable="1">Diagramme des classes</a></li><li class=""><a href="#Réseau-de-Pétri" title="Réseau de Pétri" data-vivaldi-spatnav-clickable="1">Réseau de Pétri</a></li></ul></li><li class=""><a href="#Guide-dutilisation" title="Guide dutilisation" data-vivaldi-spatnav-clickable="1">Guide dutilisation</a><ul class="nav"><li><a href="#Phase-de-compilation" title="Phase de compilation" data-vivaldi-spatnav-clickable="1">Phase de compilation</a></li><li class=""><a href="#Exécution" title="Exécution" data-vivaldi-spatnav-clickable="1">Exécution</a></li></ul></li></ul></div><div class="toc-menu"><a class="expand-toggle" href="#" data-vivaldi-spatnav-clickable="1">Expand all</a><a class="back-to-top" href="#" data-vivaldi-spatnav-clickable="1">Back to top</a><a class="go-to-bottom" href="#" data-vivaldi-spatnav-clickable="1">Go to bottom</a></div>
2018-06-22 07:10:59 +00:00
</div>
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min.js" integrity="sha256-hVVnYaiADRTO2PzUGmuLJr8BLUSjGIZsDYGmIJLv2b8=" crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha256-U5ZEeKfGNOja007MMD3YBI0A3OSZOQbeG6z2f2Y0hu8=" crossorigin="anonymous" defer></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/gist-embed/2.6.0/gist-embed.min.js" integrity="sha256-KyF2D6xPIJUW5sUDSs93vWyZm+1RzIpKCexxElmxl8g=" crossorigin="anonymous" defer></script>
<script>
var markdown = $(".markdown-body");
//smooth all hash trigger scrolling
function smoothHashScroll() {
var hashElements = $("a[href^='#']").toArray();
for (var i = 0; i < hashElements.length; i++) {
var element = hashElements[i];
var $element = $(element);
var hash = element.hash;
if (hash) {
$element.on('click', function (e) {
// store hash
var hash = this.hash;
if ($(hash).length <= 0) return;
// prevent default anchor click behavior
e.preventDefault();
// animate
$('body, html').stop(true, true).animate({
scrollTop: $(hash).offset().top
}, 100, "linear", function () {
// when done, add hash to url
// (default click behaviour)
window.location.hash = hash;
});
});
}
}
}
smoothHashScroll();
var toc = $('.ui-toc');
var tocAffix = $('.ui-affix-toc');
var tocDropdown = $('.ui-toc-dropdown');
//toc
tocDropdown.click(function (e) {
e.stopPropagation();
});
var enoughForAffixToc = true;
function generateScrollspy() {
$(document.body).scrollspy({
target: ''
});
$(document.body).scrollspy('refresh');
if (enoughForAffixToc) {
toc.hide();
tocAffix.show();
} else {
tocAffix.hide();
toc.show();
}
$(document.body).scroll();
}
function windowResize() {
//toc right
var paddingRight = parseFloat(markdown.css('padding-right'));
var right = ($(window).width() - (markdown.offset().left + markdown.outerWidth() - paddingRight));
toc.css('right', right + 'px');
//affix toc left
var newbool;
var rightMargin = (markdown.parent().outerWidth() - markdown.outerWidth()) / 2;
//for ipad or wider device
if (rightMargin >= 133) {
newbool = true;
var affixLeftMargin = (tocAffix.outerWidth() - tocAffix.width()) / 2;
var left = markdown.offset().left + markdown.outerWidth() - affixLeftMargin;
tocAffix.css('left', left + 'px');
} else {
newbool = false;
}
if (newbool != enoughForAffixToc) {
enoughForAffixToc = newbool;
generateScrollspy();
}
}
$(window).resize(function () {
windowResize();
});
$(document).ready(function () {
windowResize();
generateScrollspy();
});
//remove hash
function removeHash() {
window.location.hash = '';
}
var backtotop = $('.back-to-top');
var gotobottom = $('.go-to-bottom');
backtotop.click(function (e) {
e.preventDefault();
e.stopPropagation();
if (scrollToTop)
scrollToTop();
removeHash();
});
gotobottom.click(function (e) {
e.preventDefault();
e.stopPropagation();
if (scrollToBottom)
scrollToBottom();
removeHash();
});
var toggle = $('.expand-toggle');
var tocExpand = false;
checkExpandToggle();
toggle.click(function (e) {
e.preventDefault();
e.stopPropagation();
tocExpand = !tocExpand;
checkExpandToggle();
})
function checkExpandToggle () {
var toc = $('.ui-toc-dropdown .toc');
var toggle = $('.expand-toggle');
if (!tocExpand) {
toc.removeClass('expand');
toggle.text('Expand all');
} else {
toc.addClass('expand');
toggle.text('Collapse all');
}
}
function scrollToTop() {
$('body, html').stop(true, true).animate({
scrollTop: 0
}, 100, "linear");
}
function scrollToBottom() {
$('body, html').stop(true, true).animate({
scrollTop: $(document.body)[0].scrollHeight
}, 100, "linear");
}
</script>
</body>
</html>