plasma-umass / DoubleTake

Evidence-based dynamic analysis: a fast checker for memory errors.
MIT License
21 stars 12 forks source link

Semaphores are not cleaned up successfully #15

Open tongping opened 9 years ago

tongping commented 9 years ago

Currently, some semaphores are not cleaned up if we have to rollback. We add the thread.finalize() in finalize() function. However, this finalize() function is not called in the rollback phase. Currently, we have to cleanup those semaphores using ipcrm -s semid outside.