Philippe Gerum wrote: > Daniel Simon wrote: >> On Wed, 31 Oct 2007 21:09:34 +0100 >> Gilles Chanteperdrix <[EMAIL PROTECTED]> wrote: >> >>> Daniel Simon wrote: >>> > Hello all, >>> > >>> > I am testing some former programs with >>> > xenomai-2.4-rc4/kernel-2.6.23.1/pentiumM; >>> > >>> > Calling rt_task_inquire(Id, NULL) with a null second argument now >>> > freezes or reboots the pc... >>> > >>> > I had no problem with this call with a former (2.3.1) xenomai version. Is >>> > it a known behaviour? >>> >>> the rt_task_inquire system call checks that the "info" pointer points to >>> a piece of writable memory and returns -EFAULT otherwise. >> That was the behaviour I got with xenomai-2.3.1 (I only wanted to check if >> the >> task was still existing and thus only interested in the value returned) >> >>> So, what you >>> should get is a segmentation fault, no freeze or reboot. Actually, I >>> have tested a small test which segfaults as expected. Could you provide >>> us with the simple test that causes a freeze or reboot ? >>> >> file testinfo.c and config attached, uncommenting line 201 reboots the system >> at cleaning time after ^C >> (xeno 2.4-rc5, kernel 2.6.23.1, gcc 4.0.2 with --xeno-cflags and >> --xeno-ldflags) >> > > As a matter of fact, the address checking code on x86* considers any > address below the page offset as being valid, so passing NULL went
Could you explain why Xenomai is special here? The range-checking macros matched mainline before (as it should be), now it is different without any (at least to) obvious reason. Their purpose is not to avoid page faults but to avoid "confused deputy" attacks (user making the kernel accessing privileged memory). > undetected in your case. This was already the case with 2.3.1, you > likely just got lucky with respect to the consequences of another hole - > in the I-pipe this time - which has been plugged recently, and now fixes > up any fault whenever Xenomai has to leave it unhandled: > http://www.denx.de/cgi-bin/gitweb.cgi?p=ipipe-2.6.git;a=commit;h=e7b140c69794521fe8979a39337f36112dbe330c Err, my feeling is you misunderstand this. > > The fix above was only available when CONFIG_IPIPE_DEBUG was enabled in > the latest patch series, and prevented any ungraceful consequence of > writing to an invalid address from the Xenomai domain. We actually need Nope, it is intended to catch *improperly handled* invalid memory accesses, ie. non-root domain bugs in the kernel. > to have this fixup done in any case. Next I-pipe patches will include > this change. I'm not sure if we need this debugging feature on by default - in the fast path of Linux code running on usual page faults. The check must never fire unless the RT domain's kernel is buggy, thus we should only use it during debugging. Something is fishy here - or I'm still missing the point. The question for me is: Why was the NULL pointer access over Xenomai passed through without relaxing the caller, which then causes all those lethal corruptions? Were you able to reproduce this case and understand what goes wrong, Philippe? > > In short, rt_task_inquire() has never been meant to accept a NULL > parameter so far, and doing so was not properly caught at Xenomai level. > When using the invalid pointer that went undetected for writing the > output data back, some I-pipe issue let the resulting access fault > unhandled, causing a general panic state in the kernel whenever the > fixup above was not active (older I-pipe support or CONFIG_IPIPE_DEBUG > disabled). > > I've slightly improved the address checking code for x86 32/64, so that > it also detects any address lower than the natural page size, which > would have caught the NULL case. We can't do much more, at least on the > fast path, than detecting addresses lower than PAGE_SIZE or located in > kernel memory. Other spurious addresses should trigger a segmentation > violation, which should be properly handled in all cases using an I-pipe > /x86 patch beyond 1.10-11 (the same goes for x86_64, beyond 1.2-05). Sorry, makes no sense to me. If the user makes us accessing the NULL page, we receive a nice trap, relax the thread, and ideally report the bug as EFAULT back to the user, no? > > Now, it seems reasonable to ask rt_task_inquire() to test whether the > target task exists or not, in which case it may be acceptable to pass a > NULL buffer. This change will likely be applied to the trunk asap, and > will be part of -rc6. > Jan
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
