/* DripBack creation function */
snet_stream_t *SNetDripBack(
snet_stream_t *input,
snet_info_t *info,
int location,
snet_variant_list_t *back_patterns,
snet_expr_list_t *guards,
snet_startup_fun_t box_a)
{
snet_stream_t *output;
node_t *node;
dripback_arg_t *darg;
snet_locvec_t *locvec;
int detlevel;
trace(__func__);
detlevel = SNetDetSwapLevel(0);
locvec = SNetLocvecGet(info);
SNetLocvecFeedbackEnter(locvec);
output = SNetStreamCreate(0);
node = SNetNodeNew(NODE_dripback, location, &input, 1, &output, 1,
SNetNodeDripBack, SNetStopDripBack, SNetTermDripBack);
darg = NODE_SPEC(node, dripback);
/* fill in the node argument */
darg->input = input;
darg->output = output;
darg->back_patterns = back_patterns;
darg->guards = guards;
darg->stopping = 0;
/* Create the instance network */
darg->instance = SNetNodeStreamCreate(node);
SNetSubnetIncrLevel();
darg->dripback = (*box_a)(darg->instance, info, location);
SNetSubnetDecrLevel();
STREAM_DEST(darg->dripback) = node;
SNetNodeTableAdd(darg->dripback);
/* Create one self-referencing stream. */
darg->selfref = SNetNodeStreamCreate(node);
STREAM_DEST(darg->selfref) = node;
SNetNodeTableAdd(darg->selfref);
darg->entity = SNetEntityCreate( ENTITY_fbdisp, location, locvec,
"<feedback>", NULL, (void*)darg);
SNetLocvecFeedbackLeave(locvec);
SNetDetSwapLevel(detlevel);
return output;
}
snet_stream_t *SNetFeedbackDet( snet_stream_t *input,
snet_info_t *info,
int location,
snet_variant_list_t *back_patterns,
snet_expr_list_t *guards,
snet_startup_fun_t box_a
)
{
snet_stream_t *output;
snet_locvec_t *locvec;
locvec = SNetLocvecGet(info);
SNetLocvecFeedbackEnter(locvec);
input = SNetRouteUpdate(info, input, location);
if(SNetDistribIsNodeLocation(location)) {
snet_stream_t *into_op, *from_op;
snet_stream_t *back_bufin, *back_bufout;
fbbuf_arg_t *fbbarg;
fbcoll_arg_t *fbcarg;
fbdisp_arg_t *fbdarg;
/* create streams */
into_op = SNetStreamCreate(0);
output = SNetStreamCreate(0);
back_bufout = SNetStreamCreate(FEEDBACK_BACKCHAN_CAPACITY);
#ifndef FEEDBACK_OMIT_BUFFER
back_bufin = SNetStreamCreate(0);
/* create the feedback buffer */
fbbarg = SNetMemAlloc( sizeof( fbbuf_arg_t));
fbbarg->in = back_bufin;
fbbarg->out = back_bufout;
fbbarg->out_capacity = FEEDBACK_BACKCHAN_CAPACITY;
SNetThreadingSpawn(
SNetEntityCreate( ENTITY_fbbuf, location, locvec,
"<fbbuf>", FeedbackBufTask, (void*)fbbarg)
);
#else
back_bufin = back_bufout;
#endif
/* create the feedback collector */
fbcarg = SNetMemAlloc( sizeof( fbcoll_arg_t));
fbcarg->in = input;
fbcarg->fbi = back_bufout;
fbcarg->out = into_op;
SNetThreadingSpawn(
SNetEntityCreate( ENTITY_fbcoll, location, locvec,
"<fbcoll>", FeedbackCollTask, (void*)fbcarg)
);
/* create the instance network */
from_op = box_a(into_op, info, location);
from_op = SNetRouteUpdate(info, from_op, location);
/* create the feedback dispatcher */
fbdarg = SNetMemAlloc( sizeof( fbdisp_arg_t));
fbdarg->in = from_op;
fbdarg->fbo = back_bufin;
fbdarg->out = output;
fbdarg->back_patterns = back_patterns;
fbdarg->guards = guards;
SNetThreadingSpawn(
SNetEntityCreate( ENTITY_fbdisp, location, locvec,
"<fbdisp>", FeedbackDispTask, (void*)fbdarg)
);
} else {
SNetVariantListDestroy(back_patterns);
SNetExprListDestroy(guards);
output = box_a(input, info, location);
output = SNetRouteUpdate(info, output, location);
}
SNetLocvecFeedbackLeave(locvec);
return( output);
}
/* Feedback creation function */
snet_stream_t *SNetFeedback(
snet_stream_t *input,
snet_info_t *info,
int location,
snet_variant_list_t *back_patterns,
snet_expr_list_t *guards,
snet_startup_fun_t box_a)
{
snet_stream_t *output;
node_t *node;
feedback_arg_t *farg;
snet_locvec_t *locvec;
int detlevel;
trace(__func__);
if (SNetFeedbackDeterministic()) {
return SNetDripBack(input, info, location, back_patterns, guards, box_a);
}
detlevel = SNetDetSwapLevel(0);
locvec = SNetLocvecGet(info);
SNetLocvecFeedbackEnter(locvec);
input = SNetRouteUpdate(info, input, location);
if (SNetDistribIsNodeLocation(location)) {
output = SNetStreamCreate(0);
node = SNetNodeNew(NODE_feedback, &input, 1, &output, 1,
SNetNodeFeedback, SNetStopFeedback, SNetTermFeedback);
farg = NODE_SPEC(node, feedback);
/* fill in the node argument */
farg->input = input;
farg->output = output;
farg->back_patterns = back_patterns;
farg->guards = guards;
farg->stopping = 0;
/* Create the instance network */
farg->instance = SNetNodeStreamCreate(node);
farg->feedback = (*box_a)(farg->instance, info, location);
farg->feedback = SNetRouteUpdate(info, farg->feedback, location);
/* Feedback loop should end at this node. */
assert(STREAM_DEST(farg->feedback) == NULL);
STREAM_DEST(farg->feedback) = node;
/* Create two self-referencing streams. */
farg->selfref2 = SNetNodeStreamCreate(node);
STREAM_DEST(farg->selfref2) = node;
farg->selfref4 = SNetNodeStreamCreate(node);
STREAM_DEST(farg->selfref4) = node;
farg->entity = SNetEntityCreate( ENTITY_fbdisp, location, locvec,
"<feedback>", NULL, (void*)farg);
} else {
SNetExprListDestroy( guards);
SNetVariantListDestroy(back_patterns);
output = input;
}
SNetLocvecFeedbackLeave(locvec);
SNetDetSwapLevel(detlevel);
return output;
}
