Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[AOT] Initial implementation of --unpacked-api #8023

Merged
merged 9 commits into from
Jun 4, 2021

Conversation

Mousius
Copy link
Member

@Mousius Mousius commented May 12, 2021

Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example:

int32_t operator(void* arg0, void* arg1);

As opposed to the traditional packed API:

int32_t operator(void** args);

Unaffected is the entrypoint function, which retains a packed API for compatibility with other parts of TVM. The entrypoint function is generated as part of the metadata as suggested by @tqchen so we can easily swap it for implementing --micro-entrypoint.

cc: @giuseros @mbaret @manupa-arm @areusch @tqchen

Copy link
Contributor

@giuseros giuseros left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice job @Mousius ! Did a first pass, but didn't spot anything major.

src/relay/backend/aot_executor_codegen.cc Outdated Show resolved Hide resolved
src/relay/backend/aot_executor_codegen.cc Show resolved Hide resolved
src/relay/backend/aot_executor_codegen.cc Outdated Show resolved Hide resolved
tests/python/relay/aot/test_crt_aot.py Outdated Show resolved Hide resolved
@Mousius Mousius changed the title [AOT] Initial implementation of --no-typed-operators [AOT] Initial implementation of --typed-operators May 21, 2021
@Mousius
Copy link
Member Author

Mousius commented May 24, 2021

@giuseros everythings back to green, could you take another look? 😸

Copy link
Contributor

@giuseros giuseros left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, only a very minor comment left for me

src/target/source/source_module.cc Outdated Show resolved Hide resolved
Copy link
Contributor

@areusch areusch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Mousius did an initial pass

src/relay/backend/aot_executor_codegen.cc Outdated Show resolved Hide resolved
src/driver/driver_api.cc Outdated Show resolved Hide resolved
src/tir/transforms/make_unpacked_api.cc Show resolved Hide resolved
@Mousius Mousius changed the title [AOT] Initial implementation of --typed-operators [AOT] Initial implementation of --unpacked-api May 26, 2021
Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example:

int32_t operator(void* arg0, void* arg1);

As opposed to the traditional packed API:

int32_t operator(void** args);

Uneffected is the entrypoint function, which retains a packed API for
compatibility with other parts of TVM. This is done by changing the
passes taken by none entrypoint (CallingConv::kEntryPoint) functions.
This removes the logic for deciding the entrypoint from the compiler
passes and instead moves it into the metadata code generation. By moving
the generation, we can generate a variety of entrypoints on top of the
compiler output (such as the micro entrypoint discussed in the RFC).
(Also contains minor clean up of output variables)
(Also moves the entrypoint name to a constant)
@Mousius
Copy link
Member Author

Mousius commented Jun 1, 2021

@areusch I think this is good to go, could you take another look?

Copy link
Contributor

@areusch areusch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

hi @Mousius , apologies for the delay. just a couple small comments on this one.

src/target/target_kind.cc Outdated Show resolved Hide resolved
src/relay/backend/aot_executor_codegen.cc Outdated Show resolved Hide resolved
tests/python/relay/aot/test_crt_aot.py Outdated Show resolved Hide resolved
include/tvm/runtime/module.h Outdated Show resolved Hide resolved
@Mousius
Copy link
Member Author

Mousius commented Jun 3, 2021

@areusch I think I've incorporated all the changes and CI is still green 🎉

@areusch areusch merged commit a769ece into apache:main Jun 4, 2021
@areusch
Copy link
Contributor

areusch commented Jun 4, 2021

thanks @Mousius, the PR is now merged!

trevor-m pushed a commit to trevor-m/tvm that referenced this pull request Jun 17, 2021
* [AOT] Initial implementation of --no-typed-operators

Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example:

int32_t operator(void* arg0, void* arg1);

As opposed to the traditional packed API:

int32_t operator(void** args);

Uneffected is the entrypoint function, which retains a packed API for
compatibility with other parts of TVM. This is done by changing the
passes taken by none entrypoint (CallingConv::kEntryPoint) functions.

* Move entrypoint generation outside of main passes

This removes the logic for deciding the entrypoint from the compiler
passes and instead moves it into the metadata code generation. By moving
the generation, we can generate a variety of entrypoints on top of the
compiler output (such as the micro entrypoint discussed in the RFC).

* Use buffers in make_unpacked_api tests

* Enable --no-typed-operators for llvm

* Change --no-typed-operators to --typed-operators=0 to match other options

* Refactor typed-operators lookup into use_typed_operators_

(Also contains minor clean up of output variables)

* Rename --typed-operators to --unpacked-api

(Also moves the entrypoint name to a constant)

* Move all properties into init list to avoid double init

* Remove AutoTVM breaking default and improve clarity
trevor-m pushed a commit to neo-ai/tvm that referenced this pull request Jun 17, 2021
* [AOT] Initial implementation of --no-typed-operators

Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example:

int32_t operator(void* arg0, void* arg1);

As opposed to the traditional packed API:

int32_t operator(void** args);

Uneffected is the entrypoint function, which retains a packed API for
compatibility with other parts of TVM. This is done by changing the
passes taken by none entrypoint (CallingConv::kEntryPoint) functions.

* Move entrypoint generation outside of main passes

This removes the logic for deciding the entrypoint from the compiler
passes and instead moves it into the metadata code generation. By moving
the generation, we can generate a variety of entrypoints on top of the
compiler output (such as the micro entrypoint discussed in the RFC).

* Use buffers in make_unpacked_api tests

* Enable --no-typed-operators for llvm

* Change --no-typed-operators to --typed-operators=0 to match other options

* Refactor typed-operators lookup into use_typed_operators_

(Also contains minor clean up of output variables)

* Rename --typed-operators to --unpacked-api

(Also moves the entrypoint name to a constant)

* Move all properties into init list to avoid double init

* Remove AutoTVM breaking default and improve clarity
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants