Differences

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

Link to this comparison view

Both sides previous revision Previous revision
public:the_tale_of_httpdirfs [2019/07/31 20:54]
fangfufu [HTTPDirFS was accepted into Debian repository by the then DPL himself!]
public:the_tale_of_httpdirfs [2019/08/09 12:24] (current)
fangfufu
Line 96: Line 96:
 Fufu Fufu
 </​code>​ </​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! ===== ===== HTTPDirFS was accepted into Debian repository by the then DPL himself! =====
  • public/the_tale_of_httpdirfs.txt
  • Last modified: 2019/08/09 12:24
  • by fangfufu