[RFC PATCH 08/10] arm64/sve: ptrace: Wire up vector length control and reporting
From: Dave.Martin@arm.com (Dave Martin)
Date: 2017-01-19 17:11:59
Also in:
linux-arch
On Tue, Jan 17, 2017 at 01:31:03PM +0000, Alan Hayward wrote:
quoted
On 17 Jan 2017, at 10:03, Dave Martin [off-list ref] wrote: On Mon, Jan 16, 2017 at 03:11:56PM +0000, Yao Qi wrote:quoted
On 17-01-16 13:32:31, Dave Martin wrote:quoted
On Mon, Jan 16, 2017 at 12:20:38PM +0000, Yao Qi wrote:quoted
On 17-01-12 11:26:07, Dave Martin wrote:quoted
This patch adds support for manipulating a task's vector length at runtime via ptrace.I hope kernel doesn't provide such interface to ptracer to change vector length.It does, with this patch, beacuse...quoted
The vector length is sort of a read-only property of thread/process/ program to debugger, unless we really have a clear requirement to modify vector length in debugging. I may miss something because I haven't debug SVE code yet....the vector length is no longer read-only for the task, thanks to the new prctls().What I meant "read-only" is that debugger can't change it, while the program itself can change it via prctl().I see.quoted
quoted
This does add complexity, but I figured that any programmer's model state that the thread can modify for itself should be modifiable by the debugger, if for no other reason than the user may want to experiment to see what happens. Without a ptrace interface, it would be necessary to inject a prctl() call into the target, which is possible but awkward.We only need such interface if it is useful, see more below. Suppose it is useful to change vector length through ptrace, we should align ptrace interface to prctl() as much as possible. Looks that both prctl change and ptrace change can go through sve_set_vector_length, easy to keep two consistent.quoted
gdb must already re-detect the vector length on stop, since the target could have called the prctl() in the meantime.Yes, gdb assumes the vector length may be changed, so it re-detects on every stop, but I don't see the need for gdb to change the vector length.quoted
Access via ptrace also allows things like trapping on exec, fork or clone and changing the vector length for the new process or thread before it starts to run. I'm guessing here, but such a scenario seems legitimate (?)Yes, these cases are valid, but the usefulness is still questionable to me. I just doubt that SVE developers do need to change vector length when they are debugging code. Note that it is not my strong objection to this patch, if kernel people believe this is useful, I am fine with it.That's fair. I'll leave the patch there for now and see if anyone else has a comment to make, but it could be removed without affecting anything else.I would say that whilst it is a very dangerous thing to do and has many
ptrace is inherently dangerous for the target task... that's rather the point.
consequences, there is a requirement for a gdb user to be able to change VL whilst debugging a running process, and I don?t think we should see changing VL as much different from changing a register value on the fly. Say you have a loop in assembly you are trying to debug - you might write to $x2 and then single step to see how this effects the result. With SVE code you might want to see how different VL values will effect the layout of results in the vectors, how it effects the predicates and how it changes the number of iterations the loop makes. Of course, once you exit the loop all bets are off - just like if you had been changing register values. The current proposal for gdb is that we will show $VL in the list of registers, therefore for consistency it?d make sense for the gdb user to be able to set it as if it was just another register. For this we need a simple way to change the VL in another process, and I think ptrace() is the easiest way (given that prctl() only changes its own process).
OK, I'll keep it for now, unless somebody has a strong objection. It doesn't affect the underlying plumbing much -- doing this via ptrace() is actually the simpler of the two options, since the task is stopped and thus less synchronisation is needed. Cheers ---Dave