[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.  __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: