alf
Вы простите что я не про IQ... Не подскажете, как измеряют реальную производительность general-purpose структур данных? Есть ли какие-то стандартные последовательности операций, на которых принято гонять тесты? Есть ли чуваки, свихнувшиеся на этом, которых стоит почитать?
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.9196 When someone designs a new data structure, they want to know how well it performs. Previously, the only way to do this involves finding, coding and testing some applications to act as benchmarks. This can be tedious and time-consuming. Worse, how a benchmark uses a data structure may considerably affect the efficiency of the data structure. Thus, the choice of benchmarks may bias the results. For these reasons, new data structures developed for functional languages often pay little attention to empirical performance. We solve these problems by developing a benchmarking tool, Auburn, that can generate benchmarks across a fair distribution of uses. We precisely define "the use of a data structure", upon which we build the core algorithms of Auburn: how to generate a benchmark from a description of use, and how to extract a description of use from an application. We consider how best to use these algorithms to benchmark competing data structures. Finally, we test Auburn by benchmarking ... ‎- alf
Okasaki writes in an open problems section of his thesis, ‘The theory and practice of benchmarking [functional] data structures is still in its infancy’ (Okasaki, 1996b) ‎- alf
Можно сделать хорошие тесты и прогнать. А потом ее запустят на супердоме. И вылезут локи. Или хотлайны. Или еще какая-то жопа. Причем не всегда, а только когда какой-то специальный вид нагрузки. В общем синтетический тест это хорошо, но это не реальный мир. Если это понимать, то дальше становится с одной стороны легче, с другой - грустнее. ‎- лишний бобр
В общем я бы с удовольствием посмотрел на интересные достижения в этой области, ибо именно сейчас я пытаюсь придумать способ, как подружить синтетику и реальность. ‎- лишний бобр
Мир вообще сложен, да. Но я не об этом. Для конкретной задачи в конкретных условиях всё просто. А что делают авторы библиотек? Сидят и ждут отзывов? Это несколько глупо. Пишут свои приложения и верят в их релевантность? См. коммент выше. ‎- alf
Я не скажу за всех авторов, но в обозреваемом мной пространстве пишут чистую синтетику и гоняют нечто выхолощенное из реального мира. Но я все же по базам больше, а не просто библиотекам. ‎- лишний бобр
Ну вот наш друг Graeme E Moss, DPhil Thesis: https://www.cs.york.ac.uk/ftpdir/reports/2000/YCST/01/YCST-20... — там есть сырцы. FTP кафедры лежит, ясное дело. В сотрудниках остался только Colin Runciman, ныне Group Leader. https://www.cs.york.ac.uk/plasma/wiki/index.php?title=Members... ‎- alf
Как вообще профессорам пишут в наше время? Dear Prof Punciman или Hi Colin? ‎- alf