[Benchmark]:updated - Split на C++,D,C#,Nemerle,Boo,Java,Sca - Философия программирования

Здравствуйте, FR, Вы писали:

FR>Здравствуйте, Андрей Хропов, Вы писали:

АХ>>5) Python+Psyco — 4.12 (не ускорил!)

FR>Psyco не любит когда код в основном теле модуля надо его в функцию засунуть, тогда чуть ускорит:

Ммм, да, почесав затылок, вспомнил что он вроде пофункционально оптимизирует.
И у меня теперь ускорил даже совсем не чуть а почти в 2 раза

Теперь обновленная таблица с твоим вариантом выглядит как:

(Athlon XP 1700+ @ 1.5 GHZ + 512Mb DDR266)
:

1) DMD — 0.775 сек
2) GDC — 0.905 сек
3) С#/Nemerle — 1.1 сек
4) Python+Psyco — 2 сек
5) Python — 3.48 сек
6) GCC + Boost — 22.5 сек
7) MS VC++ + Boost — 35 сек

Интересно, а что будет если использовать внутри цикла в C++ вариант python через boost.python

.
Поможет ли это реанимировать boost (в смысле будет ли быстрее чем 35 сек)?

Здравствуйте, Denis2005, Вы писали:

D>Честно говоря, результаты меня обескуражили…

D>Время работы: 20 секунд. (и это при полной оптимизации и отключенными проверками !?!)
D>Может есть что сказать приверженцам BOOST-а, и по возможности объяснить где "кривые руки"?

По моему беглому взгляду на реализацию split-а показалось, что дело в реализации is_any_of. В частности, в том, что при каждом обращении к split объект-предикат, который скрывается за is_any_of конструируется заново. И более того, где-то там внутри этот предикат передается в подчиненные функции и сохраняется во вспомогательных объектах по значению.

Образно говоря, происходит что-то похожее на нижеследующий код:

#include <algorithm>
#include <string>
#include <set>

template< class Finder >
class Finder_Holder
    {
    private :
        Finder finder_;

    public :
        Finder_Holder( Finder finder )
            :    finder_( finder )
            {}

        void
        operator()( char c ) { finder_( c ); }
    };

class Finder
    {
    private :
        std::set< char >    tokens_;

    public :
        Finder( std::string tokens )
            :    tokens_( tokens.begin(), tokens.end() )
            {}

        bool
        operator()( char c )
            {
                return tokens_.end() == tokens_.find( c );
            }
    };

Finder_Holder< Finder >
is_any_of( const std::string & value )
    {
        return Finder_Holder< Finder >( Finder( value ) );
    }

template< class Predicate >
void
do_something( const std::string & s, Predicate pred )
    {
        std::for_each( s.begin(), s.end(), pred );
    }

void
test()
    {
        for( int i = 0; i != 1000000; ++i )
            do_something( "123 345 asdf 23453 asdfas", is_any_of( " " ) );
    }

int
main()
    {
        test();

        return 0;
    }

Обратите внимание на то, что в do_something объект pred передается по значению. А is_any_of возвращает объект Finder_Holder так же по значению.
В результате этот код у меня работает за время:

bash-3.1$ time t1.exe

real    0m5.172s
user    0m0.031s
sys     0m0.000s

(cl -O2 -EHsc)

Если же сделать так. чтобы по максимуму сохранять ссылки на объекты:

#include <algorithm>
#include <string>
#include <set>

template< class Finder >
class Finder_Holder
    {
    private :
        const Finder & finder_;

    public :
        Finder_Holder( const Finder & finder )
            :    finder_( finder )
            {}

        void
        operator()( char c ) const { finder_( c ); }
    };

class Finder
    {
    private :
        std::set< char >    tokens_;

    public :
        Finder( const std::string & tokens )
            :    tokens_( tokens.begin(), tokens.end() )
            {}

        bool
        operator()( char c ) const
            {
                return tokens_.end() == tokens_.find( c );
            }
    };

Finder_Holder< Finder >
is_any_of( const std::string & value )
    {
        return Finder_Holder< Finder >( Finder( value ) );
    }

template< class Predicate >
void
do_something( const std::string & s, const Predicate & pred )
    {
        std::for_each( s.begin(), s.end(), pred );
    }

void
test()
    {
        const Finder_Holder< Finder > pred = is_any_of( " " );
        for( int i = 0; i != 1000000; ++i )
            do_something( "123 345 asdf 23453 asdfas", pred );
    }

int
main()
    {
        test();

        return 0;
    }

то получается время:

bash-3.1$ time t2.exe

real    0m0.406s
user    0m0.015s
sys     0m0.015s

при тех же опциях компилятора.

Очень похоже, что именно из-за проблем с is_any_of и наблюдаются тормоза в твоем случае.
А любителям boost-ов я бы напомнил: KISS

Здравствуйте, CreatorCray, Вы писали:

CC>Здравствуйте, Андрей Хропов, Вы писали:

АХ>>6) GCC + Boost — 22.5 сек
АХ>>7) MS VC++ + Boost — 35 сек
CC>А добавьте ка пунктик C++ + самописный split
CC>Бо что то мне кажется что тут надо в "консерватории" что то подправить

Странно почему boost себя так плохо показывает.
Его вроде далеко не новички пишут, да и peer review у них вроде есть.
Надо идти к ним на форум ругаться

А то прям стыд и срам какой-то.

А так напиши универсальный split и запости сюда результаты.

Здравствуйте, eao197, Вы писали:

E>Здравствуйте, Denis2005, Вы писали:

D>>Честно говоря, результаты меня обескуражили…

D>>Время работы: 20 секунд. (и это при полной оптимизации и отключенными проверками !?!)
D>>Может есть что сказать приверженцам BOOST-а, и по возможности объяснить где "кривые руки"?

E>По моему беглому взгляду на реализацию split-а показалось, что дело в реализации is_any_of. В частности, в том, что при каждом обращении к split объект-предикат, который скрывается за is_any_of конструируется заново. И более того, где-то там внутри этот предикат передается в подчиненные функции и сохраняется во вспомогательных объектах по значению.

Так все оптимизации выкручены по максимуму. Значение аргумента is_any_of известно во время компиляции.
Все это должно заинлайниться до констант. Или этого не происходит, почему?

P.S. Я смотрю у тебя Linux или BSD. Если не лень и стоят компиляторы других языков, то прогони проги из моего бенчмарка.
Наблюдаются ли те же временные пропорции?

Здравствуйте, Андрей Хропов, Вы писали:

АХ>Так все оптимизации выкручены по максимуму. Значение аргумента is_any_of известно во время компиляции.
АХ>Все это должно заинлайниться до констант. Или этого не происходит, почему?

Судя по всему не происходит. Да и с чего бы происходить, если аргумент is_any_of неявно приводится к std::string (который может требовать у себя в конструкторе обращения к new), затем is_any_of возвращает какой-то объект, в котором еще что-то требует обращения к new, затем это еще к чему-то обращается и т.д. и т.п. Если есть желание, можешь сам расписать на бумаге цепочку вызовов внутри split-а, посмотри, в какие дебри это тебя заведет.

И вообще, я бы не стал надеятся на то, что компилятор умнее программиста и своими опримизирующими фокусами выправит кривизну рук разработчика.

АХ>P.S. Я смотрю у тебя Linux или BSD. Если не лень и стоят компиляторы других языков, то прогони проги из моего бенчмарка.

У меня WinXP + Cygwin. Да и лень

Здравствуйте, Denis2005, Вы писали:

D>Зачем мне питон, когда такой пример под .NET отрабатывает за 0.6 сек, и код даже короче (на C#_, чем в приведенном примере.

От это ты зря здесь сказал. Сейчас подтянутся eao197 с ГВ и после короткой но продолжительной бесебы в тебе найдут массу недостатков.