Skip to content
/ TORTIS Public
forked from mit-ll/TORTIS

🐢 Retry-Free Software Transactional Memory for Real-Time Systems

License

Notifications You must be signed in to change notification settings

cmnord/TORTIS

 
 

Repository files navigation

TORTIS

image

TORTIS is an extension of Rust that adds functionality for real-time software transactional memory without retries. TORTIS extends the Rust compiler to recognize the “transaction” key word, and provides automatic synchronization of shared objects within transactions. To do so, it extends the Rust type system to include TxPointer and TxCell types, which wrap shared objects. An additional pass is added to the compiler to determine what shared objects are used within a transaction, and emit calls to the runtime locking library that TORTIS provides. The runtime library is modular and supports many different synchronization primitives. Currently, a phase-fair reader-writer lock is used.

To get started using TORTIS, see our Getting Started Guide. Because TORTIS is an extension of the Rust compiler, also reference the Rust README. For additional TORTIS documentation see our Documentation. To contribute to TORTIS, please see CONTRIBUTING.

Disclaimer

Tortis is distributed under the terms of the MIT License DISTRIBUTION STATEMENT A. Approved for public release: distribution unlimited.

© 2021 MASSACHUSETTS INSTITUTE OF TECHNOLOGY

Subject to FAR 52.227-11 – Patent Rights – Ownership by the Contractor (May 2014)
SPDX-License-Identifier: MIT

This material is based upon work supported by the Under Secretary of Defense (USD) for Research & Engineering (R&E) under Air Force Contract No. FA8702-15-D-0001. Any opinions, findings, conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of USD (R&E).

The software/firmware is provided to you on an As-Is basis

Trademark

The Rust programming language is an open source, community project governed by a core team. It is also sponsored by the Mozilla Foundation (“Mozilla”), which owns and protects the Rust and Cargo trademarks and logos (the “Rust Trademarks”).

If you want to use these names or brands, please read the media guide.

Third-party logos may be subject to third-party copyrights and trademarks. See Licenses for details.

About

🐢 Retry-Free Software Transactional Memory for Real-Time Systems

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 97.6%
  • Python 0.6%
  • JavaScript 0.4%
  • C++ 0.3%
  • Makefile 0.3%
  • Shell 0.3%
  • Other 0.5%