Differences

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

--- public:the_tale_of_httpdirfs [2019/07/31 20:54] – [HTTPDirFS was accepted into Debian repository by the then DPL himself!] 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! =====