DOCSLIB.ORG

General Documentation - Revision 1.64 Christian Queinnec

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
General Documentation - Revision 1.64 Christian Queinnec DMeroon, A Distributed Class-based Causally-Coherent Data Model — General documentation - Revision 1.64 Christian Queinnec To cite this version: Christian Queinnec. DMeroon, A Distributed Class-based Causally-Coherent Data Model — General documentation - Revision 1.64. [Research Report] lip6.1998.039, LIP6. 1998. hal-02547797 HAL Id: hal-02547797 https://hal.archives-ouvertes.fr/hal-02547797 Submitted on 20 Apr 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. DMeroon A Distributed Classbased CausallyCoherent Data Mo del General do cumentation Revision Christian Queinnec Universite Paris Pierre et Marie Curie LIP place Jussieu Paris Cedex France Ml ChristianQueinneclip fr DMeroon provides a data mo del ab ove a coherently distributed shared memory DMeroon allows multiple users to statically or dynamically create new classes hierarchically organized to dynamically instantiate these classes and to dynamically and coherently share the resulting instances over a network DMeroon automatically takes care of representation and alignment marshaling and unmarshaling ob jects migrating and sharing ob jects lo cal and global garbage collections This do cument describ es DMeroon its philosophy of design its architecture and principles of implemen tation and its bindings with various languages It also presents some internal details within DMeroon or some applications ab ove DMeroon This document tries to present the overlines of DMeroon in places it describes features which are not implemented in some other places there are implemented features that are not documented I packed it up in order for interested people to get an idea and perhaps induce them to pursue my eort or denitively convince me of its little value I have a lot of lectures to prepare for the fol lowing months and wil l not be able to devote much time to DMeroon Contents Introduction to DMeroon Ab out this do cument Ab out DMeroon Frequently Asked Questions Acknowledgments Fundamental data mo del Types of elds Access to elds Distributed asp ects Clo cks Sites Classbased mo del Main predened classes Abstract API Initialization Class Fields Allo cation Site Clo ck Communication Equality Ubiquity DMeroon as a server Miscellaneous C binding Functions Global variables Contexts Error co des Static generation of classes Tutorial examples Dynamic creation Static denition Recursive class CONTENTS Scheme binding Functions Variables Libraries Tools DMeroonet Scheme p eculiarities Biglo o DMeroonScript binding Programs Constants Access to eld Commands Basic commands Vocabulary commands Stack commands Bo olean commands Arithmetic commands Meta commands Miscellaneous commands DMeroon API Debugging command Use DMeroonScript API Explicit evaluation Development environment Examples Icslas binding App endices A DMeroon source les A Structures of les A The TOP DMeroonc directory A Rebuilding DMeroon A Other les A C A Biglo o A Binding DMeroon A The dmxxxh header A The dmxxxc le A The xxxmkf le A Writing co de for DMeroon B Ob ject internal representations B Lo cal ob ject B Uninitialized .
Load more

