Cactus should define 'restrict', with a value dependent on autoconf information

Create issue
Issue #875 closed
Frank Löffler created an issue

The Kranc ticket mentions arguments why to do this: to make certain optimizations possible. While 'restrict' is not a C keyword, many compilers support it, leading to measurable speedup in cases. At the moment Cactus only defines CCTK_RESTRICT, but it has been commented that using this leads to ugly code. Defining 'restrict' would beautify this, as well as make it easier to directly use code which relies on 'restrict' being present (when this isn't actually the case, or is called differently).

A counter argument would be that this would effectively introduce a keyword 'restrict' to Cactus. Code using this name already for something else would need to be changed. Given the positive effects of this change I would say that this outweights this potential problem.


Comments (11)

  1. Roland Haas
    • removed comment

    The only uglyness I can see is that an editors syntax highlighting does not work with CCTK_RESTRICT (same as CCTK_INLINE or the CCTK_XXX types). FOr this a better solution might be if users change their editors syntax highlighting.

    Generally I dislike redifining language keywords (I would expect restrict to be a keyword in C99) since it means that one has to know that someone changes the language.

  2. Erik Schnetter
    • removed comment

    Roland: Generally, I agree with you, but specifically for restrict, I don't. What do you think about restrict in particular?

    For example: - Most C++ compilers have an option to make "restrict" a keyword - "restrict" may become part of the next C++ standard (I think I read this somewhere, but now can't find a pointer) - Since Carpet already #defines restrict, we know it is safe to use everywhere

  3. Ian Hinder
    • removed comment

    And Carpet is the most likely thorn to have some other meaning of the word "restrict".

    The uglyness that I see is that CCTK_RESTRICT is longer and is in capital letters. We don't program in capital letters most of the time, and the CCTK_ prefix is a namespacing hack.

  4. Erik Schnetter
    • changed status to open
    • removed comment

    I propose this patch:


    --- (revision 4811) +++ (working copy) @@ -381,14 +381,10 @@ /* Some C++ compilers recognise the restrict keyword */

    2. undef CCTK_CXX_RESTRICT - -/* Since this is non-standard leave commented out for the moment */ -#if 0 /* Define to empty if the keyword does not work. */
    3. ifdef CCTK_CXX_RESTRICT
    4. define restrict CCTK_CXX_RESTRICT
    5. endif -#endif

    /* Allow the use of CCTK_RESTRICT as a qualifier always. */

    1. ifdef CCTK_CXX_RESTRICT
  5. Erik Schnetter
    • changed status to open
    • removed comment

    Can you open a separate ticket to add autoconf magic for CUDA? We currently only distinguish between C and C++.

  6. Log in to comment