On Fri, 2020-05-15 at 11:39 -0700, Dave Hansen wrote: > On 5/12/20 4:20 PM, Yu-cheng Yu wrote: > > On Wed, 2020-04-29 at 16:02 -0700, Yu-cheng Yu wrote: > > > On Wed, 2020-04-29 at 15:53 -0700, Dave Hansen wrote: > > > > On 4/29/20 3:07 PM, Yu-cheng Yu wrote: > > > > > +Note: > > > > > + There is no CET-enabling arch_prctl function. By design, CET is enabled > > > > > + automatically if the binary and the system can support it. > > > > > > > > I think Andy and I danced around this last time. Let me try to say it > > > > more explicitly. > > > > > > > > I want CET kernel enabling to able to be disconnected from the on-disk > > > > binary. I want a binary compiled with CET to be able to disable it, and > > > > I want a binary not compiled with CET to be able to enable it. I want > > > > different threads in a process to be able to each have different CET status. > > > > > > The kernel patches we have now can be modified to support this model. If after > > > discussion this is favorable, I will modify code accordingly. > > > > To turn on/off and to lock CET are application-level decisions. The kernel does > > not prevent any of those. Should there be a need to provide an arch_prctl() to > > turn on CET, it can be added without any conflict to this series. > > I spelled out what I wanted pretty clearly. On your next post, could > you please directly address each of the things I asked for? Please > directly answer the following questions in your next post with respect > to the code you post: > > Can a binary compiled with CET run without CET? Yes, but a few details: - The shadow stack is transparent to the application. A CET application does not have anything different from a non-CET application. However, if a CET application uses any CET instructions (e.g. INCSSP), it must first check if CET is turned on. - If an application is compiled for IBT, the compiler inserts ENDBRs at branch targets. These are nops if IBT is not on. > Can a binary compiled without CET run CET-enabled code? Partially yes, but in reality somewhat difficult. - If a non-CET application does exec() of a CET binary, then CET is enabled. - If a not-CET application does fork(), and the child wants to turn on CET, it would be difficult to manage the stack frames, unless the child knows what is is doing. The JIT examples I mentioned previously run with CET enabled from the beginning. Do you have a reason to do this? In other words, if the JIT code needs CET, the app could have started with CET in the first place. - If you are asking about dlopen(), the library will have the same setting as the main application. Do you have any reason to have a library running with CET, but the application does not have CET? > Can different threads in a process have different CET enabling state? Yes, if the parent starts with CET, children can turn it off. But for the same reason described above, it is difficult to turn on CET from the middle. > > > > Which JITs was this tested with? I think as a bare minimum we need to > > > > know that this design can accommodate _a_ modern JIT. It would be > > > > horrible if the browser javascript engines couldn't use this design, for > > > > instance. > > > > > > JIT work is still in progress. When that is available I will test it. > > > > I found CET has been enabled in LLVM JIT, Mesa JIT as well as sljit which is > > used by jit. So the current model works with JIT. > > Great! I'm glad the model works. That's not what I asked, though. > > Does this *code* work? Could you please indicate which JITs have been > enabled to use the code in this series? How much of the new ABI is in use? JIT does not necessarily use all of the ABI. The JIT changes mainly fix stack frames and insert ENDBRs. I do not work on JIT. What I found is LLVM JIT fixes are tested and in the master branch. Sljit fixes are in the release. > Where are the selftests/ for this new ABI? Were you planning on > submitting any with this series? The ABI is more related to the application side, and therefore most suitable for GLIBC unit tests. The more complicated areas such as pthreads, signals, ucontext, fork() are all included there. I have been constantly running these tests without any problems. I can provide more details if testing is the concern. Yu-cheng