Recommended publications
  • Lisp Exercises
    Language-Oriented Programming Assignment Author: Prof. Dr. Bernhard Humm, Darmstadt University of Applied Sciences More Lisp exercises You can find a list of 99 Lisp problems on http://picolisp.com/wiki/?99problems . Select problems you like most. Below you find a selection by me. For all problems: 1. Use recursion and the functions for list processing and mathematics presented in the lecture. You may also use the higher-order functions detect, select, collect, and reduce for solving the exercises. Do not use the Lisp loop macro! 2. Implement a test case and a suitable function and then test your implementation. 1 Working with lists P03 (*) Find the K'th element of a list. The first element in the list is number 1. Example: * (element-at '(a b c d e) 3) C P05 (*) Reverse a list. P06 (*) Find out whether a list is a palindrome. A palindrome can be read forward or backward; e.g. (x a m a x). P15 (**) Replicate the elements of a list a given number of times. Example: * (repli '(a b c) 3) (A A A B B B C C C) Page 1 Language-Oriented Programming P22 (*) Create a list containing all integers within a given range. If second argument is smaller than first, produce a list in descending order. Example: * (range 4 9) (4 5 6 7 8 9) 2 Arithmetic P31 (**) Determine whether a given integer number is prime. Example: * (is-prime 7) T P32 (**) Determine the greatest common divisor of two positive integer numbers. Use Euclid's algorithm. Example: * (gcd 36 63) 9 P35 (**) Determine the prime factors of a given positive integer.
    [Show full text]
  • Mixing R with Other Languages JOHN D
    Mixing R with other languages JOHN D. COOK, PHD SINGULAR VALUE CONSULTING Why R? Libraries, libraries, libraries De facto standard for statistical research Nice language, as far as statistical languages go “Quirky, flawed, and an enormous success.” Why mix languages? Improve performance of R code Execution speed (e.g. loops) Memory management Raid R’s libraries How to optimize R Vectorize Rewrite not using R A few R quirks Everything is a vector Everything can be null or NA Unit-offset vectors Zero index legal but strange Negative indices remove elements Matrices filled by column by default $ acts like dot, dot not special C package interface Must manage low-level details of R object model and memory Requires Rtools on Windows Lots of macros like REALSXP, PROTECT, and UNPROTECT Use C++ (Rcpp) instead “I do not recommend using C for writing new high-performance code. Instead write C++ with Rcpp.” – Hadley Wickham Rcpp The most widely used extension method for R Call C, C++, or Fortran from R Companion project RInside to call R from C++ Extensive support even for advanced C++ Create R packages or inline code http://rcpp.org Dirk Eddelbuettel’s book Simple Rcpp example library(Rcpp) cppFunction('int add(int x, int y, int z) { int sum = x + y + z; return sum; }') add(1, 2, 3) .NET RDCOM http://sunsite.univie.ac.at/rcom/ F# type provider for R http://bluemountaincapital.github.io/FSharpRProvider/ R.NET https://rdotnet.codeplex.com/ SQL Server 2016 execute sp_execute_external_script @language = N'R' , @script =
    [Show full text]
  • IDOL Connector Framework Server 12.0 Administration Guide
    Connector Framework Server Software Version 12.0 Administration Guide Document Release Date: June 2018 Software Release Date: June 2018 Administration Guide Legal notices Copyright notice © Copyright 2018 Micro Focus or one of its affiliates. The only warranties for products and services of Micro Focus and its affiliates and licensors (“Micro Focus”) are set forth in the express warranty statements accompanying such products and services. Nothing herein should be construed as constituting an additional warranty. Micro Focus shall not be liable for technical or editorial errors or omissions contained herein. The information contained herein is subject to change without notice. Trademark notices Adobe™ is a trademark of Adobe Systems Incorporated. Microsoft® and Windows® are U.S. registered trademarks of Microsoft Corporation. UNIX® is a registered trademark of The Open Group. Documentation updates The title page of this document contains the following identifying information: l Software Version number, which indicates the software version. l Document Release Date, which changes each time the document is updated. l Software Release Date, which indicates the release date of this version of the software. To verify you are using the most recent edition of a document, go to https://softwaresupport.softwaregrp.com/group/softwaresupport/search-result?doctype=online help. You will also receive new or updated editions of documentation if you subscribe to the appropriate product support service. Contact your Micro Focus sales representative for details. To check for new versions of software, go to https://www.hpe.com/software/entitlements. To check for recent software patches, go to https://softwaresupport.softwaregrp.com/patches. The sites listed in this section require you to sign in with a Software Passport.
    [Show full text]
  • Comparative Programming Languages CM20253
    We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily
    [Show full text]
  • Simplicity and Minimalism in Software Development
    Simplicity and minimalism in software development Introduction ● My name is Mattias Sundblad, I have been working as a software developer since 2006. ● I have worked for large corporations, small start- ups and non-profit organisations. ● First started working for a non-profit organisation in 2010. Since then, I have been both employed and worked as a volunteer at various times. ● I used to work mostly with Java, Python and Django. Examples of projects ● Webshop, still in use. ● Previous version of the main website ● Various systems used internally Involvement in the Picolisp community ● Involved for around 5 years ● Provided Swedish localisation, translations ● Wrote manuals and documentation ● Regular visitor in community IRC channel, #picolisp on Freenode Picolisp? ● A language in the Lisp family of programming languages. Examples of other members: Common Lisp, Emacs Lisp, Clojure. ● Picolisp was created by Alexander Burger and has been in production use since 1988. ● Implements a Lisp language on top of a simple virtual machine architecture. ● Runs on 32- and 64- bit Linux/ BSD, Android. Intel and ARM CPU Discerning features of Picolisp ● Simplicity. ● Expressiveness. ● A language and a complete programming system. Very few external dependencies. ● An interpreted Lisp. No compiler involved. The code you write is the code that runs. ● Efficient, both in terms of machine resources and programmer effort. Writing Picolisp applications ● The system comes with an HTML- based GUI library. Applications are accessed through a web browser. ● Database functionality is included in the language. No need to leave Lisp to deal with PostgreSQL, MySQL etc. ● HTTP server included. No need to setup and configure Nginx, Apache etc.
    [Show full text]
  • Database Management Systems Ebooks for All Edition (
    Database Management Systems eBooks For All Edition (www.ebooks-for-all.com) PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Sun, 20 Oct 2013 01:48:50 UTC Contents Articles Database 1 Database model 16 Database normalization 23 Database storage structures 31 Distributed database 33 Federated database system 36 Referential integrity 40 Relational algebra 41 Relational calculus 53 Relational database 53 Relational database management system 57 Relational model 59 Object-relational database 69 Transaction processing 72 Concepts 76 ACID 76 Create, read, update and delete 79 Null (SQL) 80 Candidate key 96 Foreign key 98 Unique key 102 Superkey 105 Surrogate key 107 Armstrong's axioms 111 Objects 113 Relation (database) 113 Table (database) 115 Column (database) 116 Row (database) 117 View (SQL) 118 Database transaction 120 Transaction log 123 Database trigger 124 Database index 130 Stored procedure 135 Cursor (databases) 138 Partition (database) 143 Components 145 Concurrency control 145 Data dictionary 152 Java Database Connectivity 154 XQuery API for Java 157 ODBC 163 Query language 169 Query optimization 170 Query plan 173 Functions 175 Database administration and automation 175 Replication (computing) 177 Database Products 183 Comparison of object database management systems 183 Comparison of object-relational database management systems 185 List of relational database management systems 187 Comparison of relational database management systems 190 Document-oriented database 213 Graph database 217 NoSQL 226 NewSQL 232 References Article Sources and Contributors 234 Image Sources, Licenses and Contributors 240 Article Licenses License 241 Database 1 Database A database is an organized collection of data.
    [Show full text]
  • Cells in Picolisp
    Cells in PicoLisp Idea: @tankf33der Review: @Regenaxer Revision: 24 June 2020 CC0 1 Fundamental overview CELL 2 +-----+-----+ | CAR | CDR | +-----+-----+ The PicoLisp reference says: 1. A cell is a pair of machine words, which traditionally are called CAR and CDR in the Lisp terminology. 2. These words can represent either a numeric value (scalar) or the address of another cell (pointer). 3. All higher level data structures are built out of cells. 3 +-----+-----+ | CAR | CDR | +-----+-----+ The PicoLisp reference says: 1. A cell is a pair of machine words, which traditionally are called CAR and CDR in the Lisp terminology. 2. These words can represent either a numeric value (scalar) or the address of another cell (pointer). 3. All higher level data structures are built out of cells. // src/pico.h typedef struct cell { struct cell *car; struct cell *cdr; } cell, *any; Yes, two identical types 4 +-----+-----+ | CAR | CDR | +-----+-----+ The PicoLisp reference says: 1. A cell is a pair of machine words, which traditionally are called CAR and CDR in the Lisp terminology. 2. These words can represent either a numeric value (scalar) or the address of another cell (pointer). 3. All higher level data structures are built out of cells. // src/pico.h typedef struct cell { struct cell *car; struct cell *cdr; } cell, *any; Yes, two identical types Yes, can store identical values 5 +-----+-----+ | CAR | CDR | +-----+-----+ The PicoLisp reference says: 1. A cell is a pair of machine words, which traditionally are called CAR and CDR in the Lisp terminology. 2. These words can represent either a numeric value (scalar) or the address of another cell (pointer).
    [Show full text]
  • Performance Comparison of the Most Popular Relational and Non-Relational Database Management Systems
    Master of Science in Software Engineering February 2018 Performance comparison of the most popular relational and non-relational database management systems Kamil Kolonko Faculty of Computing Blekinge Institute of Technology SE-371 79 Karlskrona Sweden This thesis is submitted to the Faculty of Computing at Blekinge Institute of Technology in partial fulfillment of the requirements for the degree of Master of Science in Software Engineering. The thesis is equivalent to 20 weeks of full time studies. Contact Information: Author(s): Kamil Kolonko E-mail: [email protected], [email protected] External advisor: IF APPLICABLE University advisor: Javier González-Huerta Department of Software Engineering Faculty of Computing Internet : www.bth.se Blekinge Institute of Technology Phone : +46 455 38 50 00 SE-371 79 Karlskrona, Sweden Fax : +46 455 38 50 57 i i ABSTRACT Context. Database is an essential part of any software product. With an emphasis on application performance, database efficiency becomes one of the key factors to analyze in the process of technology selection. With a development of new data models and storage technologies, the necessity for a comparison between relational and non-relational database engines is especially evident in the software engineering domain. Objectives. This thesis investigates current knowledge on database performance measurement methods, popularity of relational and non-relational database engines, defines characteristics of databases, approximates their average values and compares the performance of two selected database engines. Methods. In this study a number of research methods are used, including literature review, a review of Internet sources, and an experiment. Literature datasets used in the research incorporate over 100 sources including IEEE Xplore and ACM Digital Library.
    [Show full text]
  • Use Style: Paper Title
    Reviving Lisp for smaller programmable machines Raman Gopalan Volunteer free software programmer, SimpleMachines, Italy April 2015 Accepted for publication in “Electronics for you”, India (Article number: 9960) Abstract — “if some languages claim to be the Swiss army the near future. Figure 1 presents the system architecture of a knife of programming, then Pico Lisp may well be called the natively programmable, digitally controlled system. scalpel of programming: sharp, accurate, small, lightweight but also dangerous in the hands of the inexperienced”. Lisp offers a practical mathematical notation to write computer programs, mostly being influenced by lambda calculus. It is still the most favored programming language for artificial intelligence research. Programming microcontrollers is a real challenge, given the complexity of today’s microcontroller architecture. The C language is widely used to program them. The philosophy of cross-compiling a program for the target seems to be the most popular choice among microcontroller aficionados. An ARM Cortex M4 clone (such as the Infineon XMC4500) typically has about a megabyte of flash and a few hundred kilobytes of internal RAM. With resources of that order on the chip, a much more interesting approach is to program the device natively with a powerful, dynamic language like Lisp. Figure 1: General MCU software system with a VM layer This project aims at reviving Lisp for native, interactive and incremental microcontroller program development by running With the above architecture, it is possible to write abstract, a dialect of Lisp as virtual machine on the target. The project self-adapting middle-level drivers for hardware modules on also demonstrates the power of Lisp through the execution of the microcontroller.
    [Show full text]
  • Citation File Format (CFF)
    Citation File Format (CFF) Stephan Druskat ([email protected]) 06 October 2017 Abstract The Citation File Format (CFF) is a human- and machine-readable format for CITATION files. These files provide citation metadata for (research and scientific) software. The format aims to support all use cases for software citation described in [1]. CFF is serialized in YAML 1.2, and is therefore Unicode-based and cross- language (in terms of both natural language scripts and programming languages). This specification, together with the Unicode standard for characters, aims to provide all the information necessary to understand CFF, and to use (i.e., write) and re-use (i.e., read, validate, convert from) it. These specifications are maintained openly at https://github.com/sdruskat/citation-file-format. Contents Introduction 2 Status of this document .............................................. 2 Rationale ...................................................... 2 Goals ........................................................ 3 Concepts ...................................................... 3 Format 3 File structure .................................................... 3 Reference structure .............................................. 4 Notable reference keys ............................................ 4 Formatting ..................................................... 5 Reference keys ................................................... 5 Exemplary uses ................................................ 8 Reference types ..................................................
    [Show full text]
  • The Picolisp 'Edit'
    The PicoLisp 'edit' Function Browsing a Distributed Database With a Text Editor Alexander Burger [email protected] 2011-07-29 Abstract The 'edit' function in PicoLisp can edit the value and properties of any Lisp symbol, and follow references to symbols referred from these data. As database objects (including those of remote/distributed systems) are nothing more than Lisp symbols (mapped transparently into the current scope), a single edit session can possibly span the whole system. Using 'edit' On Browsing the Database or Arbitrary Data Structures and Definitions A quite powerful - but little known - function in PicoLisp is 'edit1'. It allows you to edit any Lisp symbol (intern, transient or extern), by pretty2-printing its value and properties to a temporary file, calling an external editor, and 'read3'ing back the changes when done. For the external editor, currently 'vim' is supported. The clou: You can \click" on any other symbol somewhere embedded in the nested structures of the value or property list, to have it added to the editor screen, and thus browse through potentially the whole system. This works transparently not only for internal symbols, but also for transient (which are normally not directly accessible) and external (database) symbols. In the case of external symbols, it doesn't even matter whether these are objects in a local database, or whether they reside on remote machines in a distributed system (except that remote objects cannot be modified). PicoLisp Symbols A symbol in PicoLisp consists of three - possibly empty - components: A value, a property list and a name. Of those, usually only the value and the properties are modified during programming.
    [Show full text]
  • Conceptive C Harry Mcgeough
    Conceptive C Harry McGeough Version 1.0 Published by Harry McGeough at Smashwords ISBN-13: 978-1465934888 ISBN-10: 1465934888 Copyright 2011 Harry McGeough About Cover Image A billowing tower of gas and dust rises from the stellar nursery known as the Eagle Nebula. This small piece of the Eagle Nebula is 57 trillion miles long (91.7 trillion km). Credit: NASA, ESA, and The Hubble Heritage Team (STScI/AURA) Conceptive C by Harry McGeough is licensed under a Creative Commons Attribution 3.0 Unported License. Based on a work at www.wikipedia.com. Permissions beyond the scope of this license may be available at http://www.wikipedia.com. Contents Preface Natural Language Basic English Word Definition Machine Learning Compiler Changes Know Thyself AI History Deduction, Reasoning, Problem Solving Knowledge Representation Commonsense Knowledge Learning Natural Language Processing Creativity General Intelligence Evaluating progress Philosophy C Language Characteristics Early Developments K&R C ANSI C and ISO C C99 Embedded C Uses Syntax Keywords Operators "Hello, world" Example Data Types Pointers Arrays Array-pointer Interchangeability Memory Management Libraries Objective C History Popularization through NeXT Syntax Messages Interfaces and Implementations Implementation Instantiation Protocols Dynamic Typing Forwarding Categories #import Objective-C 2.0 Garbage Collection Properties Non-fragile Instance Variables Fast Enumeration Library Use Analysis of the Language Lisp Connection to Artificial Intelligence Symbolic expressions Lists Operators
    [Show full text]