Oren Laadan [or...@cs.columbia.edu] wrote:
| Sukadev Bhattiprolu wrote:
|
| Secondly, isn't pids_nr same as tasks_nr ? If so do we need both ?
|
| As the comment says: one is used exclusively for checkpoint and the
| other exclusively for restart.
| So we don't strictly need both. I thought
Couple of nits and couple of not-so minor comments
Oren Laadan [or...@cs.columbia.edu] wrote:
| From 7162fef93ee3d9fd30a457dd7b0c7ad0200d5bcb Mon Sep 17 00:00:00 2001
| From: Oren Laadan or...@cs.columbia.edu
| Date: Mon, 30 Mar 2009 15:06:13 -0400
| Subject: [PATCH 15/29] Restart multiple
Sukadev Bhattiprolu wrote:
Couple of nits and couple of not-so minor comments
Oren Laadan [or...@cs.columbia.edu] wrote:
| From 7162fef93ee3d9fd30a457dd7b0c7ad0200d5bcb Mon Sep 17 00:00:00 2001
| From: Oren Laadan or...@cs.columbia.edu
| Date: Mon, 30 Mar 2009 15:06:13 -0400
| Subject: