Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций
Диссертация
Для достижения поставленной цели необходимо решить следующие задачи: исследовать проблемы использования технологии разработки серверных компонентов как инструмента реализации специального программного обеспечения для увеличения производительности многозвенных клиент-серверных информационных системпровести формализацию применения кэшированных данных при описании процесса управления… Читать ещё >
Содержание
- ГЛАВА 1. Анализ предметной области и постановка задачи
- 1. 1. Параметризация нового класса многозвенных клиент-серверных информационных систем
- 1. 2. 0. собенности создания специального программного обеспечения для оптимизации распределенных информационных систем с использованием ЕЛЗ-технологии
- 1. 3. Методы управления транзакциями как инструмент повышения производительности специализированных систем
- 1. 4. Цель и задачи работы
- 1. 1. Параметризация нового класса многозвенных клиент-серверных информационных систем
- ГЛАВА 2. Теория транзакций как средство повышения производительности распределенных специализированных информационных систем
- 2. 1. Формализация метода управления кэшированием данных
- 2. 2. Тр анз акционное представление метода кэширования и инструмента применения кэшированных данных в последовательности транзакций
- 2. 3. Сериализуемость историй метода кэширования
- 2. 4. Аналитическое представление метода кэширования на основе временных меток транзакций
- 2. 5. Выводы
- ГЛАВА 3. Проектирование и алгоритмизация специального программного обеспечения управления кэшированием данных на основе временных меток транзакций
- 3. 1. Общий алгоритм функционирования специального программного обеспечения управления транзакциями
- 3. 2. Алгоритмизация взаимодействия компонентов специального программного обеспечения управления транзакциями
- 3. 3. Особенности алгоритмизации взаимодействия и обмена данными при мультиверсионном планировании
- 3. 4. Особенности алгоритмизации поддержки пула соединений между компонентами специального программного обеспечения
- 3. 5. Выводы
- ГЛАВА 4. Реализация специального программного обеспечения управления кэшированием данных на основе временных меток транзакций
- 4. 1. Структурно-функциональные особенности специального программного обеспечения управления транзакциями
- 4. 2. 0. собенности программной реализации специального программного обеспечения управления транзакциями на основе специального обработчика транзакций
- 4. 3. Экспериментальная оценка специального программного обеспечения
- 4. 4. Структур, а и функционирование специального программного обеспечения в составе «интернет-ориентированной информационной системы поддержки учебной и научной деятельности»
- 4. 5. Выводы
- 4. 1. Структурно-функциональные особенности специального программного обеспечения управления транзакциями
- Основные результаты работы
Список литературы
- Агуров П.В. ASP.NET. Сборник рецептов / П. В. Агуров СПб.: БХВ -Петербург, 2010. 528 с.
- Александров Д.В. Распределенные информационные системы, основанные на знаниях: практикум / Д. В. Александров, H.H. Жебрун, И. В. Грачев. Владимир: Изд-во Владим. гос. ун-та, 2008. 89 с.
- Архитектурные особенности проектирования и разработки Веб-приложений.http://www.intuit.rU/department/internet/mwebtech/5/2.html.
- Ахо A.B. Структуры данных и алгоритмы / A.B. Ахо, Д. Э. Хопкрофт, Д. Д. Ульман. Пер. с англ.: Учеб. пос. М.: Издательский дом «Вильяме», 2007. 400 с.
- Берцун В.Н. Математическое моделирование на графах. Часть 1 / В. Н. Берцун: Учеб. пособие. Томск: Изд-во HTJI, 2006. 88 с.
- Боровской А.Н. С++ и Pascale Kylix 3. Разработка интернет-приложений и СУБД / А. Н. Боровской. СПб.: БХВ — Петербург, 2003. 544 с.
- Бурцева Е.В. Информационные системы: учебное пособие / Е. В. Бурцева, И. П. Рак, A.B. Селезнев, A.B. Терехов, В. Н. Чернышев. Тамбов: Изд-во Тамбов, гос. техн. ун-та, 2009. 128 с.
- Бхуптани M. RFID технологии на службе вашего бизнеса: Пер. с англ. / М. Бхуптани, Ш. Морадпур. М.: Альпина Бизнес Букс, 2007. 281 с.
- Ватаманюк А.И. Создание и обслуживание сетей в Windows 7 / А. И. Ватаманюк. СПб.: Питер, 2010. 224 с.
- Гниденко И.Г., Информатика / И. Г. Гниденко, С. А Соколовская. СПб.: Издательский дом «Нева», 2003. 320 с.
- Годин В.В. Управление информационными ресурсами: 17-модульная программа для менеджеров «Управление развитием организации». Модуль 17 / В. В. Годин, И. К. Корнеев. М.: ИНФРА-М, 2000. 352 с.
- Гольц Г. Рабочие станции и информационные сети / Г. Гольц. М.: Машиностроение, 1990. 240 с.
- ГОСТ Р ИСО 13 374−2-2011 Контроль состояния и диагностика машин. Оценка качества программных средств. Общие положения. Часть 2. Обработка данных.
- Грекул В.И. Проектирование информационных систем / В. И. Грекул, Г. Н. Денищенко, Н. Л. Коровкина. М.: Бином. Лаборатория знаний, 2012. 299 с.
- Григорьев Ю.А. Банки данных: учебник для вузов / Ю. А. Григорьев, Г. И. Ревунков. М.: Изд-во МГТУ им. Н. Э. Баумана, 2002. 320 с.
- Гринвальд Р. Программирования баз данных Oracle для профессионалов: Пер. с англ. / Р. Гринвальд, Р. Стаковьяк, Г. Додж и др. М.: Издательский дом «Вильяме», 2007. 784 с.
- Грэхем. И. Объектно-ориентированные методы. Принципы и практика / И. Грэхем. М.: ИД «Вильяме», 2004. 880 с.
- Гэри Д. JavaServer Pages / Д. Гэри. M.: «Вильяме», 2002. 464 с.
- Дарахвелидзе П.Г. Разработка Web-служб средствами Delphi / П. Г. Дарахвелидзе, Е. П. Марков. СПб.: БХВ Петербург, 2003. 627 с.
- Дастин Э. Автоматизированное тестирование программного обеспечения. Внедрение, управление и эксплуатация / Э. Дастин, Д. Рэшка, П. Джон. М.: Лори, 2003. 590 с.
- Дейтел. Х.М. Технологии программирования на Java 2. Книга 3.. Корпоративные системы, сервлеты, JSP, Web-сервисы / Х. М. Дейтел, П.Дж. Дейтел, С. И. Сантри. М.: Бином, 2003. 672 с.
- Днепров А. Видеосамоучитель. Microsoft Access 2007 (+CD) / А. Днепров. СПб.: Питер, 2008. 240 с.
- Избачков Ю.С. Информационные системы: Учебник для вузов. 3-е изд. / Ю. С. Избачков, В. Н. Петров, А. А Васильева и др. СПб.: Питер, 2011. 544 с.
- Кайт T. Oracle для профессионалов: архитектура, методики программирования и основные особенности версий 9i и 10g: Пер. с англ. / Т. Кайт. М.: Издательский дом «Вильяме», 2007. 848 с.
- Камер Д. Сети TCP/IP. Принципы, протоколы и структура. Том 1 / Д. Камер. М.: ИД «Вильяме», 2003. 880 с.
- Конноли Т. Базы данных. Проектирование, реализация и сопровождение. Теория и практика. 3-е издание: Пер. с англ. / Т. Конноли, К. Бегг. М.: Издательский дом «Вильяме», 2003. 1440 с.
- Кравец О.Я., Шахворостов Г. И. Программный модуль «Подсистема генерации контента интерактивного взаимодействия» / О. Я. Кравец, Г. И. Шахворостов. М.: ФГНУ ЦИТИС, 2013. Per. № 50 201 350 123.
- Кульгин М. Технологии корпоративных сетей. Энциклопедия / М. Кульгин. СПб.: Питер, 2000. 509 с.
- Ланг К. Публикация баз данных в Интернете / К. Ланг, Д. Чоу. СПб.: Символ-Плюс, 1998. 480 с.
- Лафоре Р. Объектно-ориентированное программирование в С++. Классика Computer Science: 4-е изд. / Р. Лафоре. СПб.: Питер, 2011. 928 с.
- Левитин A.B. Алгоритмы: введение в разработку и анализ: Пер. с англ. / A.B. Левитин. М.: Издательский дом «Вильяме», 2006. 576 с.
- Леоненков A.B. Самоучитель UML 2 / A.B. Леоненков. СПб.: БХВ -Петербург, 2007. 576 с.
- Майстренко A.B. Информационные технологии в науке, образовании и инженерной практике / A.B. Майстренко, Н. В. Майстренко. Тамбов: Изд-во Тамбов, гос. техн. ун-та, 2009. 96 с.
- Макарова Н.В. Информатика: учебник / Н. В. Макарова. М.: Финансы и статистика, 2006. 768 с.
- Макарова Н.В. Информатика: учебник для вузов. Стандарт третьего поколения / Н. В. Макарова, В. Б. Волков. СПб.: Питер, 2011. 576 с.
- Маклафлин Б. PHP и MySQL. Исчерпывающие руководство / Б. Маклафлин. СПб.: Питер, 2013. 512 с.
- Машнин Т.С. Web сервисы Java / Т. С. Машнин. СПб.: БХВ -Петербург, 2012. 560 с.
- Михеева Е.В. Информационные технологии в профессиональной деятельности: учеб. Пособие / Е. В. Михеева. М.: Проспект, 2010.448 с.
- Молчанов А.Ю. Системное программное обеспечение: учебник для вузов. 3-е изд. / А. Ю. Молчанов. СПб.: Питер, 2010. 400 с.
- Монахов В.В. Язык программирования Java и среда NetBeans. 2 изд., перераб. и доп. / В. В. Монахов. СПб.: БХВ — Петербург, 2009. 720 с.
- Монсон-Хейфел P. Enterprise JavaBeans: Пер. с англ. 3-е издание / Р. Монсон-Хейфел. СПб: Символ-Плюс, 2002. 672 с.
- Нейбург Э.Д. Проектирование баз данных с помощью UML.: Пер. с англ. / Э. Д. Нейбург, Р. А. Максимчук. М.: Издательский дом «Вильяме», 2002. 288 с.
- Новиков Ф.А. Дискретная математика: Учебник для вузов. Стандарт третьего поколения / Ф. А. Новиков. СПб.: Питер, 2011. 384 с.
- Ноубл Д. Flex 4. Рецепты программирования: Пер. с англ. / Д. Ноубл, Т. Андерсон, Г. Брэйтуэйт и др. М.: Издательство «Русская редакция" — СПб.: БХВ Петербург, 2011. 720 с.
- Орлов С.А. Технологии разработки программного обеспечения: Учебник для ВУЗов / Орлов С. А. СПб, 2002. 98с.
- Орлов С. А. Технология разработки программного обеспечения: Учебник для вузов. 4-е изд. Стандарт третьего поколения / С. А. Орлов, Б. Я. Цилькер. СПб.: Питер, 2012. 608 с.
- Осипов Д.Л. Базы данных и Delphi. Теория и практика / Д. Л. Осипов. СПб.: БХВ Петербург, 2011. 752 с.
- Основные понятия технологии проектирования информационных систем электронный ресурс. URL: http://www.intuit.rU/department/se/devis/l/l.html. (дата обращения 23. 10. 2012).
- Палмер С.Р. Практическое руководство по функционально-ориентированной разработке ПО: Пер. с англ. / С. Р. Палмер, Д. М. Фельсинг. М.: Издательский дом «Вильяме», 2002. 304 с.
- Попова И.В. Разработка приложений: учеб. Пособие / И. В. Попова. Магнитогорск: МаГУ, 2005. 185 с.
- Ройс У. Управление проектами по созданию программного обеспечения / У. Ройс. М.: Лори, 2007. 448 с.
- Семенишин Е.В. Реализация возможностей контроллинга средствами информационных технологий / Е. В. Семенишин, A.A. Захаров // Научный журнал КубГАУ. 2009. № 51(7). С. 1−15.
- Столлингс В. Современные компьютерные сети / В. Столлингс. М.: Питер, 2003. 783 с.
- Тейксер С. Delphi 5: Руководство разработчика. Разработка компонентов и работа с базами данных. Том 2 / С. Тейксер, К. Пачеко. M.: М.: Издательский дом «Вильяме», 2000. 988 с.
- Toy Д. Настройка SQL. Для профессионалов / Д. Toy. СПБ.: Питер, 2004. 333 с.
- Трепалин C.B. Delphi, язык и среда программирования. Учебные курсы / C.B. Трепалин, А. Тенцер, Н. З. Елманова. СПб.: Питер, 2002. 640 с.
- Уилтон П. SQL для начинающих: пер. с англ. / П. Уилтон, Дж. Колби. М.: Издательский дом «Вильяме», 2006. 496 с.
- Фаулер М. Архитектура корпоративных программных приложений.: пер. с англ. / М. Фаулер. М.: Издательский дом «Вильяме», 2007. 544 с.
- Федеральный закон РФ от 27 июля 2006 г. N 149-ФЗ «Об информации, информационных технологиях и о защите информации».
- Хабибулин И.Ш. Java 7 / И. Ш. Хабибулин. СПб.: БХВ Петербург, 2012. 768 с.
- Хабибулин И.Ш. Разработка Web-служб средствами Java / И. Ш. Хабибулин. СПб.: БХВ Петербург, 2003. 400 с.
- Хабибулин И.Ш. Создание распределенных приложений на Java 2 / И. Ш. Хабибулин. СПб.: БХВ Петербург, 2002. 704 с.
- Хол М. Сервлеты и JavaServer Pages / М. Хол. СПб.: Питер, 2001. 496 с.
- Шахворостов Г. И. Организация метаданных системы интерактивной оценки знаний в рамках концепции MOF / Г. И. Шахворостов // Научный обозреватель. 2011. № 11. С. 44−45.
- Шахворостов Г. И. Особенности управления разработкой программного обеспечения для специального класса информационных систем / Г. И. Шахворостов, О. Я. Кравец // Экономика и менеджмент систем управления. 2012. № 4.1(6). С. 181−191.
- Шахворостов Г. И. Параметризация одного класса информационных систем / Г. И. Шахворостов, О. Я. Кравец // Информационные технологии моделирования и управления. 2012. № 6(78). С. 465−477.
- Шахворостов Г. И. Программная система «Интернет-ориентированная информационная система поддержки учебной и научной деятельности» / Г. И. Шахворостов Свидетельство о государственной регистрации 2 013 611 590 от 25.01.2013. М.: ФГБУ ФИПС, 2013.
- Шахворостов Г. И. Проектирование программного обеспечения в рамках модельно-ориентированного подхода / Г. И. Шахворостов // Научный обозреватель. 2012. № 6. С. 37−38.
- Шураков В.В. Автоматизированное рабочее место для статистической обработки данных / В. В. Шураков, Д. М. Дайитбегов, С. В. Мизрохи, С. В. Ясеновский. М: Финансы и статистика, 1990. 190 с.
- Щупак Ю.А. Win32 API. Разработка приложений для Windows / Ю. А. Щупак. СПб.: Питер, 2008. 592 с.
- Adya A. Efficient optimistic concurrency control using loosely synchronized clocks / A. Adya, R. Gruber, R. Liskov, U. Maheshwari // ACM SIGMOD Record. 1995. № 24(2). P. 23−34.
- Agarwal D. Distributed optimistic concurrency control with reduced Rollback / D. Agarwal, A. J. Bernstein, P. Gupta, S. Sengupta // Distributed computing. 1987. № 2(1). 45−59 p.
- Anton J. Web caching for database applications with oracle web cache / J. Anton, L. Jacobs, Y. Liu and others // Conference on management of data. ACM ACM SIGMOD, 2002. P. 594−599.
- Aspnes J. A theory of timestamp-based concurrency control for nested transactions / J. Aspnes, A. Fekete, N. Lynch and others // Proceedings of the 14th VLDB Conference. 1988. P. 431- 444.
- Badrinath B. R. Semantics-based concurrency control: beyond commutativity / B.R. Badrinath, K. Ramamritham // ACM Transaction database system. 1992. № 17(1). P. 163 199.
- Barghouti N.S. Kaiser G.E. Concurrency control in advanced database applications / N.S. Barghouti, G.E. Kaiser // ACM Computing Surveys. 1991. № 23(3). P. 269−317.
- Beeri C. A model for concurrency in nested transactions systems / C. Beeri, P. A. Bernstein, N. Goodman // Journal of the ACM. 1989. № 36(2). P. 230−269.
- Bernstein P.A. A proof technique for concurrency control and recovery algorithms for replicated databases / P.A. Bernstein, N. Goodman // Distributing computing. 1986. № 1. P. 32−34.
- Bernstein P.A. An algorithm for concurrency control and recovery in replicated distributed databases / P.A. Bernstein, N. Goodman // ACM Transaction on database systems. 1984. № 9(4). P. 596- 615.
- Bernstein P.A. Analyzing Concurrency Control when user and system operations differ / P.A. Bernstein, N. Goodman, M.Y. Lai // IEEE Transaction on software engineering. 1983. № 9(3). P. 233- 239.
- Bernstein P.A. Concurrency control and recovery in database systems / P.A. Bernstein, V. Hadzilocos, N. Goodman. Addison-Wesley, 1987. 361 p.
- Bernstein P.A. Multiversion concurrency control-theory and algorithms / P.A. Bernstein, N. Goodman // ACM Transaction on database systems. 1983. № 8(4). P. 465−483.
- Bernstein P.A. Serializability theory for replicated databases / P.A. Bernstein, N. Goodman // Journal of computer and system sciences. 1986. № 31(3). P. 355- 374.
- Bernstein P.A. The Correctness of concurrency mechanisms in a system for distributed databases / P.A. Bernstein, D. Shipman // ACM Transaction on database systems. 1980. № 5(1). P. 52- 68.
- Bhargava B. Resiliency features of the optimistic concurrency control approach for distributed database systems / B. Bhargava, K. Brahat // IEEE Transactions on reliability. 1982. № 32(5). P. 437- 443.
- Carey. M. The performance of multiversion concurrency control algorithms / M. Carey, W. Muhanna // ACM Transactions on computer systems (TOCS). 1984. № 4(4). P. 338−378.
- Chrysanthis P. ACTA: a framework for specifying and reasoning about transaction structure and behavior / P.A. Bernstein, D. Shipman //
- Proceedings of the 1990 ACM SIGMOD international conference on management of data. 1990. P. 194−203.
- Colby J. Practical intranet development / J. Colby, I. Surguy, R. Voigt and others. A-Press, 2003. 338 p.
- Davis W.S. The information system sonsultant’s handbook. Systems analysis and design / W.S. Davis, D.C. Yen. CRC Press, 1998. 800 p.
- Eliens A. Principles of object-oriented software development second edition / A. Eliens / Williams, 2002. 496p.
- Fu A. Concurrency control of nested transactions accessing B-trees / A. Fu, T. Kameda // Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. 1989. P. 270−285.
- Glasgow J.I. The development and proof of a formal specification for a multilevel secure system / J.I. Glasgow, G.H. MacEwen // ACM Transactions on Computer Systems. 1987. № 5(2). P. 151 184.
- Gosling J. The Java language specification / J. Gosling, B. Joy, G. Steele and others. Addison-Wesley Professional, 2000. 505 p.
- Gray J. Transaction processing: concepts and techniques / J. Gray, A. Reuter. Morgan Kaufmann Publishers, Inc, 1993. 1070 p.
- Hadzilacos T. Serialization graph algorithms for multiversion concurrency control / T. Hadzilacos // Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. 1988. P. 135 141.
- Haerder T. Concepts for transaction recovery in nested transactions / T. Haerder, K. Rothermel // Proceedings of the ACM SIGMOD annual conference on management of data. 1987. P. 239 248.
- Hennessy J. Computer architecture: a quantitative approach / J. Hennessy, Patterson D. Morgan Kaufmann Publishers, 2006. 704 p.
- Hunter J. Java servlet programming / J. Hunter, W. Crawford. O’Reilly, 1998.510 p.
- Kleinrock L. On the modeling and analysis of computer networks / L. Kleinrock // Proceedings of the IEEE. 1993. № 81(8). P. 1179−1191.
- Kleinrock L. Queueing systems. Volume II: computer applications / L. Kleinrock. Wiley-Interscience, 1975. 417 p.
- Kleinrock L. The latency/bandwidth tradeoff in gigabit networks / L. Kleinrock// IEEE Communications magazine. 1992. № 30(4). P. 36−40.
- Kung H.T. On optimistic methods for concurrency control / H.T. Kung, J.T. Robinson // ACM Transactions on database systems (TODS). 1981. № 6(2). P. 213−226.
- Marinescu F. EJB design patterns / F. Marinescu. Wiley Computer Pablishing, 2002. 259 p.
- Megiddo N. ARC: A self-tuning, low overhead replacement cache / N. Megiddo, D. Modha // In Nroceedings of the 2nd USENIX symposium on file and storage technologies. 2003. P. 115−130.
- Mohan C. Transaction management in the R* distributed database management system / C. Mohan, B. Linsday, R. Obermarck // ACM Transactions on database systems (TODS). 1986. № 11(4). P. 378- 396.
- Palmer S. R. A practical guide to feature-driven development / S. R. Palmer, J.M. Felsing. Williams, 2002. 304 p.
- Pfeifer. D. Method-based caching in multi-tiered server applications / D. Pfeifer, H. Jakschitsch // In on the move to meaningful internet systems. 2003. P. 1312−1332.
- Silberschatz A. Operating system concepts / A. Silberschatz, P.B. Galvin, G. Gagne. Wiley, 2008. 992 p.
- Smith A. J. Sequentiality and prefetching in database systems / A. J. Smith // ACM Transactions on database systems (TODS). 1978. № 3(3). P. 223−247.
- Stallings W. Computer organization and architecture / W. Stallings. Prentice Hall, 2012. 792 p.
- Stonbraker. M.R. Operating system support for database management / M.R. Stonbraker // Communications of the ACM. 1981. № 24(7). P. 412−418.
- Unland R. Design alternatives for optimistic concurrency control schemes / R. Unland, U. Pradel, G. Schlageter //. In Proceedings 2nd international conference on databases. Wiley, New York, 1983. P. 288−297.