Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems最新文献

dart2java: Running Dart in Java-based Environments 在基于java的环境中运行Dart

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098575

M. Springer, Andrew Krieger, Stanislav Manilov, H. Masuhara

引用次数: 0

Code Generation in Serializers and Comparators of Apache Flink Apache Flink序列化器和比较器中的代码生成

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098579

G. Horváth, Norbert Pataki, Márton Balassi

{"title":"Code Generation in Serializers and Comparators of Apache Flink","authors":"G. Horváth, Norbert Pataki, Márton Balassi","doi":"10.1145/3098572.3098579","DOIUrl":"https://doi.org/10.1145/3098572.3098579","url":null,"abstract":"There is a shift in the Big Data world. Applications used to be I/O bound. InfiniBand, SSDs reduced the I/O overhead and more sophisticated algorithms were developed. CPU became a bottleneck for some applications. Using state of the art CPUs, reduced CPU usage can lead to reduced electricity costs even when an application is I/O bound. Apache Flink is an open source framework for processing streams of data and batch jobs. It is using serialization for wide variety of purposes. Not only for sending data over the network, saving it to the hard disk, or for fault tolerance, but also some of the operators can work on the serialized representation of the data instead of Java objects. This approach can improve the performance significantly. Flink has a custom serialization method that enables operators to work on the serialized formats. Currently, Apache Flink uses reflection to serialize Plain Old Java Objects (POJOs). Reflection in Java is notoriously slow. Moreover, the structure of the code is harder to optimize for the JIT compiler. As a Google Summer of Code project in 2016, we implemented code generation for serializers and comparators for POJOs to improve the performance of Apache Flink. Flink has a delicate type system which provides us with lots of information about the types that need to be serialized. Using this information it is possible to generate specialized code with great performance. We achieved more than 6X performance improvement in the serialization which was a 20% overall improvement.","PeriodicalId":368815,"journal":{"name":"Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116723098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

VM Wrapping: Fake it till you make it VM包装:假装它直到你成功

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098576

Johannes Henning, T. Felgentreff, R. Hirschfeld

引用次数: 0

Formalization IDEs Integrated with a Verifying Compiler 与验证编译器集成的形式化ide

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098580

Daniel Welch, B. Durkee, M. Kabbani, M. Sitaraman

引用次数: 0

Diff Graphs for a fast Incremental Pointer Analysis Diff图用于快速增量指针分析

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098578

J. Krainz, M. Philippsen

{"title":"Diff Graphs for a fast Incremental Pointer Analysis","authors":"J. Krainz, M. Philippsen","doi":"10.1145/3098572.3098578","DOIUrl":"https://doi.org/10.1145/3098572.3098578","url":null,"abstract":"A wide range of optimizations and program analyses, including bug finding by means of escape or race analyses, need accurate pointer information. Since accuracy takes time, there is a need for a fast incremental pointer analysis that re-uses prior results and only re-analyzes program changes and their effects instead of the whole program. We present such an incremental pointer analysis that employs novel diff graphs to represent how a method accesses and/or modifies memory. Regardless of the number of call sites, we only need to analyze a method once; the resulting diff-graph is then used at every call site. If a method changes, we re-generate its diff-graph, and (unless its diff-graph stays the same) its callers' diff graphs, and so on. Our algorithm is flow sensitive and context insensitive, does not leak information between call sites, can perform strong updates (even for method calls), and is fast (14 000 LOC with 25 000 bytecode instructions in 3 minutes). When used incrementally for each of the commits of an open-source software repository our incremental approach derives more precise pointer information than established (full) analyses like Spark -- albeit in about the same time.","PeriodicalId":368815,"journal":{"name":"Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128452780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability 优化特定于应用程序的运行时可变性的元对象协议

Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Pub Date : 2017-06-19 DOI: 10.1145/3098572.3098577

Guido Chari, D. Garbervetsky, Stefan Marr

引用次数: 2