zombie processes (again)
ID0002205: This issue was created automatically from Mantis Issue 2205. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002205 | Frama-C | Plug-in > wp | public | 2016-02-01 | 2016-02-04 |
| Reporter | jens | Assigned To | correnson | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Magnesium | Target Version | - | Fixed in Version | - |
Description :
This is related #2154 (closed) and #2132. I have updated my Frama-C installation under OS X with a patch provided by Loïc Correnson. The situation has improved in the sense that my system is not so sluggish anymore but there still a substantial number of zombie processes: 86 (before the patch I counted 111 for the same example).