Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Combining Tasking and Transactions, Part II: Open Multithreaded Transactions
 
conference paper

Combining Tasking and Transactions, Part II: Open Multithreaded Transactions

Kienzle, Jörg  
•
Romanovsky, Alexander
2001
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopA
10th International Real-Time Ada Workshop

This position paper is a follow-up paper of the one presented at the last IRTAW workshop. The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95. In order to achieve smooth integration, the use of the concurrency features provided by the Ada language should not be restricted inside a transaction. A transaction model that meets this requirement is presented. Tasks inside such a transaction may spawn new tasks, but also external tasks are allowed to join an ongoing transaction. A blocking commit protocol ensures that no task leaves the transaction before its outcome has been determined. Exceptions are used to inform all participants in case a transaction aborts. The design of a library that provides support for the transaction model is presented, and possible interfaces for the Ada programmer are discussed.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

kienzle-IRTAW10.pdf

Access type

openaccess

Size

59.84 KB

Format

Adobe PDF

Checksum (MD5)

8a8bb7928502884dce84e818ba77beb2

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés