ฟังก์ชัน Ballot และ Vote

นอกจากการย้ายข้อมูลแล้ว วาร์ปยังสามารถตอบคำถามแบบใช่หรือไม่ใช่ร่วมกันได้ อินทรินสิก Vote ช่วยให้ทุกเลนแชร์เพรดิเคตแบบจริงหรือเท็จได้ในขั้นตอนเดียวที่มีต้นทุนต่ำ

การลงคะแนนที่ยืดหยุ่นที่สุดคือ ballot_sync ซึ่งคืนค่าตัวเลขขนาด 32 บิต โดยบิตที่ i จะเป็น 1 ก็ต่อเมื่อเพรดิเคตของเลนที่ i เป็นจริง

จำนวนเต็มที่ส่งกลับมานั้นเป็น บิตแมป ขนาดเล็กของวาร์ป การอ่านบิตที่ i จะบอกว่าเลนที่ i ลงคะแนนเป็นจริงหรือไม่ โดยข้อมูลทั้งหมดถูกรวมไว้ในรีจิสเตอร์เดียว

ต้องการทราบว่ามีกี่เลนตอบว่าใช่ใช่ไหม ให้ทำ pop-count กับผลลัพธ์จาก ballot ฟังก์ชัน popc จะนับบิตที่เป็น 1 และให้จำนวนการลงคะแนนจริงในวาร์ปทันที

มีทางลัดสองแบบสำหรับคำถามที่พบบ่อย all_sync จะคืนค่า true ก็ต่อเมื่อทุกเลนเห็นพ้องกัน ส่วน any_sync จะคืนค่า true หากมีอย่างน้อยหนึ่งเลนเห็นด้วย

ใช้ any_sync สำหรับการออกจากการทำงานก่อนกำหนด หากมีเลนใดพบค่าที่ตรงกัน วาร์ปทั้งหมดก็สามารถตอบสนองพร้อมกันได้โดยไม่ต้องตรวจทีละเลน

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

เพื่อวางค่าของตนเอง เลนจะนับบิตจริงที่อยู่ก่อนตำแหน่งของตน จำนวน คำนำหน้าจาก ballot นี้คือดัชนีของเลนในผลลัพธ์ที่ถูกบีบอัด

บางครั้งควรให้เลนเดียวทำงานร่วมกัน บิตที่เป็น 1 ซึ่งอยู่ต่ำสุดใน ballot และค้นพบด้วย ffs เป็นผู้นำตามธรรมชาติที่ทั้งวาร์ปสามารถเห็นพ้องร่วมกันได้

เช่นเดียวกับการสลับข้อมูล อินทรินสิกสำหรับการลงคะแนนจะรับ mask ของเลนที่ทำงานอยู่ เลนที่ไม่ทำงานจะส่งบิตค่า 0 ดังนั้นควรส่งชุดเลนที่ถูกต้องเพื่อหลีกเลี่ยงการนับเลนที่ไม่มีอยู่

การลงคะแนนใช้เพียงคำสั่งเดียวและไม่แตะหน่วยความจำ จึงช่วยให้วาร์ป ประสานงาน การตัดสินใจได้ถูกกว่าการใช้อะตอมิกหรือแฟล็กในหน่วยความจำร่วมมาก

คุณสำรวจวาร์ปด้วย ballot และ vote ทั้งการนับค่าจริง การตรวจว่าทั้งหมดหรืออย่างน้อยหนึ่งเป็นจริง และการบีบอัดสตรีมด้วยต้นทุนต่ำ ต่อไป: กลุ่มทำงานร่วมกันสำหรับการประสานงานที่ยืดหยุ่น ✨