Ada Language Mapping Specification (automatische Übersetzung)

Oktober 2001 Abbildender Ada, v1.2: TaskingcBetrachtungen 4-27 4 Ende Example.Bar; 4,11 TaskingcBetrachtungen Eine Implementierung sollte dokumentieren, ob Zugang zu den CORBA-Dienstleistungen Tasking- ist sicher . Ein Betrieb ist tasking-sicher wenn zwei Aufgaben innerhalb eines Ada-Programms die durchführen können Betrieb und der Effekt ist immer, als ob sie in der Reihenfolge durchgeführt wurden. Wenn nicht anders vermerkt sollte es angenommen werden, daß ein CORBA-Betrieb nicht ist Tasking- Safe, gegenwärtige Semantik der CORBA-Spezifikation gegeben, die nicht-einspringend ist. Für Implementierungen, die tasking-sichere Betriebe stützen, sollte die Implementierung weiteres Dokument das blockierende Verhalten der CORBA-Betriebe. Das Blockieren kann an sein Aufgabe oder Programm waagerecht ausgerichtet: wenn eine Ada-Aufgabe einen CORBA-Betrieb benennt, wird es dem bevorzugt nur die Aufgabe und nicht das vollständige Ada-Programm, werden blockiert. Beziehen Sie sich den auf POSIX-Ada binden, IEEE-IEEE-Std 1003,5-1992, für weitere Diskussion.