diff options
| author | Joshua Bakita <bakitajoshua@gmail.com> | 2020-05-29 12:44:28 -0400 |
|---|---|---|
| committer | Joshua Bakita <bakitajoshua@gmail.com> | 2020-05-29 12:44:28 -0400 |
| commit | 8dfefc152f16f9fd9e8aa0910fd4d23d6543d87e (patch) | |
| tree | 4e5c596dadf1df4fb77c9a10b3e483939c6aa018 /dis/original/Field | |
| parent | 43ce989b5077913f18a5b083501498f5e1a6d349 (diff) | |
Add DIS benchmarks and scripts as they were used for Joshua's PRP
Note that Neighborhood has been modified to use less space
Diffstat (limited to 'dis/original/Field')
| -rw-r--r-- | dis/original/Field/field.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dis/original/Field/field.c b/dis/original/Field/field.c index 7d26d37..a561f72 100644 --- a/dis/original/Field/field.c +++ b/dis/original/Field/field.c | |||
| @@ -18,6 +18,7 @@ | |||
| 18 | #include <assert.h> | 18 | #include <assert.h> |
| 19 | #include <stdlib.h> | 19 | #include <stdlib.h> |
| 20 | #include "DISstressmarkRNG.h" | 20 | #include "DISstressmarkRNG.h" |
| 21 | #include "extra.h" | ||
| 21 | 22 | ||
| 22 | 23 | ||
| 23 | #define MIN_FIELD_SIZE 16 | 24 | #define MIN_FIELD_SIZE 16 |
| @@ -38,8 +39,8 @@ | |||
| 38 | * main() | 39 | * main() |
| 39 | */ | 40 | */ |
| 40 | 41 | ||
| 41 | int main(){ | 42 | int main(int argc, char** argv){ |
| 42 | 43 | SET_UP | |
| 43 | unsigned char *field; | 44 | unsigned char *field; |
| 44 | unsigned int f; | 45 | unsigned int f; |
| 45 | int seed; | 46 | int seed; |
| @@ -93,6 +94,7 @@ int main(){ | |||
| 93 | startTime = time(NULL); | 94 | startTime = time(NULL); |
| 94 | 95 | ||
| 95 | for (l =0; l<n; l++){ | 96 | for (l =0; l<n; l++){ |
| 97 | START_LOOP | ||
| 96 | unsigned int index; | 98 | unsigned int index; |
| 97 | 99 | ||
| 98 | token[l].subfields = 0; | 100 | token[l].subfields = 0; |
| @@ -130,6 +132,7 @@ int main(){ | |||
| 130 | } | 132 | } |
| 131 | index++; | 133 | index++; |
| 132 | } | 134 | } |
| 135 | STOP_LOOP | ||
| 133 | } | 136 | } |
| 134 | 137 | ||
| 135 | startTime = time(NULL) - startTime; | 138 | startTime = time(NULL) - startTime; |
| @@ -144,5 +147,6 @@ int main(){ | |||
| 144 | } | 147 | } |
| 145 | fprintf(stdout, "total time = %d seconds.\n", (int)startTime); | 148 | fprintf(stdout, "total time = %d seconds.\n", (int)startTime); |
| 146 | free(field); | 149 | free(field); |
| 150 | WRITE_TO_FILE | ||
| 147 | return(0); | 151 | return(0); |
| 148 | } | 152 | } |
