undefined | Better HN

0 pointsperlgeek5y ago0 comments

Do device drivers typically need to be Turing complete? I would have expect drivers for simple USB devices for example to be pretty simple state machines.

0 comments

mhh__5y ago

I'm not sure. Even if you could do it in eBPF, I really don't think you could get it past the verifier because it's not just like formal verification it actually has to be trivially bounded (so parts of it definitely could be done without Turing completeness but you ain't writing your GPU driver in it).

The JIT isn't necessarily turned on so it's probably not a great idea in the first place

j / k navigate · click thread line to collapse

0 pointsperlgeek5y ago0 comments

Do device drivers typically need to be Turing complete? I would have expect drivers for simple USB devices for example to be pretty simple state machines.

0 comments

mhh__5y ago

The JIT isn't necessarily turned on so it's probably not a great idea in the first place

j / k navigate · click thread line to collapse