3 ms·
Re: termination, can't you use Ethereum gas style termination? I always found termination verification strange, because "gas" is usually more practical alternat
by sanxiyn 5y ago
Re: termination, can't you use Ethereum gas style termination? I always found termination verification strange, because "gas" is usually more practical alternative.
- MarkSweep 5y agoThe ZFS file system supports running Lua programs in Kernel mode. It supports setting a limit on the number of instructions run and the amount of memory used: https://www.delphix.com/blog/delphix-engineering/zfs-channel-programs https://www.delphix.com/blog/delphix-engineering/zfs-channel... So it’s been done before. I think traditional BPF programs were really short and ran in performance critical contexts. Disallowing backwards branches and limiting size was preferred to slowing down these code paths with instruction counting.
- MichaelMoser123 5y agoHow would you maintain the gas cout? Per instruction or per basic block?