Skip to content

Commit 52dcc7c

Browse files
committed
Reject events that are tried scheduled before start tag
1 parent 5144e03 commit 52dcc7c

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed

src/federated.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -241,6 +241,8 @@ void FederatedConnectionBundle_handle_tagged_msg(FederatedConnectionBundle *self
241241
env->platform->new_async_event(env->platform);
242242
}
243243
break;
244+
case LF_INVALID_TAG:
245+
break;
244246
case LF_OK:
245247
env->platform->new_async_event(env->platform);
246248
break;

src/schedulers/dynamic/scheduler.c

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -316,6 +316,14 @@ lf_ret_t Scheduler_schedule_at_locked(Scheduler *untyped_self, Event *event) {
316316
return LF_PAST_TAG;
317317
}
318318

319+
// Check if we are trying to schedule before the start tag
320+
tag_t start_tag = {.time = self->super.start_time, .microstep = 0};
321+
if (lf_tag_compare(event->tag, start_tag) < 0 || self->super.start_time == NEVER) {
322+
LF_WARN(SCHED, "Trying to schedule trigger %p at tag %" PRId64 ":%" PRIu32 " which is before start tag",
323+
event->trigger, event->tag.time, event->tag.microstep);
324+
return LF_INVALID_TAG;
325+
}
326+
319327
lf_ret_t ret = self->event_queue.insert(&self->event_queue, event);
320328
if (ret != LF_OK) {
321329
LF_ERR(SCHED, "Failed to insert event into event queue");

0 commit comments

Comments
 (0)