search

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
http://safetysharp.isse.de/wiki
MIT License
0 stars 0 forks source link

Berechnung CPU-Auslastung fehlerhaft #89

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Berechnung der CPU-Auslastung anscheinend Fehlerhaft, im Log wurde ausgegeben (2018-05-17.log):

[17:09:16,257|INFO|doop.OutputUtilities] =================  Step: 2  =====================================
[17:09:36,280|INFO|doop.OutputUtilities] === Node compute-1:45454 ===
[17:09:36,287|INFO|doop.OutputUtilities]     State:         RUNNING
[17:09:36,296|INFO|doop.OutputUtilities]     IsActive:      True
[17:09:36,305|INFO|doop.OutputUtilities]     IsConnected:   True
[17:09:36,313|INFO|doop.OutputUtilities]     Container Cnt: 7
[17:09:36,323|INFO|doop.OutputUtilities]     Mem used/free: 8192/0 (1,000)
[17:09:36,331|INFO|doop.OutputUtilities]     CPU used/free: 7/1 (1,000)

CPU used/free sollte eigentlich 7/1 (0,875) sein

gobo7793 commented 6 years ago

Falsche Variable in Ausgabe...