bug fixes and add machine pile queue DS that saves oids and offsets meant for
authoradash <adash>
Mon, 30 Jul 2007 19:47:14 +0000 (19:47 +0000)
committeradash <adash>
Mon, 30 Jul 2007 19:47:14 +0000 (19:47 +0000)
commitba8111dac1d4c79c8edcc955275df61d11d53831
treef30a863cf033c74f8250754eee4f29322eb65a9f
parentf0fcce027ecb3096ea8539f8c06bea4834d15afb
bug fixes and add machine pile queue DS that saves oids and offsets meant for
remote machines
Robust/src/Runtime/DSTM/interface/dstm.h
Robust/src/Runtime/DSTM/interface/machinepile.c [new file with mode: 0644]
Robust/src/Runtime/DSTM/interface/machinepile.h [new file with mode: 0644]
Robust/src/Runtime/DSTM/interface/mcpileq.c [new file with mode: 0644]
Robust/src/Runtime/DSTM/interface/mcpileq.h [new file with mode: 0644]
Robust/src/Runtime/DSTM/interface/queue.c
Robust/src/Runtime/DSTM/interface/trans.c