mirror of
https://gitlab.com/klmp200/LO41.git
synced 2024-11-23 09:13:22 +00:00
227 lines
49 KiB
HTML
227 lines
49 KiB
HTML
|
<!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>
|
|||
|
|
<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 d’ajouter 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 s’approchant 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. C’est 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. C’est à 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 d’appeler les ascenseurs ? Auquel cas, puisqu’elle est au pied de l’immeuble personne ne peut redescendre autrement qu’en prenant les escaliers. Devons nous utiliser un bouton par ascenseur ou un système d’appel 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 d’accéder à certains étages ou faire en sorte qu’ils aient tous accès à l’entièreté de l’immeuble ? Comment faire pour le dépannage ? Comment peut-on déterminer qu’un technicien est plus à même d’intervenir ? 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 l’utilisation de la borne. Cette borne aura une utilité assez limitée et sera cantonée à la recherche de l’étage d’un résident par un visiteur. Globalement, elle sera simulée par une fonction renvoyant l’étage d’un résident à partir de son nom. L’appel des ascenseur se fera en interrogeant directement le bâtiment qui se chargera tout seul d’indiquer un ascenseur à partir simplement de l’étage de départ et de l’étage d’arivé souhaité. L’ordonencement 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 d’habitation et se déplacent ou non selon leur envie. Les visiteurs, quand à eux, souhaitent rejoindre l’étage d’un résident dont ils connaissent uniquement le nom, ils demandent donc à la borne où celui-ci réside, et tentent d’y 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é, d’engager un seul réparateur prêt à répondre à tous les cas pratique et toutes les pannes. Il sera appelé par les ascenceurs qui détecteront automatiquement les pannes et attendront leur réparation selon la disponnibilité de cette ressource critique.</p><h1 id="Mise-en-place-de-l’architecture"><a class="anchor hidden-xs" href="#Mise-en-place-de-l’architecture" title="Mise-en-place-de-l’architecture" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-li
|
|||
|
|
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">-></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">-></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">-></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">-></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>
|
|||
|
|
</code></pre><h2 id="L’introduction-des-agents"><a class="anchor hidden-xs" href="#L’introduction-des-agents" title="L’introduction-des-agents" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>L’introduction des agents</h2><p>De l’objet à l’agent il n’y a qu’un pas, l’indépendance. Enfin, pas vraiment, mais presque. Nous avons eu l’occasion 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 n’avons pas le temps d’implémenter de la communication entre agent dans des contextes séparés le tout en architecture holonique, nous avons repris l’idée de l’agent et l’avons adaptée à notre architecture et notre projet.</p><p>Globalement, il existe 4 types d’agents dans ce projet : les ascenseurs, les visiteurs, les résidents et le casseur d’ascenseur (pour casser les ascenseurs de temps en temps). Ils sont chacun lancés dans leur propre thread et tentent d’atteindre leur objectif indépendament tout en interagissant avec les autres. Ils réagissent également lorsqu’ils reçoivent un signal d’apoptose les invitant à mettre fin à leur existance dans le but de libérer les ressources, dans le cadre d’une 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 l’objet 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 d’apoptose (attachés à SIGUSR1) et d’ignorer les signaux d’arrêt (SIGINT) pour ne pas qu’ils l’interceptent à la place du thread principal puisque la réception de signal dans un environnement multithread n’est pas predictive.</p><p>Attention en utilisant l’API pthread, envoyer un signal (avec <code>pthread_kill</code>) vers un thread terminé a un comportement non défini d’après la spécification du standard. On observe ainsi des comportements très variés selon l’OS. 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 à l’exé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 d’amé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 d’abord commencé par faire une liste chaînée afin de tester notre architecture objet.<br>
|
|||
|
|
<img src="https://i.imgur.com/rcbNfz2.png" alt=""></p><p>Voici enfin ce que donne l’architecture du projet.<br>
|
|||
|
|
<img src="https://i.imgur.com/0QwVT5k.png" alt=""></p><p>On observe en particulier la singularité de l’objet 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 possiblités d’interblocages, il était judicieux de modéliser de manière abstraite le fonctionnement théorique et basique de l’attente d’un utilisateur à un étage à l’aide d’un réseau de Pétri. La priorité est ici simulée par un nombre d’étape plus ou moins court 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 qu’une vision simplifiée du principe et l’implémentation s’en éloigne parfois.</p><p><img src="https://i.imgur.com/nbTpyfB.png" alt=""></p><h1 id="Guide-d’utilisation"><a class="anchor hidden-xs" href="#Guide-d’utilisation" title="Guide-d’utilisation" data-vivaldi-spatnav-clickable="1"><span class="octicon octicon-link"></span></a>Guide d’utilisation</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
|
|||
|
|
<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 s’exé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"># -> 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">
|
|||
|
|
<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><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-l’architecture" title="Mise en place de l’architecture" data-vivaldi-spatnav-clickable="1">Mise en place de l’architecture</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="#L’introduction-des-agents" title="L’introduction des agents" data-vivaldi-spatnav-clickable="1">L’introduction 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><a href="#Architecture" title="Architecture" data-vivaldi-spatnav-clickable="1">Architecture</a><ul class="nav"><li><a href="#Diagramme-des-classes" title="Diagramme des classes" data-vivaldi-spatnav-clickable="1">Diagramme des classes</a></li><li><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><a href="#Guide-d’utilisation" title="Guide d’utilisation" data-vivaldi-spatnav-clickable="1">Guide d’utilisation</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><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>
|
|||
|
|
</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;" >
|
|||
|
|
<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><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-l’architecture" title="Mise en place de l’architecture" data-vivaldi-spatnav-clickable="1">Mise en place de l’architecture</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="#L’introduction-des-agents" title="L’introduction des agents" data-vivaldi-spatnav-clickable="1">L’introduction 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><a href="#Architecture" title="Architecture" data-vivaldi-spatnav-clickable="1">Architecture</a><ul class="nav"><li><a href="#Diagramme-des-classes" title="Diagramme des classes" data-vivaldi-spatnav-clickable="1">Diagramme des classes</a></li><li><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><a href="#Guide-d’utilisation" title="Guide d’utilisation" data-vivaldi-spatnav-clickable="1">Guide d’utilisation</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><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>
|
|||
|
|
</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>
|