columbia / smt-mc Goto Github PK
View Code? Open in Web Editor NEWThe Parrot stable and deterministic multi-threading system.
Home Page: http://www.cs.columbia.edu/~heming/
The Parrot stable and deterministic multi-threading system.
Home Page: http://www.cs.columbia.edu/~heming/
0. Parrot system evaluation raw data. Please refer to this google doc: https://docs.google.com/spreadsheet/ccc?key=0Arky53jIFG9hdE03ZmZrYlU3dXM4Um5xLU85OGxCMGc#gid=0 There are multiple tabs in this doc. The "performance overhead" tab shows the performance overhead of Parrot over nondeterministic executions. The "A" column in this tab shows what kinds of performance hints are added. "@" means soft barriers, "N" means performance critical sections, and "x" or blank means no hints are added. The "performance comparisons" tab shows the performance comparisons of three systems, Parrot, dthreads and CoreDet. The "model checking results" tab shows the model checking results of the Parror+dBug ecosystem. 1. Get the repository (only for those who checkout the repo from git). If you download the repo in a tar bar from Internet, skip this step. > git clone [email protected]:smt+mc > cd smt+mc > git submodule init > git submodule update Importantly, please note that, if you want to checkout a newer version of "smt+mc" sometime later (including its submodules "xtern" and "dbug"), you have to run BOTH "pull" and "submodule update" in the "smt+mc" directory. And you can ONLY run the two git commands in the root directory "smt+mc", otherwise you won't get a correct update. The git submodule mechanism is so painful :) > cd smt+mc > git pull > git submodule update (if you don't run this step, submodules won't be updated!!!) 2. Export env variable $SMT_MC_ROOT. It will be used in the repository to compile and run programs. Add this line to your ~/.bashrc, and run "echo $SMT_MC_ROOT" to make sure it is correct. > export SMT_MC_ROOT=the absolute path of "smt+mc" 3. How to build Parrot (a.k.a., xtern). Refer to $SMT_MC_ROOT/xtern/readme.txt. It also contains information of our performance hints. 4. How to build Parrot with a model checking tool dBug. Refer to $SMT_MC_ROOT/mc-tools/readme.txt.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.