>From bb50063d1efafa1434449ef9c5c5968dcc00d772 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Thu, 28 Nov 2019 07:42:06 +0900
Subject: [PATCH 1/3] bib/swtools: Add entries of reports on store tearing
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
bib/swtools.bib | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/bib/swtools.bib b/bib/swtools.bib
index ea5b1849..b239082e 100644
--- a/bib/swtools.bib
+++ b/bib/swtools.bib
@@ -600,6 +600,15 @@ Architectural Support for Programming Languages and Operating Systems
,DOI={ 10.1007/978-3-642-33125-1_22 }
}
+@unpublished{KonstantinKhlebnikov2013gccstoretearing
+,Author="Konstantin Khlebnikov and Paul E. McKenney"
+,Title="{RCU: non-atomic assignment to long/pointer variables in gcc}"
+,month="January"
+,day="15"
+,year="2013"
+,note="\url{https://lore.kernel.org/lkml/50F52FC8.4000701@xxxxxxxxxx/}";
+}
+
@unpublished{ThomasSewell2013L4binaryVerification
,Author="Thomas Sewell and Toby Murray"
,Title="Above and Beyond: {seL4} Noninterference and Binary Verification "
@@ -1188,6 +1197,15 @@ Michalis Kokologiannakis"
,note="\url{http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2369.pdf}";
}
+@unpublished{WillDeacon2019StoreTearingReport
+,Author="Will Deacon"
+,Title="{Re: [PATCH 1/1] Fix: trace sched switch start/stop racy updates}"
+,month="August"
+,day="21"
+,year="2019"
+,note="\url{https://lore.kernel.org/lkml/20190821103200.kpufwtviqhpbuv2n@willie-the-truck/}";
+}
+
@unpublished{DanielBristotdeOliveira2019formal
,Author="Daniel Bristot de Oliveira"
,Title="Formal verification made easy (and fast)!"
--
2.17.1
