diff options
Diffstat (limited to 'database/schema.sql')
| -rw-r--r-- | database/schema.sql | 8 |
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) |