diff options
| author | Matthijs Bijman <matthijs@bijman.org> | 2017-02-27 13:15:42 +0100 |
|---|---|---|
| committer | Matthijs Bijman <matthijs@bijman.org> | 2017-02-27 13:15:42 +0100 |
| commit | 4ad9df0973a5efc160feda37e9dba3f1bcfb08fd (patch) | |
| tree | e666c6aea92a283bc3a90cdb92567feb0226c994 /database/schema.sql | |
| parent | 90ebb59cce273b31942dd9f1bcf2c36219b10720 (diff) | |
Add cores_used column to task_states table
Diffstat (limited to 'database/schema.sql')
| -rw-r--r-- | database/schema.sql | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/database/schema.sql b/database/schema.sql index 5604d419..01172b99 100644 --- a/database/schema.sql +++ b/database/schema.sql @@ -148,8 +148,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) |