Squashed commit of the sb-vbs branch.

Includes the SD-VBS benchmarks modified to:
- Use libextra to loop as realtime jobs
- Preallocate memory before starting their main computation
- Accept input via stdin instead of via argc

Does not include the SD-VBS matlab code.

Fixes libextra execution in LITMUS^RT.

3 files changed, 641 insertions, 0 deletions

diff --git a/SD-VBS/benchmarks/texture_synthesis/src/c/script_texture_synthesis.c b/SD-VBS/benchmarks/texture_synthesis/src/c/script_texture_synthesis.c
new file mode 100644
index 0000000..01ddefd
--- /dev/null
+++ b/SD-VBS/benchmarks/texture_synthesis/src/c/script_texture_synthesis.c
@@ -0,0 +1,197 @@
+/********************************
+Author: Sravanthi Kota Venkata
+********************************/
+
+#include "texture.h"
+#include <malloc.h>
+#include "extra.h"
+#define TEXTURE_MEM 1<<28
+int WIDTHin,HEIGHTin;
+F2D *target, *result;
+int WIDTH,HEIGHT;
+int localx, localy,targetin=0;
+int *atlas;
+int *xloopin, *yloopin;
+int *xloopout, *yloopout;
+
+int  main(int argc, char **argv)
+{
+    SET_UP
+    mallopt(M_TOP_PAD, TEXTURE_MEM);
+    mallopt(M_MMAP_MAX, 0);
+    params* data;
+    I2D *im;
+    F2D* image;
+    data = malloc(sizeof(params));
+    im = parse_flags(argc, argv);
+    image = fiDeepCopy(im);
+    init_params(data);
+
+    printf("start.\n");
+    for_each_job{
+        create_texture(image, data);
+    }
+    printf("end..\n");
+#ifdef CHECK
+{
+    int ret=0;
+#ifdef GENERATE_OUTPUT
+    fWriteMatrix(result, argv[1]);
+#endif
+    ret = fSelfCheck(result, "expected_C.txt", 1.0);
+    if(ret < 0)
+        printf("Error in Texture Synthesis\n");
+}
+#endif
+    iFreeHandle(im);
+    fFreeHandle(image);
+    free(data);
+    fFreeHandle(target);
+    fFreeHandle(result);
+    free(atlas);
+    WRITE_TO_FILE
+    return 0;
+}
+
+I2D* parse_flags(int argc, char ** argv)
+{
+    int i, tsx,tsy;
+    I2D* image;
+    char fileNm[256];
+
+    printf("Input image: ");
+    scanf("%s", fileNm);
+    image = readImage(fileNm);
+    WIDTHin = image->width;
+    HEIGHTin = image->height;
+
+    localx = 3;
+    localy = 3;
+
+#ifdef test
+    WIDTH = WIDTHin*2;
+    HEIGHT = HEIGHTin*2;
+    localx = 2;
+    localy = 2;
+#endif
+#ifdef sim_fast
+    WIDTH = WIDTHin*2;
+    HEIGHT = HEIGHTin*2;
+    localx = 3;
+    localy = 3;
+#endif
+#ifdef sim
+    WIDTH = WIDTHin*3;
+    HEIGHT = HEIGHTin*3;
+    localx = 2;
+    localy = 2;
+#endif
+#ifdef sqcif
+    WIDTH = WIDTHin*6;
+    HEIGHT = HEIGHTin*6;
+    localx = 2;
+    localy = 2;
+#endif
+#ifdef qcif
+    WIDTH = WIDTHin*10;
+    HEIGHT = HEIGHTin*10;
+    localx = 2;
+    localy = 2;
+#endif
+#ifdef cif
+    WIDTH = WIDTHin*10;
+    HEIGHT = HEIGHTin*10;
+    localx = 3;
+    localy = 3;
+#endif
+#ifdef vga
+    WIDTH = WIDTHin*20;
+    HEIGHT = HEIGHTin*20;
+    localx = 3;
+    localy = 3;
+#endif
+#ifdef fullhd
+    WIDTH = WIDTHin*20;
+    HEIGHT = HEIGHTin*20;
+    localx = 15;
+    localy = 15;
+#endif
+#ifdef wuxga
+    WIDTH = WIDTHin*20;
+    HEIGHT = HEIGHTin*20;
+    localx = 5;
+    localy = 5;
+#endif
+    printf("Input size\t\t- (%dx%d)\n", HEIGHTin, WIDTHin);
+
+//    xloopin = malloc(2*WIDTHin*sizeof(int));
+//    yloopin = malloc(2*HEIGHTin*sizeof(int));
+//
+//    for(i=-WIDTHin/2;i<WIDTHin+WIDTHin/2;i++)
+//    {
+//        arrayref(xloopin,i+WIDTHin/2) = (WIDTHin+i)%WIDTHin;
+//    }
+//
+//    for(i=-HEIGHTin/2;i<HEIGHTin+HEIGHTin/2;i++)
+//    {
+//        arrayref(yloopin,i+HEIGHTin/2) = (HEIGHTin+i)%HEIGHTin;
+//    }
+//    xloopin += WIDTHin/2; yloopin += HEIGHTin/2;
+
+    result = fMallocHandle(1,HEIGHT*WIDTH);
+    target = fMallocHandle(1, WIDTH*HEIGHT);
+ 
+    atlas = malloc(2*WIDTH*HEIGHT*sizeof(int));
+    xloopout = malloc(2*WIDTH*sizeof(int));
+    yloopout = malloc(2*HEIGHT*sizeof(int));
+    
+    for(i=-WIDTH/2;i<WIDTH+WIDTH/2;i++)
+    {
+        arrayref(xloopout,i+WIDTH/2) = (WIDTH+i)%WIDTH;
+    }
+    for(i=-HEIGHT/2;i<HEIGHT+HEIGHT/2;i++)
+    {
+        arrayref(yloopout,i+HEIGHT/2) = (HEIGHT+i)%HEIGHT;
+    }
+    xloopout += WIDTH/2; yloopout += HEIGHT/2;
+
+    if (result == NULL)
+    {
+        printf("Can't allocate %dx%d image. Exiting.\n",WIDTH,HEIGHT);
+        exit(1);
+    }
+
+    return image;
+}
+
+void init_params(params *data)
+{
+    int i,j;
+    data->localx = localx; data->localy = localy;
+    data->widthin = WIDTHin; data->widthout = WIDTH;
+    data->heightin = HEIGHTin; data->heightout = HEIGHT;
+
+
+    if(!targetin)
+    {
+        for(i=0;i<data->heightou