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/23 16:27] – fangfufu | public:the_tale_of_httpdirfs [2019/08/09 12:24] (current) – fangfufu | ||
---|---|---|---|
Line 47: | Line 47: | ||
===== Email to Professor Alan Burns ===== | ===== Email to Professor Alan Burns ===== | ||
- | Race conditions might still be in my code, because my code is crappy, and my knowledge is shoddy. I have emailed my undergraduate professor - hopefully he will give me some help. Hopefully, at least he would find my story funny -- I know at least if someone send me an email like this, I would love it. | + | Race conditions |
< | < | ||
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! ===== | ||
+ | Chris Lamb was the Debian Project Leader in March 2019. In his blogpost, he mentioned '' | ||
+ | |||
+ | https:// | ||
+ | |||
public/the_tale_of_httpdirfs.txt · Last modified: 2019/08/09 12:24 by fangfufu