Могут ли два оператора "ВЫБЕРИТЬ ДЛЯ ОБНОВЛЕНИЯ" в одной таблице вызвать тупик?

Предположим, что две одновременные транзакции выполняют следующие запросы в DB Postgresql:

Транзакция A:

SELECT * FROM mytable WHERE id IN (1, 2, 3, 4) FOR UPDATE

Транзакция B:

SELECT * FROM mytable WHERE id IN (6, 3, 2, 1) FOR UPDATE

Возможно ли возникновение тупика из-за того, что Postgresql приобретает блокировки строк в непоследовательном порядке? Например. если Postgresql должен был получить блокировки строк в порядке, указанном в этом примере, тогда существует вероятность тупика.

Или Postgresql достаточно внутренне достаточно интеллектуальный, чтобы всегда получать блокировки строк таким образом, что одновременные, дискретные операторы SELECT FOR UPDATE в одной и той же таблице не могут блокировать друг друга (например, всегда приобретая блокировки строк в порядке первичного ключа)?

Если Postgresql автоматически не предотвращает появление таких взаимоблокировок, существует ли способ изменить запросы для предотвращения такой ситуации (например, если на самом деле Postgresql получает блокировки строк в порядке, указанном идентификаторами, а затем последовательно сортирует идентификаторы должен предотвратить тупик)?

Спасибо за любую помощь!