Process pool of threads working on machine piles

[IRC.git] / Robust / src / Runtime / DSTM / interface / machinepile.c

diff --git a/Robust/src/Runtime/DSTM/interface/machinepile.c b/Robust/src/Runtime/DSTM/interface/machinepile.c
index 58fe1b924c78cfe617015772db203cff43cd44a6..4e8dc6a54a6dc7ec103d04031afc924bdfbfa413 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/machinepile.c
+++ b/Robust/src/Runtime/DSTM/interface/machinepile.c
@@ -46,3 +46,6 @@ int insertPile(int mid, unsigned int oid, short numoffset, short *offset, prefet
        return 0;
 }
 
+int deletePile() {
+
+}