ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems最新文献_第6页

TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations TSO_ATOMICITY:用于保持tso区域优化的高效硬件原语

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-03-16 DOI: 10.1145/2451116.2451172

Cheng Wang, Youfeng Wu

{"title":"TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations","authors":"Cheng Wang, Youfeng Wu","doi":"10.1145/2451116.2451172","DOIUrl":"https://doi.org/10.1145/2451116.2451172","url":null,"abstract":"Program optimizations based on data dependences may not preserve the memory consistency in the programs. Previous works leverage a hardware ATOMICITY primitive to restrict the thread interleaving for preserving sequential consistency in region optimizations. However, ATOMICITY primitive is over restrictive on the thread interleaving for optimizing real-world applications developed with the popular Total-Store-Ordering (TSO) memory consistency, which is weaker than sequential consistency. In this paper, we present a novel hardware TSO_ATOMICITY primitive, which has less restriction on the thread interleaving than ATOMICITY primitive to permit more efficient program execution than ATOMICITY primitive, but can still preserve TSO memory consistency in all region optimizations. Furthermore, TSO_ATOMICITY primitive requires similar architecture support as ATOMICITY primitive and can be implemented with only slight change to the existing ATOMICITY primitive implementation. Our experimental results show that in a start-of-art dynamic binary optimization system on a large set of workloads, ATOMICITY primitive can only improve the performance by 4% on average. TSO_ATOMICITY primitive can reduce the overhead associated with ATOMICITY primitive and improve the performance by 12% on average.","PeriodicalId":89892,"journal":{"name":"ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"61 1","pages":"509-520"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83147467","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}

引用次数: 3

Cooperative empirical failure avoidance for multithreaded programs 多线程程序的协同经验故障避免

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-03-16 DOI: 10.1145/2451116.2451121

Brandon Lucia, L. Ceze

引用次数: 43

Automated repair of binary and assembly programs for cooperating embedded devices 用于协作嵌入式设备的二进制和汇编程序的自动修复

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-03-16 DOI: 10.1145/2451116.2451151

Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, S. Forrest

{"title":"Automated repair of binary and assembly programs for cooperating embedded devices","authors":"Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, S. Forrest","doi":"10.1145/2451116.2451151","DOIUrl":"https://doi.org/10.1145/2451116.2451151","url":null,"abstract":"We present a method for automatically repairing arbitrary software defects in embedded systems, which have limited memory, disk and CPU capacities, but exist in great numbers. We extend evolutionary computation (EC) algorithms that search for valid repairs at the source code level to assembly and ELF format binaries, compensating for limited system resources with several algorithmic innovations. Our method does not require access to the source code or build toolchain of the software under repair, does not require program instrumentation, specialized execution environments, or virtual machines, or prior knowledge of the bug type.\u0000 We repair defects in ARM and x86 assembly as well as ELF binaries, observing decreases of 86% in memory and 95% in disk requirements, with 62% decrease in repair time, compared to similar source-level techniques. These advances allow repairs previously possible only with C source code to be applied to any ARM or x86 assembly or ELF executable. Efficiency gains are achieved by introducing stochastic fault localization, with much lower overhead than comparable deterministic methods, and low-level program representations.\u0000 When distributed over multiple devices, our algorithm finds repairs faster than predicted by naive parallelism. Four devices using our approach are five times more efficient than a single device because of our collaboration model. The algorithm is implemented on Nokia N900 smartphones, with inter-phone communication fitting in 900 bytes sent in 7 SMS text messages per device per repair on average.","PeriodicalId":89892,"journal":{"name":"ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"45 1","pages":"317-328"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73746272","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}

引用次数: 67

Parasol and GreenSwitch: managing datacenters powered by renewable energy Parasol和GreenSwitch:管理由可再生能源供电的数据中心

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-03-16 DOI: 10.1145/2451116.2451123

Íñigo Goiri, William A. Katsak, Kien Le, Thu D. Nguyen, R. Bianchini

{"title":"Parasol and GreenSwitch: managing datacenters powered by renewable energy","authors":"Íñigo Goiri, William A. Katsak, Kien Le, Thu D. Nguyen, R. Bianchini","doi":"10.1145/2451116.2451123","DOIUrl":"https://doi.org/10.1145/2451116.2451123","url":null,"abstract":"Several companies have recently announced plans to build \"green\" datacenters, i.e. datacenters partially or completely powered by renewable energy. These datacenters will either generate their own renewable energy or draw it directly from an existing nearby plant. Besides reducing carbon footprints, renewable energy can potentially reduce energy costs, reduce peak power costs, or both. However, certain renewable fuels are intermittent, which requires approaches for tackling the energy supply variability. One approach is to use batteries and/or the electrical grid as a backup for the renewable energy. It may also be possible to adapt the workload to match the renewable energy supply. For highest benefits, green datacenter operators must intelligently manage their workloads and the sources of energy at their disposal.\u0000 In this paper, we first discuss the tradeoffs involved in building green datacenters today and in the future. Second, we present Parasol, a prototype green datacenter that we have built as a research platform. Parasol comprises a small container, a set of solar panels, a battery bank, and a grid-tie. Third, we describe GreenSwitch, our model-based approach for dynamically scheduling the workload and selecting the source of energy to use. Our real experiments with Parasol, GreenSwitch, and MapReduce workloads demonstrate that intelligent workload and energy source management can produce significant cost reductions. Our results also isolate the cost implications of peak power management, storing energy on the grid, and the ability to delay the MapReduce jobs. Finally, our results demonstrate that careful workload and energy source management can minimize the negative impact of electrical grid outages.","PeriodicalId":89892,"journal":{"name":"ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"7 1","pages":"51-64"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88901535","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}

引用次数: 274

Traffic management: a holistic approach to memory placement on NUMA systems 流量管理:NUMA系统上内存放置的整体方法

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-03-16 DOI: 10.1145/2451116.2451157

Mohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quéma, Mark Roth

{"title":"Traffic management: a holistic approach to memory placement on NUMA systems","authors":"Mohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quéma, Mark Roth","doi":"10.1145/2451116.2451157","DOIUrl":"https://doi.org/10.1145/2451116.2451157","url":null,"abstract":"NUMA systems are characterized by Non-Uniform Memory Access times, where accessing data in a remote node takes longer than a local access. NUMA hardware has been built since the late 80's, and the operating systems designed for it were optimized for access locality. They co-located memory pages with the threads that accessed them, so as to avoid the cost of remote accesses. Contrary to older systems, modern NUMA hardware has much smaller remote wire delays, and so remote access costs per se are not the main concern for performance, as we discovered in this work. Instead, congestion on memory controllers and interconnects, caused by memory traffic from data-intensive applications, hurts performance a lot more. Because of that, memory placement algorithms must be redesigned to target traffic congestion. This requires an arsenal of techniques that go beyond optimizing locality. In this paper we describe Carrefour, an algorithm that addresses this goal. We implemented Carrefour in Linux and obtained performance improvements of up to 3.6 relative to the default kernel, as well as significant improvements compared to NUMA-aware patchsets available for Linux. Carrefour never hurts performance by more than 4% when memory placement cannot be improved. We present the design of Carrefour, the challenges of implementing it on modern hardware, and draw insights about hardware support that would help optimize system software on future NUMA systems.","PeriodicalId":89892,"journal":{"name":"ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"19 1","pages":"381-394"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81378519","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}

引用次数: 310

InkTag: Secure Applications on an Untrusted Operating System. InkTag:不受信任操作系统上的安全应用程序。

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2013-01-01 DOI: 10.1145/2451116.2451146

Owen S Hofmann, Sangman Kim, Alan M Dunn, Michael Z Lee, Emmett Witchel

引用次数: 245

Stochastic superoptimization 随机superoptimization

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2012-11-02 DOI: 10.1145/2451116.2451150

Eric Schkufza, Rahul Sharma, A. Aiken

引用次数: 313

Finding resource-release omission faults in Linux 查找Linux中的资源释放遗漏错误

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2012-01-11 DOI: 10.1145/2039239.2039241

S. Saha, J. Lawall, Gilles Muller

引用次数: 3

Using declarative invariants for protecting file-system integrity 使用声明式不变量保护文件系统的完整性

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2011-10-23 DOI: 10.1145/2039239.2039248

Jack Sun, D. Fryer, Ashvin Goel, Angela Demke Brown

引用次数: 10

Preliminary design of the SAFE platform SAFE平台初步设计

ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems Pub Date : 2011-10-23 DOI: 10.1145/2039239.2039245

A. DeHon, Ben Karel, T. Knight, G. Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, B. Pierce, R. Pollack, S. Ray, O. Shivers, Jonathan M. Smith, Gregory T. Sullivan

引用次数: 26