[haiku-bugs] Re: [Haiku] #10169: Double Fault Exception on usb boot x86_64
- From: "umccullough" <trac@xxxxxxxxxxxx>
- Date: Tue, 12 Nov 2013 01:01:54 -0000
#10169: Double Fault Exception on usb boot x86_64
-----------------------------+----------------------------
Reporter: korli | Owner: axeld
Type: bug | Status: new
Priority: normal | Milestone: R1
Component: System/Kernel | Version: R1/Development
Resolution: | Keywords:
Blocked By: | Blocking:
Has a Patch: 0 | Platform: x86-64
-----------------------------+----------------------------
Comment (by umccullough):
Replying to [comment:8 korli]:
> It would be interesting if there is any static analysis tool to provide
stack usage information, but I doubt any exists.
Not sure what you're looking for specifically. Coverity does have a "stack
depth" checker but I have little clue how to configure it. I found this
snippet in the documentation:
{{{
A.1.5.1.11. __coverity_stack_depth__(<max_memory>)
Indicates to the STACK_USE checker that the function and its callees
should not use more memory (in bytes) than specified by the constant
integer <max_memory>. This feature is useful for situations where threads
are created with different stack sizes. The primitive should be used in
the thread entry-point function.
}}}
It seems perhaps you can create a "model" to declare this primitive and it
will check the stack below any given function that is modeled.
--
Ticket URL: <http://dev.haiku-os.org/ticket/10169#comment:9>
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.
Other related posts:
