sledge-serverles-framwork

Commit Graph

Author	SHA1	Message	Date
Sean McBride	eb74a306ff	Wasm traps (#301 ) * feat: Preliminary WASI with fib workload * refactor: Clarify initialize globals * chore: Update empty to WASI * chore: cleanup fib test * chore: cleanup build tooling * chore: cleanup test Makefiles and some nits * chore: Update LLVM and install WASI-SDK * chore: Update build tools and specs * docs: Update example module spec in README * refactor: Clean up HTTP handling * feat: Implement exit WASI call * style: apply clang-format * ci: rewrite compile sledge step * build: Remove LLVM install shims * build: Try manually adding libunwind * build: Try adding libunwind-dev * ci: break out aWsm compile step * fix: Correct test build error * fix: Correct error in WASI fd_write * chore: Increase gocr http buffer size * test: Correct image resize test * chore: Remove zombie wasmception functions * chore: Reduce dummy args to single arg * chore: Add debugging makefile fivebyeight * chore: Remove erronious PHONYs in tests Makefile * ci: Disable gocr tests * chore: Add wat Make rule to fibonacci test * chore: fix apt package name * chore: Enable clean of failed ck install * chore: use LLVM 12 * test: Disable gocr tests * chore: Enhance test makefile * chore: Add CFILES as sledgert dep * chore: Add NULL check for function table pointer * chore: Add missing header * chore: uncomment cleanup in imageresize test * refactor: Remove unused linear memory functions * build: Add bimodal debug makefile * chore: Add linear memory debug logs * refactor: Cleanup region initialization * build: Correct PHONY in runtime Makefile * chore: deb install script for outside of container * refactor: Remove zombie extern. * feat: WebAssembly traps * refactor: Use C18 features * chore: Remove git diff annotations * fix: tweaks to run all sample apps with WASI * test: convert shell script to Makefile * build: clean generated ck Makefile * chore: Use awsm branch with fixes * chore: Revert name changes * fix: Correct type issues * refactor: Reverse additional name change * refactor: Remove awsm compat shims * chore: Remove libc association * build: Better detect header file changes * refactor: current_wasm_module_instance_trap * test: reenable tests * chore: Delete copied script * build: Fix test workloads * fix: Implement HTTP 500 * fix: Protect against overflow on comparison * build: Replace test.sh with makefile * refactor: blow away tmp directory conflicts * refactor: centralize wasm in single submodule * feat: libsledge and sledge ABI * chore: move tests * refactor: tests * chore: update wasm_apps with new sample data * doc: Initial ABI README * feat: globals table * docs: Merge aWsm ABI docs * docs: libsledge ABI * build: rename apps to keep consistent * build: Disable wasm proposals * build: Update wasm apps and fix typo * test: test makefiles * test: Additional test makefiles * build: top-level build and install rules wo Docker * docs: Add wasm lld comment * build: top level makefile * chore: merge debug flags * fix: Correct out of bounds error * feat: indirection to awsm ABI * fix: Correct link hack with proper flag * fix: gps typo * chore: format nit * ci: update makefile rules * ci: check WASI_SDK_PATH * fix: Adjust paths * ci: fix make rule name * refactor: Attempt to use generic vec * refactor: Remove type-specific vec * fix: Resolve assorted TODOs * chore: fix clang format issue * ci: Invalidate app cache on libsledge changes * fix: Correct wasm trap check * fix: free wasm globals * docs: example of running top level tests via make * chore: option to log unsupported wasi * test: add preempt client generator for fib bimodal * refactor: Allocate wasm memory with 4096 align * fix: Handle build without runtime globals * refactor: bypass runtime call for first global * fix: Correct sandbox logging * test: fix incorrect paths in test.mk * refactor: cleanup basic traps logic * test: trap_divzero * fix: Correct inverted trap control flow * ci: Invalidate awsm cache * ci: divide by zero trap * chore: Assorted cleanup * ci: Install httpie * chore: Remove stdio calls in libsledge * chore: update submodules	3 years ago
Sean McBride	5d19891e63	feat: libsledge pattern for wasmception (#299 ) * feat: libsledge pattern for wasmception * ci: build libsledge * ci: fix YAML whitespace issue * ci: fix another YAML whitespace issue * fix: Correct type issues in memcpy * ci: debug permissions * ci: restore build rules * chore: Change wasmception init symbol * chore: Assored cleanup * fix: update g0 cache on preemption * refactor: inline global vec in sandbox struct * chore: trailing newline on JSON * chore: Clean up extraneous file associations * docs: Explain export and weak symbols * docs: Remove comment * refactor: Replace CHAR_BIT with limits.h * refactor: Remove redundant unlikely define * docs: Wasmception fn type checking disabled note	3 years ago

Author

SHA1

Message

Date

Sean McBride

eb74a306ff

Wasm traps (#301 )

* feat: Preliminary WASI with fib workload

* refactor: Clarify initialize globals

* chore: Update empty to WASI

* chore: cleanup fib test

* chore: cleanup build tooling

* chore: cleanup test Makefiles and some nits

* chore: Update LLVM and install WASI-SDK

* chore: Update build tools and specs

* docs: Update example module spec in README

* refactor: Clean up HTTP handling

* feat: Implement exit WASI call

* style: apply clang-format

* ci: rewrite compile sledge step

* build: Remove LLVM install shims

* build: Try manually adding libunwind

* build: Try adding libunwind-dev

* ci: break out aWsm compile step

* fix: Correct test build error

* fix: Correct error in WASI fd_write

* chore: Increase gocr http buffer size

* test: Correct image resize test

* chore: Remove zombie wasmception functions

* chore: Reduce dummy args to single arg

* chore: Add debugging makefile fivebyeight

* chore: Remove erronious PHONYs in tests Makefile

* ci: Disable gocr tests

* chore: Add wat Make rule to fibonacci test

* chore: fix apt package name

* chore: Enable clean of failed ck install

* chore: use LLVM 12

* test: Disable gocr tests

* chore: Enhance test makefile

* chore: Add CFILES as sledgert dep

* chore: Add NULL check for function table pointer

* chore: Add missing header

* chore: uncomment cleanup in imageresize test

* refactor: Remove unused linear memory functions

* build: Add bimodal debug makefile

* chore: Add linear memory debug logs

* refactor: Cleanup region initialization

* build: Correct PHONY in runtime Makefile

* chore: deb install script for outside of container

* refactor: Remove zombie extern.

* feat: WebAssembly traps

* refactor: Use C18 features

* chore: Remove git diff annotations

* fix: tweaks to run all sample apps with WASI

* test: convert shell script to Makefile

* build: clean generated ck Makefile

* chore: Use awsm branch with fixes

* chore: Revert name changes

* fix: Correct type issues

* refactor: Reverse additional name change

* refactor: Remove awsm compat shims

* chore: Remove libc association

* build: Better detect header file changes

* refactor: current_wasm_module_instance_trap

* test: reenable tests

* chore: Delete copied script

* build: Fix test workloads

* fix: Implement HTTP 500

* fix: Protect against overflow on comparison

* build: Replace test.sh with makefile

* refactor: blow away tmp directory conflicts

* refactor: centralize wasm in single submodule

* feat: libsledge and sledge ABI

* chore: move tests

* refactor: tests

* chore: update wasm_apps with new sample data

* doc: Initial ABI README

* feat: globals table

* docs: Merge aWsm ABI docs

* docs: libsledge ABI

* build: rename apps to keep consistent

* build: Disable wasm proposals

* build: Update wasm apps and fix typo

* test: test makefiles

* test: Additional test makefiles

* build: top-level build and install rules wo Docker

* docs: Add wasm lld comment

* build: top level makefile

* chore: merge debug flags

* fix: Correct out of bounds error

* feat: indirection to awsm ABI

* fix: Correct link hack with proper flag

* fix: gps typo

* chore: format nit

* ci: update makefile rules

* ci: check WASI_SDK_PATH

* fix: Adjust paths

* ci: fix make rule name

* refactor: Attempt to use generic vec

* refactor: Remove type-specific vec

* fix: Resolve assorted TODOs

* chore: fix clang format issue

* ci: Invalidate app cache on libsledge changes

* fix: Correct wasm trap check

* fix: free wasm globals

* docs: example of running top level tests via make

* chore: option to log unsupported wasi

* test: add preempt client generator for fib bimodal

* refactor: Allocate wasm memory with 4096 align

* fix: Handle build without runtime globals

* refactor: bypass runtime call for first global

* fix: Correct sandbox logging

* test: fix incorrect paths in test.mk

* refactor: cleanup basic traps logic

* test: trap_divzero

* fix: Correct inverted trap control flow

* ci: Invalidate awsm cache

* ci: divide by zero trap

* chore: Assorted cleanup

* ci: Install httpie

* chore: Remove stdio calls in libsledge

* chore: update submodules

Sean McBride

5d19891e63

feat: libsledge pattern for wasmception (#299 )

* feat: libsledge pattern for wasmception

* ci: build libsledge

* ci: fix YAML whitespace issue

* ci: fix another YAML whitespace issue

* fix: Correct type issues in memcpy

* ci: debug permissions

* ci: restore build rules

* chore: Change wasmception init symbol

* chore: Assored cleanup

* fix: update g0 cache on preemption

* refactor: inline global vec in sandbox struct

* chore: trailing newline on JSON

* chore: Clean up extraneous file associations

* docs: Explain export and weak symbols

* docs: Remove comment

* refactor: Replace CHAR_BIT with limits.h

* refactor: Remove redundant unlikely define

* docs: Wasmception fn type checking disabled note

2 Commits (2abf63618a49d103da46d483564273bb96811541)