How to file a bug

As in any other complex software system, there will inevitably be bugs in the HelenOS source code (unless we can formally prove the opposite). It is therefore essential for people who run into them to make sure the bug is actually known to the developers and that all potentially relevant information that can help to root-cause the bug is available. This is best achieved by filing a ticket in our bug tracking database. Below follows a list of tips for filing the most useful bug reports:

• Pick a descriptive Synopsis
  • bad: HelenOS is broken
  • good: page_ht_lock mutex taken while tlblock spinlock held
• Categorize the new bug using fitting Type, Component and Version fields
• In the first comment section, provide a concise and complete problem statement
  • Say what deviation from the expected behavior you observe
  • Briefly say what you think the expected behavior should be
  • Include instructions, code fragments to reproduce the problem or state that the problem is not easily reproducible
  • If you set the Version field to mainline, provide the exact revision of the changeset where the bug was observed
    • If the bug was observed in multiple revisions, specify the first one in which the problem occurred
  • Provide reasonable details about the hardware of the target system, such as:
    • the processor architecture, if not already clear from the Component field
    • number of processors
    • name and version of the simulator/virtualizer, if the target system is a simulated machine
  • Provide reasonable details about HelenOS configurations
    • consider including Makefile.config from the root of the HelenOS tree