In the design of highly complex, he

In the design of highly complex, heterogeneous, and concurrent systems,
deadlock detection and resolution remains an important issue.
In this paper, we systematically analyze the synchronization
dependencies in concurrent systems modeled in the Metropolis design
environment, where system functions, high level architectures
and function-architecture mappings can be modeled and simulated.
We propose a data structure called the dynamic synchronization dependency
graph, which captures the runtime (blocking) dependencies.
A loop-detection algorithm is then used to detect deadlocks
and help designers quickly isolate and identify modeling errors that
cause the deadlock problems. We demonstrate our approach through
a real world design example, which is a complex functional model
for video processing and a high level model of function-architecture
mapping.

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

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

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

ในการออกแบบที่มีความซับซ้อนสูง , ที่แตกต่างกัน , และระบบการตรวจสอบการหยุดชะงักและความละเอียดพร้อมกัน

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