Выражение пути
В языках запросов выражения пути идентифицируют объект, описывая, как к нему перейти.в некотором графе (возможно, неявном ) объектов. Например, выражение пути p.Manager.Home.City
может указывать город проживания чьего-то менеджера.Выражения пути были расширены для поддержки гибкости, подобной регулярным выражениям . XPath — это пример языка выражения пути.
В управлении параллелизмом выражения путей представляют собой механизм выражения разрешенных последовательностей выполнения. Например, выражение пути типа « {read}, write
" может указать, что либо несколько одновременных выполнений read
или одно выполнение write
но не оба разрешены в любой момент времени.
Важно знать, что выражения пути — это механизм синхронизации процессов на уровне монитора в программном обеспечении. Это обеспечивает четкий и структурированный подход к описанию общих данных, а также координации и связи между параллельными процессами. Этот метод является гибким в плане выражения времени и может использоваться по-разному.
Кроме того, выражения пути полезны для синхронизации процессов по двум причинам: во-первых, тесная связь между потоковыми выражениями и регулярными выражениями, которые упрощают задачу написания и рассуждений о программах, использующих этот механизм синхронизации. Во-вторых, синхронизация во многих параллельных программах находится в конечном состоянии и поэтому может быть адекватно описана регулярными выражениями. По тем же причинам выражения пути полезны для управления поведением сложных асинхронных схем. Фактически, предположение о конечном состоянии может быть даже более разумным на аппаратном уровне, чем на уровне монитора.
Выражения пути обеспечивают высокий уровень описательной синхронизации, что помогает предотвратить и обнаружить ошибки проектирования в сложных системах и преодолеть некоторые опасности, такие как определенные формы ошибок кодирования.
См. также
[ редактировать ]Ссылки
[ редактировать ]- М. Кифер; В. Ким и Ю. Сагив (1992). «Запрос к объектно-ориентированным базам данных». Учеб. ACM SIGMOD . стр. 393–402.
- Элиза Бертино , Мауро Негри, Джузеппе Пелагатти и Лисия Сбаттелла (июнь 1992 г.). «Объектно-ориентированные языки запросов: понятие и проблемы». Транзакции IEEE по знаниям и инженерии данных . 4 (3): 223–236. дои : 10.1109/69.142014 .
{{cite journal}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - Р. Кэмпбелл и Р. Колстад (1979). «Выражения пути в Паскале». Материалы 4-й Международной конференции по программной инженерии . Том. 4. С. 212–219.
- Тони Блум (1979). «Оценка механизмов синхронизации». Материалы седьмого симпозиума ACM по принципам операционных систем . стр. 24–32.