From 88818199922e49bc62b39f8f4f289e3f935c66a4 Mon Sep 17 00:00:00 2001
From: "Griffin, Matt J (PG/R - Computer Science)" <matt.griffin@surrey.ac.uk>
Date: Mon, 19 Jun 2023 15:15:12 +0100
Subject: [PATCH] Add correct code examples

---
 BCB/Popescu et al/ex01.c         | 6 ++++++
 BCB/Popescu et al/ex01_secure.c  | 7 +++++++
 BCB/Popescu et al/ex01_secure2.c | 8 ++++++++
 BCB/Popescu et al/ex_cond.c      | 7 +++++++
 4 files changed, 28 insertions(+)
 create mode 100644 BCB/Popescu et al/ex01.c
 create mode 100644 BCB/Popescu et al/ex01_secure.c
 create mode 100644 BCB/Popescu et al/ex01_secure2.c
 create mode 100644 BCB/Popescu et al/ex_cond.c

diff --git a/BCB/Popescu et al/ex01.c b/BCB/Popescu et al/ex01.c
new file mode 100644
index 0000000..93ba122
--- /dev/null
+++ b/BCB/Popescu et al/ex01.c	
@@ -0,0 +1,6 @@
+unsigned fun1(unsigned x) {
+   unsigned t = 0;
+   if (x < N) {
+     t = b[a[x] * 512];}
+   return t;
+}
diff --git a/BCB/Popescu et al/ex01_secure.c b/BCB/Popescu et al/ex01_secure.c
new file mode 100644
index 0000000..f1a7541
--- /dev/null
+++ b/BCB/Popescu et al/ex01_secure.c	
@@ -0,0 +1,7 @@
+unsigned fun2(unsigned x) {
+   unsigned t = 0;
+   if (x < N) {
+      _mm_lfence();
+      t = b[a[x] * 512];}
+   return t; 
+}
diff --git a/BCB/Popescu et al/ex01_secure2.c b/BCB/Popescu et al/ex01_secure2.c
new file mode 100644
index 0000000..3c17a16
--- /dev/null
+++ b/BCB/Popescu et al/ex01_secure2.c	
@@ -0,0 +1,8 @@
+unsigned fun3(unsigned x) {
+   unsigned t = 0; 
+   if (x < N) {
+      unsigned v = a[x];
+      _mm_lfence();
+      t = b[v * 512];}
+   return t;
+}
diff --git a/BCB/Popescu et al/ex_cond.c b/BCB/Popescu et al/ex_cond.c
new file mode 100644
index 0000000..4503e2b
--- /dev/null
+++ b/BCB/Popescu et al/ex_cond.c	
@@ -0,0 +1,7 @@
+unsigned fun4(unsigned x) {
+   unsigned t = 0;
+   if (x < N) {
+      unsigned v = a[0];
+      t = b[v * 512];}
+   return t;
+}
-- 
GitLab