logo
Учебник ИСПиУ

4.9.15 Приоритет «непосредственной» транзакции

Рассмотрим некоторые из политик назначения приоритетов непосредственным подтранзакциям.

Согласно этой политике непосредственной подтранзакции назначается приоритет, равный директивному сроку отцовской транзакции. Более того, приоритет отцовской транзакции не меняется после порождения подтранзакции. Т.е., если – i-я непосредственная транзакция, порожденная транзакцией T в момент времени t, то .

Рассмотрим транзакцию T, которая в момент времени t порождает непосредственную транзакцию , тогда:

(4.9.8)

Пусть транзакция заканчивается в момент времени w>t, тогда приоритет отцовской транзакции будет следующим:

. (4.9.9)

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

Согласно этой политике оставшийся средний запас свободного времени отцовской транзакции ( ), вычисляемый в потенциальные моменты порождения транзакции, используется в качестве приоритета породившей и порожденной транзакций. Т.е. отцовская и порожденная транзакции имеют одинаковые приоритеты.

Пусть, например, транзакция T стартует в момент времени t0, а момент времени t является потенциальным для порождения i-й непосредственной транзакции . Первоначальный на момент времени t0 приоритет транзакции T вычисляется как:

.

Если в момент времени t транзакция была порождена, то:

(4.9.10)

.

Если в момент времени t подтранзакция не была порождена, то:

. (4.9.11)