ECOOP 2008 – Object-Oriented Programming: 22nd European by Rachid Guerraoui (auth.), Jan Vitek (eds.)

By Rachid Guerraoui (auth.), Jan Vitek (eds.)

This publication constitutes the refereed lawsuits of the twenty second ecu convention on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July 2008.

The 27 revised complete papers, awarded including three invited talks have been conscientiously reviewed and chosen from a complete of 138 ultimate submissions. providing examine effects or adventure stories in all components suitable to item know-how - together with paintings that takes notion from or builds connections to components no longer as a rule thought of object-oriented - the papers hide themes resembling layout equipment and layout styles in research, concurrent structures, databases, patience and transactions, dispensed and cellular platforms, frameworks, product strains and software program architectures, language layout and implementation, trying out and metrics, programming environments and instruments, theoretical foundations, variety platforms, formal equipment, versioning, compatibility, software program evolution, elements, parts, modularity, mirrored image, collaboration, and workflow.

Show description

Read or Download ECOOP 2008 – Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings PDF

Similar international conferences and symposiums books

Database Theory — ICDT’99: 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings

Databaseresearchisa? eldofcomputersciencewheretheorymeetsapplications. Many ideas and strategies, that have been considered as problems with theoretical curiosity whilst in the beginning proposed, are actually incorporated in carried out database platforms and similar items. Examples abound within the ? elds of database layout, question languages, question optimization, concurrency regulate, statistical databases, and so on.

Interactive Distributed Multimedia Systems and Telecommunication Services: 5th International Workshop, IDMS'98 Oslo, Norway, September 8–11, 1998 Proceedings

This ebook constitutes the refereed lawsuits of the fifth overseas Workshop on Interactive disbursed Multimedia platforms and Telecommunication companies, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised complete papers awarded have been conscientiously chosen from a complete of sixty eight submissions.

Graph-Theoretic Concepts in Computer Science: 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

This e-book constitutes the completely refereed post-proceedings of the thirty first overseas Workshop on Graph-Theoretic ideas in computing device technology, WG 2005, held in Metz, France in June 2005. The 38 revised complete papers provided including 2 invited papers have been conscientiously chosen from a hundred twenty five submissions.

Additional resources for ECOOP 2008 – Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

Sample text

More positively, we also examine some valid transformations, and prove their validity. Our study contributes to the understanding of the JMM, and has the practical impact of revealing some cases where the Sun Hotspot JVM does not comply with the Java Memory Model. 1 Introduction Although programmers generally assume an interleaved semantics, the Java Language Specification defines more relaxed semantics, which is called the Java Memory Model [11,18]. The reasons for having a weaker semantics become apparent from the following example: Initially, x = y = 0 x = 1 if (x==1) { if (y==1) x = 0 print x y = 1 } The question is: can this program ever print 1?

ECOOP 2008, LNCS 5142, pp. 27–51, 2008. c Springer-Verlag Berlin Heidelberg 2008 28 ˇ c´ık and D. Aspinall J. Sevˇ comes at much higher cost than a missed optimisation in a compiler—typical memory barrier instructions consume hundreds of cycles and should be avoided if they are not necessary. Instead of guaranteeing sequential consistency for all programs, the Java Language Specification defines a semantics that guarantees sequential consistency (interleaved semantics) for data race free programs, while giving some basic security guarantees for programs with data races.

We demonstrate the invalidity of roach motel semantics on the program: ˇ c´ık and D. Aspinall J. Sevˇ 38 lock m x=2 unlock m initially x = y = z = 0 lock m Ö½ Ü x=1 ÐÓ Ñ unlock m r2=z if (r1==2) y=1 else y=r2 unlock m r3= y z=r3 This program cannot result in r1 = r2 = r3 = 1 in the JMM: In all well-behaved executions of this program, we have r1 = r2 = r3 = 0, and four data races—two on x with values 1 and 2, then on y and z with value 0. If we commit the data race on y (resp. z, resp. x with value 2) we would be stuck with r3 = 0 (resp.

Download PDF sample

Rated 4.02 of 5 – based on 20 votes