คำถามติดแท็ก concurrency

ฉันกำลังพยายามสรุปว่าความแตกต่างที่แท้จริงระหว่างรูปแบบของนักแสดงพร้อมกันและรูปแบบการสื่อสารตามกระบวนการ (CSP) ของการเกิดพร้อมกันคืออะไร จนถึงตอนนี้สิ่งที่ดีที่สุดที่ฉันสามารถทำได้คือโมเดล Actor อนุญาตให้จำนวนและเลย์เอาต์ของโหนดเปลี่ยนแปลงในขณะที่ CSP มีโครงสร้างคงที่ของโหนด

26 concurrency 

มีอะนาล็อกขนานตามธรรมชาติกับต้นไม้สีแดงดำที่มีคุณสมบัติคล้ายกันหรือแม้กระทั่งไม่เลวร้ายยิ่งกว่าสำหรับการอัปเดตในขณะที่ทำงานได้อย่างมีประสิทธิภาพพอสมควรหรือไม่? โดยทั่วไปแล้วสิ่งที่ดีที่สุดที่เราสามารถทำได้สำหรับการค้นหาแบบขนานพร้อมกับการอัปเดตคืออะไร

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

มีคำอธิบายที่เป็นประโยชน์ของฟิวเจอร์สหรือสัญญาในแง่ของทฤษฎีหมวดหมู่หรือไม่? โดยเฉพาะอย่างยิ่งสิ่งที่คู่แท้ของอนาคตจะเป็นอย่างไร

22 pl.programming-languages  ct.category-theory  concurrency 

สัปดาห์ที่แล้วผมได้อ่านอีกครั้งของเลสลี่ Lamport 1982 trasncript ของการประชุมที่เขาให้การเกี่ยวกับการแก้ไขปัญหาและการแก้ปัญหาที่ไม่ใช่ปัญหาในการเห็นพ้องด้วย กระดาษสามารถอ่านได้ง่าย แต่สิ่งหนึ่งที่ทำให้ฉันคิดคือการยืนยันดังต่อไปนี้: ปัญหาใด ๆ ถือได้ว่าเป็นปัญหาการกีดกันซึ่งกันและกันหรือปัญหาของผู้ผลิต - ผู้บริโภคหรือการรวมกันของทั้งสอง ฉันต้องการที่จะรู้ว่าคำถามนี้ได้รับการตอบสำหรับกรณีระบบกระจาย มีชุดของปัญหาระบบการกระจายแบบบัญญัติซึ่งสามารถลดปัญหาระบบแบบกระจายที่เป็นไปได้ทั้งหมดได้หรือไม่? รายการมาตรฐานนี้คืออะไร หากไม่มีรายการที่ยอมรับรายการปัจจุบันของปัญหาคืออะไรและมีการลดลงใดบ้าง ตัวอย่างเช่นฉันจะพูดอย่างไร้เดียงสาว่าการเลือกตั้งผู้นำและปัญหาการกีดกันซึ่งกันและกันสามารถลดลงเป็นปัญหาฉันทามติ ฉันจะบอกว่าสแน็ปช็อตแบบกระจายสามารถลดลงเป็นนาฬิกาแบบกระจายได้ มันผิดหรือเปล่าจริงเหรอ? ถ้าเป็นไปได้ฉันอยากให้คำตอบนั้นอ้างอิงถึงกระดาษ / หนังสือที่ตีพิมพ์ซึ่งสนับสนุนการอ้างสิทธิ์ :)

13 reductions  dc.distributed-comp  concurrency 

ฉันกำลังฟังคำปราศรัยของ Alan Kays "มันซับซ้อนหรือไม่หรือเราแค่ทำให้มันซับซ้อน" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) ซึ่งเขาบอกว่า "semaphores เป็นความคิดที่ไม่ดีและมีบางสิ่งที่เรียกว่าเวลาหลอกที่เหนือกว่า" (เวลา 51:40 น. ในวิดีโอที่เชื่อมโยง) บางทีฉันอาจเข้าใจผิดคำว่า "เวลาหลอก" แต่คุณรู้อะไรเกี่ยวกับสิ่งเหล่านี้หรือไม่

11 terminology  concurrency 

ในบทที่ 13 "อะตอมมิกวัตถุ" ของหนังสือ "อัลกอริธึมแจกจ่าย" โดยแนนซี่ลินช์ความเป็นเส้นตรง (หรือที่เรียกว่าอะตอมมิกซิตี้) ได้รับการพิสูจน์แล้วว่าเป็นคุณสมบัติด้านความปลอดภัย กล่าวคือคุณสมบัติการติดตามที่สอดคล้องกันนั้นเป็นแบบnonempty, prefix-closed และ limit-closedตามที่กำหนดไว้ในส่วน 8.5.3 อย่างไม่เป็นทางการคุณสมบัติด้านความปลอดภัยมักถูกตีความว่าเป็นการกล่าวว่าสิ่งที่ "ไม่ดี" บางอย่างไม่เคยเกิดขึ้น จากปัญหานี้ปัญหาแรกของฉันมีดังนี้: linearizability เป็นคุณสมบัติความปลอดภัยคืออะไร? มีผลลัพธ์บางส่วนจากข้อเท็จจริงนี้ในวรรณคดีหรือไม่? ในการศึกษาการจำแนกประเภทของคุณสมบัติความปลอดภัยและคุณสมบัติการอยู่รอดเป็นที่รู้จักกันดีว่าคุณสมบัติความปลอดภัยสามารถกำหนดเป็นชุดปิดในโทโพโลยีที่เหมาะสม ในบทความ"การจำแนกความปลอดภัย - ความคืบหน้า" @ 1993 โดย Amir Pnueli และคณะ โทโพโลยีเมตริกถูกนำมาใช้ โดยเฉพาะอย่างยิ่งสถานที่ให้บริการคือชุดของ ( จำกัด หรือไม่มีที่สิ้นสุด) คำมากกว่าตัวอักษร\คุณสมบัติประกอบด้วยทุกคำอนันต์ดังกล่าวว่าทุกคำนำหน้าของเป็นของ\ตัวอย่างเช่นถ้าดังนั้นΣ ( Φ ) σΦΦ\PhiΣΣ\SigmaA ( Φ )A(Φ)A(\Phi)σσ\sigmaΦ Φ = + B * ( Φ …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

ในบทความที่มีชื่อเดียวกันกับคำถามนี้ผู้เขียนอธิบายถึงวิธีการสร้างการดำเนินการCAS แบบหลายคำที่ไม่บล็อก เชิงเส้น แบบปรับขนาดได้โดยใช้ CAS แบบคำเดียว พวกเขาแนะนำการดำเนินการแบบ double-compare-single-swap ครั้งแรก - RDCSS ดังนี้: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); if (r == d->o2) Complete(d); // !! return r; } void Complete(RDCSSDescriptor_t *d) { v = *(d->a1); if (v == d->o1) …

10 dc.parallel-comp  concurrency 

David Rodríguez - dribeas เขียนไว้ในความคิดเห็นเกี่ยวกับ StackOverflowว่า "คอลเลกชันบางอย่างอาจไม่สามารถใช้งานได้โดยไม่ล็อค" ฉันไม่แน่ใจว่านี่เป็นเรื่องจริงหรือไม่และฉันไม่สามารถหาข้อพิสูจน์ได้ คำสั่งนี้ไม่แม่นยำมาก แต่ให้ฉันลองใช้คำใหม่อย่างเป็นทางการเล็กน้อย: สำหรับคอลเลกชันทุกประเภทCมีคอลเลกชันประเภทล็อคฟรีCLFที่มีชุดปฏิบัติการเดียวกันและที่แต่ละการดำเนินการบนCLFมีความซับซ้อนขนาดใหญ่-O Cเช่นเดียวกับการดำเนินงานที่สอดคล้องกันใน ฉันไม่คิดว่าจะมีการเปลี่ยนแปลงอีกต่อไป

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency