lkml.org 
[lkml]   [2002]   [Aug]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    SubjectRe: [PATCH] lock assertion macros for 2.5.30
    Date
    In article <E17d04X-0000eD-00@starship> you wrote:
    > You would just have to break the patch up again when you submit it. You
    > might want create a patch that demonstrates its usage, by adding some
    > asserts to core code and removing comments where the assert makes them
    > redundant.

    Yes, I defintely thing that those asserts are a good way of documenting
    contracts. They can be used to document when a function expects a lock to be
    held, and they will also be able to empirical test, if it is true.

    It may even help static code analysers to find places where the assertion
    macros are missing.

    Greetings
    Bernd
    -
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2005-03-22 13:27    [W:0.024 / U:2.284 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site