Исходное сообщение
"Тестовый выпуск Flash 11 ознаменовал начало официальной подд..." Отправлено Stax, 14-Июл-11 14:56
Использование memcpy для копирования между пересекающимися областями памяти не гарантирует корректного результата; memcpy можно использовать только в тех случаях, когда пересечения заведомо нет. Он работает быстрее, но если давать ему такие области, то результат не определен и может быть некорректным. Для тех случаев, когда области могут пересекаться, есть чуть более медленный memmove, который работает так же, как и memcpy, но гарантировано корректно обрабатывает такой случай. У адоба во флеше где-то некорректно использовался memcpy, но ошибки никто не замечал, т.к. старая реализация memcpy в glibc корректно обрабатывала копирование при одном из видов пересечений (при другом все равно не работала). В процессе оптимизации сделали еще более быстрый memcpy, который, однако, стал некорректно обрабатывать тот самый вид пересечения, который раньше случайно работал. Т.к. новый memcpy быстрее и лучше, а некорректная обработка пересечений разрешена по спецификации ради скорости - кому нужна корректность, должны использовать memmove - его было решено оставить. Однако же флеш по прежнему содержит вызов memcpy для пересекающихся областей - хотя это и не обязано работать, но это работало со старой glibc. С новым memcpy все ломается, как могло и быть изначально. Решается "хаком" LD_PRELOAD, который подменяет вызов memcpy на memmove, и все работает нормально. Но этот хак приходится загружать для всего браузера, который сам по себе (как и все остальное в системе) корректно использует memcpy, но ради флеша и его приходится везде переключать на тормозной memmove. Нормальным же решением, которого все ждут, чтобы адоб нашла тот самый некорректный вызов memcpy с пересекающимися областями и заменила его на memmove, оставив использование memcpy только там, где это действительно разрешено.