#nfsd.c#:   targ->res = nfsd_dispatch(targ->inb,&targ->outb,&targ->non_det,targ->client,targ->ro);
#nfsd.c#:   if (targ->res) return;
#nfsd.c#:   if ((targ->outb.size != 0) && (cid != targ->my_id)) {
#nfsd.c#:      replies->end_reply(cid,rid, targ->outb.size);
#nfsd.c#:	   replies->send_reply(cid, targ->view, targ->my_id, false);
#nfsd.c#:	   replies->send_reply(cid, targ->view, targ->my_id,true);
nfsd.c:   targ->res = nfsd_dispatch(targ->inb,&targ->outb,&targ->non_det,targ->client,targ->ro);
nfsd.c:   if (targ->res) return;
nfsd.c:   if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.c:      replies->end_reply(cid,rid, targ->outb.size);
nfsd.c:	   replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.c:	   replies->send_reply(cid, targ->view, targ->my_id,true);
nfsd.cc:     int cid = targ->client;
nfsd.cc:     Request_id rid = targ->req_id;
nfsd.cc:     Rep_info *replies = targ->rep;
nfsd.cc:     targ->outb.contents = replies->new_reply(cid, targ->outb.size);
nfsd.cc:       t_svc = svcbyz_create(targ->inb.contents, targ->inb.size, targ->outb.contents, targ->outb.size);
nfsd.cc:     targ->res = nfsd_dispatch(&targ->inb,&targ->outb,&targ->non_det,t_svc,targ->client,targ->ro,tid);
nfsd.cc:     if (targ->res) th_assert(0,"NFSD dispatch should not return non zero value");
nfsd.cc:     if (targ->outb.size % ALIGNMENT_BYTES) {
nfsd.cc:       for (int i=0; i < ALIGNMENT_BYTES - (targ->outb.size % ALIGNMENT_BYTES); i++) {
nfsd.cc:	 targ->outb.contents[targ->outb.size+i] = 0;
nfsd.cc:     replies->end_reply(cid,rid, targ->outb.size);
nfsd.cc:     if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.cc:       //printf ("Reply for client %d rid %qu seq no : %qu \n", cid,rid,targ->seqno);
nfsd.cc:       if (targ->outb.size < 50 || targ->req->replier() == targ->my_id || targ->req->replier() < 0) {
nfsd.cc:         replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.cc:           Reply empty(targ->view, rid, targ->my_id,
nfsd.cc:     //printf("Removing from start request : Req : %x Seq no : %qu Rid : %qu thread id %d\n",req,req->req_num,req->rid,targ->tid);
nfsd.cc:       //targ->seqno, replies->last_cont_reply, replies->last_chkpt,replies->chkpt_interval, replies->window[0]);
nfsd.cc:     // printf(" Request : Seq no : %qu client id : %d Req id : %qu thread_id %d \n", targ->seqno,cid,rid,targ->tid);
nfsd.cc:     if (targ->seqno >= (replies->last_cont_reply+1)) {
nfsd.cc:       int num_entry = (targ->seqno - replies->last_chkpt-1);
nfsd.cc:       // targ->seqno, num_word, num_bit,replies->window[num_word],replies->last_cont_reply);
nfsd.cc:       // already set if so update the last_cont until the targ->seqno
nfsd.cc:       //     targ->seqno, replies->last_cont_reply, num_word, --num_bit, replies->window[num_word]);
nfsd.cc:       // Kotla : Multiple requests can have same targ->seq_no
nfsd.cc.cache_result:     int cid = targ->client;
nfsd.cc.cache_result:     Request_id rid = targ->req_id;
nfsd.cc.cache_result:     Rep_info *replies = targ->rep ;
nfsd.cc.cache_result:       targ->seqno, replies->last_cont_reply, replies->last_chkpt,replies->chkpt_interval, replies->window[0]);
nfsd.cc.cache_result:     //printf(" Request : Seq no : %qu Req id : %qu thread_id %d \n", targ->seqno,rid,targ->tid);
nfsd.cc.cache_result:     if (targ->seqno >= (replies->last_cont_reply+1)) {
nfsd.cc.cache_result:       int num_entry = (targ->seqno - replies->last_chkpt-1);
nfsd.cc.cache_result:       //	      targ->seqno, num_word, num_bit,replies->window[num_word],replies->last_cont_reply);
nfsd.cc.cache_result:       // already set if so update the last_cont until the targ->seqno
nfsd.cc.cache_result:       // Kotla : Multiple requests can have same targ->seq_no
nfsd.cc.cache_result:     targ->outb.contents = replies->new_reply(cid, targ->outb.size);
nfsd.cc.cache_result:       t_svc = svcbyz_create(targ->inb.contents, targ->inb.size, targ->outb.contents, targ->outb.size);
nfsd.cc.cache_result:     targ->res = nfsd_dispatch(&targ->inb,&targ->outb,&targ->non_det,t_svc,targ->client,targ->ro);
nfsd.cc.cache_result:     if (targ->res) th_assert(0,"NFSD dispatch should not return non zero value");
nfsd.cc.cache_result:     if (targ->outb.size % ALIGNMENT_BYTES) {
nfsd.cc.cache_result:       for (int i=0; i < ALIGNMENT_BYTES - (targ->outb.size % ALIGNMENT_BYTES); i++) {
nfsd.cc.cache_result:	 targ->outb.contents[targ->outb.size+i] = 0;
nfsd.cc.cache_result:     if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.cc.cache_result:       replies->end_reply(cid,rid, targ->outb.size);
nfsd.cc.cache_result:       printf ("Reply for client %d rid %qu seq no : %qu \n", cid,rid,targ->seqno);
nfsd.cc.cache_result:       replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.cc.cache_result:     //printf("Removing from start request : Req : %x Seq no : %qu Rid : %qu thread id %d\n",req,req->req_num,req->rid,targ->tid);
nfsd.cc.org:     int cid = targ->client;
nfsd.cc.org:     Request_id rid = targ->req_id;
nfsd.cc.org:     Rep_info *replies = targ->rep ;
nfsd.cc.org:     targ->outb.contents = replies->new_reply(cid, targ->outb.size);
nfsd.cc.org:       t_svc = svcbyz_create(targ->inb.contents, targ->inb.size, targ->outb.contents, targ->outb.size);
nfsd.cc.org:     targ->res = nfsd_dispatch(&targ->inb,&targ->outb,&targ->non_det,t_svc,targ->client,targ->ro);
nfsd.cc.org:     if (targ->res) th_assert(0,"NFSD dispatch should not return non zero value");
nfsd.cc.org:     if (targ->outb.size % ALIGNMENT_BYTES) {
nfsd.cc.org:       for (int i=0; i < ALIGNMENT_BYTES - (targ->outb.size % ALIGNMENT_BYTES); i++) {
nfsd.cc.org:	 targ->outb.contents[targ->outb.size+i] = 0;
nfsd.cc.org:     if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.cc.org:       replies->end_reply(cid,rid, targ->outb.size);
nfsd.cc.org:       printf ("Reply for client %d rid %qu seq no : %qu \n", cid,rid,targ->seqno);
nfsd.cc.org:       replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.cc.org:     //printf("Removing from start request : Req : %x Seq no : %qu Rid : %qu thread id %d\n",req,req->req_num,req->rid,targ->tid);
nfsd.cc.org:       //targ->seqno, replies->last_cont_reply, replies->last_chkpt,replies->chkpt_interval, replies->window[0]);
nfsd.cc.org:     //printf(" Request : Seq no : %qu Req id : %qu thread_id %d \n", targ->seqno,rid,targ->tid);
nfsd.cc.org:     if (targ->seqno >= (replies->last_cont_reply+1)) {
nfsd.cc.org:       int num_entry = (targ->seqno - replies->last_chkpt-1);
nfsd.cc.org:       //	      targ->seqno, num_word, num_bit,replies->window[num_word],replies->last_cont_reply);
nfsd.cc.org:       // already set if so update the last_cont until the targ->seqno
nfsd.cc.org:       // Kotla : Multiple requests can have same targ->seq_no
nfsd.cc.test:     int cid = targ->client;
nfsd.cc.test:     Request_id rid = targ->req_id;
nfsd.cc.test:     Rep_info *replies = targ->rep ;
nfsd.cc.test:     targ->outb.contents = replies->new_reply(cid, targ->outb.size);
nfsd.cc.test:       t_svc = svcbyz_create(targ->inb.contents, targ->inb.size, targ->outb.contents, targ->outb.size);
nfsd.cc.test:     targ->res = nfsd_dispatch(&targ->inb,&targ->outb,&targ->non_det,t_svc,targ->client,targ->ro,tid);
nfsd.cc.test:     if (targ->res) th_assert(0,"NFSD dispatch should not return non zero value");
nfsd.cc.test:     if (targ->outb.size % ALIGNMENT_BYTES) {
nfsd.cc.test:       for (int i=0; i < ALIGNMENT_BYTES - (targ->outb.size % ALIGNMENT_BYTES); i++) {
nfsd.cc.test:	 targ->outb.contents[targ->outb.size+i] = 0;
nfsd.cc.test:     if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.cc.test:       replies->end_reply(cid,rid, targ->outb.size);
nfsd.cc.test:       printf ("Reply for client %d rid %qu seq no : %qu \n", cid,rid,targ->seqno);
nfsd.cc.test:       replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.cc.test:     //printf("Removing from start request : Req : %x Seq no : %qu Rid : %qu thread id %d\n",req,req->req_num,req->rid,targ->tid);
nfsd.cc.test:       //targ->seqno, replies->last_cont_reply, replies->last_chkpt,replies->chkpt_interval, replies->window[0]);
nfsd.cc.test:     //printf(" Request : Seq no : %qu Req id : %qu thread_id %d \n", targ->seqno,rid,targ->tid);
nfsd.cc.test:     if (targ->seqno >= (replies->last_cont_reply+1)) {
nfsd.cc.test:       int num_entry = (targ->seqno - replies->last_chkpt-1);
nfsd.cc.test:       //	      targ->seqno, num_word, num_bit,replies->window[num_word],replies->last_cont_reply);
nfsd.cc.test:       // already set if so update the last_cont until the targ->seqno
nfsd.cc.test:       // Kotla : Multiple requests can have same targ->seq_no
nfsd.cc.without_ckpt:   int cid = targ->client;
nfsd.cc.without_ckpt:   Request_id rid = targ->req_id;
nfsd.cc.without_ckpt:   Rep_info *replies = targ->rep ;
nfsd.cc.without_ckpt:   targ->outb.contents = replies->new_reply(cid, targ->outb.size);	
nfsd.cc.without_ckpt:   targ->res = nfsd_dispatch(&targ->inb,&targ->outb,&targ->non_det,targ->client,targ->ro);
nfsd.cc.without_ckpt:   if (targ->res) th_assert(0,"NFSD dispatch should not return non zero value");
nfsd.cc.without_ckpt:   if (targ->outb.size % ALIGNMENT_BYTES) {
nfsd.cc.without_ckpt:      for (int i=0; i < ALIGNMENT_BYTES - (targ->outb.size % ALIGNMENT_BYTES); i++) {
nfsd.cc.without_ckpt:	  targ->outb.contents[targ->outb.size+i] = 0;
nfsd.cc.without_ckpt:   if ((targ->outb.size != 0) && (cid != targ->my_id)) {
nfsd.cc.without_ckpt:      replies->end_reply(cid,rid, targ->outb.size);
nfsd.cc.without_ckpt:	   replies->send_reply(cid, targ->view, targ->my_id, false);
nfsd.cc.without_ckpt:	   replies->send_reply(cid, targ->view, targ->my_id,true);
