You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I see your point that the analysis is not currently sound due to scratch semantics. however, this change is likely to cause most (or all) existing programs to be flagged as divergent. we want something much more specific: 'unguarded asynchrony' is nonmonotonic. we would need to define this as something like: a path from a channel to another channel (or any sideeffect) that does not include at least one persisted table, and DOES include at least one join...
Well, if this motivates us to make our program analysis more accurate, then so much the better -- I've been advocating for that for a while :) The current situation absolutely needs improvement though.
re: channel => channel, I don't think we need two channels or a join: e.g., count() of a channel being stored into a table is divergent (due to batching).
No description provided.
The text was updated successfully, but these errors were encountered: