Closed wasade closed 5 years ago
Thanks a lot for the fix! Much appreciated. I merged it and released version 0.1.4
Thanks! And thank you for the rapid review and merge!
On Fri, Aug 10, 2018, 10:35 PM Nicolas Favre-Felix notifications@github.com wrote:
Thanks a lot for the fix! Much appreciated. I merged it and released version 0.1.4
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/nicolasff/webdis/pull/148#issuecomment-412250189, or mute the thread https://github.com/notifications/unsubscribe-auth/AAc8slx2EctG2HuU0J20qaTXk2aGpQs_ks5uPl8VgaJpZM4V3mDa .
On some long running code, we observed sporadic segmentation faults. After monitoring
webdis
ingdb
, we observed the following traceback:This lead us to examine
cmd_free
, where we observed that the order of deallocation lead to a potential to access memory that had already been freed. Specifically, the for loop freeing theargv
entries was performed prior to subsequent use ofargv
bycmd_is_subscribe
.This pull request makes a minor reordering of the deallocations in
cmd_free
, and appears to resolve our segmentation faults.