Comments (7)
-
It is the gas limit - there's no example just yet but it's as simple as setting the
GasLimit
field in yourVMConfig
struct. -
Yes, they can.
-
For execution time you can control either the clock time (number of milliseconds etc.) or instruction count or both. For memory you can control it to a single byte but it's suggested to respect the WebAssembly page size of 64KB.
-
Yes, it is possible. Set
ReturnOnGasLimitExceeded
inVMConfig
to true, check theGasLimitExceeded
flag inVM
on each return and set theGasLimit
field inVMConfig
to a higher value if you want to "refuel" the process. -
Yes. Basically you can do almost anything possible in Go through external function calls.
from life.
Yes, it's definitely possible. At any point when Execute()
returns under a good condition (non-termination and non-error) like when a call to an external function happens, it's safe to snapshot the whole virtual machine and restore it anywhere else.
from life.
For execution time you can control either the clock time (number of milliseconds etc.) or instruction count or both
Is there an example of timed execution of a given export function ?
from life.
Thank you, very interesting, and very close in semantics to my own project, which I wanted to port to WebAssembly: void4/notes#23 / https://www.youtube.com/watch?v=MBymOp6bTII
One last question for now: In your virtual machine, is it possible to retrieve full snapshots of suspended processes, serialize them, and then de-serialize and resume execution elsewhere (possibly on another machine)?
from life.
Are you familiar with Capability Security?
I made a presentation about it: https://twitter.com/dd4ta/status/1049793599804723201
I'd highly encourage you to have a look at KeyKOS, an operating system that combines both resource metering and capability security: http://cap-lore.com/CapTheory/upenn/OSRpaper.html
from life.
@void4 We are aware of capabilities-aware execution, and have basic capabilities provided under Life's API given how limited WebAssembly is as an instruction set.
To make execution deterministic for example, we have provided the necessary capabilities to disable floating point-related WebAssembly instructions.
from life.
Capability (transfer) security is a bit different than what is known as capabilities in Linux for example.
When designing a smart contract system (mainly interfaces and access permissions), especially with regard to secure composability in the case of contracts written by (partially) untrusted third parties, I highly recommend reading this paper: http://waterken.sourceforge.net/aclsdont/current.pdf
Object capabilities can prevent issues arising in identity based access controlled systems, such as the https://en.wikipedia.org/wiki/Confused_deputy_problem by eliminating ambient authority through combining remote object designation and access permissions in object called keys (or capabilities), which can be transferred and revoked.
The main difference here to pretty much all current languages (except E and a few others), is that called contracts can handle obtained permissions like variables and keep them apart. They cannot be tricked into misusing a permission given by a third party (previously or simultaneously) to execute a task that the calling party wouldn't have the permission to.
Somewhat related, you might like reading the Agoric Papers which were written in 1988.
from life.
Related Issues (20)
- There is a problem in the judgment of was unreachable
- Snapshotting
- Compile once, execute many times
- inconsistent stack pattern: pt = false, lpt = false, ls = 2, sd = 0 HOT 2
- Comparison to V8
- Gas on StartSection
- User-friendly Fix: Need to panic that DefaultMemoryPages config option should be 1 or more HOT 2
- Is it possible to run go generated WASMs in the VM? HOT 1
- Call wasm function with string parameter?
- too many arguments in call to disasm.Disassemble HOT 3
- SSA advantages HOT 1
- How AddGas injected? HOT 1
- I use emcc compile a simple cpp to wasm. but can't works in `life` HOT 1
- Can it load multiple wasm file?
- why retrun value 0 when enable polymerase?
- Add golangci linter
- WASI support
- No exported functions HOT 1
- Floating point operation is very inaccurate
- cannot return error while panic
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from life.