14.4.2 Concurrency Control via time

14.4.2 Concurrency Control via time stamp ordering
A different approach to concurrency control avoids any form of locking and relies solely on time stamps. Each transaction Ti is assigned a time stamp TS(i) when it starts, and the same time stamp TS(i) is assigned to all read and write accesses of every object x by Ti. Time stamp ordering makes an a priori selection of the serialization order and forces the transaction execution to obey that order. In particular, conflicting operations on a shared variable x will be granted read or write access only if it comes in time stamp order—otherwise, the access will be denied, and the transaction will abort and restart at a later time with a new time stamp. There are several different versions of scheduling reads and writes based on time stamps—here, we only discuss the basic version of time stamp ordering.
Time stamp ordering assigns two time stamps RTS and WTS to each object x—their values are determined by the time stamps of the transactions performing read or write on x. Let RTS(x) be the largest time stamp of any transaction that reads x and WTS(x) be the largest time stamp of any transaction that updates x. Now, if a transaction Tj requests access to x, then the time stamp ordering protocol will handle the request as follows:

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

14.4.2 Управление параллелизмом через заказ штамп времениДругой способ управления параллелизмом позволяет избежать любой формы блокировки и полагается исключительно на отметки времени. Каждая транзакция Ti назначается штамп времени TS(i), когда она начинается, и же штамп времени TS(i) назначен все чтения и записи доступа каждого объекта x от Ti. Заказ штамп времени делает a priori выбор порядка сериализации и принудительное выполнение транзакции чтобы подчиниться этому приказу. В частности, противоречивые операции на общей переменной x будет предоставить доступ или запись, только если она приходит в порядке штамп времени — в противном случае, доступ будет запрещен, и транзакция будет прервана и перезапустить позднее с новой отметкой времени. Существует несколько различных версий планирования операций чтения и записи на основе отметок времени — здесь мы только обсуждаем базовую версию заказа штамп времени.Заказ штамп времени каждому объекту присваивается два отметки времени РТС и WTS x — их значения определяются отметки времени транзакций, выполняющих чтение или запись на x. Пусть RTS(x) быть крупнейшим отметка времени любой транзакции, которая считывает x и WTS(x) быть крупнейшим отметка времени любой транзакции, которая обновляет x. Теперь если транзакция Tj запрашивает доступ к x, то штамп времени заказа протокола будет обрабатывать запрос следующим образом:

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

14.4.2 Управление параллелизмом с помощью штампа времени упорядочения
иной подход к управлению параллелизмом исключает любую форму фиксации и полагается исключительно на временные метки. Каждая транзакция Ti присваивается временная метка TS (I) , когда она начинается, и то же время марка TS (I) назначается для всех операций чтения и записи доступов каждого объекта х на Ti. Время заказа штампа делает априорное выбор порядка сериализации и вынуждает выполнение транзакции подчиняться этот порядок. В частности, конфликтующие операции по общей переменной х будет само собой разумеющееся чтения или записи доступа , только если речь идет о времени заказа в противном случае штамп, то доступ будет запрещен, и транзакция будет прервана и перезапустить в более позднее время с новой отметкой времени , Есть несколько различных версий планирования операций чтения и записи на основе временных отметок, здесь мы только обсудим базовую версию упорядочения штампа времени.
Время заказа марка присваивает два временных отметок RTS и WTS каждому объекту х-их значения определяются по времени штампы сделок , выполняющих чтение или запись на х. Пусть RTS (х) самый большой штамп времени любой операции , которая читает х и WTS (х) самый большой штамп времени любой операции , которая обновляет х. Теперь, если транзакция Tj запрашивает доступ к х, то время протокол штамп заказа будет обрабатывать запрос следующим образом :