search

lf-lang / lingua-franca

Intuitive concurrent programming in any language
https://www.lf-lang.org
Other
231 stars 62 forks source link

Non deterministic failure of `DecentralizedP2PUnbalancedTimeoutPhysical.lf` test #1789

Open ChadliaJerad opened 1 year ago

ChadliaJerad commented 1 year ago

In rti-refactoring branches under lingua-franca and reactor-c repos, the test DecentralizedP2PUnbalancedTimeoutPhysical.lf fails under reactor-c CI, while it succeeds under lingua-franca CI.

On my machine, the behavior is not repeatable, and the number of unfreed messages varies from one execution to another.

@petervdonovan pointed out that this may be due to a bug in the GEDF_NP scheduler.

ChadliaJerad commented 1 year ago

src/concurrent/AsyncCallbackDrop.lf failed unexpectedly in a commit that only deals with the RTI (here). This test also uses the GEDF_NP scheduler and I couldn't reproduce the error locally.

lhstrh commented 1 year ago

I have observed failures on AsyncCallbackDrop.lf as well (e.g., https://github.com/lf-lang/reactor-c/actions/runs/4984928320/jobs/8923915690) and I think it is a different problem from DecentralizedP2PUnbalancedTimeoutPhysical.lf that this issue refers to. I will go ahead and open a separate issue for it.

lhstrh commented 1 year ago

Here is a link to the issue regarding AsyncCallbackDrop.lf: https://github.com/lf-lang/reactor-c/issues/229