P wie prüfbar

Ganz gleich ob lokal oder im Netz verteilt: Wer ein parallelisiertes Programm entwickelt, muss verschiedene Hürden bewältigen. Wer ­dafür passendes Werkzeug verwendet, hat weniger Arbeit. Die im ­Microsoft-Umfeld entwickelte Programmiersprache P ist hierfür das Werkzeug der Wahl. Eine Einführung dazu und wie sich das auf einer PDP-11 oder einem Acht-Bit-Mikrocontroller gestaltet, hat der Artikel „P wie parallel“ schon erläutert [1]. Zu der hohen Komplexität der zu lösenden Aufgaben kommt noch hinzu, dass die verwendeten Programmiersprachen meist von ­einer „sehr schnellen PDP-11“ als Zielsystem ausgehen [2].