Questions of kernel config CONFIG_PROVE_LOCKING and CONFIG_LOCKDEP

[Shuangpeng]

Dear Syzkaller Maintainers,

I have a question about the several kernel config recommended in  the documents of Syzkaller.  (https://github.com/google/syzkaller/blob/master/docs/linux/kernel_configs.md)

I found the config CONFIG_PROVE_LOCKING and CONFIG_LOCKDEP were suggested to be enabled. It seems these two configs are used for finding the errors related to locks, like deadlock issues. 

Enabling these two configs will slow down the fuzzing speed significantly. I am wondering whether we can disable these two configs if we only want to find kernel memory bugs and we are not interested in deadlock problems. For these two configs, is there any other benefits I ignored for finding memory bugs?

Thank you!

Best,

Shuangpeng

[Aleksandr Nogikh]

Hi Shuangpeng,

Sure, if you are not looking for deadlocks, you don't need to enable
those configs.

--
Aleksandr

>
> Thank you!
>
> Best,
> Shuangpeng
>

[Shuangpeng]

Hi Aleksandr,

That would be great! Thank you for your help!

Best, 

Shuangpeng