Fixing the Java Memory Model

[tengiz]

...Таких?...

Нет, не таких. Это мало чем отличается от того, что можно сделать в C++. Я имею в виду не библиотеки классов, по сути являющиеся объектно-ориентированными обёртками для обычных синхронизационных примитивов и пр., а высокоуровневые фундаментальные абстракции для параллельного программирования, встроенные в язык. Посмотрите, например, по ссылкам, которые я приводил в своём предыдущем сообщении - всего лишь синхронные и асинхронные методы и так называемые аккорды, а насколько получается гибко и выразительно.

[Blake]

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

Посмотрел. Весьма недурно

[hooch]

Автораспараллеливание средствами языка программирования???

Модула

Причем здесь модула? Топик вроде как о Java.

[leprechaun]

Кстати, они JDK1.5 не собираются назвать как-нить типа Java3? А то изменений уже порядком набирается %)

It's officially J2SE 5 now.
http://java.sun.com/j2se/1.5.0/snapshots/index.jsp

[vc]

.........
Иначе Java на серверах мало отличается от C/C++. Я только это и имел в виду. Больше ровным счётом ничего. Практический вывод который из этого следует для меня лично - никакого особенного интереса к Java на серверах у меня нет и пока быть не может. А жаль.

Хотя если Си шарп снизойдёт до реализации довольно старых красивых идей, которые с некоторых пор интересуют публику в MS Research - см.Introduction to Polyphonic C#, то может и Java тоже зачешется и рванёт в том же направлении. Вот тогда будет уже поинтереснее.

<added>
Вот чуть поинтереснее ссылка на PDF о Modern Concurrency Abstractions for C#.
</added>

Actually, a Java join calculus implementation by Itzstein pre-dates "polyphonic" C#'s ( http://citeseer.ist.psu.edu/532429.html ):

Code: Select all

Join Java:

public class OnePlaceBuffer {
  public Object get() & put(Object o) {
    return o;
  }
}

PC#:

public class Buffer { 
   public String get() & public async put(String s) { 
      return s; 
   } 
} 

PC#'s code almost verbatim repeats Java's version so it's unclear at this time who should chase whom as currently neither language has anything but monitors as their standard highest level synchronization primitives.

Besides, it's unclear how efficient/accepted join calculus will prove to be in real applications in comparison to other approaches, Hoare's CSP, pi-calculus, etc.

[tengiz]

vc, авторы текста о полифонии в До-диезе ясно пишут о том, откуда идут эти идеи, а также и о том, что похожие вещи были примерно в то же время предложены для Явы. В ссылках и в тексте соблюдены все необходимые приличия. А догонять, очевидно, будут того, кому первому посчастливится практически реализовать удобные, ясные, понятные и, разумеется, допускающие эффективную реализацию высокоуровневые абстракции для параллельного программирования.

Я лично очень мало сомневаюсь в практической реализуемости подобных идей. Это всего лишь вопрос времени и ресурсов. Задача уже давно созрела и необходимость в подобных расширениях существующих языков будет только усиливаться.

[vc]

vc, авторы текста о полифонии в До-диезе ясно пишут о том, откуда идут эти идеи, а также и о том, что похожие вещи были примерно в то же время предложены для Явы. В ссылках и в тексте соблюдены все необходимые приличия. А догонять, очевидно, будут того, кому первому посчастливится практически реализовать удобные, ясные, понятные и, разумеется, допускающие эффективную реализацию высокоуровневые абстракции для параллельного программирования.

Я лично очень мало сомневаюсь в практической реализуемости подобных идей. Это всего лишь вопрос времени и ресурсов. Задача уже давно созрела и необходимость в подобных расширениях существующих языков будет только усиливаться.

Firstly, let me state for the record that I don't care much either for Java or C#, both of whch are abominations (given a choice between those two, I actually prefer C#). However, for the sake of fairness, I thought I should have mentioned that the idea had been first implemented in Java since your information looked as if C# had a priority in this respect and Java was completely stagnant here. I am sure it was unintentional (no irony implied).

[NNemo]

MS легки на помине!

http://www.theserverside.net/news/threa ... d_id=27350

[WildVlad]

MS легки на помине!
http://www.theserverside.net/news/threa ... d_id=27350

Вот это действительно шаг вперёд, особенно, если это приоретёт популярность.