select_for_updates
The only consumer of that functionality (the XQueue callback) already does retries, so newly introduce integrity errors (due to multiple commiters trying to update a StudentModule) won't break the XQueue processing pipeline.