• An efficient speculation predicto

• An efficient speculation predictor to identify opportunities to relax concurrency constraints
• Design and implementation of efficient support for speculation and conflict detection
• Experimental evaluation of the speculation overheads
and accuracy.
2. BACKGROUND AND MOTIVATION
Consider the example program in Figure 1(a) that computes array A. The corresponding recursive version (Figure 1(a)) divides the work into four quadrants and computes
them recursively. The spawn and sync keywords in the recursive program represent the concurrency and synchronization annotations in a Cilk program. The dependences (a.k.a.
the spawn and sync annotations) in the recursive program
are induced by dependences in the loop program. The quadrant A00 begins execution of a given task. A01 and A10
depend on A00 and are separated from the processing of
A00 by a sync. A01 and A10 can themselves be processed
concurrently and are invoked with a spawn keyword without
any intervening synchronization. A11 depends on both A01
and A10 and is ordered appropriately.
Recursive programs exhibit many desirable properties. The
recursive structure often mirrors the dependence structure
in the element-level program specification, simplifying programming. Besides the ease of programming, such a structure accesses recursively smaller portions of the array. As
a result, recursive structure is often employed in designing
cache-oblivious algorithms [3].
While recursive programs alleviate the burden on the programmer, their structures can prevent them from achieving
good speedups on large multi-core systems. On occasion, recursive programming can incur the cost of increased critical
path length. For example, the optimal critical path length
for the example in Figure 1(a) is Θ(n), whereas the critical
path length of the recursive version is Θ(nlog2 3) for a nxn
matrix. The cause for this suboptimal critical path length is
the inherently coarser dependencies required by the recursive expression. In Figure 1(a), not all of the quadrant A01
(or A10) must wait for all of quadrant A00 to be computed.
In Figures 1(b) and 2(a), the dependence-induced dags and
corresponding critical paths are illustrated for a problem
size of 4 (ihi-ilo=jhi-jlo=4). For example, given a problem
size of 4, the dependence-induced dag for the loop version
in Figure 1(a) has a critical path length of 7, compared to 9
for the recursive Cilk version.
In general, mapping a computation dag onto a Cilk-like
recursive parallel model can increase the critical path length
and result in reduced scalability due to decreased available parallelism. Decreased available parallelism caused by
coarser dependencies, together with large core counts, can
lead to poor scalability. We aim to preserve the simplicity
of recursive programming by recovering the lost concurrency
in such overly constrained recursive programs.

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

•ทำนายการเก็งกำไรที่มีประสิทธิภาพเพื่อระบุโอกาสในการผ่อนคลายข้อจำกัดเกิดพร้อมกัน•การออกแบบและดำเนินการอย่างมีประสิทธิภาพสนับสนุนสำหรับการเก็งกำไร และการตรวจหาความขัดแย้ง•ประเมินผลการทดลองของโสหุ้ยการเก็งกำไรและความถูกต้อง2. พื้นหลัง และแรงจูงใจพิจารณาตัวอย่างโปรแกรมในรูป 1(a) ที่คำนวณอ.เรย์ รุ่นซ้ำที่สอดคล้องกัน (รูป 1(a)) แบ่งงานออกเป็นสี่ส่วน และคำนวณพวกเขา recursively คำสำคัญที่วางไข่และซิงค์ในโปรแกรมซ้ำแสดงคำอธิบายการเกิดพร้อมกันและซิงโครไนส์ในโปรแกรมซิลก์ ซีสตาร์ ที่ dependences (หรือวางไข่และซิงค์ข้อมูลกำกับ) ในโปรแกรมซ้ำเป็นการเหนี่ยวนำ โดย dependences ในโปรแกรมวนรอบ Quadrant A00 เริ่มดำเนินการของงานกำหนดให้ A01 และ A10พึ่ง A00 และจะแยกออกจากการประมวลผลA00 โดยการซิงค์ A01 และ A10 สามารถตัวประมวลผลพร้อม และถูกเรียก ด้วยคำสำคัญวางไข่โดยไม่ซิงโครไนส์ใด ๆ แทรกแซง A11 ตามทั้ง A01และ A10 และสั่งอย่างเหมาะสมซ้ำโปรแกรมมีคุณสมบัติมากมาย การโครงสร้างซ้ำมักจะแสดงโครงสร้างพึ่งพาในองค์ประกอบระดับโปรแกรมข้อมูลจำเพาะ โปรแกรมลดความซับซ้อน นอกจากความง่ายในการเขียนโปรแกรม โครงสร้างเข้าถึง recursively ส่วนเล็กของอาร์เรย์ เป็นผล โครงสร้างซ้ำมักใช้ในการออกแบบแคลบเลือนอัลกอริธึม [3]ในขณะที่โปรแกรมซ้ำบรรเทาภาระที่โปรแกรมเมอร์ โครงสร้างของพวกเขาสามารถป้องกันไม่ให้บรรลุspeedups ดีในระบบขนาดใหญ่แบบมัลติคอร์ บางครั้ง การเขียนโปรแกรมแบบเรียกใช้ซ้ำสามารถต้องเสียต้นทุนเพิ่มขึ้นที่สำคัญความยาวเส้นทาง ตัวอย่างเช่น ความยาวสูงสุดเส้นทางที่สำคัญตัวอย่างเช่นในรูป 1(a) เป็น Θ(n) ในขณะที่สำคัญความยาวของเส้นทางซ้ำรุ่น Θ(nlog2 3) สำหรับ nxn เป็นเมทริกซ์ เป็นสาเหตุของความยาวเส้นทางวิกฤตสภาพนี้อ้างอิงความหยาบตามนิพจน์ซ้ำ ในรูป 1(a) ไม่ทั้งหมดของ quadrant A01(หรือ A10) ต้องรอ quadrant A00 การคำนวณทั้งหมดตัวเลข 1(b) และ 2(a), dags เหนี่ยวนำให้เกิดการพึ่งพาอาศัยกัน และเส้นทางที่สำคัญที่สอดคล้องกันจะแสดงสำหรับปัญหาขนาด 4 (ilo แซม = jhi jlo = 4) ตัวอย่างเช่น กำหนดปัญหาขนาด 4, dag เกิดพึ่งพาสำหรับรุ่นห่วงในรูปที่ 1(a) มีความยาวของเส้นทางวิกฤต 7 เมื่อเทียบกับ 9สำหรับรุ่นซิลก์ ซีสตาร์ซ้ำทั่วไป การแมปแบบ dag คำนวณบนซิลก์ ซีสตาร์เหมือนซ้ำแบบขนานสามารถเพิ่มความยาวเส้นทางวิกฤตและผลในการลดภาระหนี้ลดลงมีขนาน ทำงานแบบขนานมีลดลงที่เกิดจากสามารถอ้างอิงหยาบ ร่วมกับนับหลักขนาดใหญ่นำไปสู่ภาระต่ำ เราจะรักษาความเรียบง่ายการเขียนโปรแกรมแบบเรียกใช้ซ้ำโดยการกู้คืนหายไปพร้อมกันในโปรแกรมดังกล่าวมีข้อจำกัดมากเกินไปซ้ำ

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

