On Fri, Dec 02, 2016 at 08:42:41PM +0100, Hannes Frederic Sowa wrote: > On Fri, Dec 2, 2016, at 20:25, Hannes Frederic Sowa wrote: > > On 02.12.2016 19:39, Alexei Starovoitov wrote: > > > On Thu, Dec 01, 2016 at 10:27:12PM +0100, Hannes Frederic Sowa wrote: > > >> like") and the problematic of parsing DNS packets in XDP due to string > > >> processing and looping inside eBPF. > > > > > > Hannes, > > > Not too long ago you proposed a very interesting idea to add > > > support for bounded loops without adding any new bpf instructions and > > > changing llvm (which was way better than my 'rep' like instructions > > > I was experimenting with). I thought systemtap guys also wanted bounded > > > loops and you were cooperating on the design, so I gave up on my work and > > > was expecting an imminent patch from you. I guess it sounds like you know > > > believe that bounded loops are impossible or I misunderstand your > > > statement ? > > > > Your argument was that it would need a new verifier as the current first > > pass checks that we indeed can lay out the basic blocks as a DAG which > > the second pass depends on. This would be violated.
yes. today the main part of verifier depends on cfg check that confirms DAG property of the program. This was done as a simplification for the algorithm, so any programmer that understands C can understand the verifier code. It certainly was the case, since most of the people who hacked verifier had zero compiler background. Now I'm thinking to introduce proper compiler technologies to it. On one side it will make the bar to understand higher and on the other side it will cleanup the logic and reuse tens of years of data flow analysis theory and will make verifier more robust and mathematically solid. > > Because eBPF is available by non privileged users this would need a lot > > of effort to rewrite and verify (or indeed keep two verifiers in the > > kernel for priv and non-priv). The verifier itself is exposed to > > unprivileged users. I certainly hear your concerns that people unfamiliar with it are simply scared that more and more verification logic being added. So I don't mind freezing current verifier for unpriv and let proper data flow analysis to be done in root only component. > > Also, by design, if we keep the current limits, this would not give you > > more instructions to operate on compared to the flattened version of the > > program, it would merely reduce the numbers of optimizations in LLVM > > that let the verifier reject the program. I think we most likely will keep 4k insn limit (since there were no requests to increase it). The bounded loops will improve performance and reduce I-cache misses. > The only solution to protect the verifier, which I saw, would be to > limit it by time and space, thus making loading of eBPF programs > depending on how fast and hot (thermal throttling) one CPU thread is. the verifier already has time and space limits. See no reason to rely on physical cpu sensors. > Those are the complexity problems I am talking and concerned about. Do you have concerns when people implement encryption algorithm that you're unfamiliar with? Isn't it much bigger concern, since any bugs in the algorithm are directly exploitable and when encryption is actually used it's protecting sensitive data, whereas here the verifier protects kernel from crashing.
