[rdbms] isolation / locking

katrin2201

1. select count(1) into a from field where doc_id = :doc_id;

2. if (a = 0) then

3.    insert into field (doc_id, value_data) values (:doc_id, 'deadbeef');

4. end if;

5. commit;

Ivan8209

katrin2201

Dasar

alter table field add constraint doc_id_unique unique(doc_id)

Ivan8209

katrin2201

Ivan8209

Ivan8209

katrin2201

Ivan8209

create table f(id integer unique, val integer);

alter table f add constraint f_id_unique unique(id);

insert into f values (1, 2);

insert into f values (1, 3);

katrin2201

create table DOCS

(

  ID                 CHAR(32) default sys_guid not null,

  SRC                SYS.XMLTYPE         --то что пришло извне

);

alter table DOCS

  add constraint PK_DOCS primary key (ID)

  using index;

create table FIELDS

(

  ID                       CHAR(32) default sys_guid not null,

  ID_DOCS                  CHAR(32) not null,

  VALUE_DATA               VARCHAR2(4000

);

alter table FIELDS

  add constraint PK_FIELDS primary key (ID)

  using index;

alter table FIELDS

  add constraint FK_FIELDS foreign key (ID_DOCS)

  references DOCS (ID) on delete cascade;

Ivan8209

alter table fields add constraint fields_attr_unique unique(id, id_docs)

-- у каждого документа может быть только один атрибут с заданным id.

katrin2201

Для какого-то документа такой набор полей может быть вполне валиден, поэтому жесткими констрейнтами это никак не описать.

Ivan8209

katrin2201

Ivan8209

katrin2201

Нет, "select ... for update" тебя не устраивает, потому что он
"for update", а ты создавать новые записи собираешься.

Ivan8209

katrin2201

Ivan8209

katrin2201

Ivan8209

katrin2201

macrophage

katrin2201

6yrop

... сначала первая транзакция выполнит строку 1, потом вторая строку 1, потом первая строку 2, вторая строку 2 итд.
...
2. Serializable isolation, pessimistic locking.
Тут все хорошо. Транзакции в 1 строчке делают range lock, соотв вторая транзакция тут припаузится до коммита первой..

6yrop

Минусы:
   - собсно дорогой сам по себе pessimistic locking

katrin2201

katrin2201

macrophage

Ммм. Честно говоря, я тебя не понял.
Мое утверждение в исходном посте - инсерт отрабатывает два раза, и это мне не нравится.
Повтори, пожалуйста, свое утверждение в номерах строчек и транзакций, описанных в первом посте =)

6yrop

алгоритмы для разрешения гораздо более сложных дедлоков

6yrop

Мне, если я пойду этим путем, надо будет перемеривать производительность системы

6yrop

то я очень сомневаюсь, что транзакции в моем примере безысходно повиснут где бы то ни было.

katrin2201

katrin2201

katrin2201

bansek

Я определился. Мне надо, чтобы содержимое fields соответствовало тому, что пришло извне.

katrin2201

попробуй, как по ссылке, что ты привел... только мне чет пока не понятно как это работает..

katrin2201

bansek

katrin2201

bansek

Dasar

katrin2201

katrin2201

bansek

6yrop

http://en.wikipedia.org/wiki/Deadlock#Avoidance

6yrop

mssql ставить лень, в оракле не виснет
да и я на самом деле не сомневаюсь, а уверен
dbms виснущая в описанном тобой случае - говно, а не dbms

set transaction isolation level serializable



begin tran



declare @doc_id int

set @doc_id = 11



declare @a int



select @a = count(1) from field where doc_id = @doc_id



WAITFOR DELAY '0:0:5';



if @a = 0

	insert into field (doc_id, value_data) values (@doc_id, 'deadbeef');



commit tran

  

CREATE TABLE [dbo].[field](

	[Id] [int] IDENTITY(1,1) NOT NULL,

	[doc_id] [int] NOT NULL,

	[value_data] [nvarchar](max) NOT NULL,

 CONSTRAINT [PK_field] PRIMARY KEY CLUSTERED 

(

	[Id] ASC

)WITH (PAD_INDEX  = OFF, STATISTICS_NORECOMPUTE  = OFF, IGNORE_DUP_KEY = OFF, 

ALLOW_ROW_LOCKS  = ON, ALLOW_PAGE_LOCKS  = ON) ON [PRIMARY]

) ON [PRIMARY]

  

6yrop

set transaction isolation level snapshot  

katrin2201

katrin2201

katrin2201

6yrop

На оракле гоняемся со снепшот изоляцией, соотв делает он ровно то, что описнао в примере =)

Id          doc_id      value_data

----------- ----------- ----------------------------------

13          16          deadbeef

15          17          deadbeef

16          17          deadbeef

  

2. Serializable isolation, pessimistic locking.
Тут все хорошо. Транзакции в 1 строчке делают range lock, соотв вторая транзакция тут припаузится до коммита первой.

katrin2201

т.е. вставляются две записи, не смотря на то, что стоит if (a = 0) ?

В первом посте у тебя написано

6yrop

Я где то утверждал, что эти механизмы идеальны или абсолютны?

современные dbms используют довольно навороченные алгоритмы для разрешения гораздо более сложных дедлоков, то я очень сомневаюсь, что транзакции в моем примере безысходно повиснут где бы то ни было.
...
да и я на самом деле не сомневаюсь, а уверен

6yrop

Да, вставляются.

Это плохо.

Тут все хорошо.

katrin2201

A deadlock is a situation wherein two or more competing actions are waiting for the other to finish, and thus neither ever does.

macrophage

Единственное, что мне надо, чтобы если случайноначали обрабатываться две версии документа одновременно, то ониобрабатывались "последовательно". То есть все, что мне надо - этоблокировка по отдельным документам. Как ее достичь - тут и обсуждается.

katrin2201

macrophage

Триггер. Не знаю, пока мне не приходит ничего толкового в голову.
Триггердолжен как то разбираться, кто щас инсертит поле в документ, хозяинлока или нет, а это еще отдельный наворот, соотв опять править код.Проще уж без триггера поправить код там где надо.

6yrop

перезапустит

katrin2201

этом случае теоретически сервер может начать транзакцию заново

6yrop

katrin2201

katrin2201

mbolik1

select count(1) into a from field where doc_id = :doc_id;

if (a = 0) then

begin

    select 1 into a from documents where doc_id = :doc_id for update nowait;

    insert into field (doc_id, value_data) values (:doc_id, 'deadbeef');

exception when others -- лень смотреть правильный 

then

    null;  -- Здесь можно повесить свой обработчик. У тебя сказано что ты хочешь сохранять все

-- приходящие изменения. Но если изменения не различимы, то одно можно просто выкинуть.

end;

end if;

commit;