下一个 向上的 以前的 目录
Nächste Seite: Eine Transitionssemantik公司 辅助设备: Erweiterungen von高尔夫 Vorherige Seite公司: Erweiterungen von高尔夫  Inhalt公司

内本·阿夫盖特

GOLOG wird nun durch die Möglichkeit、nebenläufige Prozesse zu modellieren、,zu ConGOLOG erweitert公司。Zunächst werden wir den Begriff Nebenäufigkeit in diesem(迪森)祖萨门亨定义人[19]. Die Ausführung zweier nebenläufiger公司普罗泽塞( \(δ{1}=a{1}^{1},…,a{N_1}}^{1\)und公司 \(δ_{2}=a_{1}^{2},…,a_{N_{2}}^{2}\))wird als verschachtelte Sequenz der primitiven Aktionen der komplexen Aktonenangesehen也是Beispiel im vorliegenden Fall wäre ein möglicher计划 \(a{1}^{1},a{1{^{2},a{2}^{2{,a}3}^{2],…,a{N{2}}^{2,a{2}m^{1,…,a^{1}_{N_{1}}\).这是最原始的Aktion aktiv。Diese Auffassung kann bei kontinuierlichen公司Aktionen wie zum Beispiel das Abspielen eines Musikstücks zu Problemen führen。Durch Aufsplittung des Einzelbefehls in eine Start-und eine Stop-Aktion kann(在开始和停止时的Durch AUfsplittu des Ein zelbefels)迪塞尔·纳赫泰尔·乌姆甘根·沃登。

在GOLOG betrachten und den的Wir wollen an dieser Stelle blockierte ProzesseUnterschied zu ConGOLOG herausstellen公司:

Es ergeben sich folgende a nderungen bzw公司。Erweiterungen zu高尔夫:



\(\星\) 如果\(\phi\)然后\(δ{1})其他的 \(δ{2}), 同步器底座
\(\星\) 虽然\(\phi\) \(\增量\), 同步器Wiederholung
\(\星\) ( \(\delta_{1}\vert\vert\delta_2}\)), 内本尔·乌菲格(nebenläufige Ausührung von)\(δ{1})und公司\(δ{2})
\(\星\) ( \(\delta{1}\rangle\rangle\ delta{2}\)), nebenläufige Ausführung公司,
    大贝帽\(δ{1})eine höhere优先级\(δ{2});
    \(δ{2})温·努尔·奥斯盖夫爵士\(δ{1})费尔蒂格奥德
    阻拦主义者
\(\星\) \(\delta^{\vert\vert}\), nebenläufige迭代,
    密歇根州尼赫特德特姆的弗莱里克巴。迭代,
    nur daßdie einzelnen迭代“gleichzeitig”
    und nicht sequentiell abgearbeitet werden公司。
\(\星\) < \(\phi\rightarrow\delta\)>, 中断,
    \(\增量\)wird nur ausgeführt,wenne es die Kontroll(巫师)
    von den höheren Ebenen erhált und\(\phi\)瓦尔
    ist;中断的承载能力
    欧内特·奥斯格尔斯特·沃登(erneut ausgelöst werden)。



Die oben genannte同步是Ausführung der Testaktion的元素\(\phi\)麻省理工学院\(\增量\)Dieser Ansatz ist麻省理工学院nebenläufigen中的der atomaren test and set-Instruction zur Programmierung von Semaphoren系统zu vergleichen[2].


下一个 向上的 以前的 目录
Nächste Seite: Eine Transitionssemantik公司 辅助设备: Erweiterungen von高尔夫 Vorherige Seite公司: Erweiterungen von高尔夫  Inhalt公司

2001-01-04