Course Information - PowerPoint PPT Presentation

Slide1 l.jpg
Download
1 / 9

An example of the LTS (Labeled Transition System) Course Information ... a systematic treatment of the concepts and issues in concurrency; a rigorous technique to ...

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

Download Presentation

Course Information

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Slide1 l.jpg

Parallel & Distributed Programming

Shietung Peng


Course information l.jpg

Course Information

  • Teaching materials

    • Text-book (option)

      • Concurrency:State Models & Java Programs

        by J. Magee & J. Kramer

    • Lecture notes: http://cis.k.hosei.ac.jp/~speng

    • Toolkit: http://cis.k.hosei.ac.jp/~speng/docu/Web.zip

      • LTS (Labeled Transition System) Analyzer

      • Example viewer


Course information conti l.jpg

Course Information (Conti.)

  • An example of the LTS (Labeled Transition System)


Course information conti4 l.jpg

Course Information (Conti.)

  • An example of the Java Applet:


Course features l.jpg

Course Features

  • The features of the course

    • a systematic treatment of the concepts and issues in concurrency;

    • a rigorous technique to specify and model concurrent behavior, with analysis tools for animation and verification;

    • a wide range of Java examples to illustrate the concepts and issues in concurrent programming.


The model based approach l.jpg

The Model-based Approach

  • A model is a simplified representation of the real world and includes only those aspects of the real-world system relevant to the problem at hand.

  • We take a model-based approach to the design of concurrent programs.

  • Our models represent the behavior of the real concurrent programs written in Java.


Course contents l.jpg

Course Contents

  • 1. Introduction

  • 2. Processes and Threads

  • 3. Concurrent Execution

  • 4. Shared Objects and Mutual Exclusion

  • 5. Monitors and Conditional Synchronization

  • 6. Deadlock

  • 7. Safety and Liveness Properties

  • 8. Model-based Design

  • 9.Timed Systems

  • 10. Parcel Router Design

  • 11. Game Design: Space Invader


Grading policy l.jpg

Grading Policy

  • No exam

  • Homework: 6 exercises and1 project

  • Grade: 10% per exercise, 30% for project, and 10% for class attendance


Final words l.jpg

Final Words

  • Concurrency is a fascinating and challenging area of software design.

  • Concurrent Java programs have applications in many fields in computer science.

  • I hope you will find this course interesting and enjoyable.


  • Login