Моя функция new_customer
вызывается веб-приложением несколько раз в секунду (но только один раз за сеанс). Самое первое, что он делает, это блокирует customer
таблицу (сделать «вставку, если не существует» - простой вариант upsert
).
Насколько я понимаю документы , другие вызовы new_customer
должны просто стоять в очереди, пока все предыдущие вызовы не будут завершены:
LOCK TABLE получает блокировку на уровне таблицы, ожидая при необходимости снятия любых конфликтующих блокировок.
Почему иногда вместо этого происходит взаимоблокировка?
определение:
create function new_customer(secret bytea) returns integer language sql
security definer set search_path = postgres,pg_temp as $$
lock customer in exclusive mode;
--
with w as ( insert into customer(customer_secret,customer_read_secret)
select secret,decode(md5(encode(secret, 'hex')),'hex')
where not exists(select * from customer where customer_secret=secret)
returning customer_id )
insert into collection(customer_id) select customer_id from w;
--
select customer_id from customer where customer_secret=secret;
$$;
ошибка из журнала:
2015-07-28 08:02:58 BST ДЕТАЛИ: Процесс 12380 ожидает ExclusiveLock для отношения 16438 базы данных 12141; заблокирован процессом 12379. Процесс 12379 ожидает ExclusiveLock для отношения 16438 базы данных 12141; заблокирован процессом 12380. Процесс 12380: выбрать new_customer (декодировать ($ 1 :: text, 'hex')) Процесс 12379: выберите new_customer (декодировать ($ 1 :: text, 'hex')) 2015-07-28 08:02:58 Подсказка BST: подробности запроса см. В журнале сервера. 2015-07-28 08:02:58 BST КОНТЕКСТ: SQL-оператор "new_customer" оператор 1 2015-07-28 08:02:58 BST STATEMENT: выберите new_customer (декодировать ($ 1 :: text, 'hex'))
связь:
postgres=# select relname from pg_class where oid=16438;
┌──────────┐
│ relname │
├──────────┤
│ customer │
└──────────┘
редактировать:
Мне удалось получить простой и воспроизводимый контрольный пример. Для меня это выглядит как ошибка из-за какого-то состояния гонки.
схема:
create table test( id serial primary key, val text );
create function f_test(v text) returns integer language sql security definer set search_path = postgres,pg_temp as $$
lock test in exclusive mode;
insert into test(val) select v where not exists(select * from test where val=v);
select id from test where val=v;
$$;
скрипт bash запускается одновременно в двух сеансах bash:
for i in {1..1000}; do psql postgres postgres -c "select f_test('blah')"; done
журнал ошибок (обычно несколько тупиков при 1000 вызовах):
2015-07-28 16:46:19 BST ERROR: deadlock detected
2015-07-28 16:46:19 BST DETAIL: Process 9394 waits for ExclusiveLock on relation 65605 of database 12141; blocked by process 9393.
Process 9393 waits for ExclusiveLock on relation 65605 of database 12141; blocked by process 9394.
Process 9394: select f_test('blah')
Process 9393: select f_test('blah')
2015-07-28 16:46:19 BST HINT: See server log for query details.
2015-07-28 16:46:19 BST CONTEXT: SQL function "f_test" statement 1
2015-07-28 16:46:19 BST STATEMENT: select f_test('blah')
редактировать 2:
@ypercube предложил вариант с lock table
внешней функцией:
for i in {1..1000}; do psql postgres postgres -c "begin; lock test in exclusive mode; select f_test('blah'); end"; done
Интересно, что это устраняет тупики.
customer
используется способ, который бы захватил более слабую блокировку? Тогда это может быть проблемой обновления блокировки.