Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation最新文献_第7页

Session details: Symbolic execution 会话细节:符号执行

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2013-06-16 DOI: 10.1145/3245334

Koushik Sen

引用次数: 0

Session details: High performance computing 会话详情:高性能计算

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2013-06-16 DOI: 10.1145/3245328

B. Zorn

引用次数: 0

Quipper: a scalable quantum programming language Quipper:一种可扩展的量子编程语言

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2013-04-11 DOI: 10.1145/2499370.2462177

A. S. Green, P. Lumsdaine, N. J. Ross, P. Selinger, B. Valiron

引用次数: 378

AutoSynch: an automatic-signal monitor based on predicate tagging autosync:一个基于谓词标记的自动信号监视器

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2013-03-01 DOI: 10.1145/2491956.2462175

W. Hung, V. Garg

{"title":"AutoSynch: an automatic-signal monitor based on predicate tagging","authors":"W. Hung, V. Garg","doi":"10.1145/2491956.2462175","DOIUrl":"https://doi.org/10.1145/2491956.2462175","url":null,"abstract":"Most programming languages use monitors with explicit signals for synchronization in shared-memory programs. Requiring programmers to signal threads explicitly results in many concurrency bugs due to missed notifications, or notifications on wrong condition variables. In this paper, we describe an implementation of an automatic signaling monitor in Java called AutoSynch that eliminates such concurrency bugs by removing the burden of signaling from the programmer. We show that the belief that automatic signaling monitors are prohibitively expensive is wrong. For most problems, programs based on AutoSynch are almost as fast as those based on explicit signaling. For some, AutoSynch is even faster than explicit signaling because it never uses signalAll, whereas the programmers end up using signalAll with the explicit signal mechanism. AutoSynch} achieves efficiency in synchronization based on three novel ideas. We introduce an operation called closure that enables the predicate evaluation in every thread, thereby reducing context switches during the execution of the program. Secondly, AutoSynch avoids signalAll by using a property called relay invariance that guarantees that whenever possible there is always at least one thread whose condition is true which has been signaled. Finally, AutoSynch uses a technique called predicate tagging to efficiently determine a thread that should be signaled. To evaluate the efficiency of AutoSynch, we have implemented many different well-known synchronization problems such as the producers/consumers problem, the readers/writers problems, and the dining philosophers problem. The results show that AutoSynch is almost as efficient as the explicit-signal monitor and even more efficient for some cases.","PeriodicalId":224397,"journal":{"name":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128240356","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

Automated feedback generation for introductory programming assignments 为介绍性编程作业自动生成反馈

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2012-04-08 DOI: 10.1145/2491956.2462195

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

引用次数: 427

Session details: Memory management 会话详细信息:内存管理

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2004-06-09 DOI: 10.1145/3245335

E. Berger

引用次数: 0

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation 第34届ACM SIGPLAN编程语言设计与实现会议论文集

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 1900-01-01 DOI: 10.1145/2491956

引用次数: 3