SyncReqSend rule (kmdf)
The SyncReqSend rule specifies that all synchronous send requests are done by using synchronous-specific KMDF device driver interface methods, and that the methods have a nonzero timeout value set.
If the driver calls a WDFxxxSendXXXSynchronously method without setting a valid timeout, the thread can become stalled if hardware does not respond promptly.
| Driver model | KMDF |
|---|
How to test
| At compile time |
|---|
|
Run Static Driver Verifier and specify the SyncReqSend rule. Use the following steps to run an analysis of your code:
For more information, see Using Static Driver Verifier to Find Defects in Drivers. |
Applies to
- WdfIoTargetSendIoctlSynchronously
- WdfIoTargetSendReadSynchronously
- WdfIoTargetSendWriteSynchronously
- WdfUsbTargetDeviceSendControlTransferSynchronously
- WdfUsbTargetDeviceSendUrbSynchronously
- WdfUsbTargetPipeReadSynchronously
- WdfUsbTargetPipeSendUrbSynchronously
- WdfUsbTargetPipeWriteSynchronously
Send comments about this topic to Microsoft
Build date: 2/13/2014
Show:
