Add file-private locking slide

diff --git a/index.html b/index.html
index 12c844c561d94da49c17153299ec0870902c0eb0..b3cc8440aee544af2befb04d62de4f8c8359f672 100644 (file)
--- a/index.html
+++ b/index.html
@@ -353,6 +353,33 @@
   </ul>
 </div>
 
+<div class="slide">
+  <h1>File-private locking [3.15]</h1>
+  <ul class="incremental">
+    <li>
+      POSIX says that closing a file descriptor removes
+      the <em>process</em>'s locks on that file
+    </li>
+    <li>
+      What if process has multiple file descriptors for the same
+      file?  It loses all locks obtained through any descriptor!
+    </li>
+    <li>
+      Multithreaded processes may require serialisation around
+      file open/close to ensure they open each file exactly once
+    </li>
+    <li>
+      Hard and symbolic links can hide that two files are really the
+      same
+    </li>
+    <li>
+      Linux now provides file-private locks, associated with a
+      specific open file and removed when last descriptor for the
+      open file is closed
+    </li>
+  </ul>
+</div>
+
 <div class="slide">
   <h1>Questions?</h1>
 </div>