DOCSLIB.ORG

Cost-E Ective Data Feeds to Blockchains Via Workload-Adaptive Data Replication

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cost-E Ective Data Feeds to Blockchains Via Workload-Adaptive Data Replication Cost-Eective Data Feeds to Blockchains via Workload-Adaptive Data Replication Kai Li Yuzhe Tang∗ Jiaqi Chen [email protected] [email protected] [email protected] Syracuse University Syracuse University Syracuse University Syracuse, NY Syracuse, NY Syracuse, NY Zhehu Yuan† Cheng Xu Jianliang Xu [email protected] [email protected] [email protected] New York University Hong Kong Baptist University Hong Kong Baptist University New York, NY Kowloon, Hong Kong Kowloon, Hong Kong Abstract CCS Concepts: • Security and privacy Distributed ! systems security; • Information systems Remote Feeding external data to a blockchain, a.k.a. data feed, is ! an essential task to enable blockchain interoperability and replication. support emerging cross-domain applications. Given the data- Keywords: Blockchains, data feeds, authenticated data struc- intensive nature of real-life feeds (e.g., high-frequency price tures, data replication, workload awareness, DeFi. updates) and the high cost of using blockchain, namely Gas, it is imperative to reduce the Gas cost of data feeds. Moti- ACM Reference Format: vated by the constant-changing workloads in nancial ap- Kai Li, Yuzhe Tang, Jiaqi Chen, Zhehu Yuan, Cheng Xu, and Jian- liang Xu. 2020. Cost-Eective Data Feeds to Blockchains via plications, this work aims at designing a dynamic, workload- Workload-Adaptive Data Replication . In Middleware’20: ACM/I- approach for Gas cost optimization. This design space aware FIP Middleware, Dec. 7-11, DELFT, The Netherlands. ACM, New York, is understudied in existing blockchain research which has NY, USA, 15 pages. so far focused on static data placement. This work presents GRuB, a cost-eective data feed that 1 Introduction dynamically replicates data between the blockchain and o- A smart contract is a user program that runs on a blockchain, chain cloud storage. GRuB monitors the current workload such as Ethereum [10] and EOS.IO [5]. It holds the promises and makes data-replication decisions in a workload-adaptive to expand the blockchain’s functionalities from the basic fashion. Online algorithms are proposed to bound the worst- cryptocurrency payments to broader applications in decen- case cost in Gas. GRuB’s decision-making components run tralized nance (DeFi), supply chains, online gaming, et al. on the untrusted cloud o-chain for lower Gas, and employs Feeding external data onto the blockchain, a.k.a. data feed, a security protocol to authenticate the data transferred be- is an essential task to enable these blockchain applications. tween the blockchain and cloud. We built a GRuB prototype Today, data feeds are widely adopted, notably in DeFi. For on Ethereum and supported real nancial applications. Us- instance, stablecoins, a cryptocurrency with stable price that ing the workloads reconstructed from Ethereum transaction sees an explosion of interest (as in Facebook’s Libra [11]) history, we evaluate GRuB’s cost and show a Gas saving by and deployment (as in the popular DAI [23] and Tether [24] 10% 74%, in comparison with the static baselines. tokens on Ethereum) since 2019, require feeding real-world ⇠ asset prices to the blockchain, for instance the Ether-price ∗ Corresponding author. feed used in DAI [23]. For another instance, to enable asset † Work is done when the author is an undergraduate at Syracuse University. exchange across dierent blockchains, say allowing a Bitcoin owner to transact with an Ethereum token owner, it entails Permission to make digital or hard copies of all or part of this work for a “side-chain” feed such as BtcRelay [2, 8, 69] to send the re- personal or classroom use is granted without fee provided that copies are not made or distributed for prot or commercial advantage and that copies bear cently found Bitcoin blocks onto Ethereum for verifying Bit- this notice and the full citation on the rst page. Copyrights for components coin deposit. There are many other blockchain applications of this work owned by others than ACM must be honored. Abstracting with that have been or can be enabled by data feeds, including credit is permitted. To copy otherwise, or republish, to post on servers or to decentralized insurance [71], tracing supply-chains [17, 65], redistribute to lists, requires prior specic permission and/or a fee. Request healthcare [51], transparency logging [14, 30, 66], trustless permissions from [email protected]. information-security [15], et al. Middleware’20, DEC 2020, DELFT © 2020 Association for Computing Machinery. Operating today’s data feeds can be an expensive busi- ACM ISBN 978-1-4503-XXXX-X/18/06...$15.00 ness. Specically, many real-world data feeds generate an Doi: 10.1145/3423211.3425696 intensive stream of data updates at a high frequency (e.g., 1 371 Middleware’20, DEC 2020, DELFT Kai Li, Yuzhe Tang, Jiaqi Chen, Zhehu Yuan, Cheng Xu, and Jianliang Xu the price updates in seconds and microseconds). Under these (the trusted blockchain and untrusted cloud) should be dier- data-intensive streams, data feeds, if improperly designed, entiated from the existing work considering only untrusted could cause a heavy use of blockchain and lead to high mon- cloud services [57, 63] and one trusted cloud service out of etary cost, known as Gas [68]. The expense burdens not only multiple clouds [29, 32]. data-feed operators (e.g., ChainLink and MakerDAO) but also the nancial applications running on top of the data feeds Data-consumer DU smart contracts (e.g., decentralized exchanges such as AmpleForth and Syn- smart contracts (DUs) Callbacks gGet theix [48]), eventually transferring to high fees for end users Queries (internal (e.g., users of decentralized exchanges). It is thus impera- calls) Storage-manager Data gPuts smart contract tive to design cost-eective data feeds for scaling blockchain updates KV store applications to support real-world data-intensive scenarios. Storage- Dynamic data replication manager Data The goal of this work is to explore how a dynamic, smart contract producer DO Cloud storage provider (SP) workload-aware design of data feed can eectively save Gas. (DO) The design goal is motivated by 1) the observation that real- world nancial applications exhibit highly dynamic work- Conventional data feed GRuB s data feed (hybrid KV store) load patterns, which present opportunities to reduce costs Figure 1. GRuB’s system models in comparison with the — Intuitively, if one can dynamically adjust the location of model of conventional data feed. Green in this gure illus- the data feeds (w.r.t. the blockchain) according to the current trates smart contracts running on a blockchain, and red is data supply-demand, the Gas cost caused by the repeated the cloud service provider SP who is the adversary. use of blockchains could be avoided. See the next two para- The key decision to make in GRuB is whether and when a graphs for a detailed justication. 2) Furthermore, the design data record in the feed should be replicated onto the smart- space of a workload-aware approach has not been studied contract storage on a blockchain. Always storing a replica in the existing blockchain-systems research. While there of the data being read, on the one hand, can benet future is a large body of research works on reducing blockchain data reads by avoiding loading data onto the blockchain re- costs, notably the layer-two protocols exemplied by pay- peatedly. On the other hand, if there are no future reads, ment channels [16, 35, 52, 56] that aim to place application such a data replica would be wasted. Thus, GRuB chooses to logic othe blockchain, all existing approaches are based replicate data in a workload-adaptive manner: If the current on static data placement. That is, the placement of data and workload is dominated by the reads from DUs, the GRuB computation w.r.t. blockchains stays xed once the system would decide to store a data replica on the blockchain. Oth- starts running, and it does not reect the constant change erwise, if the current workload is dominated by the updates in the workloads. The design space of a dynamic, workload- from the DO, the GRuB would decide to avoid replicating aware approach to optimize smart-contract costs for data data on chain. This design systematically avoids the two feeds is an uncharted territory. most expensive operations in Gas. That is, replicating data This work presents GRuB, a workload-adaptive data repli- on chain under read-intensive workloads can avoid the ex- cation framework for cost-eective data feeding. The system pensive transactions otherwise needed to bring data onto the model is a data pipeline involving three actors: As illustrated blockchain, and evicting data replicas under write-intensive in the left part of Figure 1, an o-chain data producer (DO) workloads can prevent the expensive storage writes in smart feeds a stream of data updates to multiple data-consumer contracts. See Section 2.2 for details on Ethereum’s Gas-based smart contracts (DUs) on the blockchain. The data ow is cost model and Section 2.3 for a basic measurement study coordinated by an intermediarykey-value (KV) store between that corroborates our insight here. the DO and DUs. A conventional design of data feed is to Dynamic decision making w.r.t. data replication has been realize the KV store in a smart contract that accepts DO’s a well-studied research topic in conventional distributed sys- data updates in transactions and DU’s queries in contract tems. Briey, a common approach [42] is to model the target internal calls. An alternative design is to statically place the system by multiple “sites”, and run workload monitoring KV store othe blockchain (e.g., the static o-chain feed, and decision making distributedly on each site. These solu- TownCrier [71]). By contrast, GRuB is a KV store built on tions lay an important foundation for designing dynamic hybrid storage media: By default, the data updates are per- data-replication in GRuB.
Load more

