| Date: | 2006-12-06 22:40 |
| Subject: | (no subject) |
| Security: | Public |
| Tags: | lao, lpco, parallel computation optimization, parallelism, tech |
В ходе поисков наткнулся на интересную статью о методах оптимизации параллельных вычислений. Авторы представили два метода LPCO - Last Parallel Call Optimization и LAO - Last Alternative Optimization, а также применяли их при разработке оптимизирующего компилятора Пролога - &ACE.
Мне понравился подход применямый в LPCO, суть которого в том, чтобы используя знания (в данном случае о детерменизме выполнения) различных ветвей в And-Or Tree уменьшить уровень их вложенности, что позволяет снизить затраты на поиск по дереву при использовании бактракинга.
Думаю, что это подход можно использовать в каких-либо прикладных задачах.