Kernel algorithms can be quite complex and it can often be difficult to prove their correctness. When coding such algorithms, it's a good idea to periodically insert assertion statements in your code to assert what conditions your algorithm assumes are true at individual points of the code flow. Therefore, if the algorithm isn't correct or if a part of the hardware has failed and produced an inappropriate value, the algorithm will stop itself from executing. When this occurs in the kernel, the result is an assertion failure panic.

Allow a kernel dump to be created so that you can analyze why the assertion was false, and so you or your software vendor can evaluate the related algorithm for bugs.

Log in or register to write something here or to contact authors.