--- a/index.html Fri Aug 18 11:09:00 2017 +0100
+++ b/index.html Wed Sep 06 00:56:32 2017 +0100
@@ -264,7 +264,7 @@
then processes can behave quite erratically, as <A HREF="http://www.nasa.gov">NASA</A> found out the
<A HREF="http://catless.ncl.ac.uk/Risks/19.54.html#subj6">hard</A> way with their
<A HREF="http://www.nasa.gov/mission_pages/mars-pathfinder/index.html">Mars Pathfinder mission</A>.
- The priority inheritance protocol is a widely used schedulling algorithm that prevents
+ The priority inheritance protocol is a widely used scheduling algorithm that prevents
priority inversion. However, the <A HREF="http://dx.doi.org/10.1109/12.57058">original paper</A>
describing this algorithm contains an incorrect algorithm and a bogus correctness proof
(this seems to be the only "proof" about priority inheritance in the literature).