Отправлено for(;;) 12 октября 2005 г. 12:13

прочитал про особенности компилятора для тмs6000, в связи с этим появились вопросы.
1.классификатор restrict указатель, как я понял, говорит компилятору что в пределах функции объект может быть доступен только через этот указатель, а если два указателя указывают на разные части одного массива - то это Incorrect Use of the restrict Keyword, непонятно почему?
2.MUST_ITERATE. что дает компилятору информация о минимальном колличестве итереций и чем она может помочь в вопросе оптимизации?
что делать с циклами, для которых нет априорной информации о нём, ведь ,как правило, сталкиваться приходится именно с такими циклами, если , конечно, не заниматься обнулением массивов.

• Ответ: (+) — SM   (12.10.2005 12:34 213.141.159.26, 880 байт)
  • про рестрикт - честно говоря не совсем понимаю объяснение — yes   (12.10.2005 13:07 194.133.69.2, 611 байт)
    • Ответ: (+) — SM   (12.10.2005 15:54 195.225.131.183, 1320 байт)
      • вряд ли у BF это другое, но спасибо, вроде понял. только примера (осмысленного), чтобы указатели/массивы в функцию были не рестрикт не представляю — yes   (12.10.2005 16:53 194.133.69.2, 123 байт)
        • А пример такого дела (+) — SM   (12.10.2005 17:05 195.225.131.183, 345 байт)
          • да, понял, что компилер не поймет такую ситуацию без доп. спецификатора — yes   (12.10.2005 17:25 194.133.69.2, 215 байт)
        • Нет, это же не const. Можно и читать и писать, но нельзя указатели на один адрес плодить. Можно const restrict написать, если запись не планируется и алиасинга нет. — SM   (12.10.2005 17:02 195.225.131.183, пустое)
      • Да, SIMD вообще не причем. Да и нет симда у 62хх/67хх — SM   (12.10.2005 15:55 195.225.131.183, пустое)
        • назвать можно и VLIW-ом :) — yes   (12.10.2005 16:59 194.133.69.2, пустое)
• Ответ: + — andy_P   (12.10.2005 12:33 80.82.63.185, 814 байт)
  • еще вопрос(+) — for(;;)   (12.10.2005 14:39 82.140.86.135, 402 байт)
    • Ответ: На внешний EMIF выгоды нет. — andy_P   (12.10.2005 14:45 80.82.63.185, пустое)
      • Ответ: Выгода будет, если данные в кэше. Он тоже 64-битный — andy_P   (12.10.2005 14:54 80.82.63.185, пустое)
        • к сожелению в 6701 только кэш программ , кэша данных нет=(( — for(;;)   (12.10.2005 14:59 82.140.86.135, пустое)
          • Ответ: Тогда озаботьте DMA, чтобы данные внутрь втащить. Пока с куском данных мурыжитесь, пусть DMA следующий кусок волочет. — andy_P   (12.10.2005 15:02 80.82.63.185, пустое)
            • да памяти там всего ничего(64к), а вот данных не в пример больше — for(;;)   (12.10.2005 15:09 82.140.86.135, пустое)
              • Остается либо тащить внутрь маленькие кусочки, либо признать, что задача невыполнима. В идеале хорошо бы добиться, чтобы ядро наружу вообще не лезло, если времени на обработку не хватает. — andy_P   (12.10.2005 15:13 80.82.63.185, пустое)
              • другое дело -если по частям копировать, но это весь код придётся править, а писал не я , так что сами понимаете ... — for(;;)   (12.10.2005 15:11 82.140.86.135, пустое)
  • Ответ: — for(;;)   (12.10.2005 14:29 82.140.86.135, пустое)
  • Ответ: — for(;;)   (12.10.2005 14:29 82.140.86.135, пустое)
  • Restrict - более слабое обещание на счет алиасинга, так как через опции можно поставить только, что алиасинга нет вообще или он есть везде. — andy_P   (12.10.2005 12:37 80.82.63.185, пустое)
    • пробовал стовить -мt(no bad alias), программа окончательно загнулась, почему , пока не разбирался — for(;;)   (12.10.2005 12:56 82.140.86.135, пустое)
      • Ответ: Видимо есть bad alias где-то :-) — andy_P   (12.10.2005 13:13 80.82.63.185, пустое)
      • в догонку(+) — for(;;)   (12.10.2005 13:05 82.140.86.135, 719 байт)
        • Да как правило MUST_ITERATE в смысле большего и меньшего счетчика цикла на размер кода влияет+ — andy_P   (12.10.2005 13:09 80.82.63.185, 208 байт)
          • вот-вот, а restrict - штука волшебная, всё так запаралелилось - сердце радуется =)) — for(;;)   (12.10.2005 13:14 82.140.86.135, пустое)
            • Ответ: Еще бы. Типичный пример memcpy :-). Кстати в С99 - restrict ключевое слово языка и там memcpy c рестриктами декларируется. Те юзер обещается само в себя не копировать. — andy_P   (12.10.2005 13:16 80.82.63.185, пустое)