Recommended publications
  • Master Thesis
    Master thesis To obtain a Master of Science Degree in Informatics and Communication Systems from the Merseburg University of Applied Sciences Subject: Tunisian truck license plate recognition using an Android Application based on Machine Learning as a detection tool Author: Supervisor: Achraf Boussaada Prof.Dr.-Ing. Rüdiger Klein Matr.-Nr.: 23542 Prof.Dr. Uwe Schröter Table of contents Chapter 1: Introduction ................................................................................................................................. 1 1.1 General Introduction: ................................................................................................................................... 1 1.2 Problem formulation: ................................................................................................................................... 1 1.3 Objective of Study: ........................................................................................................................................ 4 Chapter 2: Analysis ........................................................................................................................................ 4 2.1 Methodological approaches: ........................................................................................................................ 4 2.1.1 Actual approach: ................................................................................................................................... 4 2.1.2 Image Processing with OCR: ................................................................................................................
    [Show full text]
  • An Accuracy Examination of OCR Tools
    International Journal of Innovative Technology and Exploring Engineering (IJITEE) ISSN: 2278-3075, Volume-8, Issue-9S4, July 2019 An Accuracy Examination of OCR Tools Jayesh Majumdar, Richa Gupta texts, pen computing, developing technologies for assisting Abstract—In this research paper, the authors have aimed to do a the visually impaired, making electronic images searchable comparative study of optical character recognition using of hard copies, defeating or evaluating the robustness of different open source OCR tools. Optical character recognition CAPTCHA. (OCR) method has been used in extracting the text from images. OCR has various applications which include extracting text from any document or image or involves just for reading and processing the text available in digital form. The accuracy of OCR can be dependent on text segmentation and pre-processing algorithms. Sometimes it is difficult to retrieve text from the image because of different size, style, orientation, a complex background of image etc. From vehicle number plate the authors tried to extract vehicle number by using various OCR tools like Tesseract, GOCR, Ocrad and Tensor flow. The authors in this research paper have tried to diagnose the best possible method for optical character recognition and have provided with a comparative analysis of their accuracy. Keywords— OCR tools; Orcad; GOCR; Tensorflow; Tesseract; I. INTRODUCTION Optical character recognition is a method with which text in images of handwritten documents, scripts, passport documents, invoices, vehicle number plate, bank statements, Fig.1: Functioning of OCR [2] computerized receipts, business cards, mail, printouts of static-data, any appropriate documentation or any II. OCR PROCDURE AND PROCESSING computerized receipts, business cards, mail, printouts of To improve the probability of successful processing of an static-data, any appropriate documentation or any picture image, the input image is often ‘pre-processed’; it may be with text in it gets processed and the text in the picture is de-skewed or despeckled.
    [Show full text]
  • Enforcing Abstract Immutability
    Enforcing Abstract Immutability by Jonathan Eyolfson A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Electrical and Computer Engineering Waterloo, Ontario, Canada, 2018 © Jonathan Eyolfson 2018 Examining Committee Membership The following served on the Examining Committee for this thesis. The decision of the Examining Committee is by majority vote. External Examiner Ana Milanova Associate Professor Rensselaer Polytechnic Institute Supervisor Patrick Lam Associate Professor University of Waterloo Internal Member Lin Tan Associate Professor University of Waterloo Internal Member Werner Dietl Assistant Professor University of Waterloo Internal-external Member Gregor Richards Assistant Professor University of Waterloo ii I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. iii Abstract Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support “abstract immutability”. An abstractly immutable object is an object o which is immutable from the point of view of any external methods. The C++ programming language is not rigid—it allows developers to express intent by adding immutability declarations to methods. Abstract immutability allows for performance improvements such as caching, even in the presence of writes to object fields. This dissertation presents a system to enforce abstract immutability. First, we explore abstract immutability in real-world systems. We found that developers often incorrectly use abstract immutability, perhaps because no programming language helps developers correctly implement abstract immutability.
    [Show full text]
  • CSI: Inferring Mobile ABR Video Adaptation Behavior Under HTTPS and QUIC
    CSI: Inferring Mobile ABR Video Adaptation Behavior under HTTPS and QUIC Shichang Xu Subhabrata Sen Z. Morley Mao University of Michigan AT&T Labs – Research University of Michigan Abstract Server Manifest Network Client Mobile video streaming services have widely adopted Adap- Chunks HTTP tive Bitrate (ABR) streaming to dynamically adapt the stream- Track ing quality to variable network conditions. A wide range of 720p 1 Buffer third-party entities such as network providers and testing 480p IP packets services need to understand such adaptation behavior for 360p 1 2 3 Index purposes such as QoE monitoring and network management. CSI The traditional approach involved conducting test runs and analyzing the HTTP-level information from the associated network traffic to understand the adaptation behavior under Figure 1. ABR streaming overview different network conditions. However, end-to-end traffic encryption protocols such as HTTPS and QUIC are being increasingly used by streaming services, hindering such tra- Rate (ABR) streaming (predominantly HLS [75] and DASH [31]) ditional traffic analysis approaches. has been widely adopted in industry for delivering satisfac- To address this, we develop CSI (Chunk Sequence Infer- tory Quality of Experience (QoE) over dynamic cellular net- encer), a general system that enables third-parties to conduct work conditions. The server encodes each video into multiple active measurements and infer mobile ABR video adapta- versions with different picture quality levels and encoding tion behavior based on packet size and timing information bitrates (with higher bitrates for higher-quality encodings) still available in the encrypted traffic. We perform exten- called tracks, and splits each track into shorter chunks, each sive evaluations and demonstrate that CSI achieves high representing a few seconds worth of playback content (Fig- inference accuracy for video encodings of popular streaming ure 1).
    [Show full text]
  • Expense Tracking Mobile Application with Receipt Scanning Functionality Bachelor’S Thesis
    TALLINN UNIVERSITY OF TECHNOLOGY Faculty of Information Technology Department of Computer Science Chair of Network Software Expense tracking mobile application with receipt scanning functionality Bachelor’s thesis Student: Roman Kaskman Student code: 113089 IAPB Advisor: Roger Kerse Tallinn 2015 Author’s declaration I declare that this thesis is the result of my own research except as cited in the references. The thesis has not been accepted for any degree and is not concurrently submitted in candidature of any other degree. 25.05.2015 Roman Kaskman (date) (signature) Abstract The purpose of this thesis is to create a mobile application for expense tracking, with the main focus on functionality allowing to take pictures of receipts issued by Estonian enterprises, extract basic expense information from the captured receipt images and store extracted expenses information in authenticated user’s expense list. The main problems covered in this work are finding the best architectural and design solutions for the application from the perspective of performance, usability, security and further development as well as researching and implementing techniques to handle expense recognition from receipts in an efficient way. As a result of the thesis, a working implementation of expense tracking mobile application for Android appears. After functionality of expenses information extraction from receipt images passes the testing phase, conclusion regarding its reliability is made. Moreover, proposals for further improvements of the application’s functionality are also presented. The thesis is in English and contains 53 pages of text, 6 chapters and 14 figures. Annotatsioon Käesoleva bakalaureusetöö eesmärk on luua mobiilirakendus kasutaja kulude üle arvestuse pidamiseks ja dokumenteerimiseks.
    [Show full text]
  • Character Recognition in Natural Images Utilising Tensorflow
    DEGREE PROJECT IN TECHNOLOGY, FIRST CYCLE, 15 CREDITS STOCKHOLM, SWEDEN 2017 Character Recognition in Natural Images Utilising TensorFlow ALEXANDER VIKLUND EMMA NIMSTAD KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF COMPUTER SCIENCE AND COMMUNICATION Character Recognition in Natural Images Utilising TensorFlow ALEXANDER VIKLUND EMMA NIMSTAD Degree project in Computer Science, DD143X Date: June 12, 2017 Supervisor: Kevin Smith Examiner: Örjan Ekeberg Swedish title: Teckenigenkänning i naturliga bilder med TensorFlow School of Computer Science and Communication Abstract Convolutional Neural Networks (CNNs) are commonly used for character recogni- tion. They achieve the lowest error rates for popular datasets such as SVHN and MNIST. Usage of CNN is lacking in research about character classification in nat- ural images regarding the whole English alphabet. This thesis conducts an experi- ment where TensorFlow is used to construct a CNN that is trained and tested on the Chars74K dataset, with 15 images per class for training and 15 images per class for testing. This is done with the aim of achieving a higher accuracy than the non-CNN approach by de Campos et al. [1], that achieved 55:26%. The thesis explores data augmentation techniques for expanding the small training set and evaluates the result of applying rotation, stretching, translation and noise- adding. The result of this is that all of these methods apart from adding noise gives a positive effect on the accuracy of the network. Furthermore, the experiment shows that with a three layered convolutional neural network it is possible to create a character classifier that is as good as de Campos et al.’s.
    [Show full text]
  • Wen-Chieh Wu Technical LEAD · SOFTWARE Architect · FULL STACK Engineer
    Wen-Chieh Wu TECHNiCAL LEAD · SOFTWARE ARCHiTECT · FULL STACK ENGiNEER [email protected] | jeromewu.github.io | jeromewu | wenchiehwu | jeromewus Summary Passionate problem solver, technology enthusiast, compassionate leader with 7+ years as software engineer and architect and 5+ years as technical lead in multidisciplinary environments. Excel in leadership, critical thinking, communication and software engineering & architecture . Strong skills in JavaScript (incl. React, Express), Golang, Docker, CI/CD pipelines and software architecture design. Major contributor of tesseract.js (24.8k+ stars) and ffmpeg.wasm (6.1k+ stars). Certified architecting, data engineering, big data and machine learning specializations in Google Cloud Platform. Work Experience ByteDance Singapore STAFF SOFTWARE ENGiNEER Aug. 2021 ‑ PRESENT INTELLLEX Singapore TECHNiCAL LEAD Apr. 2020 ‑ Jul. 2021 • Led a team of backend and frontend engineers to develop knowledge platform for law. • Led re‑architecture project which eliminates 10+ redundant services, boosts observability and flexibility of data analysis pipeline and reduce cost • Reduced 30% of AWS cost in 2 months • Succeed in supporting to pass company ISO 27001 annual audit without any NC. Delta Electronics Taipei City, Taiwan SOFTWARE ARCHiTECT & PRODUCT MANAGER May 2019 ‑ Mar. 2020 • Established a cross‑region project team with 10+ members to research and develop an edge computing solution in manufacturing industry. • Designed a microservice software architecture for edge computing solution to enable flexiblity and scalibility. • Adopted gitlab‑CI and Ansible to deploy microservices in Kubernetes cluster to minize deployment efforts. • Developed a tensorflow serving like interface library in Golang. SENiOR TECHNiCAL LEAD Feb. 2018 ‑ May 2019 (1 year 4 months) • Established a corss‑region team of engineers, designers and QA with 20+ members in charge of front‑end development.
    [Show full text]
  • Multilingual String Verification for Automotive Instrument Cluster Using Artificial Intelligence
    WHITE PAPER www.visteon.com Multilingual String Verification for Automotive Instrument Cluster Using Artificial Intelligence Multilingual string verification for automotive instrument cluster Using Artificial Intelligence Deepan Raj M a, Prabu A b Software Engineer at Visteon Technical & Services Centre, Chennai a Technical Profession at Visteon Technical & Services Centre, Chennai b Abstract: Validation of HMI contents in Driver information system, In-Vehicle Infotainment, and Centre media Display is a big challenge as it prone human manual testing errors. Automating the text verification for multi languages and horizontal/vertical scrolling text is difficult challenge as the intelligence needed to achieve is high. To mitigate this effect vision based machine/deep learning algorithms will be implemented in such a way that three important applications have been created which serves to be the mother code for all the features that involves text as it main component of automated testing. They are 1. Multilingual text verification at various illuminations, grade out conditions and various background gradients using Opencv and Tesseract-OCR. 2. Horizontal & Vertical scrolling text using image key point stitching. 3. Automatic region of interest generation for text regions in the message center display using inception v3 deep neural network architecture. With the power of artificial intelligence in validating text makes it easier to automate with greater accuracy and can also be implemented in other areas like User Setting Menu traversal verification, Clock verification and much can be automated with less time and higher accuracy. Keywords: Computer Vision, Machine Learning, Deep learning, Neural Networks, OCR, automating validation. 1. INTRODUCTION: In recent years there has been a drastic improvement in the field of automobile, all the analog and semi digital clusters are being changed to full digital cluster, and lot of driver assisting feature are being added as the days goes on.
    [Show full text]
  • Android Optical Character Recognition
    Imperial Journal of Interdisciplinary Research (IJIR) Vol-3, Issue-4, 2017 ISSN: 2454-1362, http://www.onlinejournal.in Android Optical Character Recognition 1 2 3 Shital Malhar , Manasi Gosavi , Pooja Lad 1,2,3 Dilkap Research Institute of Engineering and Management Studies, Neral. (Mumbai University) operating system which can run on every mobile Abstract - The next generation open operating device and not for their specific mobile devices systems are not on desktops or mainframes but on itself. This enables them to reach as many people as the small mobile devices people carry every day. possible. This application is useful for native The openness of these new environments leads to Tourists and Travellers who possess Android Smart new applications and markets and enables greater phones. The main objective of this application is to integration. Every day a Smartphone user may look help tourist to travel easily and freely without any for a new application dedicated for his need. difficulty. The proposed application also provides Android makes it easier for consumers to get and currency convertor, a real market value. use new content and applications on their Smart phones. The Proposed project presents an 1.1 Problem Definition extremely on-demand, fast and user friendly Android Application. This application is useful for The Project presents an extremely on-demand, fast native Tourists and Travellers who possess Android and user friendly Android Application. This Smart phones. One of the feature in application is it application is useful for native Tourists and enables Travellers and Tourists to easily capture Travelers who possess Android Smart phones.
    [Show full text]
  • 5 VI June 2017
    5 VI June 2017 www.ijraset.com Volume 5 Issue VI, June 2017 IC Value: 45.98 ISSN: 2321-9653 International Journal for Research in Applied Science & Engineering Technology (IJRASET) An Innovative Communication System For Deaf, Dumb and Blind People 1 2 3 4 5 Anish Kumar , Rakesh Raushan , Saurabh Aditya , Vishal Kumar Jaiswal , Mrs. Divyashree Y.V. (Asst. Prof) 1,2,3,4.5 Dept. of ECE, SJBIT, Bangalore, Karnataka, India Abstract: One of the most precious gifts to a human being is an ability to see, listen, speak and respond according to the situations. But there are some unfortunate ones who are deprived of this. Making a single compact device for people with Visual, Hearing and Vocal impairment is a tough job. Communication between deaf-dumb and normal person have been always a challenging task. This paper proposes an innovative communication system framework for deaf, dumb and blind people in a single compact device. We provide a technique for a blind person to read a text and it can be achieved by capturing an image through a camera which converts a text to speech (TTS). It provides a way for the deaf people to read a text by speech to text (STT) conversion technology. Also, it provides a technique for dumb people using text to voice conversion. The system is provided with four switches and each switch has a different function. The blind people can be able to read the words using by Tesseract OCR (Online Character Recognition), the dumb people can communicate their message through text which will be read out by espeak, the deaf people can be able to hear others speech from text.
    [Show full text]
  • C++ Const and Immutability: an Empirical Study of Writes-Through-Const
    C++ const and Immutability: An Empirical Study of Writes-Through-const Jon Eyolfson1 and Patrick Lam2 1 University of Waterloo Waterloo, ON, Canada rtifact Comple * A t * te n * A te * W is E s e P n [email protected] l C l o D O C o * * c u O e m s E u C 2 University of Waterloo e e n R E t v e o d t y * s E a a * l d u e a Waterloo ON, Canada t [email protected] Abstract The ability to specify immutability in a programming language is a powerful tool for developers, enabling them to better understand and more safely transform their code without fearing unin- tended changes to program state. The C++ programming language allows developers to specify a form of immutability using the const keyword. In this work, we characterize the meaning of the C++ const qualifier and present the ConstSanitizer tool, which dynamically verifies a stricter form of immutability than that defined in C++: it identifies const uses that are either not con- sistent with transitive immutability, that write to mutable fields, or that write to formerly-const objects whose const-ness has been cast away. We evaluate a set of 7 C++ benchmark programs to find writes-through-const, establish root causes for how they fail to respect our stricter definition of immutability, and assign attributes to each write (namely: synchronized, not visible, buffer/cache, delayed initialization, and incorrect). ConstSanitizer finds 17 archetypes for writes in these programs which do not respect our version of immutability.
    [Show full text]
  • Developing Mobile Application to Help Disabled People
    MOHAMMED PEOPLE WITH MACULAR WITH TO DEGENERATION MOHAMMEDSEE PEOPLE RAFIA KHALLEEFAH DEVELOPING MOBILE APPLICATION TO HELP DISABLED PEOPLE WITH MACULAR DEGENERATION HAMAD A THESIS SUBMITTED TO THE GRADUATE SCHOOL OF APPLIED SCIENCES OF NEAR EAST UNIVERSITY DEVELOPING MOBILE MOBILE HELPAPPLICATION DISABLED TO DEVELOPING By RAFIA KHALLEEFAH HAMAD MOHAMMED In Partial Fulfilment of the Requirements for the Degree of Master of Science 2018 in Computer Information Systems NEU NICOSIA, 2018. DEVELOPING MOBILE APPLICATION TO HELP DISABLED PEOPLE WITH MACULAR DEGENERATION A THESIS SUBMITTED TO THE GRADUATE SCHOOL OF APPLIED SCIENCES OF NEAR EAST UNIVERSITY By RAFIA KHALLEEFAH HAMAD MOHAMMED In Partial Fulfilment of the Requirements for the Degree of Master of Science in Computer Information Systems NICOSIA, 2018. Rafia Khalleefah Hamad MOHAMMED: DEVELOPING MOBILE APPLICATION TO HELP DISABLED PEOPLE WITH MACULAR DEGENERATION Approval of Director of Graduate School of Applied Sciences Prof. Dr. Nadire CAVUS We certify this thesis is satisfactory for the award of the degree of Masters of Science in Computer Information Systems Examining Committee in Charg I hereby declare that all information in this document has been obtained and presented in accordance with academic rules and ethical conduct. I also declare that, as required by these rules and conduct, I have fully cited and referenced all material and results that are not original to this work. Name, Last name:RAFIA MOHAMMED Signature: Date:3/12/2018 i ACKNOWLEDGEMENTS This thesis would not have been possible without the help, support and patience of my principal supervisor, my deepest gratitude goes toProf.Dr. Dogan Ibrahim, for his constant encouragement and guidance.
    [Show full text]