Set proper field data types to save space.

This patch resizes the field data types to match application
needs. This should reduce database size since most fields
get demoted to smaller sized data types.

1 files changed, 56 insertions, 49 deletions

diff --git a/rtss14/createtables.sql b/rtss14/createtables.sql
index a76a579..003fd73 100644
--- a/rtss14/createtables.sql
+++ b/rtss14/createtables.sql
@@ -1,5 +1,5 @@
 CREATE TABLE distrs(
-        id   INTEGER NOT NULL AUTO_INCREMENT,
+        id   SMALLINT UNSIGNED NOT NULL AUTO_INCREMENT,
         name TEXT,
         PRIMARY KEY (id)
 ) ENGINE=InnoDB;
@@ -38,49 +38,56 @@ INSERT INTO distrs(name) VALUES('c-const-light');
 INSERT INTO distrs(name) VALUES('c-const-medium');
 INSERT INTO distrs(name) VALUES('c-const-heavy');
 
+-- CREATE TABLE dp_id_gen(
+--      id   BIGINT UNSIGNED NOT NULL AUTO_INCREMENT,
+--      PRIMARY KEY (id)
+-- ) ENGINE=InnoDB;
+-- ALTER TABLE dp_id_gen AUTO_INCREMENT=2;
+
 CREATE TABLE dp_pending(
-        id   INTEGER NOT NULL AUTO_INCREMENT,
+        id               BIGINT UNSIGNED NOT NULL AUTO_INCREMENT,
 
-        -- flag design point as taken 
-        taken            INTEGER,
+        -- flag design point as taken. BIGINT for future-proofing
+        taken            BIGINT,
 
         -- task set util cap
         ts_util          REAL,
 
         -- platform parameters
-        ncpu             INTEGER,
-        cpu_cluster_size INTEGER,
-        ngpu             INTEGER,
-        gpu_cluster_size INTEGER,
-        is_release_master INTEGER,
+        ncpu              SMALLINT UNSIGNED,
+        cpu_cluster_size  SMALLINT UNSIGNED,
+        ngpu              SMALLINT UNSIGNED,
+        gpu_cluster_size  SMALLINT UNSIGNED,
+        is_release_master BOOLEAN,
 
         -- overheads config
-        is_worst_case    INTEGER,
-        is_polluters     INTEGER,
-        wss_size         INTEGER,
+        is_worst_case    BOOLEAN,
+        is_polluters     BOOLEAN,
+        wss_size         INT UNSIGNED,
 
         -- per task parameters
-        util_dist        INTEGER REFERENCES distrs(id),
-        period_dist      INTEGER REFERENCES distrs(id),
+        util_dist        SMALLINT UNSIGNED REFERENCES distrs(id),
+        period_dist      SMALLINT UNSIGNED REFERENCES distrs(id),
         -- gpu data parameters
-        data_dist        INTEGER REFERENCES distrs(id),
-        state_dist       INTEGER REFERENCES distrs(id),
+        data_dist        SMALLINT UNSIGNED REFERENCES distrs(id),
+        state_dist       SMALLINT UNSIGNED REFERENCES distrs(id),
         -- describe how work is distributed across processors
-        kernel_dist      INTEGER REFERENCES distrs(id),  -- % of job for kernels
-        cpu_dist         INTEGER REFERENCES distrs(id),  -- % of remaining time for supporting cpu work
+        kernel_dist      SMALLINT UNSIGNED REFERENCES distrs(id),  -- % of job for kernels
+        cpu_dist         SMALLINT UNSIGNED REFERENCES distrs(id),  -- % of remaining time for supporting cpu work
 
         -- task set parameters
         gpu_population   REAL, -- % of tasks in TS that use GPUs
 
         -- gpusync config parameters
-        rho              INTEGER,
-        is_dgl           INTEGER,
-        is_p2p           INTEGER,
-        ncopy_engines    INTEGER,
-        chunk_size       INTEGER,
+        rho              TINYINT,
+        is_dgl           BOOLEAN,
+        is_p2p           BOOLEAN,
+        ncopy_engines    TINYINT UNSIGNED,
+        chunk_size       INT UNSIGNED,
 
         PRIMARY KEY (id),
         INDEX (id, taken),
+        INDEX (taken),
         INDEX (ts_util)
         -- every permutation marks a unique configuration
         -- PRIMARY KEY(ts_util,
@@ -94,39 +101,39 @@ CREATE TABLE dp_pending(
 -- partially tested dps
 CREATE TABLE dp_ptested(
         -- auto-computed unique id for this 
-        id INTEGER NOT NULL AUTO_INCREMENT,
+        id                BIGINT UNSIGNED NOT NULL AUTO_INCREMENT,
 
         -- platform parameters
-        ncpu             INTEGER,
-        cpu_cluster_size INTEGER,
-        ngpu             INTEGER,
-        gpu_cluster_size INTEGER,
-        is_release_master INTEGER,
+        ncpu              SMALLINT UNSIGNED,
+        cpu_cluster_size  SMALLINT UNSIGNED,
+        ngpu              SMALLINT UNSIGNED,
+        gpu_cluster_size  SMALLINT UNSIGNED,
+        is_release_master BOOLEAN,
 
         -- overheads config
-        is_worst_case    INTEGER,
-        is_polluters     INTEGER,
-        wss_size         INTEGER,
+        is_worst_case    BOOLEAN,
+        is_polluters     BOOLEAN,
+        wss_size         INT UNSIGNED,
 
         -- per task parameters
-        util_dist        INTEGER REFERENCES distrs(id),
-        period_dist      INTEGER REFERENCES distrs(id),
+        util_dist        SMALLINT UNSIGNED REFERENCES distrs(id),
+        period_dist      SMALLINT UNSIGNED REFERENCES distrs(id),
         -- gpu data parameters
-        data_dist        INTEGER REFERENCES distrs(id),
-        state_dist       INTEGER REFERENCES distrs(id),
+        data_dist        SMALLINT UNSIGNED REFERENCES distrs(id),
+        state_dist       SMALLINT UNSIGNED REFERENCES distrs(id),
         -- describe how work is distributed across processors
-        kernel_dist      INTEGER REFERENCES distrs(id),  -- % of job for kernels
-        cpu_dist         INTEGER REFERENCES distrs(id),  -- % of remaining time for supporting cpu work
+        kernel_dist      SMALLINT UNSIGNED REFERENCES distrs(id),  -- % of job for kernels
+        cpu_dist         SMALLINT UNSIGNED REFERENCES distrs(id),  -- % of remaining time for supporting cpu work
 
         -- task set parameters
         gpu_population   REAL, -- % of tasks in TS that use GPUs
 
         -- gpusync config parameters
-        rho              INTEGER,
-        is_dgl           INTEGER,
-        is_p2p           INTEGER,
-        ncopy_engines    INTEGER,
-        chunk_size       INTEGER,
+        rho              TINYINT,
+        is_dgl           BOOLEAN,
+        is_p2p           BOOLEAN,
+        ncopy_engines    TINYINT UNSIGNED,
+        chunk_size       INT UNSIGNED,
 
         PRIMARY KEY (id)
         -- every permutation marks a unique configuration
@@ -138,13 +145,13 @@ CREATE TABLE dp_ptested(
 ) ENGINE=InnoDB;
 
 CREATE TABLE sched_results(
-        dp            INTEGER,
+        dp            BIGINT UNSIGNED,
         ts_util       REAL,
 
         -- standard schedulability results
         sched         REAL,
-        ntested       INTEGER,
-        nsched        INTEGER,
+        ntested       BIGINT UNSIGNED,
+        nsched        BIGINT UNSIGNED,
 
         -- qualities of schedulable task sets
         avg_tard      REAL,
@@ -156,12 +163,12 @@ CREATE TABLE sched_results(
 ) ENGINE=InnoDB;
 
 CREATE TABLE scaled_sched_results(
-        dp            INTEGER,
+        dp            BIGINT UNSIGNED,
         eff_ts_util   REAL,
         scale_factor  REAL, -- scaling factor used to compute eff_util
 
-        ntested       INTEGER,
-        nsched        INTEGER,
+        ntested       BIGINT UNSIGNED,
+        nsched        BIGINT UNSIGNED,
 
         avg_sched     REAL, -- just nsched/ntested
         avg_tard      REAL,