But to Roland's point, how will we ummap resources? If an application won't respond to device removal event and clean up properly, perhaps it is "okay" to let it crash. Alternatively, what about a RDMA_CM_EVENT_DEVICE_REMOVAL_PENDING and RDMA_CM_EVENT_DEVICE_REMOVED scheme. Post the first event to allow good applications to clean up. The second event to notify apps that the device is "gone". After the second event, we can then get violent and shoot to kill?
You probably don't need the two events as you can detect when the apps free up these resources anyway. So your proposal boils down to: post the DEVICE_REMOVAL/ DEVICE_FATAL events, and wait some amount of time. After said timeout, you fire a SIGBUS at each process still owning resources for the device in question.
Roland, is that terrible in your opinion? -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
