Sun Tech Days 2009

>хвостовой рекурсии
http://mail.openjdk.java.net/pipermail/mlvm-dev/2009-January/000331.html

не оно?

> Санкт-Петербурге

Жаль среди недели туда фиг вырвешься...

/мечтательно/ туда б анонимусов пачку отправить.

я б посмотрел, как они будут доказывать сану, что жаба не нужна.

> Вообще они в России всегда проводились в Питере, если я ничего не путаю

В 2005 было и в Москве. Там, я еще помню, негры плясали (типа как на кофейной плантации:-)). И наливали нахаляву.

Потом сановцы решили отправиться в Питер - и свет вырубился в половине Москвы, а потом началась гроза. :)) С тех пор, видать, боятся в Москве эвенты проводить. :)

Веселое было время.

> и хвостовой рекурсии в 7-й жабе

А вот в окамле есть подхвостовая рекурсия. Сам Профессор В.С.Луговский aka Mauhuur рассказывал.

"The vm implements most tail calls by removing the calling stack frame." (c)

Это, наверное, Лугоффский долго и упорно работал над данной фичей. 

А вообще, за рекурсию в enterprZe надо лишать премии. Чай не "яйцеголовые", которые ни за что не отвечают; дело делать надобно.

public class Test {

    public static void main(String[] args) {

       System.out.println("Good");

       for (long i = 1L; i < 20L; i++) {
           System.out.println(factorial(i));
       }

	System.out.println("Bad!");

        // :-)))
       for (long i = 1L; i < 20L; i++) {
           System.out.println(factorialVSL(i));
       }
    }

    // Good     
    static long factorial(long n) {
       long r = 1; 
       for (long i = 2L; i <= n; i++) {
         r = r * i;
       }
       return r;
    }

    // Bad!
    static long factorialVSL(long num) {
      if (num == 1L) {
          return 1L;
      } else {
          return num * factorialVSL(num - 1L);
      }
   }
}

// :)))))

>Если вкратце, то есть специальная инструкция, говорящая о хвостово-рекурсивном вызове (при таком вызове текущий фрейм стека удаляется перед тем, как передать управление вызываемой функции)

Ну а кто эту инструкцию вставляет. Компилятор?

И потом, если удалять текущий фрейм, то можно избежать переполнения стека, но что будет с оптимизаций скорости исполнения? Этож костыль, а не хвостовая рекурсия.

> не будет. Да и зачем оно?

За тем, чтобы для джава были эффективные реализации языков, семантика которых сильно отличается от жабской. А так, конечно, языков для JVM хватает, но наиболее эффективна пока Java, а пейсать на ней не шибко хочется, другое попробовав.

> Откуда дровишки?

Не очень понятен шаблон.

> А вот в окамле есть подхвостовая рекурсия.

ХР много где есть. Только вот Окамла или F# для джавы нету, в т.ч. по причине отсутствия поддержки ХР. А у Mono пока нет инфраструктуры жабы.

> пока нет инфраструктуры жабы.

Было что-то вроде IKVM, если я еще помню...

----

Если кто-нибудь не может или не хочет найти НЕрекурсивное решение e.g. "Ханойских башен", пускай использует функциональные язычки программирования. В Java рекурсия - ЗЛО.

>> Санкт-Петербурге

> А на Ленинском проспекте, доме 113/1б, уже на Первопрестольную забили? Или в связи с кризисом денег не хватает?

Похоже что в Питере java пользуется большей популярностью, чем в Москве.

>Такие фишки как дженерики и внутренние классы реализованы в жабе на уровне компилятора. И я так подозреваю все новое тоже должно быть реализовано быть на уровне компилятора, чтобы соблюсти совместимость на бинарном уровне со старыми ВМками.

бинарной совместимости байт-кода обычно нет. байт-код java 5 не работает на java 1.4, java 6 не работает на java 5 и т.п.

А как можно записаться на Мастер-класс?

> Было что-то вроде IKVM,

дык костыль сие. Да и тормозить по идее должно сильно. Хотя посмотрю, спасибо.

> А на Ленинском проспекте, доме 113/1б, уже на Первопрестольную забили? Или в связи с кризисом денег не хватает?

Они и до этого были в СПБ. Там у них база больше.

> Кроме того, в этот день будут представлены специальные доклады для преподавателей, аспирантов, академического сообщества. Особое внимание будет уделено университетам, учебным программам, грантам, совместным инициативам и решениям.

