Premature write problem: As another

Premature write problem: As another example of a problem situation caused by the abortion of a transaction, consider a shared variable B whose initial value is 0, and there are two concurrent transactions T1 ≡ B ← 500 and T2 ≡ B ← 1000. Depending on the order in which the two transactions complete, we will expect that B will be set to either 500 or 1000. Assume that they are executed in the order (T1; T2). Let T2 commit first (raising the balance B to 1000), but T1 abort thereafter (changing the value of B to 0). Clearly, this is not acceptable. This problem is called the premature write problem. The problem could be avoided, if T2 delayed the writing of B until T1’s decision to commit or abort was taken. If the earlier transaction aborts, then the later transaction must also abort. To avoid dirty reads and premature writes, a transaction must delay its read or write operations until the transactions scheduled earlier either commit or abort.

14.4.1 testing for serializability
Concurrent transactions commonly use locks with conflicting operations on shared objects. One method of testing whether a schedule of concurrent transactions satisfies the serializability property is to create a serialization graph. The serialization graph is a directed graph G = (V, E), where V is the set of transactions and E is the set of directed edges between transactions: a directed edge (Tj → Tk) implies that transaction Tk acquired a lock only after transaction Tj released that lock. The following theorem tests the serializ- ability property:

Результаты (русский) 1:

Преждевременная записи проблема: как еще один пример проблемной ситуации, вызванных абортами транзакции, рассмотрим общую переменную B которой начальное значение равно 0, и есть два параллельных транзакций T1 ≡ B ← 500 и T2 ≡ B ← 1000. В зависимости от порядка, в котором две транзакции в комплекте мы будем ожидать, что B будет присвоено 500 или 1000. Предположим, что они выполняются в порядке (T1; T2). Пусть T2 совершить первый (повышение баланса B до 1000), но T1 abort в дальнейшем (изменение значения B до 0). Очевидно это не приемлемо. Эта проблема называется проблемой преждевременной записи. Проблемы можно избежать, если T2 запись B до T1 в решение зафиксировать или прервать. Если ранее транзакция будет прервана, то позднее транзакция должна также прервать процесс. Чтобы избежать грязных операций чтения и преждевременного записи, транзакция должна задержать ее чтения или операции записи, пока транзакции, запланированные ранее либо зафиксировать или прервать.14.4.1 тестирование упорядоченностьПараллельные транзакции обычно используют блокировки конфликтующие операции с общими объектами. Один из способов тестирования ли график параллельных транзакций удовлетворяет упорядоченность свойство является создание графа сериализации. График сериализации является направленный граф G = (V, E), где V набор транзакций и E набор направленных границ между транзакциями: режиссер edge (Tj → Tk) предполагает, что сделка ТЗ приобрела блокировку только после транзакции Tj блокировку. Следующие теоремы проверяет свойство serializ способность:

Результаты (русский) 2:

Преждевременное проблема записи: В качестве другого примера проблемной ситуации , вызванной срыву сделки, рассмотрим общую переменную B начальное значение которого равно 0, и есть два параллельных транзакций T1 ≡ B ← 500 и T2 ≡ B ← 1000. В зависимости от порядок , в котором эти две операции завершена, мы ожидаем , что B будет установлен либо 500 или 1000. Предположим , что они выполняются в порядке (T1; T2). Пусть Т2 совершить первый (повышение баланса B до 1000), но T1 после отмены (изменения значения B 0). Ясно, что это не приемлемо. Эта проблема называется преждевременным проблема записи. Проблему можно было бы избежать, если T2 отложила запись B до решения T1, чтобы совершить или отмените было принято. Если ранее транзакция прерывается, то позже транзакция должна также прервать. Для того, чтобы избежать грязного чтения и преждевременных операций записи, транзакция должна задержать ее операции чтения или записи до операции , запланированные ранее либо фиксации или отмены.

14.4.1 тестирование на сериализуемости
одновременные транзакции обычно используют замки с конфликтующими операциями на общих объектах. Один из способов проверки , удовлетворяет ли график параллельных транзакций свойство сериализуемости является создание сериализации графа. Сериализация граф представляет собой ориентированный граф G = (V, E), где V есть множество сделок и Е есть множество направленных ребер между сделок: направленное ребро (Tj → Tk) следует , что транзакция Тк приобрела блокировку только после того, как транзакция Tj выпустила эту блокировку. Следующая теорема проверяет способность serializ- свойства:

Результаты (русский) 3:

преждевременно писать проблема: как еще один пример проблемной ситуации, вызванной абортом сделка, рассмотреть общие переменные в, начальное значение 0, и есть два параллельных сделок T1 ≡ b ← 500 и t2 ≡ b ← 1000.в зависимости от того, в котором две операции завершена, мы ожидаем, что в будут установлены на 500 или 1000.предполагать, что они осуществляются в порядке (T1, T2).пусть T2 совершить первый (повышение сбалансированности в 1000), но затем т1 аборт (изменения значения в 0).очевидно, это не приемлемо.эта проблема называется преждевременно писать проблемы.эту проблему можно избежать, если T2 с написания b до T1 решения совершить или прервать принято не было.если ранее сделки прекратит, то позже сделки должны также отменить.чтобы избежать грязных читает и преждевременно пишет, сделка должна отсрочить его читать или писать операции до тех пор, пока сделки, намеченных ранее либо совершения или отменить.14.4.1 тестирования на serializabilityодновременно сделок обычно используем замки с конфликтующими операций на общих объектов.один из методов тестирования ли график параллельных сделок удовлетворяет serializability собственности состоит в том, чтобы создать сериализация график.The сериализация график ориентированный граф g = (V, E), где V - ряда сделок и E - это набор в границы между сделок: в край (TJ → тз) предполагает, что сделка тз приобрел замок только после операции, но освобожден замок.следующие - испытаний serializ - способность собственности: