Passing constant struct to entry point in Matlab Coder

Question

Ludger Solbach 2015-7-10

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/229445-passing-constant-struct-to-entry-point-in-matlab-coder

评论： Jan Siegmund 2020-3-18

I am trying to prevent code generation for unused execution paths. The system I am trying to compile to C with Matlab Coder is parametrized with a nested params struct, which also includes the switches for the execution paths I am trying to exclude. A simple solution would be declaring the whole nested parameter struct as constant, like this

codegen systemCode -args {1, coder.Constant(params)}

but this does not seem to have any effect. It seems the params struct is still treated as a non-constant. I'm looking for a solution to this problem that does not involve pulling the control path switches out of the params struct.

4 个评论
显示 2更早的评论隐藏 2更早的评论

Ludger Solbach 2015-7-13

在 MATLAB Online 中打开

It turns out the problem has nothing to do with the fact that the control parameters are in a struct, but more with how they are propagated to the point of usage. They are passed to an object constructor for a handle class, but the control switch is not used until the object operates on input data. Here's a little test code for the wrapper:

function out = sysWrapper(x, params)
    persistent sys;
      % init
      if isempty(sys)
          sys = sysFunc(params);
      end
      % run it
      out = sys.run(x);
  end

and below is the object example containing an execution branch that we need to exclude because Matlab coder does not support cell arrays. If we try to build this with the command line

clear all; params.doThis = 0; codegen sysWrapper -args {1, coder.const(params)}'

Matlab coder fails to build complaining about the cell array despite the fact that this branch will never be executed.

classdef sysFunc<handle
    properties
        params
    end
    methods
        function obj = sysFunc(params)
            obj.params = params;
        end
        function out = run(obj, in)
            out = in;
            if obj.params.doThis
                'this'
                a = cell({1,2,3}); % not supported by coder
            else
                'that'
                out = 0;
            end
        end
    end
end

Ludger Solbach 2015-7-13

在 MATLAB Online 中打开

Addendum: I was thinking that I might have to help coder by propagating the const property through the call hierarchies but already changing the wrapper line calling the constructor to

sys = sysFunc(coder.const(params));

makes coder throw an error saying that params cannot be reduced to a constant, which is rather odd, since it was explicitly labeled as such in the codegen arguments.

??? Expression could not be reduced to a constant.
Error in ==> sysWrapper Line: 6 Column: 35
Code generation failed: Open error report.
Error using codegen (line 144)

Ludger Solbach 2015-7-13

编辑：Ludger Solbach 2015-7-13

在 MATLAB Online 中打开

What's puzzling is that even if I go straight to line where the switch is used in the run() function, by changing

if obj.params.doThis

to

if coder.const(obj.params.doThis)

I get the error that the expression cannot be reduced to a constant. How is it that coder gets the idea that this value can ever change?

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Ryan Livingston 2015-7-14

1
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/229445-passing-constant-struct-to-entry-point-in-matlab-coder#answer_185982

编辑：Ryan Livingston 2015-7-14

在 MATLAB Online 中打开

Typically when you want to filter some code from code generation, the best approach is to use coder.target. In this case you could use the code:

if coder.target('MATLAB')
    'this'
    a = cell({1,2,3}); % not supported by coder
else
    'that'
    out = 0;
end

to filter out the code that uses cell arrays.

There appear to be some limitations regarding tracking constants through objects with code generation. Another workaround you may consider is to implement a System Object. These are special MATLAB classes that have some properties which are designed to interact well with code generation.

The basic idea is that they maintain some state and implement a step method which performs the actual computation to be done, much like your run method. They also have the notion of nontunable properties which are special properties in the class that abide by certain rules (e.g. they must have 1 assignment with a constant value). Because of these rules, they can generally be treated as constants by the code generation software.

I changed sysFunc to a System Object:

classdef sysFunc < matlab.System
    properties (Nontunable)
        params
    end
    methods
        function obj = sysFunc(params)
            obj.params = params;
        end
    end
    methods (Access = protected)
        function setupImpl(obj)
            % Implement tasks that need to be performed only once,
            % such as pre-computed constants.
        end
          function out = stepImpl(obj,in)
              % Implement algorithm. Calculate out as a function of
              % input in and discrete states.
              out = in;
              if obj.params.doThis
                  'this'
                  a = cell({1,2,3}); % not supported by coder
              else
                  'that'
                  out = 0;
              end
          end
          function resetImpl(obj)
              % Initialize discrete-state properties.
          end
      end
  end

You'll also need to change sys.run(x) to sys.step(x) in sysWrapper. After doing this, I was able to generate code using:

params.doThis = 0; codegen sysWrapper -args {1, coder.Constant(params)}

Despite this, I would still recommend using coder.target to determine if you are in code generation mode or running in MATLAB. However, leveraging nontunable properties of System Objects may allow you to better propagate constants through object properties for code generation.

Lastly, in MATLAB you can go to the Editor tab and click the arrow under New and choose System Object->Advanced to get a template System Object that shows all of the supported behaviors you can override.

3 个评论
显示 1更早的评论隐藏 1更早的评论

Ryan Livingston 2015-7-14

编辑：Ryan Livingston 2015-7-14

You're quite welcome, glad to hear it was helpful. I was using the editor in R2015a, so I assume that option was added sometime between the release you are using and R2015a. You can see the overridable functions in the matlab.System documentation page as well.

Jan Siegmund 2020-3-18

在 MATLAB Online 中打开

This works well with the original matlab coder, however in MATLAB HDL coder, the fixed-point converter step complains:

Property 'param' of class 'ExampleClass' is a structure type. Classes with structure properties are not supported.

I just basically want to achieve the same thing:

Excluding not supported code paths by using a constant struct.

Using the coder.Constant input class does also not work for the fixed point converter.

请先登录，再进行评论。

Passing constant struct to entry point in Matlab Coder

4 个评论
显示 2更早的评论隐藏 2更早的评论

采纳的回答

3 个评论
显示 1更早的评论隐藏 1更早的评论

更多回答（0 个）

另请参阅

类别

标签

产品

Community Treasure Hunt

Passing constant struct to entry point in Matlab Coder

4 个评论 显示 2更早的评论隐藏 2更早的评论

采纳的回答

3 个评论 显示 1更早的评论隐藏 1更早的评论

更多回答（0 个）

另请参阅

类别

标签

产品

Community Treasure Hunt

4 个评论
显示 2更早的评论隐藏 2更早的评论

3 个评论
显示 1更早的评论隐藏 1更早的评论