Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

Task scheduling using intertask dependencies in Carnot

Published: 01 June 1993 Publication History

Abstract

The Carnot Project at MCC is addressing the problem of logically unifying physically-distributed, enterprise-wide, heterogeneous information. Carnot will provide a user with the means to navigate information efficiently and transparently, to update that information consistently, and to write applications easily for large, heterogeneous, distributed information systems. A prototype has been implemented which provides services for (a) enterprise modeling and model integration to create an enterprise-wide view, (b) semantic expansion of queries on the view to queries on individual resources, and (c) inter-resource consistency management. This paper describes the Carnot approach to transaction processing in environments where heterogeneous, distributed, and autonomous systems are required to coordinate the update of the local information under their control. In this approach, subtransactions are represented as a set of tasks and a set of intertask dependencies that capture the semantics of a particular relaxed transaction model. A scheduler has been implemented which schedules the execution of these tasks in the Carnot environment so that all intertask dependencies are satisfied.

References

[1]
Attic, P., M. Singe A. Sheth, and M. Rusinkiewicz. "Specifying and Enforcing Intertask Dependencies". submitted for publication, January, 1993.
[2]
Chrysanthis, P. and K. Ramamritham. "ACTA: The SAGA Continues". Chapter 10 in {4}.
[3]
Elmagarmid, A., Y. Leu, W. Litwin, and M. Rusinkiewicz. "A Multidatabase Transaction Model for Interbase". Proceedings of the VLDB Conference, August, 1990.
[4]
Elmagarmid, A., editor. Database Transaction Models for Advanced Appllcatlons, Morgan Kaufmann, 1992.
[5]
Emerson, A. and E. Clarke. "Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons". Science of Computer Programming, vol.2, 1982, 241-266.
[6]
Klein, J. "Advanced Rule Driven Transaction Management." Proceedings of the IEEE COMPCON, t991.
[7]
Pratt, V.R. "Action Logic and Pure Induction". Logics in AI: European Workshop JELIA '90, LNCS 478, Editor: J. van Eijck, Springer-Verlag", pp. 97-120, 1990.
[8]
Woelk, D., P. Cannata, M. Huhns, W, Shert, and C. Tomllnson. "Using Camot for Enterprise Information Integration". Second International Conference on Parallel and Distributed lnforma. tionSystems. January, 1993. lap. 133-136.

Cited By

View all
  • (1995)A mediated approach to open, large-scale information managementProceedings International Phoenix Conference on Computers and Communications10.1109/PCCC.1995.472502(115-121)Online publication date: 1995
  • (1994)Automating workflows for service provisioning: integrating AI and database technologiesProceedings of the Tenth Conference on Artificial Intelligence for Applications10.1109/CAIA.1994.323647(405-411)Online publication date: 1994
  • (2008)SPLACIDProceedings of the 2008 32nd Annual IEEE Software Engineering Workshop10.1109/SEW.2008.15(115-124)Online publication date: 15-Oct-2008
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record
ACM SIGMOD Record  Volume 22, Issue 2
June 1, 1993
558 pages
ISSN:0163-5808
DOI:10.1145/170036
Issue’s Table of Contents
  • cover image ACM Conferences
    SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
    June 1993
    566 pages
    ISBN:0897915925
    DOI:10.1145/170035
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993
Published in SIGMOD Volume 22, Issue 2

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)33
  • Downloads (Last 6 weeks)5
Reflects downloads up to 30 Aug 2024

Other Metrics

Citations

Cited By

View all
  • (1995)A mediated approach to open, large-scale information managementProceedings International Phoenix Conference on Computers and Communications10.1109/PCCC.1995.472502(115-121)Online publication date: 1995
  • (1994)Automating workflows for service provisioning: integrating AI and database technologiesProceedings of the Tenth Conference on Artificial Intelligence for Applications10.1109/CAIA.1994.323647(405-411)Online publication date: 1994
  • (2008)SPLACIDProceedings of the 2008 32nd Annual IEEE Software Engineering Workshop10.1109/SEW.2008.15(115-124)Online publication date: 15-Oct-2008
  • (1997)Global Predicate-Based Locks in Long-Running TransactionsProceedings of the 1st International Conference on Enterprise Distributed Object Computing10.5555/645342.650294Online publication date: 24-Oct-1997
  • (1997)Managing semantic heterogeneity in databasesProceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/263661.263668(51-61)Online publication date: 1-May-1997
  • (1997)Global predicate-based locks in long-running transactionsProceedings First International Enterprise Distributed Object Computing Workshop10.1109/EDOC.1997.628361(197-206)Online publication date: 1997
  • (1997)The Carnot Heterogeneous Database ProjectDistributed and Parallel Databases10.1023/A:10086455094745:2(207-225)Online publication date: 1-Apr-1997

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media