public:the_tale_of_httpdirfs
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
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 | 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! ===== | ||
- | Chris Lamb was the Debian Project Leader in March 2019. In his blog, he mentioned '' | + | Chris Lamb was the Debian Project Leader in March 2019. In his blogpost, he mentioned '' |
https:// | https:// | ||
public/the_tale_of_httpdirfs.1564577810.txt.gz · Last modified: 2019/07/31 12:56 by fangfufu