•ใช้งานการเก็งกำไรทำนายมีประสิทธิภาพในการระบุโอกาสในการผ่อนคลายข้อ จำกัด การทำงานพร้อมกัน
•การออกแบบและการดำเนินงานของการสนับสนุนที่มีประสิทธิภาพสำหรับการเก็งกำไรและการตรวจสอบความขัดแย้ง
•การประเมินผลการทดลองของค่าโสหุ้ยการเก็งกำไร
และความถูกต้อง.
2 ความเป็นมาและแรงจูงใจ
พิจารณาโปรแกรมตัวอย่างในรูปที่ 1 (ก) ที่คำนวณอาร์เรย์ A. ที่สอดคล้องรุ่น recursive (รูปที่ 1 (ก)) แบ่งการทำงานออกเป็นสี่ประเภทและคำนวณ
พวกเขาซ้ำ วางไข่และซิงค์คำหลักในโปรแกรม recursive เป็นตัวแทนของการทำงานพร้อมกันและการประสานคำอธิบายประกอบในโปรแกรม Cilk dependences (aka
วางไข่และคำอธิบายประกอบซิงค์) ในโปรแกรม recursive
จะเกิดจาก dependences ในโปรแกรมห่วง A00 Quadrant เริ่มต้นการดำเนินการของงานที่กำหนด A01 และ A10
ขึ้นอยู่กับ A00 และถูกแยกออกจากการประมวลผลของ
A00 โดยซิงค์ A01 และ A10 ตัวเองสามารถดำเนินการ
ควบคู่กันไปและมีการเรียกด้วยคำหลักที่วางไข่โดยไม่ต้อง
ประสานการแทรกแซงใด ๆ A11 ขึ้นอยู่กับทั้ง A01
และ A10 และเป็นคำสั่งที่เหมาะสม.
โปรแกรมซ้ำแสดงคุณสมบัติที่พึงประสงค์จำนวนมาก
โครงสร้าง recursive มักจะสะท้อนโครงสร้างการพึ่งพา
ในสเปโปรแกรมองค์ประกอบระดับที่ง่ายในการเขียนโปรแกรม นอกจากความสะดวกในการเขียนโปรแกรมโครงสร้างดังกล่าวเข้าถึงส่วนซ้ำขนาดเล็กของอาร์เรย์ เป็น
ผลให้โครงสร้าง recursive มักจะถูกนำมาใช้ในการออกแบบ
ขั้นตอนวิธีการแคชลบเลือน [3].
ในขณะที่โปรแกรม recursive บรรเทาภาระของโปรแกรมเมอร์โครงสร้างของพวกเขาสามารถป้องกันพวกเขาจากการบรรลุ
speedups ที่ดีในระบบแบบ multi-core ขนาดใหญ่ ในบางครั้งการเขียนโปรแกรม recursive สามารถเสียค่าใช้จ่ายเพิ่มขึ้นที่สำคัญ
ความยาวเส้นทาง ยกตัวอย่างเช่นการที่ดีที่สุดมีความยาวเส้นทางที่สำคัญ
เช่นในรูปที่ 1 (ก) เป็นΘ (n) ในขณะที่สำคัญ
ความยาวเส้นทางของรุ่น recursive เป็นΘ (nlog2 3) สำหรับ nxn
เมทริกซ์ สาเหตุสำหรับความยาวเส้นทางนี้ก่อให้เกิดผลลัพธ์ที่สำคัญคือ
การอ้างอิงโดยเนื้อแท้หยาบจำเป็นโดยการแสดงออก recursive ในรูปที่ 1 (ก) ไม่ได้ทั้งหมดของ A01 Quadrant
(หรือ A10) ต้องรอให้ทุก Quadrant A00 ที่จะคำนวณ.
ในรูปที่ 1 (ข) และ 2 (ก) ที่ DABs ความพึ่งพาอาศัยกันที่เกิดขึ้นและ
สอดคล้องกับเส้นทางที่สำคัญ ภาพประกอบสำหรับปัญหา
ขนาดของ 4 (IHI-ILO = JHI-JLO = 4) ตัวอย่างเช่นกำหนดเป็นปัญหา
ขนาดของ 4, dag การพึ่งพาอาศัยกันที่เกิดขึ้นสำหรับรุ่นห่วง
ในรูปที่ 1 (ก) มีความยาวของเส้นทางที่สำคัญ 7 เมื่อเทียบกับ 9
สำหรับรุ่น Cilk recursive.
โดยทั่วไปทำแผนที่ dag คำนวณบน Cilk เหมือน
รุ่นขนาน recursive สามารถเพิ่มความยาวเส้นทางที่สำคัญ
และผลในการลด scalability เนื่องจากการลดลงขนานใช้ได้ ลดลงขนานใช้ได้ที่เกิดจาก
การอ้างอิงหยาบร่วมกับข้อหาหลักที่มีขนาดใหญ่สามารถ
นำไปสู่การขยายขีดความสามารถที่น่าสงสาร เรามุ่งมั่นที่จะรักษาความเรียบง่าย
ของการเขียนโปรแกรม recursive โดยการกู้คืนเห็นพ้องที่หายไป
ในโปรแกรม recursive เช่นข้อ จำกัด มากเกินไป

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

- ประสิทธิภาพการทำนายเพื่อระบุโอกาสที่จะผ่อนคลายข้อจำกัดการเห็นพ้องด้วยบริการออกแบบและการสนับสนุนที่มีประสิทธิภาพสำหรับการตรวจสอบความขัดแย้ง- ทดลองการประเมินการเก็งกำไรพรึ่บและความถูกต้อง2 . แรงจูงใจและภูมิหลังพิจารณาตัวอย่างในรูปที่ 1 ( a ) ที่คำนวณโดยวิธีการที่หลากหลายรุ่น ( รูปที่ 1 ( a ) ) แบ่งงานออกเป็นสี่เขต .พวกเขา recursively . การวางไข่และซิงค์ข้อมูลในโปรแกรมของการ recursive อื่นประสานในโปรแกรม cilk . การ dependences ( a.k.a .การวางไข่อื่นซิงค์ ) ในโปรแกรมผลจะเกิดจาก dependences ในโปรแกรมลูป ด้าน a00 เริ่มต้นการกำหนดงาน และ a01 A10ขึ้นอยู่กับ a00 และถูกแยกออกจากการประมวลผลของa00 โดยการซิงค์ a01 A10 สามารถตัวเองและถูกประมวลผลกัน หรือจะเรียกใช้ด้วยการวางไข่โดยใด ๆที่แทรกประสาน ขึ้นอยู่กับทั้ง a01 A11กับ A10 และสั่งให้อย่างเหมาะสมโปรแกรมแสดงผลคุณสมบัติที่พึงปรารถนามาก ที่โครงสร้าง recursive โครงสร้างการพึ่งพากระจกบ่อยๆด้านสเปคระดับโปรแกรมปรับปรุงโปรแกรม นอกจากความสะดวกในการเขียนโปรแกรม เช่นโครงสร้างการเข้าถึงส่วน recursively เล็กของเรย์ เป็นผล , มักใช้ในการออกแบบโครงสร้าง recursiveแคชลบเลือนขั้นตอนวิธี [ 3 ]ในขณะที่วิธีการโปรแกรมบรรเทาภาระในการเขียนโปรแกรมโครงสร้างของพวกเขาสามารถป้องกันพวกเขาจากการบรรลุspeedups ที่ดีบนระบบแบบขนาดใหญ่ ในโอกาสนี้ ผู้เขียนโปรแกรมสามารถทำให้ต้นทุนเพิ่มขึ้น วิกฤตความยาวของเส้นทาง ตัวอย่างเช่น , ที่เหมาะสมความยาวพาธสำหรับตัวอย่างในรูปที่ 1 ( a ) Θ ( N ) ส่วนอย่างมีวิจารณญาณความยาวของเส้นทางของรุ่น recursive คือΘ ( nlog2 nxn 3 ) สำหรับเมทริกซ์ สาเหตุนี้ suboptimal มีความยาวเส้นทางคือโดยเนื้อแท้ coarser การอ้างอิงบังคับใช้โดยการแสดงออกของผู้ . ในรูปที่ 1 ( a ) , ไม่ทั้งหมดของ a01 ตอ.หรือ ( A10 ) ต้องรอทั้งหมดของ a00 ต้องคํานวณตัวเลข 1 ( B ) และ 2 ( ) , และการกระตุ้นเดคากรัมที่สำคัญเส้นทางเป็นภาพประกอบ สำหรับปัญหาขนาด 4 ( ihi องค์การแรงงานระหว่างประเทศ = jhi jlo = 4 ) ตัวอย่าง ระบุปัญหาขนาด 4 , การพึ่งพาการแดกให้ห่วงรุ่นในรูปที่ 1 ( a ) มีความยาวพาธ 7 , เมื่อเทียบกับ 9สำหรับผู้ cilk รุ่นโดยทั่วไป แผนที่การคำนวณวันที่ลงบน cilk เหมือนวิธีการแบบขนานสามารถเพิ่มความยาวพาธและผลในการลดลงของตลาด เนื่องจากความ . ลดลงของความเท่าเทียม ที่เกิดจากชนิดการอ้างอิงพร้อมกับนับหลักขนาดใหญ่ สามารถนำไปสู่การทำงานที่ไม่ดี เรามุ่งมั่นที่จะรักษาความเรียบง่ายผลของโปรแกรมการกู้คืนหายไปพร้อมกันโดยเช่นข้อ จำกัด มากเกินไป วิธีการทำโปรแกรม