Comments on: A CAL webapp with persistent data using GWT, STM and BDB http://www.kablambda.org/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/ Notes on things I'm thinking and doing Tue, 06 Dec 2011 11:52:08 +0000 http://wordpress.org/?v=2.9.2 hourly 1 By: Functional Programming on Google AppEngine - My Diversions http://www.kablambda.org/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/comment-page-1/#comment-11146 Functional Programming on Google AppEngine - My Diversions Thu, 09 Apr 2009 08:23:48 +0000 http://diversions.nfshost.com/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/#comment-11146 <p>[...] There are two ways of integrating CAL and Java. The first is to dynamically load and compile a workspace at run time, and then reflectively call functions in the workspace’s modules. I’ve used this approach in the past, for example for CAL/GWT integration. [...]</p> [...] There are two ways of integrating CAL and Java. The first is to dynamically load and compile a workspace at run time, and then reflectively call functions in the workspace’s modules. I’ve used this approach in the past, for example for CAL/GWT integration. [...]

]]> By: Tom Davies http://www.kablambda.org/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/comment-page-1/#comment-1414 Tom Davies Tue, 01 Apr 2008 20:20:05 +0000 http://diversions.nfshost.com/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/#comment-1414 <p>Hi Raoul -- I believe that functional data structures don't suit STM, because while you can update, e.g. a tree without replacing many nodes, you are always going to replace the root node, so any concurrent transactions which have read or written the TVar which holds it will retry -- which means any transaction which is concurrent with an update, as everyone who accesses the tree will read the root node.</p> <p>There may be some non-STM approach which would work when concurrent updates are infrequent (e.g. all updates can be performed by one thread). Because purely functional data structures are 'persistent' (as defined by Okasaki) you could have <em>one</em> mutable reference which is updated by the writing thread each time it performs an update, and is read by the other threads periodically -- they will always have a consistent view of your data structures.</p> <p>But that limitation to one writer makes this sound fundamentally non-scalable and unsound -- like Prevayler, for instance.</p> Hi Raoul — I believe that functional data structures don’t suit STM, because while you can update, e.g. a tree without replacing many nodes, you are always going to replace the root node, so any concurrent transactions which have read or written the TVar which holds it will retry — which means any transaction which is concurrent with an update, as everyone who accesses the tree will read the root node.

There may be some non-STM approach which would work when concurrent updates are infrequent (e.g. all updates can be performed by one thread). Because purely functional data structures are ‘persistent’ (as defined by Okasaki) you could have one mutable reference which is updated by the writing thread each time it performs an update, and is read by the other threads periodically — they will always have a consistent view of your data structures.

But that limitation to one writer makes this sound fundamentally non-scalable and unsound — like Prevayler, for instance.

]]> By: Raoul Duke http://www.kablambda.org/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/comment-page-1/#comment-1413 Raoul Duke Tue, 01 Apr 2008 18:58:03 +0000 http://diversions.nfshost.com/blog/2008/03/27/a-cal-webapp-with-persistent-data-using-gwt-stm-and-bdb/#comment-1413 <p>since i just got Okasaki's book for my birthday i have to ask what you think about taking a functional-data-structure approach? how would that play with STM etc.? thanks for any thoughts.</p> since i just got Okasaki’s book for my birthday i have to ask what you think about taking a functional-data-structure approach? how would that play with STM etc.? thanks for any thoughts.

]]>