Parallel Execution of Multi Set Constraint Rewrite Rules

Martin Sulzmann, Edmund Soon Lee Lam

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstrakt

    Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures
    OriginalsprogEngelsk
    TitelPPDP’08 : Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
    Antal sider12
    ForlagAssociation for Computing Machinery
    Publikationsdato2008
    Sider20-31
    ISBN (Trykt)978-1-60558-117-0
    StatusUdgivet - 2008
    BegivenhedPPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming - Valencia, Spanien
    Varighed: 15 jul. 200817 jul. 2008
    Konferencens nummer: 10

    Konference

    KonferencePPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
    Nummer10
    Land/OmrådeSpanien
    ByValencia
    Periode15/07/200817/07/2008

    Citationsformater