From 8e1cd1f03f9ae9ae814551c0a0b3522950657d72 Mon Sep 17 00:00:00 2001
From: Maxime Chéramy <maxime@cheramy.org>
Date: Sun, 28 Oct 2018 17:35:45 +0100
Subject: [PATCH] add comment to Kato et al. tasksets generator

explanation taken from Portioned EDF-based scheduling on multiprocessors

fixes #18
---
 simso/generator/task_generator.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/simso/generator/task_generator.py b/simso/generator/task_generator.py
index 9056cc9..6345857 100755
--- a/simso/generator/task_generator.py
+++ b/simso/generator/task_generator.py
@@ -187,6 +187,13 @@ def gen_kato_utilizations(nsets, umin, umax, target_util):
     """
     Kato et al. tasksets generator.
 
+    A task set Γ is generated as follows. A new periodic task is appended
+    to Γ as long as U(Γ) ≤ Utot is satisfied. For each task τi, its
+    utilization Ui is computed based on a uniform distribution within the
+    range of [Umin, Umax]. Only the utilization of the task generated at the
+    very end is adjusted so that U(Γ) becomes equal to Utot (thus the Umin
+    constraint might not be satisfied for this task).
+
     Args:
         - `nsets`: Number of tasksets to generate.
         - `umin`: Minimum task utilization.
--
libgit2 0.26.0