Differences

This shows you the differences between two versions of the page.

--- public:the_tale_of_httpdirfs [2019/07/31 12:56] – fangfufu
+++ public:the_tale_of_httpdirfs [2019/08/09 12:24] (current) – fangfufu
@@ Line 96: / Line 96: @@
 Fufu
 </code>
+==== Professor Alan Burn's reply ====
+<code>
+Hi,
+Thanks for your 'story', indeed ironic but interesting - I am pleased to have had a possible input.
+Deadlock detection is VERY hard - testing will not identify the subtle situations that can lead to this failure
+Two approaches - one use a resource usage protocol that prevents deadlocks (they exists for single processor
+systems but are not as common for true parallelism) - two, use model checking on a model of your software
+to 'prove' deadlock free in ALL circumstances. The latter is a powerful but not too easy to apply, especially to
+code that already exists.
+Good luck
+Alan
+</code>
 ===== HTTPDirFS was accepted into Debian repository by the then DPL himself! =====
-Chris Lamb was the Debian Project Leader in March 2019. In his blog, he mentioned ''httpdirfs-fuse''. This is quite cool!
+Chris Lamb was the Debian Project Leader in March 2019. In his blogpost, he mentioned ''httpdirfs-fuse''. This is really cool!!! It feels like I unknowingly got an autograph from a Hollywood star!!!
 https://web.archive.org/web/20190731125517/https://chris-lamb.co.uk/posts/free-software-activities-in-march-2019