A potential data race in drivers/scsi/mvumi.ko

2016-08-12 Thread Pavel Andrianov
-> mvumi_handshake -> mvumi_hs_build_page In this case the same data mhba->handshake_page is modified from two threads. Likely the first thread should acquire the same spinlock mhba->shost->host_lock as the second thread. -- Pavel Andrianov Linux Verification Center

A potential race in drivers/scsi/megaraid.ko

2016-08-12 Thread Pavel Andrianov
acquire the same spinlock adapter->lock as the second one. -- Pavel Andrianov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: andria...@ispras.ru -- To unsubscribe from this list: send the line "unsubscribe linux-scsi" in the body of a message to majord.

[PATCH] scsi_megaraid: addition spin_lock in megaraid_abort()

2012-07-26 Thread Pavel Andrianov
megaraid_abort(). Found by Linux Driver Verification project (linuxtesting.org) Signed-off-by: Pavel Andrianov --- drivers/scsi/megaraid.c |3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/drivers/scsi/megaraid.c b/drivers/scsi/megaraid.c index 4d39a9f..7572d86 100644 --- a