[component model] instantiate

[dannypsnl]

trafficstars

#3151

1. [component model] linear indexed space
   1. instance section
      1. inline export immediate module instance
      2. instantiate module instance via module definition
      3. instantiate component instance via component definition
   2. canonical section
      1. lift: wrap a core module function with component types
      2. lower: wrap a component function with core types
   3. alias definitions
   4. import definitions
   5. export definitions
   6. type section (record into a index space)
2. [wasi-http] a test component in wasi-http plugin, the demo helps us to interact with canonical ABI
3. [wasi-poll] standard plugin
4. [formatter] format component types and AST::FunctionType

[juntao]

Hello, I am a code review bot on flows.network. Here are my reviews of code commits in this PR.

---

[dannypsnl]

The tests failing are all wrong instance address.

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 4.71698% with 909 lines in your changes missing coverage. Please review.

Project coverage is 78.42%. Comparing base (813c200) to head (e7183a4). Report is 1 commits behind head on master.

Files	Patch %	Lines
lib/executor/instantiate/component/canon.cpp	0.00%	216 Missing :warning:
include/ast/component/type.h	0.00%	171 Missing :warning:
lib/executor/instantiate/component/instance.cpp	0.00%	96 Missing :warning:
include/runtime/instance/component.h	0.00%	80 Missing :warning:
lib/executor/instantiate/component/alias.cpp	0.00%	77 Missing :warning:
lib/executor/instantiate/component.cpp	0.00%	49 Missing :warning:
lib/vm/vm.cpp	45.34%	42 Missing and 5 partials :warning:
lib/executor/instantiate/component/import.cpp	0.00%	30 Missing :warning:
lib/executor/instantiate/component/export.cpp	0.00%	26 Missing :warning:
include/runtime/instance/module.h	0.00%	19 Missing :warning:
... and 11 more

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3218      +/-   ##
==========================================
- Coverage   80.53%   78.42%   -2.11%     
==========================================
  Files         253      262       +9     
  Lines       34916    35873     +957     
  Branches     6143     6474     +331     
==========================================
+ Hits        28119    28133      +14     
- Misses       5367     6308     +941     
- Partials     1430     1432       +2     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[dannypsnl]

The windows failure is irrelevant with this PR.

[hydai]

The windows failure is irrelevant with this PR.

Ref: #3257

[dannypsnl]

NOTE: cleanup log once demo can totally rely on canonical ABI, which means we at least supports string.

[q82419]

Please fix the Windows build.

[dannypsnl]

I have no idea how would changes fail the Windows tests.

Update 2024/05/15

I check and found the fail is about a test cleanup failed, should not relate to PR changes.

[dannypsnl]

@hydai The bug is fixed, with update branch this should be ready to be merged.

[hydai]

@dannypsnl Please rebase to the latest master.

[dannypsnl]

@hydai rebased.

[hydai]

The Windows CI failed.

[dannypsnl]

Yes, file system missing, do we changes something in CI?

[hydai]

We don't. Except for the missing filesystem, however, the unit tests also failed (SEGFAULT).

[dannypsnl]

That's weird, on our remote Windows tests are passed.

[hydai]

That's weird, on our remote Windows tests are passed.

Let me try to bump deps in the workflow.

[q82419]

That's weird, on our remote Windows tests are passed.

In our experience, this situation usually occurs when we used an undefined behavior.

[hydai]

The Windows CI on the master branch failed. I need to figure out the reason. https://github.com/WasmEdge/WasmEdge/actions/runs/9413379849/job/25930046709?pr=3455

@q82419 I think we can move forward to merge this and fix the windows CI later.

[dannypsnl]

@hydai Rebase are done

[hydai]

The prefixes should be in the same style, such as [WASI] and [Misc]. These commits contain multiple styles of the same name, including [Misc] vs. [misc].

[dannypsnl]

@hydai updated