1<!doctype html> 2<html lang="en"> 3<head> 4 <!-- Required meta tags --> 5 <meta charset="utf-8"> 6 <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> 7 8 <!-- Bootstrap CSS --> 9 <link rel="stylesheet" href="css/bootstrap.min.css" integrity="sha384-Gn5384xqQ1aoWXA+058RXPxPg6fy4IWvTNh0E263XmFcJlSAwiGgFAW/dAiS6JXm" crossorigin="anonymous"> 10 <!-- Custom CSS --> 11 <link rel="stylesheet" href="css/style.css"> 12 13 <!-- Title of the website --> 14 <title>Middleware Design and Implementation | MID IST - Fall 2018 | INSA Lyon</title> 15</head> 16<body> 17 <nav class="navbar navbar-expand-lg navbar-light bg-light sticky-top"> 18 <div class="container"> 19 <a class="navbar-brand" href="index.html">MID IST</a> 20 <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation"> 21 <span class="navbar-toggler-icon"></span> 22 </button> 23 <div class="collapse navbar-collapse" id="navbarNav"> 24 <ul class="navbar-nav"> 25 <li class="nav-item"> 26 <a class="nav-link" href="index.html">Home</a> 27 </li> 28 <li class="nav-item"> 29 <a class="nav-link" href="information.html">Information</a> 30 </li> 31 <li class="nav-item active"> 32 <a class="nav-link" href="lectures.html">Lectures <span class="sr-only">(current)</span></a> 33 </li> 34 <li class="nav-item"> 35 <a class="nav-link" href="assignments.html">Assignments</a> 36 </li> 37 </ul> 38 </div> 39 </div> 40</nav> 41 42 <div class="container"> 43 44 <!-- Title row --> 45 <div class="row" style="padding-top: 1rem"> <!--Added 1rem of padding to match the <hr> --> 46 <div class="col-sm"> 47 <br> 48 <h1>Lectures</h1> 49 </div> 50 </div> 51 52 <!-- Separator --> 53 <hr> 54 55 <!-- Information --> 56 <div class="row"> 57 <div class="col-sm"> 58 <h4>Schedule</h4> 59 <p> 60 Lecture are on Mondays and every other Friday (starting on first week), both from 10am to 12pm. 61 Lecture halls do not have a regular occurrence, so it is advisable to check the lecture hall before each session. 62 </p> 63 </div> 64 </div> 65 66 <!-- Separator --> 67 <hr> 68 69 <div class="row"> 70 <div class="col-sm"> 71 <h4>Lecture slides and material</h4> 72 <p> 73 In the following table we will upload the slides and code of the programming examples used during the lectures. 74 </p> 75 <table class="table"> 76 <thead> 77 <tr> 78 <th>#</th> 79 <th>Date</th> 80 <th>Topic</th> 81 <th>Slides/Code</th> 82 <!-- <th>Comments</th> --> 83 </tr> 84 </thead> 85 <tbody> 86 <tr> 87 <td>1</td> 88 <td>November 5th, 2018</td> 89 <td>Introduction</td> 90 <td> 91 <ul> 92 <li><a href="assets/lectures-slides/MID-lecture-1.odp">slides</a></li> 93 </ul> 94 </td> 95 <!-- <td>-</td> --> 96 </tr> 97 <tr> 98 <td>2</td> 99 <td>November 9th, 2018</td> 100 <td>Network Communication: Sockets and RPC</td> 101 <td> 102 <ul> 103 <li><a href="assets/lectures-slides/MID-lecture-2.odp">slides</a></li> 104 <li><a href="assets/lectures-code-examples/lecture2/socket-example.zip">socket-example.zip</a></li> 105 </ul> 106 </td> 107 <!-- <td>-</td> --> 108 </tr> 109 <tr> 110 <td style="vertical-align: middle">3</td> 111 <td style="vertical-align: middle">November 12th, 2018</td> 112 <td> 113 Network Communication: Java RMI 114 <hr align="left" width="65%"> 115 Shared Memory Concurrency: Java Threads 116 </td> 117 <td style="vertical-align: middle"> 118 <ul> 119 <li><a href="assets/lectures-slides/MID-lecture-3-java-rmi.odp">slides-java-rmi</a> </li> 120 <li><a href="assets/lectures-slides/MID-lecture-3-threads.odp">slides-threads</a> </li> 121 <li><a href="assets/lectures-code-examples/lecture2/rmi-example.zip">rmi-example.zip</a> </li> 122 <li><a href="assets/lectures-code-examples/lecture3/counter-example.zip">counter-example.zip</a></li> 123 </ul> 124 </td> 125 <!-- <td style="vertical-align: middle">-</td> --> 126 </tr> 127 <tr> 128 <td>4</td> 129 <td>November 19th, 2018</td> 130 <td>Shared Memory Concurrency: Mutual exclusion, Locks, Semaphores and Monitors</td> 131 <td> 132 <ul> 133 <li><a href="assets/lectures-slides/MID-lecture-4.odp">slides</a></li> 134 <li><a href="assets/lectures-code-examples/lecture4/counter-example-synchronisation.zip">counter-example-synchronisation.zip</a></li> 135 <li><a href="assets/lectures-code-examples/lecture4/mutex-monitor.zip">mutex-monitor.zip</a></li> 136 </ul> 137 </td> 138 <!-- <td>-</td> --> 139 </tr> 140 <tr> 141 <td>5</td> 142 <td>November 23th, 2018</td> 143 <td>Actors Model and Akka</td> 144 <td> 145 <ul> 146 <li><a href="assets/lectures-slides/MID-lecture-5-actors.odp">slides</a></li> 147 <li><a href="assets/lectures-code-examples/lecture5/anonymous-functions.zip">anonymous-functions.zip</a></li> 148 <li><a href="assets/lectures-code-examples/lecture5/akka-example.zip">akka-example.zip</a></li> 149 <li><a href="assets/lectures-code-examples/lecture5/akka-echo.zip">akka-echo.zip</a></li> 150 </ul> 151 </td> 152 <!-- <td>-</td> --> 153 </tr> 154 <tr> 155 <td>6</td> 156 <td>November 26th, 2018</td> 157 <td>Actors Model: Client-Server architecture</td> 158 <td> 159 <ul> 160 <li><a href="assets/lectures-slides/MID-lecture-5-actors.odp">slides (same as last week)</a></li> 161 <li><a href="assets/lectures-code-examples/lecture6/akka-math-server.zip">akka-math-server.zip</a></li> 162 </ul> 163 </td> 164 <!-- <td>-</td> --> 165 </tr> 166 <tr> 167 <td>7</td> 168 <td>December 3rd, 2018</td> 169 <td> 170 <ul style="padding-left: 0rem; list-style: none;"> 171 <li>Actors Model: Parallelisation and Workers</li> 172 <li>MapReduce</li> 173 </ul> 174 </td> 175 <td> 176 <ul> 177 <li><a href="assets/lectures-slides/MID-lecture-7-workers.odp">slides</a></li> 178 <li><a href="assets/lectures-code-examples/lecture6/akka-math-delegate-server.zip">akka-math-delegate-server.zip</a></li> 179 <li>
179<a href="assets/lectures-code-examples/lecture6/akka-math-workers-server.zip">akka-math-workers-server.zip</a></li> 180 <li><a href="assets/lectures-code-examples/lecture7/akka-timers.zip">akka-timers.zip</a></li> 181 </ul> 182 </td> 183 <!-- <td>-</td> --> 184 </tr> 185 <tr> 186 <td>8</td> 187 <td>December 7th, 2018</td> 188 <td>Time and Synchronisation</td> 189 <td> 190 <ul> 191 <li><a href="assets/lectures-slides/MID-lecture-8.odp">slides</a></li> 192 </ul> 193 </td> 194 <!-- <td>-</td> --> 195 </tr> 196 <tr> 197 <td>9</td> 198 <td>December 14th, 2018</td> 199 <td>Labs review session</td> 200 <td>-</td> 201 <!-- <td>-</td> --> 202 </tr> 203 <tr> 204 <td>10</td> 205 <td>December 17th, 2018</td> 206 <td>Formal Verification of Distributed Systems</td> 207 <td> 208 <ul> 209 <li><a href="assets/lectures-slides/MID-lecture-10.odp">slides</a></li> 210 <li><a href="assets/lectures-code-examples/lecture10/promela-examples.zip">promela-examples.zip</a></li> 211 </ul> 212 </td> 213 <!-- <td>-</td> --> 214 </tr> 215 </tbody> 216 </table> 217 </div> 218 </div> 219 220 <!-- Footer --> 221 <footer> 222 <br><br><br> 223 <hr> 224 <div class="row bd-footer"> 225 <div class="col-lg-12"> 226 <p><font size="2">Copyright © INSA Lyon<font></p> 227 </div> 228 </div> 229 </footer> 230 </div> 231 232 <!-- Optional JavaScript --> 233 <!-- jQuery first, then Popper.js, then Bootstrap JS --> 234
234<script src="https://code.jquery.com/jquery-3.2.1.slim.min.js" integrity="sha384-KJ3o2DKtIkvYIK3UENzmM7KCkRr/rE9/Qpg6aAZGJwFDMVNA/GpGFF93hXpG5KkN" crossorigin="anonymous"></script>
234 235
235<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js" integrity="sha384-ApNbgh9B+Y1QKtv3Rn7W3mgPxhU9K/ScQsAP7hUibX39j7fakFPskvXusvfa0b4Q" crossorigin="anonymous"></script>
235 236
236<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/js/bootstrap.min.js" integrity="sha384-JZR6Spejh4U02d8jOt6vLEHfe/JQGiRRSQQxSfFWpi1MquVdAyjUar5+76PVCmYl" crossorigin="anonymous"></script>
236 237</body> 238</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.