-
Notifications
You must be signed in to change notification settings - Fork 5
Dev/wasmtime #41
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
Open
leon-thomm
wants to merge
107
commits into
main
Choose a base branch
from
dev/wasmtime
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Dev/wasmtime #41
Changes from all commits
Commits
Show all changes
107 commits
Select commit
Hold shift + click to select a range
ee86652
generic interface word size
leon-thomm bc19ed7
context base offset
leon-thomm 90f5a1a
libloading wasm backend
leon-thomm 572d941
fix libloading wasm backend
leon-thomm 6d2a1b7
update driver tests
leon-thomm 1d1ef65
update driver tests
leon-thomm 876b806
add wasm backend binaries
leon-thomm d9b2d41
rename wasm test files
leon-thomm f849a42
update matmul binary
leon-thomm bc27391
wasm memory on heap
leon-thomm d48fe7a
use Arc<Library>
leon-thomm e5d2faa
zero-copy wasm memory initialization
leon-thomm 16b05a2
add wasm feature to dispatcher
leon-thomm 278415e
Merge branch 'main' into dev/wasm
leon-thomm f763605
remove context base offset, use occupation instead
leon-thomm 9d1b104
make wasm context the full wasm memory
leon-thomm 611a8e9
Merge pull request #17 from eth-easl/dev/wasm-heap-only
leon-thomm 41a9af0
Add wasm libloading dependency to cargo
tom-kuchler 371b89a
Undoing premature changes
tom-kuchler e931f93
remove base offset from cheri memory domain
leon-thomm e55f14d
update wasm driver tests
leon-thomm 78d7829
merge dev/composition
leon-thomm b8e57ae
fix MMU interface usage
leon-thomm 832c1fe
fix auto merge
leon-thomm bdf215d
fix wasm engine re-usage and add wasm dispatcher tests
leon-thomm 909d3a8
Fix issue with compiling main and reenable empty loader test
tom-kuchler 6c2d135
handle wasm out of memory
leon-thomm 6acb4bd
add wasm to domain tests
leon-thomm 42951cb
update wasm test files
leon-thomm 4967cda
merge main
leon-thomm 9cfbbde
update wasm test files (again)
leon-thomm bae4df9
Merge remote-tracking branch 'origin/main' into dev/wasm
leon-thomm 567e861
add wasm backend to server, fix hyper imports
leon-thomm 173c484
use mmap() for wasm memory
leon-thomm 83693af
temporary request counter
leon-thomm bde8a36
merge main
leon-thomm 377ad77
use http for unity submodule
leon-thomm 0a78b9d
temp request print
leon-thomm ddfbd5d
merge main
leon-thomm 8c187b7
remove debug counter
leon-thomm 95b028c
raise number of engine cores
leon-thomm 082f6d8
Merge branch 'dev/wasm' of github.com:eth-easl/dandelion into dev/wasm
leon-thomm 73de0ce
remove print
leon-thomm 8608196
use 63 engine cores
leon-thomm fe582cb
Complain of engine initialized with invalid coreID
richardlee159 11c96f9
Dynamically determine number of cores available
richardlee159 33b57fc
Optimize core allocation for dispatcher & engines
richardlee159 c1aed39
Add simple test for server
richardlee159 9161e61
Fix core pinning issue for dispatcher
richardlee159 1112951
Initialize matrix in a thread-safe way
richardlee159 d6e155b
merge origin/dev/server_enhance
leon-thomm 9c0e67e
add engines
leon-thomm 1985974
merge origin/main
leon-thomm 2d446bb
update busy binary
leon-thomm 6d18506
Merge remote-tracking branch 'origin/main' into dev/wasm
leon-thomm dd819e5
use fewer dispatcher cores
9ca475d
Remove cheri as default on aarch64 machines
tom-kuchler 4a486c5
cherry pick 'Set dispatcher core number via environment variable'
leon-thomm c16efc9
update busy binary
leon-thomm 83023e8
merge main
leon-thomm 6d1cc15
add pure wasm binaries
leon-thomm 314332b
fix duplicate Cargo.toml section
leon-thomm cc24d2e
wasmtime backend prototype
leon-thomm d5ac2fa
fix wasmtime binary path
leon-thomm cee3aa6
reduce wasmtime dependencies
leon-thomm 1376aec
wasm module pre-compilation
leon-thomm 5cd0f55
fix imports
leon-thomm 9d21625
use one wasmtime engine only
leon-thomm 33fdf09
wasmtime module precompilation
leon-thomm fb04088
update wasm binaries
leon-thomm 24fbba6
add error messages to wasmtime function parsing
leon-thomm 3215a06
arch specific wasmtime binaries
leon-thomm e57cdcf
use arch-specific wasmtime binaries
leon-thomm 5951c88
update wasmtime binaries
a15b9c1
pass sysdata offset to wasm function; fix wasmtime tests
leon-thomm 22992ea
Update lock to read write lock, originally made by Pinghe, cherri pic…
tom-kuchler 3fa4952
Fix main broken from picking
tom-kuchler 92e317a
merge dev/locking
leon-thomm 664cec4
fix wasm after merge
leon-thomm c034f2b
fix wasmtime after merge
leon-thomm f8e0b5c
fix Cargo.toml newline
cce9502
remove print
leon-thomm 9218da8
lower NUM_COLD
77606d8
Merge branch 'dev/wasmtime' of https://github.com/eth-easl/dandelion …
c7c8927
fix wasmtime precompiled feature detection
leon-thomm 33e60b0
re-compiled wasm binaries
leon-thomm a0e4037
merge main
leon-thomm 542c87d
fix merge missing change
leon-thomm 711515c
fix merge again
leon-thomm f0b1abb
rename wasmtime features
leon-thomm d418b65
fix missing feature rename
leon-thomm 02db215
fix wasmtime-precompiled driver init
leon-thomm 3504386
fix feature separation wasmtime-precompiled and wasmtime-jit
leon-thomm 4a2b9d9
rename wasmtime-precompiled to wasmtime-precomp
leon-thomm 7e2bfb0
missed files in previous commit
leon-thomm 7a624ee
Adding back cheri build file that was wrongly removed
tom-kuchler a22e5b1
Add env variable to use different mmu worker locations
tom-kuchler ae4acf6
fix dandelion build
leon-thomm aef4816
roll back to read-write lock in function registry
leon-thomm 018fcfa
Merge branch 'dev/wasmtime-debug-registry' into dev/wasmtime
leon-thomm 885877c
Revert "Merge branch 'dev/wasmtime-debug-registry' into dev/wasmtime"
leon-thomm 7ce1c54
recomputed wasm binaries
leon-thomm b714bed
clean up
leon-thomm 5d2ee5b
Add features to workflow
tom-kuchler d87abcb
turns out I can't round properly
leon-thomm 4bf2632
improve memory domain tests
leon-thomm c7983e1
allow function-less context creation
leon-thomm File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| fn main() { | ||
| // check if cheri is enabled and build library if so | ||
| #[cfg(feature = "cheri")] | ||
| { | ||
| use cmake::Config; | ||
| // cmake configure and build all | ||
| let _all = Config::new("c_machine_libraries") | ||
| .define("FORCE_BUILD_CHERI", "") | ||
| .build_target("all") | ||
| .build(); | ||
| // run tests tests | ||
| let _test = Config::new("c_machine_libraries") | ||
| .build_target("test") | ||
| .build(); | ||
| // install | ||
| let install = Config::new("c_machine_libraries").build(); | ||
| // passing cmake information to c | ||
| println!("cargo:rustc-link-search=native={}", install.display()); | ||
| println!("cargo:rustc-link-lib=static=cheri_lib"); | ||
| } | ||
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.