News for hackers. Stuff that matters.

A comment on Modelica. Parent comment

Re:Modelica by zelphirkalt on Tuesday December 17, 2024 @11:05AM (#42442463)
I seem to have a problem understanding "acausal". Is its meaning "not causal"? To me that wouldn't make much sense and sounds like another buzzword. The software still runs inside a computer. Everything inside of it is causal. And nust because the compiler decides in what order to do what, that also doesn't make it not causal, since surely the compiler follows some well known rules that _cause_ it to decide this way or that way. And surely defining relations _is_ in a way defining the causal ... relations.

So what is really the meaning of "acausal" in this context?

[ Parent | on HN ]
Re:Modelica by adastra22 on Tuesday December 17, 2024 @12:26PM (#42443224)
It means data flow is bidirectional.
[ Parent | on HN ]
Re:Modelica by adgjlsfhk1 on Tuesday December 17, 2024 @01:06PM (#42443610)
It's like the difference between an imperative framework and a declarative one. In a causal modeling system you as the user are responsible for writing out the causality of your model. In an acausal system, you write what components you have and how they connect and part of the compilation process is "causalization" i.e. taking the elements and connections and inferring from that the direction of causality.

This makes modeling much easier because causality doesn't compose. Adding a new component to a model can totally change what the optimal causalization is, so using an acausal framework the compiler will figure that out, but in a causal framework the user has to re-derive the causality of their model.

[ Parent | on HN ]
Re:Modelica by michaeltiller on Wednesday December 18, 2024 @10:47PM (#42458248)
It means the causality is not built into the components but instead decided once your system is defined. The point is that you can make a change to the causality without having to refactor major parts of your model. It also means, even without the factoring, that the causalization (determining what is computed in terms of what) is done for you by the compiler, which spares you from doing lots of tedious, time-consuming and error prone work.
[ Parent | on HN ]