Automatic Fine-Grain Locking using Shape Properties

机译：使用形状属性自动进行细粒度锁定

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest -i.e., the data structures may be mutated, even to the point of violating forestness temporarily during the execution of a memod of the ADT. Our automatic technique is based on Domination Locking, a novel locking protocol. Domination locking is designed specifically for software concurrency control, and in particular is designed for object-oriented software with destructive pointer updates. Domination locking is a strict generalization of existing locking protocols for dynamically changing graphs. We show our technique can successfully add fine-grain locking to libraries where manually performing locking is extremely challenging. We show that automatic fine-grain locking is more efficient than coarse-grain locking, and obtains similar performance to hand-crafted fine-grain locking.

机译：我们提出了一种为使用动态森林实现的抽象数据类型自动添加细粒度锁定的技术，即，数据结构可能会发生突变，甚至可能会在执行ADT备忘过程中暂时破坏森林状态。。我们的自动技术基于一种新颖的锁定协议Domination Locking。支配锁定是专为软件并发控制设计的，尤其是针对具有破坏性指针更新的面向对象软件设计的。支配锁定是对用于动态更改图形的现有锁定协议的严格概括。我们展示了我们的技术可以成功地将细粒度锁定添加到库中，而手动执行锁定非常困难。我们展示了自动细粒度锁定比粗粒度锁定更有效，并且获得了与手工制作的细粒度锁定类似的性能。

著录项

来源
《2011 ACM international conference on object oriented programming, systems, languages and applications》|2011年|225-241|共17页
会议地点 Portland OR(US)
作者
Guy Golan-Gueta; Nathan Bronson; Alex Aiken; G. Ramalingam; Mooly Sagiv; Eran Yahav;
展开▼
作者单位

Tel Aviv University;

Stanford University;

Stanford University;

Microsoft Research;

Tel Aviv University;

Technion;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
Concurrency; Locking Protocol; Synthesis; Se-rializability; Atomicity; Reduction;

机译：并发锁定协议；合成;序列化；原子性减少;

相似文献

外文文献
中文文献
专利

1. Automatic fine-grain locking using shape properties [J] . Guy Golan-Gueta, Nathan Bronson, Alex Aiken, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第10期

机译：使用形状属性自动进行细粒度锁定
2. Lock elision enables existing lock-based programs to achieve the performance benefits of nonblocking synchronization and fine-grain locking with minor software engineering effort. [J] . Andi Kleen ACM Queue: Architecting Tomorrow s Computing . 2014,第1期

机译：锁定省略使现有的基于锁定的程序能够以较少的软件工程工作量来实现无阻塞同步和细粒度锁定的性能优势。
3. Mechanical properties of ultra fine-grains region in SUF(surface-layer with ultra fine-grains)steel [J] . 石川忠, 小关敏彦材料とプロセス: 日本鉄鋼協会講演論文集 . 1999,第3期

机译：SUF（表层含超细晶粒）钢中超细晶粒区域的力学性能
4. Automatic Fine-Grain Locking using Shape Properties [C] . Guy Golan-Gueta, Nathan Bronson, Alex Aiken, ACM international conference on object oriented programming, systems, languages and applications . 2011

机译：使用形状性质自动细粒锁定
5. The effect of the combination of locking screws and non-locking screws on the torsional properties of a locking plate construct. [D] . Gordon, Sebastian S. N. 2010

机译：锁紧螺钉和非锁紧螺钉的组合对锁紧板结构的扭转性能的影响。
6. Thermo-Rheological and Shape Memory Properties of Block and Random Copolymers of Lactide and ε-Caprolactone [O] . Marco Naddeo, Andrea Sorrentino, Daniela Pappalardo 2021

机译：丙交酯和ε-己内酯嵌段和随机共聚物的热流变和形状记忆性能
7. ABSTRACT Various body parts or organs can be analysed to identify the different diseases in the human body. Fingernail analysis is one of the ways to identify disease in the human body. Nails are the body part which are farthest from the heart and therefore receive oxygen at last. As a result the nails are the first who show the symptoms of a disease in the human body. Fingernails can be easily captured for diagnosis and there are no heavy equipment or no specific conditions required to use nail image for disease diagnosis, like in other tests and scanning processes. Human nails deliver beneficial information about complaints or any nutritive imbalances in the human body depending upon their shape, texture and colour. In human beings, numerous systemic and skin diseases can be easily analyzed through careful examination of nails of both the limbs. A lot of nail illnesses have been found to be primary signs of numerous underlying systemic illnesses. The colour, texture or shape changes in nails are signs of many diseases mainly affecting nails. Considering all these properties of nails a system is proposed that uses digital image processing (DIP) methods for identifying such changes in the human nail to get more precise results and predict numerous diseases effortlessly. With the emerging Internet of Things (IOT) concept the generated report is made available remotely, this will help users to reduce transportation efforts. As the system has to deal with large and private data, the security of data must be ensured. To keep the data confidential, the Blockchain concept which is one of the most emerging concepts in the field of data management is used. The paper contains the implementation of the digital image processing for feature extraction of nail images, usage of IOT (ThingSpeak cloud) for data storage and implementation of Blockchain to keep the system secured and theft free. KEY WORDS: Int ernet of thin gs (IOT), Image proc essin g, Thin gSpeak, RG B vavalues, Mean pi xel vavalues, Bloc kchain , Hash key. Disease Diagnostic System: Abnormalities in Human Nail [O] . Pranav S. Wazarkar 2020

机译：摘要的各个身体部位或器官可被分析以识别在人体内的不同的疾病。指甲分析来识别人体疾病的方法之一。指甲是身体一部分是离心脏最远，因此在最后接受氧气。作为结果，指甲是第一谁表现出人体疾病的症状。指甲可以容易地捕获用于诊断和没有重装或需要使用指甲图像用于疾病诊断，比如在其他测试和扫描过程没有特定的条件。人的指甲提供有关投诉或取决于它们的形状，纹理和色彩在人体内的任何营养失衡有益的信息。在人类中，许多全身性皮肤疾病是可以很容易地通过两个四肢指甲的仔细检查分析。很多指甲病已发现众多潜在系统性疾病的主要症状。在指甲的颜色，质地和形状的变化是许多疾病主要影响指甲的迹象。考虑到所有的指甲的这些性能的系统被提出，用于识别人指甲这样的变化以获得更精确的结果，并毫不费力预测许多疾病用途的数字图像处理（DIP）方法。随着物联网（IOT）的概念，新兴的互联网将生成的报告提供远程，这将帮助用户降低运输工作。由于系统必须处理大量的私人数据，数据的安全性必须得到保证。为了保持数据的机密性，使用Blockchain的概念，它是在数据管理领域的大多数新兴的概念之一。本文包含了数字图像处理的指甲图像，IOT（ThingSpeak云）的使用为数据存储和执行Blockchain的特征提取的执行，以保持固定的系统和盗窃免费。关键词：诠释薄GS（IOT），图像的ERNET PROC essin克，薄型gSpeak，RG乙vavalues，平均数PI XEL vavalues，阵营kchain，哈希密钥。疾病诊断系统：在人类指甲异常

Automatic Fine-Grain Locking using Shape Properties

摘要

著录项

相似文献

相关主题

期刊订阅