public:the_tale_of_httpdirfs
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
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 | Fufu | ||
</ | </ | ||
+ | |||
+ | ==== Professor Alan Burn's reply ==== | ||
+ | < | ||
+ | Hi, | ||
+ | Thanks for your ' | ||
+ | |||
+ | 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 ' | ||
+ | code that already exists. | ||
+ | |||
+ | Good luck | ||
+ | |||
+ | Alan | ||
+ | </ | ||
+ | |||
===== 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