-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.c
169 lines (130 loc) · 4.58 KB
/
main.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
#ifdef _MSC_VER
#define _CRT_SECURE_NO_WARNINGS
#endif
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include "bloomfilter.h"
#define LINE_LENGTH 120
//funzione che carica in memoria un dataset
char** loadDataset(const char* filePath, int* n, int** elem_lenghts);
//funzione di verifica dei file di output
bool filediff(FILE* f1, FILE* f2);
// Main
void main()
{
static const char* CONSTRUCTION_DATASET = "C:\\Users\\Sara\\Desktop\\Fresh_Materiale\\dataset1.txt";
static const char* VERIFICATION_DATASET = "C:\\Users\\Sara\\Desktop\\Fresh_Materiale\\non-elements.txt";
static const char* OUTPUT_FILE = "C:\\Users\\Sara\\Desktop\\Fresh_Materiale\\output.txt";
static const char* VERIFICATION_FILE = "C:\\Users\\Sara\\Desktop\\Fresh_Materiale\\OUTPUT_CORRETTO1.txt";
static const int hash_number = 10; //k
static const int bit_number = 1048576; //m
FILE *fout,*foutver;
int i, n, non_elements, true_positives, false_positives;
char** construction_dataset;
int* construction_dataset_elem_lenghts;
char** verification_dataset;
int* verification_dataset_elem_lenghts;
BloomFilter bloomFilter;
bool final_check;
////////// LETTURA DEI DATASET E SALVATAGGIO NEGLI ARRAY //////////
construction_dataset = loadDataset(CONSTRUCTION_DATASET, &n, &construction_dataset_elem_lenghts);
if (construction_dataset == NULL)
return;
verification_dataset = loadDataset(VERIFICATION_DATASET, &non_elements, &verification_dataset_elem_lenghts);
if (verification_dataset == NULL)
return;
fout = fopen(OUTPUT_FILE, "w");
if (fout == NULL)
return;
fprintf(fout, "Elementi del dataset di costruzione: %d\n", n);
fprintf(fout, "Elementi del dataset di verifica: %d\n", non_elements);
//---
////////// COSTRUZIONE DEL FILTRO //////////
bloomFilter = createBloomFilter(hash_number, bit_number);
bfConstruction(&bloomFilter, construction_dataset, construction_dataset_elem_lenghts,n);
//---
////////// SELF-CHECK ELEMENTI //////////
true_positives = countDatasetMembership(bloomFilter,construction_dataset,construction_dataset_elem_lenghts,n);
fprintf(fout, "True positives (self-check): %d\n", true_positives);
//---
////////// CHECK NON ELEMENTI //////////
false_positives= countDatasetMembership(bloomFilter, verification_dataset,verification_dataset_elem_lenghts ,non_elements);
fprintf(fout, "True negatives: %d\n", non_elements - false_positives);
fprintf(fout, "False positives: %d\n", false_positives);
fprintf(fout, "FPR: %f", (double)false_positives / non_elements);
//---
fclose(fout);
////////// CONTROLLO DI CORRISPONDENZA DEI RISULTATI CON IL FILE FORNITO //////////
fout = fopen(OUTPUT_FILE, "r");
if (fout == NULL)
return;
foutver = fopen(VERIFICATION_FILE, "r");
if (foutver == NULL)
return;
final_check = filediff(fout, foutver);
if (final_check)
printf("Verifica dei risultati eseguita con successo.\n");
else
printf("Verifica dei risultati fallita.\n");
fclose(fout);
fclose(foutver);
//---
freeBloomFilter(bloomFilter);
for (i = 0; i < n; i++)
free(construction_dataset[i]);
free(construction_dataset);
free(construction_dataset_elem_lenghts);
for (i = 0; i < non_elements; i++)
free(verification_dataset[i]);
free(verification_dataset);
free(verification_dataset_elem_lenghts);
}
//carica in memoria un dataset
char** loadDataset(const char* filePath,int* n,int** elem_lenghts)
{
int i;
char* line[LINE_LENGTH];
char** dataset;
FILE* f = fopen(filePath, "r");
if (f == NULL)
return NULL;
*n = 0;
while (fgets((char*)line, LINE_LENGTH, f) != NULL)
(*n)++;
rewind(f);
dataset = (char**)malloc((*n) * sizeof(char *));
*elem_lenghts = (int*)malloc((*n) * sizeof(int));
i = 0;
while (fgets((char*)line, LINE_LENGTH, f) != NULL)
{
(*elem_lenghts)[i] = strlen((char*)line)-1; //Rimuove il /n
dataset[i] = (char*)malloc((*elem_lenghts)[i] * sizeof(char));
memcpy(dataset[i], line, (*elem_lenghts)[i]);
i++;
}
fclose(f);
return dataset;
}
//confronta due file; ritorna true se il contenuto è identico, false altrimenti
bool filediff(FILE* fp1, FILE* fp2)
{
char ch1, ch2;
rewind(fp1);
rewind(fp2);
ch1 = getc(fp1);
ch2 = getc(fp2);
while (ch1 == '\r') ch1 = getc(fp1);
while (ch2 == '\r') ch2 = getc(fp2);
//legge un char da entrambi i file
while (ch1 != EOF || ch2 != EOF)
{
if (ch1 != ch2) return false;
ch1 = getc(fp1);
ch2 = getc(fp2);
while (ch1 == '\r') ch1 = getc(fp1);
while (ch2 == '\r') ch2 = getc(fp2);
}
return true;
}