In this paper, we identify and anal

In this paper, we identify and analyze deadlock problems in the
Metropolis simulation environment. We propose a data structure
called the dynamic synchronization dependency graph (DSDG) that
reflects the runtime blocking dependencies among processes. We
also devise an associated deadlock detection algorithm to monitor
the simulation. The goal of the synchronization dependency analysis
is to help the designer identify the components (e.g. processes and media) and synchronization constructs (e.g. await and synch)
that are causing any deadlock problem and provide an error trace
or a history of dependency snapshots that show how the system arrives
at this state. We use a real world Metropolis design, the resize
component in a picture-in-picture (PiP) video processing system, to
demonstrate the usefulness and effectiveness of the deadlock analysis
approach. We also use a high level mapping model that includes
a functional specification, an abstract architecture model and the
mapping to illustrate how the design problems from the functionarchitecture
mapping can be analyzed.

ผลลัพธ์ (ไทย) 1:

ในเอกสารนี้ เราระบุ และวิเคราะห์ปัญหาการชะงักงันในการ
นครจำลองสภาพแวดล้อม เราเสนอโครงสร้างของข้อมูล
เรียกว่าซิงโครไนส์แบบอ้างอิงกราฟ (DSDG) ที่
สะท้อนขณะบล็อกขึ้นระหว่างกระบวนการ เรา
ยัง ประดิษฐ์มีการชะงักงันที่เกี่ยวข้องตรวจสอบอัลกอริทึมการตรวจสอบ
จำลอง เป้าหมายของการวิเคราะห์อ้างอิงตรง
คือการ ช่วยเหลือแบบระบุตรงโครงสร้างและส่วนประกอบ (เช่นกระบวนการและสื่อ) (เช่นรอ และ synch)
ที่เป็นสาเหตุของปัญหาการชะงักงัน และให้การสืบค้นกลับข้อผิดพลาด
หรือประวัติของสแนปช็อตอ้างอิงที่แสดงวิธีการมาถึงของระบบ
ที่สถานะนี้ เราใช้ออกแบบโลกนคร การปรับขนาด
ส่วนประกอบในระบบ ประมวลผลถึงวิดีโอรูปภาพ (PiP)
แสดงให้เห็นถึงประโยชน์และประสิทธิภาพของการวิเคราะห์ล็อกตาย
วิธีการ เรายังใช้แบบจำลองระดับสูงการแม็ปที่มี
ข้อมูลจำเพาะเกี่ยวกับการทำงาน แบบจำลองสถาปัตยกรรมนามธรรมและ
การแสดงว่าปัญหาการออกแบบจาก functionarchitecture
แมปสามารถนำมาวิเคราะห์ได้

ผลลัพธ์ (ไทย) 3:

ในกระดาษนี้เราสามารถระบุและวิเคราะห์ปัญหาการหยุดชะงักใน
กรุงเทพมหานครจำลองสภาพแวดล้อม เรานำเสนอโครงสร้างของข้อมูลแบบไดนามิก การพึ่งพา
เรียกว่ากราฟ ( dsdg ) ที่สะท้อนให้เห็นถึงการพึ่งพาระหว่าง runtime
บล็อกกระบวนการ เรายังคิดเกี่ยวข้อง

การหยุดชะงักการตรวจสอบขั้นตอนวิธีการตรวจสอบระบบ เป้าหมายของการพึ่งพาการวิเคราะห์
จะช่วยให้ผู้ออกแบบระบุส่วนประกอบ ( เช่นกระบวนการและสื่อ ) และประสานโครงสร้าง ( เช่นรอซิงค์และ )
ที่ก่อให้เกิดปัญหาการหยุดชะงักและให้ข้อผิดพลาดติดตาม
หรือประวัติของภาพรวมการพึ่งพาที่แสดงให้เห็นว่าระบบมาถึง
ในรัฐนี้ เราใช้โลกจริงกรุงเทพมหานครออกแบบ , ปรับขนาด
ส่วนประกอบในระบบ ภาพซ้อนภาพ ( PIP ) ระบบการประมวลผลวีดีโอ

,แสดงให้เห็นถึงประโยชน์และประสิทธิภาพของการวิเคราะห์
หยุดชะงัก ) เรายังใช้ระดับแผนที่รูปแบบรวมถึง
สเปคการทำงาน , นามธรรมสถาปัตยกรรมและรูปแบบ
แผนที่เพื่อแสดงวิธีการออกแบบปัญหาจาก functionarchitecture
แผนที่สามารถวิเคราะห์