summaryrefslogtreecommitdiff
path: root/database/schema.sql
diff options
context:
space:
mode:
authorLeon Overweel <l.overweel@gmail.com>2017-02-27 17:06:11 +0100
committerGitHub <noreply@github.com>2017-02-27 17:06:11 +0100
commitcb9ebe606fe2cbb3bf97f4025b045ac5d9697ee6 (patch)
treee44ede27a4eb37f1d20ce11b80627e3feb586a36 /database/schema.sql
parentefb1a88fbf7c7993af0aff4b6eeac22232f72bcc (diff)
parent7aafbf2c28d9a03d90ca0ccc200cca61b2a80330 (diff)
Merge pull request #6 from tudelft-atlarge/workload-core-occupation
[WIP] Task parallelizability, Task State core occupation, and Robotics Course workloads
Diffstat (limited to 'database/schema.sql')
-rw-r--r--database/schema.sql8
1 files changed, 6 insertions, 2 deletions
diff --git a/database/schema.sql b/database/schema.sql
index 7c17e48f..bb066328 100644
--- a/database/schema.sql
+++ b/database/schema.sql
@@ -117,6 +117,8 @@ CREATE TABLE IF NOT EXISTS schedulers (
name TEXT PRIMARY KEY NOT NULL
);
INSERT INTO schedulers (name) VALUES ("DEFAULT");
+INSERT INTO schedulers (name) VALUES ("SRTF");
+INSERT INTO schedulers (name) VALUES ("FIFO");
/*
* Each simulation has a single trace. A trace contains tasks and their start times.
@@ -135,6 +137,7 @@ CREATE TABLE IF NOT EXISTS tasks (
total_flop_count INTEGER NOT NULL,
trace_id INTEGER NOT NULL,
task_dependency_id INTEGER NULL,
+ parallelizability TEXT NOT NULL,
FOREIGN KEY (trace_id) REFERENCES traces (id) ON DELETE CASCADE ON UPDATE CASCADE,
FOREIGN KEY (task_dependency_id) REFERENCES tasks (id) ON DELETE CASCADE ON UPDATE CASCADE
@@ -150,8 +153,9 @@ CREATE TABLE IF NOT EXISTS task_states (
id INTEGER PRIMARY KEY NOT NULL,
task_id INTEGER NOT NULL,
experiment_id INTEGER NOT NULL,
- tick INTEGER NOT NULL,
- flops_left INTEGER NOT NULL,
+ tick INTEGER NOT NULL CHECK (tick >= 0),
+ flops_left INTEGER NOT NULL CHECK (flops_left >= 0),
+ cores_used INTEGER NOT NULL CHECK (cores_used >= 0),
FOREIGN KEY (task_id) REFERENCES tasks (id),
FOREIGN KEY (experiment_id) REFERENCES experiments (id)