polling thread ping only leader machine when a machine failure is detected
authorjihoonl <jihoonl>
Tue, 27 Apr 2010 16:57:25 +0000 (16:57 +0000)
committerjihoonl <jihoonl>
Tue, 27 Apr 2010 16:57:25 +0000 (16:57 +0000)
commit9f8a96e73e9c809c2823047802af7b53f9c7fd84
tree0de362ef9de7427125410440259bd94a8e09c171
parentb892136ff4f33ac0137f7ec3360189ee04712ad8
polling thread ping only leader machine when a machine failure is detected
Robust/src/Runtime/DSTM/interface_recovery/dstm.h
Robust/src/Runtime/DSTM/interface_recovery/dstmserver.c
Robust/src/Runtime/DSTM/interface_recovery/trans.c