From: bdemsky Date: Mon, 9 Feb 2009 01:59:05 +0000 (+0000) Subject: bug fixes X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7b645c900e1efc012ec0e4e63d01726f99599e48;p=IRC.git bug fixes --- diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java index 1c00cff7..05646863 100644 --- a/Robust/src/IR/Flat/BuildCode.java +++ b/Robust/src/IR/Flat/BuildCode.java @@ -1757,7 +1757,7 @@ public class BuildCode { if (state.ABORTREADERS) { output.println("if (_setjmp(trans->aborttrans)) {"); - output.println(" free(trans)"); + output.println(" free(trans);"); output.println(" goto transretry"+faen.getIdentifier()+"; }"); } } diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c index 5d31cc65..528dafab 100644 --- a/Robust/src/Runtime/DSTM/interface/trans.c +++ b/Robust/src/Runtime/DSTM/interface/trans.c @@ -407,7 +407,7 @@ __attribute__((pure)) objheader_t *transRead(transrecord_t *record, unsigned int //abort this transaction printf("ABORTING\n"); objstrDelete(record->cache); - chashDelete(record->longTable); + chashDelete(record->lookupTable); _longjmp(record->aborttrans,1); } else addtransaction(oid,record); @@ -579,7 +579,7 @@ int transCommit(transrecord_t *record) { //abort this transaction printf("ABORTING TRANSACTION AT COMMIT\n"); objstrDelete(record->cache); - chashDelete(record->longTable); + chashDelete(record->lookupTable); free(record); return 1; }