Accession Number : ADA265416


Title :   Venari/ML Interfaces and Examples


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE


Personal Author(s) : Wing, Jeannette M ; Faehndrich, Manuel ; Haines, Nick ; Kietzke, Karen ; Kindred, Darrell


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a265416.pdf


Report Date : Mar 1993


Pagination or Media Count : 55


Abstract : Transactions are a well-known and fundamental control abstraction that arose from the database community. Application programmers can treat a sequence of operations as an atomic (all-or-nothing) unit and rely on the runtime environment to guarantee serializability of concurrent transactions and persistence of effects of committed transactions. In this report, we present interfaces, expressed in Standard ML, for creating and controlling transactions. Unlike other transaction-based high-level programming languages such as Argus and Avalon, Venari/ML is the first to support multi-threaded transactions, where each transaction may have multiple threads of control executing within its scope. We present a set of simple examples that show how to use Venari/ML interfaces individually and also in some useful combinations. We also present a larger example of searching a database of BibTEX entries. This report is intended primarily for use by an SML programmer whose application requires transactional properties


Descriptors :   *INTERFACES , *HIGH LEVEL LANGUAGES , DATA BASES , SEARCHING , USER MANUALS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE