tsession: A Transaction Framework for Web Applications

[ bsd3, library, web ] [ Propose Tags ] [ Report a vulnerability ]

The concept of this web transaction framework is influenced by sessions, transactions and software transactional memory. To web-developers it offers sessions with integrated transaction management that has an included server-side storage of key-value pairs. The transactions can be spanned over multiple web requests and only affect the database when a commit is instructed. Additionally, the sessions have access to the (not yet committed) key-value pairs and the status (e.g., the last requested page) of all other sessions that are active. As sessions have to be canceled after a given timeout, the framework has a garbage collector that safely cleans up the timed out sessions. The framework introduces a monad which encapsulates all the logic of the transactions and frees them of side effects. This is a concept known from the STM--monad and like in STM, the transactions cannot dead-lock each other.

For more information check my master thesis:

http://stud.micheler.net/master.pdf

Modules

  • Control
    • Control.TSession

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1
Dependencies base (>4 && <5), containers (>0.4), mtl, time, transformers [details]
License BSD-3-Clause
Copyright 2014 Florian Micheler
Author Florian Micheler <hackage@micheler.net>
Maintainer Florian Micheler <hackage@micheler.net>
Revised Revision 2 made by FlorianMicheler at 2014-06-22T21:56:07Z
Category Web
Uploaded by FlorianMicheler at 2014-06-22T21:26:41Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 1230 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-05-21 [all 5 reports]