mfs409 / rstm Goto Github PK
View Code? Open in Web Editor NEWAutomatically exported from code.google.com/p/rstm
License: Other
Automatically exported from code.google.com/p/rstm
License: Other
What steps will reproduce the problem?
1. Perform a transaction that privatizes some locations, and then munmap the
privatized locations non-transactionally.
2. Concurrently execute a speculative transaction that conditionally
dereferences said locations.
3. Run for a "long time" time.
What is the expected output?
Results consistent with single-lock semantics.
What do you see instead?
Segmentation faults from the speculative transactions due to privatization
safety violations.
Workaround?
Perform all munmap operations inside [[relaxed]] transactions.
Original issue reported on code.google.com by [email protected]
on 11 Jul 2011 at 5:02
What steps will reproduce the problem?
1. Perform a __cancel from a nested transaction.
What is the expected output?
Execution as-if the nested transaction had canceled.
What do you see instead?
Unpredictable results leading to failures.
Workaround?
None at the moment. `libstm` does not support closed nested transactions and
thus we cannot support nested __cancel operations. We /do/ support
__cancel_outer operations.
Please use labels and text to provide additional information.
Original issue reported on code.google.com by [email protected]
on 11 Jul 2011 at 5:05
What steps will reproduce the problem?
1. Compile and build a 32-bit or 64-bit target with libitm2stm enabled
2. Run TreeBenchSHIM with 7 threads
Original issue reported on code.google.com by [email protected]
on 9 Aug 2011 at 1:34
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.