Add timers specification

Close #58
MINI-IO · Mar 8, 2020 · 6fd794a · 6fd794a
1 parent a5dc89d
commit 6fd794a
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 8 deletions.
diff --git a/Dokumentacja/DefinicjeWiadomosci/messageWrapper.json b/Dokumentacja/DefinicjeWiadomosci/messageWrapper.json
@@ -6,14 +6,6 @@
         "messageID": {
             "type":"integer"
         },
-        "timeSent": {
-            "type":"string",
-            "format":"date-time"
-        },
-        "waitUntil": {
-            "type":"string",
-            "format":"date-time"
-        },
         "agentID": {
             "type":"integer"
         },

diff --git a/Dokumentacja/Dokumentacja.tex b/Dokumentacja/Dokumentacja.tex
@@ -47,6 +47,7 @@
 
 % Przypadki użycia
 \subfile{./PrzypadkiUzycia/PrzypadkiUzycia.tex}
+\subfile{./MierzenieCzasu.tex}
 \subfile{./Komunikacja.tex}
 \subfile{./Konfiguracje/Konfiguracje.tex}
 \subfile{./DiagramyKlas/DiagramyKlas.tex}

diff --git a/Dokumentacja/MierzenieCzasu.tex b/Dokumentacja/MierzenieCzasu.tex
@@ -0,0 +1,12 @@
+\documentclass[Dokumentacja.tex]{subfiles}
+
+\begin{document}
+\section{Mierzenie czasów}
+Czasy liczone są indywidualnie przez każdy moduł,
+synchronizacja czasów nie jest prowadzona.
+Czasy kar podane w konfiguracji są przez GM zaokrąglane do 10ms i taka powinna być dokładność
+zegarów wszystkich modułów.
+Agenty powinny same być w stanie obliczyć, kiedy mogą wykonać
+kolejną akcję na podstawie długości kar i czasów wysłania/odebrania wiadomości.
+GM na podstawie własnego zegara decyduje czy agent odczekał karę.
+\end{document}