MS
Кстати про рестрикт.
Size: a a a
2020 January 22
E
https://godbolt.org/z/ggkDxx вообще не вызывает твой memcpy )
вырожденный кейс
E
никто не аллоцирует на месте два массива чтобы сделать меммув :)
MS
А какая семантика рестрикта когда массивы не пересекаются, но конец одного и начало другого находятся непосредственно рядом в памяти и граница попадает на середину слова?
BD
то есть одного рестрикта должно быть достаточно
By adding this type qualifier, a programmer hints to the compiler that for the lifetime of the pointer, only the pointer itself or a value directly derived from it
test(ptr, ptr + 1, 100) в принципе удовлетворяет одному рестрикту, но делать memcpy там нельзя
(such as pointer + 1) will be used to access the object to which it points.test(ptr, ptr + 1, 100) в принципе удовлетворяет одному рестрикту, но делать memcpy там нельзя
А
почему?
BD
никто не аллоцирует на месте два массива чтобы сделать меммув :)
ну сделай другой массив, вопрос в том что можно на месте доказать что они не алиасятся
А
аааа
BD
потому что получится фигня )
MS
А какая семантика рестрикта когда массивы не пересекаются, но конец одного и начало другого находятся непосредственно рядом в памяти и граница попадает на середину слова?
Значит ли это что я не могу, например, наивно оптимизировать функцию сравнения двух строк одинакового размера кратного размеру регистра загружая кучки байтов в инт и сравнивая инты, не обрабатывая при этом особым образом края массивов?
BD
Значит ли это что я не могу, например, наивно оптимизировать функцию сравнения двух строк одинакового размера кратного размеру регистра загружая кучки байтов в инт и сравнивая инты, не обрабатывая при этом особым образом края массивов?
ты в любом случае так не можешь оптимизировать, для краев всегда спецобработка
MS
ты в любом случае так не можешь оптимизировать, для краев всегда спецобработка
Именно поэтому, или почему-то ещё?
BD
нет, не поэтому
BD
рестрикт тут не причем особо
BD
https://cellperformance.beyond3d.com/articles/2006/05/demystifying-the-restrict-keyword.html в педовикии вот интересные ссылки есть
E
а ссылку на верону уже постили тут? вот про нововведения в овнершипе: https://github.com/microsoft/verona/blob/master/docs/explore.md#concurrent-ownership
E
(это тот самый "раст" от мс)
BD
да, про with() уже писали
BD
ой, то есть when()
TS
какая-то опасная оптимизация тогда, юзер намеренно выбрал безопасный memmove а тут привет
https://sourceware.org/bugzilla/show_bug.cgi?id=12518 memcpy и memmove вроде бы синонимы в glibc