Przykład / opis systemu
Dwa zadania.
Jeden kierunek danych.
Zacznij od odczytania odpowiedzialności i granic, zanim przejdziesz do narzędzi.
Measure · @embedded→chan<Float>→Receive · @server
task Measure() @embedded -> chan<Float> {
send 21.0
}
task Receive(values: chan<Float>) @server {
for value in values {
log(value)
}
}
pipeline Temperature {
use Measure -> Receive
}Co opisuje ten fragment?
- Measure ma dostarczyć wartość 21.0. Nazwa zadania jest umowna — w tym fragmencie nie ma odczytu fizycznego czujnika.
- Receive ma otrzymywać wartości i je logować.
- Platformy rozróżniają konteksty urządzenia i serwera. Nie wskazują adresów hostów.
- Pipeline zapisuje kierunek połączenia. Nie jest sam konfiguracją gotowej sieci.
To przykład do czytania i sprawdzania źródła. Nie przedstawiamy go jako gotowego wdrożenia urządzenia i serwera. Doprowadzenie wejść, transport i uruchomienie wymagają osobnej, zweryfikowanej ścieżki.
Co możesz zmienić w opisie?
Zastąp 21.0 wartością 24.0. Zmienia się wysyłana wartość; zadania, ich platformy i połączenie pozostają takie same. Samo sprawdzenie źródła nie pokazuje wyniku działającego systemu.