On Fri, Sep 26, 2014 at 3:41 PM, Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote: > On Fri, Sep 26, 2014 at 3:26 PM, Alexei Starovoitov <ast@xxxxxxxxxxxx> wrote: >> On Fri, Sep 26, 2014 at 3:07 PM, Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote: >>> On Fri, Sep 26, 2014 at 3:03 PM, Alexei Starovoitov <ast@xxxxxxxxxxxx> wrote: >>>> On Fri, Sep 26, 2014 at 2:47 PM, Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote: >>>>> >>>>> Can't you just disallow the 1-byte write to the stack? >>>> >>>> of course not. >>>> That would be extremely limiting to users. >>>> Can you actually see yourself living with stack that only >>>> allows 8-byte writes/reads? >>>> The stack usage will increase a lot, since all char/short >>>> stack variables will become 8-byte... >>> >>> How about requiring that sub-8-byte stack accesses only be to integer slots? >> >> you mean to reject the sub-8-byte write early if it's going >> into space where pointers were stored? >> That will limit stack reuse. >> gcc/llvm generate code where the same stack location >> is used by different variables during life of the function. >> So if I reject the write early, it will break otherwise valid >> programs. > > I think that a sub-8-byte write to an integer slot should leave it as > an integer and a sub-8-byte write to a non-integer slot should turn > that slot into an integer (if conversions to integer are permitted) or > be rejected otherwise. gcc/llvm could emit an 8-byte write first, as > needed, to make this valid. I don't think the above will work. > Alternatively, an integer stack slot could have a bitmask indicating > which bytes are valid. but this one might. Let me think about it more. Note verifier, as it stands, is using 12Kbyte of temporary memory to track stack with byte granularity. (it's freed as soon as verifier finishes) This bitmask optimization, best case, will reduce it to 1.5Kbyte at the cost of extra complexity. I'll play with this idea to see whether this trade off is actually worth doing. Also note that there are indirect stack reads (see check_func_arg() -> check_stack_boundary()) used to verify that N bytes were initialized in stack before calling into helper function. Also in the future I was planning to allow indirect stack write, so that helper function can store stuff into program stack. This indirect accesses are crossing 8-byte boundaries, so would need special care with bitmask optimization. We need to carefully weight all pros and cons. imo this memory usage during verification is not a big deal, but of course we should not waste it. I'll see what can be done. In any case, we're talking about incremental improvements on top of current stuff, right? -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
