2*) Решение проблемы зависимости от неподтвержденных обновлений с помощью механизма блокировки

 

    3*) Решение проблемы противоречивости  с помощью механизма блокировки

 

     12.2.2. Управление на  основе многоверсионных  объектов с метками  времени

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

    Некоторые обстоятельства: 

    1) Очевидно, что беспрепятственно  изменить свою копию сможет  лишь одна из параллельных  транзакций, которая сделает это первой (TA). СУБД не позволит другой транзакции (TB) изменить тот же объект и, либо аварийно завершит TB, либо переведет TB в ожидание до конца TA, что зависит от заданных для TB условий старта. 

    Если TB будет ждать завершения TA, то возможны два исхода:

    а) TA подтверждает свои изменения (COMMIT), тогда TB аварийно завершается;

    б) TA отменяет свои изменения (ROLLBACK), тогда TB переносит свои изменения в  БД и продолжает работать. 

    2) Каждая параллельная транзакция  может беспрепятственно читать  и всегда видеть в точности то состояние БД, которое было когда транзакция началась, плюс ее собственные изменения, но не может видеть изменения в БД, сделанные другими параллельными транзакциями. 

    Решение трех проблем с  помощью многоверсионных  объектов в СУБД Interbase 

    Объектом  для транзакции является строка. 

    Interbase создает новую версию строки  всякий раз, когда какая-либо  транзакция изменяет или удаляет  эту строку. Interbase помечает эту  версию строки временем появления  и именем транзакции, которая  воздействовала на строку.

    По  запросу любой транзакции на чтение этой строки, Interbase предоставляет ей самую свежую версию строки, но уже  подтвержденную до старта этой транзакции. 

    1**) Решение первой проблемы (утраченное  обновление) 

 

    TA беспрепятственно изменило R, поскольку  сделало это первой. TB не удалось  изменить R, так как она не "видела" самой последней подтвержденной  версии. 

    (1**) решает проблему (1) и, в отличие  от (1*), исключает тупиковую ситуацию. 
 

    2**) Решение проблемы зависимости от неподтвержденных обновлений с помощью многоверсионных объектов 

 

    3**) Решение проблемы противоречивости  с помощью многоверсионных объектов 

    Тема 13. Объектно-ориентированное  программирование

    Существует  две модели построения программ:

• процессно-ориентированная;
• объектно-ориентированная.

    Процессно-ориентированная. В данной модели программа представляется как ряд последовательно выполняемых операций (процедур). Языки программирования, в которых реализован процессно-ориентированный подход к построению программ, называются процедурными.

    Объектно-ориентированная. При использовании данной модели программа рассматривается как совокупность объектов – отдельных фрагментов кода, обеспечивающих выполнение определенных действий и объединяющих данные и методы управления ими.

    13.1. Основы языка Object Pascal

    13.1.1. Структура  программы в Object Pascal

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

 

    Заголовок программы. В заголовке после служебного слова Program указывается имя программы.

    Раздел  объявления модулей. Начало данного раздела указывается с помощью директивы Uses.

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

    Раздел  объявления меток. Начало раздела указывается с помощью директивы Label.

    Раздел  описания типов. В Object Pascal существует довольно большое количество стандартных типов. Однако при разработке программ, особенно при использовании объектно-ориентированного программирования, программисту необходима возможность создавать свои типы данных. Для описания пользовательских типов используется раздел объявления типов, начало которого определяет директивы Type. Самым простым вариантом объявления собственного типа является просто объявление типа, аналогично уже существующему, например:

    Type

       id_type1 = integer; 

    Раздел  переменных. Начало раздела объявляется с помощью служебного слова Var. В данном разделе должны быть описаны все переменные, которые будут использоваться в программе.

    Компилятор  Object Pascal не допускает использование переменных, не объявленных в разделе Var. Объявление переменной, не используемой в программе, не приводит к ошибке компиляции, однако компилятор будет выдавать предупреждение о том, что переменная объявлена, но никогда не используется.

    При объявлении переменной указывается  идентификатор и через двоеточие  – тип переменной, например:

    var

       id_var1: integer; 

    Идентификаторы  переменных одного типа можно перечислять  через запятую:

    var

       id_var1, id_var2, id_var3: integer; 

    Для нестандартных типов имя типа должно быть описано в разделе  Type, находящемся выше раздела Var, в котором оно используется.

    Раздел  констант. Данный раздел содержит объявления констант и начинается с директивы Const. Константа фактически является переменной, значение которой устанавливается не в процессе выполнения программы, а на этапе компиляции. Значение константы не может изменяться программно. В объявлении константы можно использовать не только конкретные значения, но и выражения. Тип константы определяется присваиваемым ей значением или типом результата, получаемого при вычислении выражения.