[ЖЖ] В прошлом году Сан отвергла мою заявку на преподский грант в объёме оплаты проезда Мск-СПб-Мск. Жмоты.

С другой стороны, МС за участие в самой конференции хочет около $3K, так что может и не жмоты.

>посмотрим как в этом году будет

Так же, как всегда. Куча четырёх(и более)буквенных аббревиатур, куча buzzwords, «это бесплатный продукт с открытым кодом, берите так, но не забудьте доработать», «Java/Groovy/Ruby/JavaFX — это круто» и всё в таком же духе. Это ж Sun.

sun, увы, совсем не продвигает groovy, они продвигают jruby :(

> sun, увы, совсем не продвигает groovy, они продвигают jruby :(

Доклад по groovy -- есть, см. расписание.

ух ты, клёво, и даже в разделе энтерпрайз :)

Откуда такой вывод? Груви, как и жруби есть в нетбинсе.

>Откуда такой вывод? Груви, как и жруби есть в нетбинсе.

жруби там пилят гораздо активнее и пилить начали куда раньше.

> если удалять текущий фрейм, то можно избежать переполнения стека, но что будет с оптимизаций скорости исполнения?

Сама скорость возрастет за счет фиксированного размера стека.

> Этож костыль, а не хвостовая рекурсия.

В каком смысле? Каноническая обработка хвостовой рекурсии - преобразование ее в цикл.

> Не очень понятен шаблон.

Откуда информация, что "языки, ориентированные на дот нет не сами реализуют туже хвостовую рекурсию, это прерогатива именно виртуальной машины."?

Ну так жруви и появился в 2001, а груви - в 2007.

тем не менее когда сановцы взяли на работу товарищей из JRuby, groovy был уже в стадии 1.0 rc.

хотя в этом году я вообще ни одного доклада по (J)Ruby не вижу, как ни странно.

Так у жруви очень ограниченная сфера, имо, нет мягкой интеграции в уже существующие проекты.

>жруви
ээ.. groovy или jruby?

жруби )))

ну так и я говорю - jruby ненужен, groovy гораздо полезнее.

> "языки, ориентированные на дот нет не сами реализуют туже хвостовую рекурсию, это прерогатива именно виртуальной машины."

Сейчас список литературы не скажу :), но суть в том, что на _уровне компилятора_ не всегда можно завернуть хвостовой вызов в цикл или сделать это очень затратно. Потому и нужна поддержка ХР на уровне ВМ. Если я не прав, поправьте.

Я тоже список литературы не приведу. )) Но отличать хвостовую рекурсию от не хвостовой ВМ не с руки. Входящие данные не те. Нужно заново строить аст из машинного кода, да еще и реверсивно. Это работа компилятора - преобразовать аст в правильную последовательность маш.комманд. Скорее всего, речь шла о поддержке со стороны ВМ специальных комманд для таких вещей, о чем были ссылки выше по треду.

Эх, хорошо в прошлом году в Питер смотался. Конференция хорошая, но сам Питер просто супер. Жаль, что в этом году не получится...

Всем, кто поедет/пойдет, глхф :)

>В Java рекурсия - ЗЛО.

Так не делайте в Java, сделайте в JVM =)))))

>жруби там пилят гораздо активнее и пилить начали куда раньше.

ИМХО таки больше внимания они JavaFX уделяют =)

>jruby ненужен, groovy гораздо полезнее.

Шоб он ещё и "летал" хотяб как Scala, если не как Java =)

кстати в english agenda про groovy почему-то ни слова...

всего год как

летать он по определению не может, да и не настолько это нужно - это ж вам не руби. В 1.6 прилично ускорили - уже хорошо.

вон grails на groovy проигрывает "чистому" Spring MVC меньше 25%

>бинарной совместимости байт-кода обычно нет. байт-код java 5 не >работает на java 1.4, java 6 не работает на java 5 и т.п.

Я имел ввиду наоборот, чтобы на новой жабе, запускались старые откомпиляченые классы. И сан старается этого придерживается. Да там есть ньюансы на уровне того, что сами классы библиотечные могут поменять поведение...

А ты тестировал? Вроде писали, что в 1.6 сделали кэширование динамических вызовов методов, и теперь groovy уступает жабе процентов 20-30% а не 400-800% как раньше

>А ты тестировал? Вроде писали, что в 1.6 сделали кэширование динамических вызовов методов, и теперь groovy уступает жабе процентов 20-30% а не 400-800% как раньше

shootout не подтверждает, хотя там релиз-кандидат, но я не думаю что картинка принципиально другая...