School of Computing

Serialisation Analysis of Concurrent Logic Programs

A. King and P. Soper

In H. Kirchner, editor, Algebraic and Logic Programming, volume 632 of Lecture Notes in Computer Science, pages 182-196, September 1992.

Abstract

Serialisation analysis reduces the time a concurrent logic program spends communicating and scheduling. It fits granularity analysis and schedule analysis into a single unified framework for partitioning a program into grains for parallel evaluation and ordering grains for sequential evaluation. Serialisation analysis is simple, avoids the complexity of thresholding, and unlike previous proposals for controlling granularity, is based on threads. The threads avoid the creation of suspensions and therefore reduce scheduler activity. Threads also act as indivisible units of work, and therefore inhibit the parallel evaluation of fine-grained processes. Furthermore, serialisation analysis incurs no extra run-time overhead.

Download publication 130 kbytes (PostScript)

Bibtex Record

@inproceedings{1323,
author = {A.~King and P.~Soper},
title = {{S}erialisation {A}nalysis of {C}oncurrent {L}ogic {P}rograms},
month = {September},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/1323},
    publication_type = {inproceedings},
    submission_id = {10347_1011198114},
    other_year = {1992},
    booktitle = {Algebraic and Logic Programming},
    editor = {H. Kirchner},
    volume = {632},
    series = {Lecture Notes in Computer Science},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014