вторник, 22 мая 2012 г.
[wiki]: π-calculus
WIKI: π-calculus
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.
The π-calculus is elegantly simple yet very expressive. Functional programs can be encoded into the π-calculus, and the encoding emphasises the dialogue nature of computation, drawing connections with game semantics. Extensions of the π-calculus, such as the spi calculus and applied π, have been successful in reasoning about cryptographic protocols. Beside the original use in describing concurrent systems, the π-calculus has also been used to reason about business processes and molecular biology.
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.
The π-calculus is elegantly simple yet very expressive. Functional programs can be encoded into the π-calculus, and the encoding emphasises the dialogue nature of computation, drawing connections with game semantics. Extensions of the π-calculus, such as the spi calculus and applied π, have been successful in reasoning about cryptographic protocols. Beside the original use in describing concurrent systems, the π-calculus has also been used to reason about business processes and molecular biology.
Patterns in Enterprise Software (Martin Fawler point of view)
Patterns in Enterprise Software
A personal survey of various efforts to catalog patterns for enterprise software development.
1. Patterns of Enterprise Application Architecture
2. Core J2EE Patterns
3. Enterprise Integration Patterns
4. Microsoft Enterprise Solution Patterns
5. Microsoft Data Patterns
6. Microsoft Integration Patterns
7. Domain Driven Design
8. Anasis Patterns
9. Data Model Patterns
10. Gang of Four
11. POSA
P.S. 11 книг только по паттернам, только в области корпоративной разработки и только по мнению Фаулера ...
A personal survey of various efforts to catalog patterns for enterprise software development.
1. Patterns of Enterprise Application Architecture
2. Core J2EE Patterns
3. Enterprise Integration Patterns
4. Microsoft Enterprise Solution Patterns
5. Microsoft Data Patterns
6. Microsoft Integration Patterns
7. Domain Driven Design
8. Anasis Patterns
9. Data Model Patterns
10. Gang of Four
11. POSA
P.S. 11 книг только по паттернам, только в области корпоративной разработки и только по мнению Фаулера ...
четверг, 3 мая 2012 г.
[Java EE]: Good Java EE Examples
Good JavaEE Examples
CDI:
cdi-basic
cdi-request-scope
cdi-application-scope
cdi-interceptors
cdi-produces-disposes
decorators
cdi-alternative-and-stereotypes
Web Services
simple-webservice *
webservice-handlerchain *
webservice-holder *
webservice-attachments
webservice-inheritance
webservice-security
webservice-ws-security
...
CDI:
cdi-basic
cdi-request-scope
cdi-application-scope
cdi-interceptors
cdi-produces-disposes
decorators
cdi-alternative-and-stereotypes
Web Services
simple-webservice *
webservice-handlerchain *
webservice-holder *
webservice-attachments
webservice-inheritance
webservice-security
webservice-ws-security
...
[Java EE]: Adam Bien's Weblog
Adam Bien's Weblog
Блог Адама прекрасный способ ознакомится со всеми "tips&trics" современного Java EE(EJB, JMS, JNDI, JPA, JTA, JDBC, JSF, ServletAPI, ...).
P.S. Я на него вышел как на автора
1) Real World Java EE Patterns Rethinking Best Practices
2) Real World Java EE Night Hacks--Dissecting the Business Tier
Великолепные книги, маленькие (270+170страниц), но посвящающие в достаточно глубокие делали. Скажем, для меня было новостью, что CDI можно использовать для рассылки событий, java.net.URLConnection имеет проблемы с кэшированием и еще кучу мелочей.
Блог Адама прекрасный способ ознакомится со всеми "tips&trics" современного Java EE(EJB, JMS, JNDI, JPA, JTA, JDBC, JSF, ServletAPI, ...).
P.S. Я на него вышел как на автора
1) Real World Java EE Patterns Rethinking Best Practices
2) Real World Java EE Night Hacks--Dissecting the Business Tier
Великолепные книги, маленькие (270+170страниц), но посвящающие в достаточно глубокие делали. Скажем, для меня было новостью, что CDI можно использовать для рассылки событий, java.net.URLConnection имеет проблемы с кэшированием и еще кучу мелочей.
[java.net]: Orderly Versus Abortive Connection Release in Java
Orderly Versus Abortive Connection Release in Java
Overview
To ensure orderly or graceful release of TCP connections is a challenge with TCP networking applications. Abortive or ungraceful release may result if special care is not taken. In Java, an unexpected abortive release can manifest itself by the application receiving a java.net.SocketException when reading or writing to the socket. read() and write() normally return a numeric value indicating, respectively, the number of bytes received or sent. If an exception is received instead, this indicates the connection has been aborted and also that data may have been lost or discarded. This article explains what causes socket connections to be aborted and provides tips for avoiding the situation, except for the case where an application intends to abort the connection.
Overview
To ensure orderly or graceful release of TCP connections is a challenge with TCP networking applications. Abortive or ungraceful release may result if special care is not taken. In Java, an unexpected abortive release can manifest itself by the application receiving a java.net.SocketException when reading or writing to the socket. read() and write() normally return a numeric value indicating, respectively, the number of bytes received or sent. If an exception is received instead, this indicates the connection has been aborted and also that data may have been lost or discarded. This article explains what causes socket connections to be aborted and provides tips for avoiding the situation, except for the case where an application intends to abort the connection.
пятница, 27 апреля 2012 г.
[Java EE]: Comparing SCA, Java EE and JBI
Comparing SCA, Java EE and JBI:
"There are three approaches to develop back-end integration solutions:
- invocation (JCA, JAX-WS, WS-IF),
- mediation (JBI)
- activation (SCA)."
"This is precisely one of the problems in JEE today because back-end integration does not always fit well the synchronous request/response model."
P.S. Задача: таки разобраться что это такое - SCA, JBI, ESB:)
P.P.S. Суровый старается прояснить - "Три подхода к интеграции информационных систем":
Интеграция на уровне данных.
Интеграция на уровне бизнес-процессов (ESB).
Интеграция на уровне композитных приложений (JBI, SCA).
"...Таким образом на одном шаге бизнес-процесса могут взаимодействовать несколько сервисов, в то время как при интеграции на уровне бизнес-процессов на одном шаге процесса вызывается один сервис."
пятница, 20 апреля 2012 г.
Сменил работу - сменится тематика публикаций
Добрый день, я в Новый Год сменил работу.
Теперь занимаюсь не управлением учебным процессом в харьковском EPAM (+ преподавание), а Java EE Architect в Enko Solutions.
Вследствие чего может измениться тематика публикаций.
Вначале каждого поста могут появиться теги
- [PJP]: Professional Java Programming
- [J2EE]: J2EE
- [Quiz]: Quiz
- и т.д.
Это связано с тем, что материалы по Java EE стали входить в круг моих интересов.
P.S. Так как самая первоначальная идея о ведении полноценного блога успешно провалилась - слишком затратно по времени писать полноценные посты, то я просто собираю тут ссылки на то что произвело впечатление и, возможно, потребуется в дальнейшем.
Теперь занимаюсь не управлением учебным процессом в харьковском EPAM (+ преподавание), а Java EE Architect в Enko Solutions.
Вследствие чего может измениться тематика публикаций.
Вначале каждого поста могут появиться теги
- [PJP]: Professional Java Programming
- [J2EE]: J2EE
- [Quiz]: Quiz
- и т.д.
Это связано с тем, что материалы по Java EE стали входить в круг моих интересов.
P.S. Так как самая первоначальная идея о ведении полноценного блога успешно провалилась - слишком затратно по времени писать полноценные посты, то я просто собираю тут ссылки на то что произвело впечатление и, возможно, потребуется в дальнейшем.
вторник, 17 апреля 2012 г.
Записи конференции Lang.NEXT 2012 для тех, кто интересуется языками программирования
Записи конференции Lang.NEXT 2012 для тех, кто интересуется языками программирования.
Например:
Keynote: Reflection and Compilers //Scala
Martin Odersky, EPFL, Typesafe
IKVM.NET: Building a Java VM on the .NET Framework //.NET, Java
Jeroen Frijters, Sumatra Software
Java 8 //Java
John Rose, Oracle
Pervasive Parallelism in Scala //Scala
Kunle Olukotun, Stanford
Например:
Keynote: Reflection and Compilers //Scala
Martin Odersky, EPFL, Typesafe
IKVM.NET: Building a Java VM on the .NET Framework //.NET, Java
Jeroen Frijters, Sumatra Software
Java 8 //Java
John Rose, Oracle
Pervasive Parallelism in Scala //Scala
Kunle Olukotun, Stanford
среда, 28 марта 2012 г.
Lambda Expressions for the Java8
JSR-335 Lambda Expressions for the JavaTM Programming Language 0.4.2 Early Draft Review
JSR 335 (Lambda Expressions for the JavaTM Programming Language) aims to support programming in a multicore environment by adding closures and related features to the Java language.
JSR 335 is part of JSR 337 (Java SE 8). The Early Draft Review #1 of JSR 335 has been published.
Слайды от Brian Goetz.
Для добавления нового функционала в библиотеки, возможно, введут virtual extension method.
Gack, is this multiple inheritance in Java?
- Yes, but Java already has multiple inheritance of types
- This adds multiple inheritance of behavior too
- But not state, which is where most of the trouble is
JSR 335 (Lambda Expressions for the JavaTM Programming Language) aims to support programming in a multicore environment by adding closures and related features to the Java language.
JSR 335 is part of JSR 337 (Java SE 8). The Early Draft Review #1 of JSR 335 has been published.
Слайды от Brian Goetz.
Для добавления нового функционала в библиотеки, возможно, введут virtual extension method.
Gack, is this multiple inheritance in Java?
- Yes, but Java already has multiple inheritance of types
- This adds multiple inheritance of behavior too
- But not state, which is where most of the trouble is
Выступаю на РИТ 2012
Выступаю на РИТ 2012: http://ritconf.ru/2012/guru/index.html
Распределенные кэши: подводные камни
Иван Головач
Приводится последовательность реализаций распределенного кэша, которые один за одним исключают «негативные феномены» — совокупности чтения/записи, приводящие к нежелательным (и зачастую неожиданным) результатам. После чего такая последовательность ставится в соответствие с известными Memory Consistency Models (Linearizable, Sequential Consistent, Causal Order, PRAM, ...). Это позволяет теоретически обосновать и измерить «цену» за консистентность кэша.
Цель доклада — подвести разработанную теоретическую базу («Distributed Algorithms» by Nancy A. Lynch, «Distributed Computing: Fundamentals, Simulations, and Advanced Topics» by Hagit Attiya and Jennifer Welch, «Introduction to Distributed Algorithms» by Gerard Tel) в части Distributed Shared Memory over Message Passing под практически используемые кэши — показать, чем приходится платить (read latency, write latency, network packets count) за повышение уровня консистенции распределенного кэша.
Целевая аудитория
Доклад будет интересен всем специалистам, помещающим часть бизнесс-логики в distributed cache/IMDG (Oracle Coherence, Gemstone GemFire, Gigaspaces XAP, JBoss Infinispan, Hazelcast, EHCache).
Информация о докладчике
Иван Головач — J2EE архитектор в стартапе Domosti.ru, опыт 8 лет в j2ee, c++. В данный момент ответственный за архитектуру проекта Domosti.ru (EJB, JMS, Spring, Postgres, JSF, RichFaces).
Ведет блог KharkovConcurrencyGroup.blogspot.com.
Область математических интересов: подходы к спецификации non Strict Consistency систем (New Java Memory Model, Transaction Isolation Levels, Distributed Shared Memory Consistency Models)
Распределенные кэши: подводные камни
Иван Головач
Приводится последовательность реализаций распределенного кэша, которые один за одним исключают «негативные феномены» — совокупности чтения/записи, приводящие к нежелательным (и зачастую неожиданным) результатам. После чего такая последовательность ставится в соответствие с известными Memory Consistency Models (Linearizable, Sequential Consistent, Causal Order, PRAM, ...). Это позволяет теоретически обосновать и измерить «цену» за консистентность кэша.
Цель доклада — подвести разработанную теоретическую базу («Distributed Algorithms» by Nancy A. Lynch, «Distributed Computing: Fundamentals, Simulations, and Advanced Topics» by Hagit Attiya and Jennifer Welch, «Introduction to Distributed Algorithms» by Gerard Tel) в части Distributed Shared Memory over Message Passing под практически используемые кэши — показать, чем приходится платить (read latency, write latency, network packets count) за повышение уровня консистенции распределенного кэша.
Целевая аудитория
Доклад будет интересен всем специалистам, помещающим часть бизнесс-логики в distributed cache/IMDG (Oracle Coherence, Gemstone GemFire, Gigaspaces XAP, JBoss Infinispan, Hazelcast, EHCache).
Информация о докладчике
Иван Головач — J2EE архитектор в стартапе Domosti.ru, опыт 8 лет в j2ee, c++. В данный момент ответственный за архитектуру проекта Domosti.ru (EJB, JMS, Spring, Postgres, JSF, RichFaces).
Ведет блог KharkovConcurrencyGroup.blogspot.com.
Область математических интересов: подходы к спецификации non Strict Consistency систем (New Java Memory Model, Transaction Isolation Levels, Distributed Shared Memory Consistency Models)
четверг, 16 февраля 2012 г.
понедельник, 13 февраля 2012 г.
воскресенье, 5 февраля 2012 г.
четверг, 2 февраля 2012 г.
"Сладкие" вакансии
DISTRIBUTED MIDDLEWARE ARCHITECT
...
Saint Petersburg, Russia
...
15+ years of overall experience
5+ years in leading technical positions
100% hands-on individual developer
Proven early stage startup experience
Ability to work directly with CTO on critical areas of product functionality
Expert knowledge of Java, Scala and Groovy
Fluent in Unix/Win environment and system programming
Guru-level proven experience in high performance computing
Published work, speaking engagements are the major plus
Expert knowledge in parallel and distributed programming
Demonstrable experience in distributed middleware is a must
Keen understanding of target market and fundamental of product marketing
Ability to cross-function between sales, marketing and product development
Some travel may be required - up to 10%
...
Saint Petersburg, Russia
...
15+ years of overall experience
5+ years in leading technical positions
100% hands-on individual developer
Proven early stage startup experience
Ability to work directly with CTO on critical areas of product functionality
Expert knowledge of Java, Scala and Groovy
Fluent in Unix/Win environment and system programming
Guru-level proven experience in high performance computing
Published work, speaking engagements are the major plus
Expert knowledge in parallel and distributed programming
Demonstrable experience in distributed middleware is a must
Keen understanding of target market and fundamental of product marketing
Ability to cross-function between sales, marketing and product development
Some travel may be required - up to 10%
воскресенье, 29 января 2012 г.
Java 7 Phaser - academia paper
Phasers: a Unified Deadlock-Free Construct for Collective and Point-to-point Synchronization
ABSTRACT
Coordination and synchronization of parallel tasks is a major source of complexity in parallel programming. These constructs take many forms in practice including mutual exclusion in accesses to shared resources, termination detection of child tasks, collective barrier synchronization, and point-to-point synchronization. In this paper, we introduce phasers, a new coordination construct that unifies collective and point-to-point synchronizations. We establish two safety properties for phasers: deadlock-freedom and phaseordering. Performance results obtained from a portable implementation of phasers on three different SMP platforms demonstrate that phasers can deliver superior performance to existing barrier implementations, in addition to the productivity benefits that result from their generality and safety properties.
P.S. From this article - New Java Concurrency Feature: Phasers
ABSTRACT
Coordination and synchronization of parallel tasks is a major source of complexity in parallel programming. These constructs take many forms in practice including mutual exclusion in accesses to shared resources, termination detection of child tasks, collective barrier synchronization, and point-to-point synchronization. In this paper, we introduce phasers, a new coordination construct that unifies collective and point-to-point synchronizations. We establish two safety properties for phasers: deadlock-freedom and phaseordering. Performance results obtained from a portable implementation of phasers on three different SMP platforms demonstrate that phasers can deliver superior performance to existing barrier implementations, in addition to the productivity benefits that result from their generality and safety properties.
P.S. From this article - New Java Concurrency Feature: Phasers
Подписаться на:
Сообщения (Atom)