From 62a87037cd48d6c0a0bc2f7ab8ea548168af8b0e Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 25 Oct 2010 01:56:39 +0000 Subject: [PATCH] changes --- Robust/src/Runtime/oooJava/TODO | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Robust/src/Runtime/oooJava/TODO diff --git a/Robust/src/Runtime/oooJava/TODO b/Robust/src/Runtime/oooJava/TODO new file mode 100644 index 00000000..31b3527f --- /dev/null +++ b/Robust/src/Runtime/oooJava/TODO @@ -0,0 +1,8 @@ +Big TODOS: +1) Handle rapid reuse of SESEStall record - done +2) Handle linked list of bins - done +3) Hashtable management (managing links + each SESE should have its own traverser threads + traversers should be generated on demand) +4) Multiple taint of coarse management [what if one coarse entry supports two parameter conflicts...] +5) Recycling [recycle entries to improve runtime] +6) Parallelize traversal +7) Fix race on enqueue into table vs dequeue at retire... - done -- 2.34.1