Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages最新文献

Implementing a language with explicit assignment semantics 实现具有显式赋值语义的语言

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-22 DOI: 10.1145/3358504.3361227

Dimitri Racordon, Didier Buchs

引用次数: 2

Towards seamless interfacing between dynamic languages and native code 实现动态语言和本地代码之间的无缝接口

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-22 DOI: 10.1145/3358504.3361230

Guillaume Bertholon, Stephen Kell

引用次数: 1

Designing a low-level virtual machine for implementing real-time managed languages 为实现实时托管语言设计一个低级虚拟机

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-22 DOI: 10.1145/3358504.3361226

Javad Ebrahimian Amiri, S. Blackburn, Antony Lloyd Hosking, Michael Norrish

{"title":"Designing a low-level virtual machine for implementing real-time managed languages","authors":"Javad Ebrahimian Amiri, S. Blackburn, Antony Lloyd Hosking, Michael Norrish","doi":"10.1145/3358504.3361226","DOIUrl":"https://doi.org/10.1145/3358504.3361226","url":null,"abstract":"Applications of real-time systems have grown significantly in both diversity and popularity, and the appetite for real-time software has never been higher. In contrast, the choice of programming languages used to develop such systems has stagnated, mostly limited to decades-old languages, specifically Ada and C/C++, and more recently real-time Java. We posit that the high cost and difficulty of developing new programming languages for real-time systems is the main reason for this mono-culture. To tackle the lack of diversity, we propose the design of a micro virtual machine on which managed programming languages for real-time systems can be developed. Our design facilitates bringing the advantages of correct managed languages to the real-time domain. We build on a previously published micro virtual machine specification, named Mu, and propose a set of modifications to its abstractions over concurrency and memory management to make it suitable for real-time systems. The resulting design is a basis for a new micro virtual machine specification we call RTMu, designed as a reliable and efficient foundation for the development of managed languages for real-time systems.","PeriodicalId":435594,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"27 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132287290","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}

引用次数: 0

Memory efficient CRDTs in dynamic environments 动态环境中的内存高效crdt

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-22 DOI: 10.1145/3358504.3361231

Jim Bauwens, E. G. Boix

{"title":"Memory efficient CRDTs in dynamic environments","authors":"Jim Bauwens, E. G. Boix","doi":"10.1145/3358504.3361231","DOIUrl":"https://doi.org/10.1145/3358504.3361231","url":null,"abstract":"Modern distributed applications increasingly replicate data in order to guarantee both high availability of systems and an optimal user experience. Conflict-Free Replicated Data Types (CRDTs) are a family of data types specially designed for highly available systems which guarantee some form of eventual consistency. However, memory usage may grow unboundedly in their implementations, as garbage collection of meta-data is not tackled in most approaches. In this paper, we explore a memory management model for operation-based CRDTs in dynamic setting, where nodes can dynamically join a network, and where the implementation can remove unnecessary meta-data employed by CRDTs used to determine the order of operations applied in different replicas. We first describe how new nodes will be brought up-to-date and fully linked with other replicas, and later we introduce our memory management model which allows meta-data to be removed. We benchmark the memory usage of an add-wins set using different garbage collection techniques in various situations and show how our approach can be beneficial in comparison to state of the art techniques.","PeriodicalId":435594,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127730973","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}

引用次数: 8

Efficient fail-fast dynamic subtype checking 高效的快速故障动态子类型检查

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-22 DOI: 10.1145/3358504.3361229

Rohan Padhye, Koushik Sen

{"title":"Efficient fail-fast dynamic subtype checking","authors":"Rohan Padhye, Koushik Sen","doi":"10.1145/3358504.3361229","DOIUrl":"https://doi.org/10.1145/3358504.3361229","url":null,"abstract":"We address the problem of dynamically checking if an instance of class S is also an instance of class T. Researchers have designed various strategies to perform constant-time subtype tests. Yet, well-known production implementations degrade to linear search in the worst case, in order to achieve other goals such as constant space and/or efficient dynamic class loading. The fast path is usually optimized for subtype tests that succeed. However, in workloads where dynamic type tests are common, such as Scala's pattern matching and LLVM compiler passes, we observe that 74%--93% of dynamic subtype tests return a negative result. We thus propose a scheme for fail-fast dynamic subtype checking. We assign each type a randomly generated type identifier with fixed size and fixed parity. In the compiled version of each class, we store a fixed-width bloom filter, which combines the type identifiers of all its transitive supertypes. At run-time, the bloom filters enable fast refutation of dynamic subtype tests with high probability. If such a refutation cannot be made, the scheme falls back to conventional techniques. This scheme works with multiple inheritance, separate compilation, and dynamic class loading. A prototype implementation of fail-fasts in the JVM provides provides 1.44x--2.74x speedup over HotSpot's native instanceof, on micro-benchmarks where worst-case behavior is likely.","PeriodicalId":435594,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132312166","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}

引用次数: 2

Scalable comparison of JavaScript V8 bytecode traces JavaScript V8字节码跟踪的可伸缩比较

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-10-08 DOI: 10.1145/3358504.3361228

Javier Cabrera-Arteaga, Monperrus Martin, B. Baudry

引用次数: 2

Which of my transient type checks are not (almost) free? 我的哪些暂态类型检查不是(几乎)免费的?

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2019-09-12 DOI: 10.1145/3358504.3361232

Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, J. Noble

{"title":"Which of my transient type checks are not (almost) free?","authors":"Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, J. Noble","doi":"10.1145/3358504.3361232","DOIUrl":"https://doi.org/10.1145/3358504.3361232","url":null,"abstract":"One form of type checking used in gradually typed language is transient type checking: whenever an object ‘flows’ through code with a type annotation, the object is dynamically checked to ensure it has the methods required by the annotation. Just-in-time compilation and optimisation in virtual machines can eliminate much of the overhead of run-time transient type checks. Unfortunately this optimisation is not uniform: some type checks will significantly decrease, or even increase, a program’s performance. In this paper, we refine the so called “Takikawa” protocol, and use it to identify which type annotations have the greatest effects on performance. In particular, we show how graphing the performance of such benchmarks when varying which type annotations are present in the source code can be used to discern potential patterns in performance. We demonstrate our approach by testing the Moth virtual machine: for many of the benchmarks where Moth’s transient type checking impacts performance, we have been able to identify one or two specific type annotations that are the likely cause. Without these type annotations, the performance impact of transient type checking becomes negligible. Using our technique programmers can optimise programs by removing expensive type checks, and VM engineers can identify new opportunities for compiler optimisation.","PeriodicalId":435594,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121666542","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}

引用次数: 5

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages 第11届ACM SIGPLAN虚拟机与中间语言国际研讨会论文集

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 1900-01-01 DOI: 10.1145/3358504

引用次数: 1