modelica
Return record
Enhancement to allow functions to return record values.
See https://github.com/modelica/ModelicaSpecification/pull/3130#issuecomment-1073942425
Note that this should be fairly straightforward to implement.
I think this issue has received too little attention, considering how many MA members that I think would have valuable input to the discussion. Could someone please help me ping the right people? For example, maybe @beutlich, @sjoelund, @christoff-buerger or @andreas-junghanns can relate to the question of how one should return records from the implementation of an external "C" function?
I have problems with your example involving records A and B. Your example is correct Modelica, but it is not correct C, which uses name-equvalence instead of structural equivalence. Ok, you may argue that two structs declared identically should give the same layout, but then somebody adds a #pack declaration and everything falls apart.
My suggestion is that we look if we could make a name mapping, telling the Modelica translator that "for this record please use this type name in the generated code". That allows you to define the type in C and your generated code will adapt in a clean way.
By the way, returning struct as a function return value has been well-defined for decades. Don't think you should do it by sending in "out" pointers. Maybe different for Modeica functions returning multiple values, have we defined that for external functions?
Maybe different for Modeica functions returning multiple values, have we defined that for external functions?
There are two cases for multiple outputs:
- No external declaration. In that case the C-function is not assumed to return one of them.
- An external declaration, e.g.
external "C" a=foo(b,c);then a is assumed to be a return value (and it should be declared as output). And ifborc(or both) are outputs they are handled as pointers to the outputs.
I have problems with your example involving records
AandB. Your example is correct Modelica, but it is not correct C, which uses name-equvalence instead of structural equivalence. Ok, you may argue that two structs declared identically should give the same layout, but then somebody adds a#packdeclaration and everything falls apart.
Yes, this is the point of the example.
My suggestion is that we look if we could make a name mapping, telling the Modelica translator that "for this record please use this type name in the generated code". That allows you to define the type in C and your generated code will adapt in a clean way.
This is an alternative I have also considered, but I thought it would be considered too complicated compared to using a void* and let each side of the interface define its own representation of the record. Note that one of the problems we'd have to address with this approach is how to mangle all crazy identifiers a Modelica record member could have (the name of the record itself wouldn't necessarily be a problem as long as one could provide an annotation to the function component declaration, telling the name of the corresponding external C record).
By the way, returning
structas a function return value has been well-defined for decades. Don't think you should do it by sending in "out" pointers. Maybe different for Modeica functions returning multiple values, have we defined that for external functions?
Yes, there is no question about returning struct by value being perfectly fine in C in general. The question is specific to returning records from extern "C" in Modelica.
Note that we must anyway support returning records via pointer to allocated storage, in case there are multiple outputs from the function. Thus there is hardly any added value in also allowing the records to be returned by value.
I have problems with your example involving records
AandB. Your example is correct Modelica, but it is not correct C, which uses name-equvalence instead of structural equivalence. Ok, you may argue that two structs declared identically should give the same layout, but then somebody adds a#packdeclaration and everything falls apart.Yes, this is the point of the example.
Fine, all in areement here.
My suggestion is that we look if we could make a name mapping, telling the Modelica translator that "for this record please use this type name in the generated code". That allows you to define the type in C and your generated code will adapt in a clean way.
This is an alternative I have also considered, but I thought it would be considered too complicated compared to using a
void*and let each side of the interface define its own representation of the record. Note that one of the problems we'd have to address with this approach is how to mangle all crazy identifiers a Modelica record member could have (the name of the record itself wouldn't necessarily be a problem as long as one could provide an annotation to the function component declaration, telling the name of the corresponding external C record).
I mst admit I have never quite understood the name-mangling of record members that some tools seem to apply (_0member).
By the way, returning
structas a function return value has been well-defined for decades. Don't think you should do it by sending in "out" pointers. Maybe different for Modeica functions returning multiple values, have we defined that for external functions?Yes, there is no question about returning struct by value being perfectly fine in C in general. The question is specific to returning records from
extern "C"in Modelica.
But here the question is also how we most easily adapt to what we think is the common programming style in C. If returning structs is common, then that is the natural option. If returning by in/out pointer arguments is common, then we should do that. Maybe we need to search for common real-world patterns.
There is a reason why the FMI group avoids structs. Maybe they have some input?
Here we are even talking about language border crossing structs (Modelica records <-> C structs). My assumption is: It needs guided/configured code generation and compilation on the fly on both ends (as we know from techniques like CORBA etc).
There is a reason why the FMI group avoids structs. Maybe they have some input?
Note that in Modelica 3.4 we added a way to avoid structs - even if the Modelica function has records - by sending each record member separately. So in one way one can argue that structs are only used when the user wants to.
Having a way to specify the C-name of the record, including the header containing its definition (and either with standardized names for the elements or a way of specifying them) would fix the remaining issue. We could then deprecate using records without a specified C-name for external functions. Added: Or not deprecate it and view it similar to the default calling of external functions.
However, that is somewhat orthogonal to this PR about returning records from external funcitons.
Here we are even talking about language border crossing structs (Modelica records <-> C structs). My assumption is: It needs guided/configured code generation and compilation on the fly on both ends (as we know from techniques like CORBA etc).
Guided code generation is needed for some cases, but given that the main use case is that you have a specific existing C-library that you want to call I don't think it is needed in most cases for Modelica.
It is clearly interesting if we want to add more generic support of calling other languages, e.g. JNI for Java; https://modelica.org/events/modelica2006/Proceedings/sessions/Session5a3.pdf
In another attempt to reach out for input from MAP-FMI people with the deep understanding of this kind of topic, perhaps @pmai has some thoughts to share? (Previously asked @andreas-junghanns, but so far no response.) For background in a nutshell: the topic is how to handle Modelica records (possibly nested) in the external C interface.
In another attempt to reach out for input from MAP-FMI people with the deep understanding of this kind of topic, perhaps @pmai has some thoughts to share? (Previously asked @andreas-junghanns, but so far no response.) For background in a nutshell: the topic is how to handle Modelica records (possibly nested) in the external C interface.
I don't understand what you are asking for, as the deep understanding has already been given.
Returning records has been part of C since at least the 1980s, and is documented in ABIs. This includes nested records.
The goal of this PR isn't to mandate that function return records, but to allow it - just being a few decades after C. Thus it does not matter that many coding styles don't use it in C (since the return value is a status code as in FMI, and structs are often input/output arguments). In C++ they are used more extensively (also for classes) requiring special optimizations like RVO and move-semantics.
I don't understand what you are asking for, as the deep understanding has already been given.
I am hoping that others would also see that there is a clear problem with passing by value when the code we generate for calling the external function doesn't have access to the same struct definitions used in the prototype of the external function (provided by means of a header given in the Include-annotation). The natural way to avoid all problems is to use void pointers (which happens to imply that records won't be possible to return by value, but that's totally fine by me).
Note that we already use void pointers successfully for handling external objects.
I don't understand what you are asking for, as the deep understanding has already been given.
I am hoping that others would also see that there is a clear problem with passing by value when the code we generate for calling the external function doesn't have access to the same struct definitions used in the prototype of the external function (provided by means of a header given in the
Include-annotation).
That is not what this PR is about; it's about returning records as stated in the name. Blocking issues due to unrelated problems is not constructive, please stop with that.
Specifically this PR is about ensuring that external function can handle return values using the same record definition that are already allowed for arguments. That is perfectly supported by the C-standard and has been for decades. Having an Include-annotation would help both in terms of C-standard conformance, but in practice it works for most platforms even without that.
That is not what this PR is about; it's about returning records as stated in the name. Blocking issues due to unrelated problems is not constructive, please stop with that.
I'm sorry, but I can't be in favor of the change as long as I don't see how the two could be unrelated. Returning a record means that there would be a struct in the return type of the external function's prototype, and it just doesn't seem feasible to be to generate clean code for calling such a function without having full access to the definition of that struct. It is because I don't see the feasibility of doing that (way too many annotations needed to to make it work), that I think returning records by value from external Modelica functions (not in C in general, of course) is not a good idea. By only returning records by pointers to allocated output memory one would get a realistic setting for both implementors of external functions and for tools that need to generate the code for calling them.
That is not what this PR is about; it's about returning records as stated in the name. Blocking issues due to unrelated problems is not constructive, please stop with that.
I'm sorry, but I can't be in favor of the change as long as I don't see how the two could be unrelated. Returning a record means that there would be a struct in the return type of the external function's prototype, and it just doesn't seem feasible to be to generate clean code for calling such a function without having full access to the definition of that struct.
Sending in a pointer to the struct, as currently allowed, has the exact same issues. If there are alignment issues, or if an implementation is really insisting on strict conformance for records it will be the same problem for both what we currently have and for returning records.
I'm not against adding Include-annotations for records, but it is a separate issue.
It is because I don't see the feasibility of doing that (way too many annotations needed to to make it work), that I think returning records by value from external Modelica functions (not in C in general, of course) is not a good idea. By only returning records by pointers to allocated output memory one would get a realistic setting for both implementors of external functions and for tools that need to generate the code for calling them.
Not true at all. That has the same problems (with alignment, layout, and strict C conformance for names etc; as we already have for pointers to structs and is proposed for returning records), and adds the possibility of incompatible memory allocation on top of that. (And in practice also requires manual memory management, that people often mess up.)
It's a really really bad idea.
Sending in a pointer to the struct, as currently allowed, has the exact same issues. If there are alignment issues, or if an implementation is really insisting on strict conformance for records it will be the same problem for both what we currently have and for returning records.
Yes, the issues are the same, but passing a void * makes it clear that the mechanism can only work if some underlying assumptions about alignment and layout are fulfilled, and it allows generation of code that will compile cleanly.
(And in practice also requires manual memory management, that people often mess up.)
No, as allocated memory is passed to the external function, no manual memory management is required on the external function side. I don't see any difference to the way we return arrays.
Sending in a pointer to the struct, as currently allowed, has the exact same issues. If there are alignment issues, or if an implementation is really insisting on strict conformance for records it will be the same problem for both what we currently have and for returning records.
Yes, the issues are the same, but passing a
void *makes it clear that the mechanism can only work if some underlying assumptions about alignment and layout are fulfilled, and it allows generation of code that will compile cleanly.
That would be a step back.
Instead I want to take two separate steps forward:
- Add possibility of returning records in this PR.
- Solve the declaration of struct (as a separate issue #3198 ) which would fully solve the problem of pointers and returning records.
Switching to void* is a proposal that would:
- Break compatibility for existing code.
- Increase the risk of errors; as in practice anything will match. Solving the declaration-problem as a separate issue is a better alternative that goes from structs that work in most implementation to a variant that is fully conformant with the C-standard in a backward compatible way.
- Don't solve anything. Note that going through
void*doesn't actually solve any of the compatibility issues with structs; it just attempts to hide them.
Side-note: External objects are different as it's only the external code that accesses the contents of the external object, but these structs are sent between external code and Modelica code, and modified by both.
Proposing void* is not only a bad proposal - it's also a separate proposal, so it would still be blocking an issue due to an unrelated problem, which is still not constructive.
In contrasts extending the declarations of structs in general, #3198 , is a straightforward extension, that takes less time to implement than concluding this pseudo-discussion.
(And in practice also requires manual memory management, that people often mess up.)
No, as allocated memory is passed to the external function, no manual memory management is required on the external function side. I don't see any difference to the way we return arrays.
If "returning records by pointers to allocated output memory" means only handling records by pointer to memory allocated by the caller, it only means that we still have the same minor problem as today - whereas returning records wouldn't introduce any new ones.
Note that this is still only relevant if the external call wants to return a struct it's an entirely optional proposal for modelers.
As seen in #3154, we don't really have any working mechanism at all for records at the moment, so whatever we do here should be seen as fixing that problem, not extending upon something that is already working.
I think the best way to proceed is to first settle #3198, and then return to this issue. (I expect that settling #3198 will end up in a clear decision between going with void pointers or going for the suggested complete specification of C structs.)
We can handle #3198 first, but is not blocking this issue.
The reason is that they are largely independent, and thus there is little or no overlap, and therefore no or few merge conflicts.
As seen in #3154, we don't really have any working mechanism at all for records at the moment, so whatever we do here should be seen as fixing that problem, not extending upon something that is already working.
In practice we have a working mechanism for records at the moment and have had since Modelica 1 - and they are used. However, that mechanism relies on specifics of ABIs on most used platforms, but is not fully according to the C-standard. That can be improved in a backwards compatible way in #3198 but it is not needed