Scribd Logo
Upload

Welcome to Scribd!

  • FM Concurent Model

    Uploaded by

    eiman fatimaFa21079
    8 views17 pages
    This document discusses modeling concurrent systems with parallel programs and shared variables. It introduces modeling concurrent systems as independent systems running in interleaving using the ||| operator. It then discusses how to represent programs with shared variables, noting that the interleaving operator does not properly capture shared state and proposing the use of process graphs to model programs with shared variables.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    PPTX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document discusses modeling concurrent systems with parallel programs and shared variables. It introduces modeling concurrent systems as independent systems running in interleaving using the ||| operator. It then discusses how to represent programs with shared variables, noting that the interleaving operator does not properly capture shared state and proposing the use of process graphs to model programs with shared variables.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pptx, pdf, or txt
    8 views17 pages

    FM Concurent Model

    Uploaded by

    eiman fatimaFa21079
    This document discusses modeling concurrent systems with parallel programs and shared variables. It introduces modeling concurrent systems as independent systems running in interleaving using the ||| operator. It then discusses how to represent programs with shared variables, noting that the interleaving operator does not properly capture shared state and proposing the use of process graphs to model programs with shared variables.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pptx, pdf, or txt
    of 17

    Modeling concurrent system

    Previous and Next


    • Sequential program
    • Hardware circuit
    – As transition system

    Next
    • How to model parallel program ?
    Concurrent Systems
    Independent concurrent systems
    Two parallel road with traffic light signals
    How do we model joint behavior ?
    TrLight1 ||| TrLight2

    |||: Interleaving operator


    Running of parallel program

    How to represent joint behavior of this program ?


    Solve this ?
    Independent Done!
    Shared Variable
    According to ||| Op
    Solution with Interleave PG
    With PG!
    Shared Variable Done!

    You might also like