경로 식
Path expression쿼리 언어에서 경로 표현식은 개체의 그래프(암묵적일 수 있음)에서 개체를 탐색하는 방법을 설명하여 개체를 식별합니다.예를 들어, 경로 식p.Manager.Home.City누군가의 관리자의 거주지를 지칭할 수도 있습니다.경로 표현식이 정규 표현식과 같은 유연성을 지원하도록 확장되었습니다.XPath는 경로 표현 언어의 예입니다.
동시성 제어에서 경로 표현식은 허용된 실행 시퀀스를 표현하기 위한 메커니즘입니다.예를 들어, "와 같은 경로 식 {read}, write의 다중 동시 실행을 지정할 수 있습니다.read또는 단 한 번의 실행write하지만 어느 시점에서도 둘 다 허용되지 않습니다.
경로 표현식은 소프트웨어의 모니터 수준에서 프로세스 동기화를 위한 메커니즘임을 알아야 합니다.이는 공유 데이터의 설명과 동시 프로세스 간의 조정 및 통신에 대한 명확하고 체계적인 접근 방식을 제공합니다.이 방법은 타이밍을 표현하는 능력에서 유연하며 다양한 방식으로 사용될 수 있습니다.
또한 경로 표현식은 두 가지 이유로 프로세스 동기화에 유용합니다. 첫째, 스트림 표현식과 정규 표현식 사이의 긴밀한 관계는 이 동기화 메커니즘을 사용하는 프로그램에 대한 쓰기 및 추론 작업을 단순화합니다.둘째, 많은 동시 프로그램의 동기화가 유한 상태이므로 정규식으로 적절하게 설명할 수 있습니다.정확히 같은 이유로 경로 표현식은 복잡한 비동기 회로의 동작을 제어하는 데 유용합니다.사실, 유한 상태 가정은 모니터 수준보다 하드웨어 수준에서 훨씬 더 합리적일 수 있습니다.
경로 표현식은 복잡한 시스템에서 설계 오류를 방지하고 탐지하는 데 도움이 되는 높은 수준의 설명 동기화를 제공하며 특정 형식의 코딩 오류와 같은 일부 위험을 극복합니다.
참고 항목
레퍼런스
- M. Kifer; W. Kim & Y. Sagiv (1992). "Querying Object-Oriented Databases". Proc. of the ACM SIGMOD. pp. 393–402.
- Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, and Licia Sbattella (June 1992). "Object-Oriented Query Languages: The Notion and the Issues". IEEE Transactions on Knowledge and Data Engineering. 4 (3): 223–236. doi:10.1109/69.142014.
{{cite journal}}CS1 유지보수: 다중 이름: 작성자 목록(링크) - R. Campbell & R. Kolstad (1979). "Path Expressions in Pascal". Proceedings of the 4th International Conference on Software Engineering. Vol. 4. pp. 212–219.
- Tony Bloom (1979). "Evaluating Synchronization Mechanisms". Proceedings of the seventh ACM symposium on Operating systems principles. pp. 24–32.
