Kilitlenmeyi Bulma

Çok iş parçacıklı bir uygulamayı programlarken, paylaşılan kaynaklara erişirken çeşitli iş parçacıklarının kilitlenmesini önlemek için çok dikkatli olunmalıdır. Bir iş parçacığı, diğer iş parçacığının birincisi tarafından kilitlenen bir kaynağa erişmeye çalıştığı sırada başka bir iş parçacığında kilitlenen bir kaynağa erişmeye çalıştığında bir kilitlenme oluşur. Bu basit bir durumdur, ancak daha uzun kaynak zincirleriyle daha karmaşık hale gelebilir.

Meydan okuma

Her iş parçacığının eriştiği kaynaklar listesine olası bir kilitlenme durumunu algılayabilen bir program veya işlev yazmalısınız. Bu kod golf, bayt en kısa cevap kazanır.

Her iş parçacığı aynı anda başlatılır, ancak bundan sonra herhangi bir serpiştirme kombinasyonunda çalışabilirler. 4 işlemlerden her biri 2 parçacığı vardır, (her numara, bu numara ile parçacığı tarafından yapılan bir işlem olduğu) olarak çalıştırılabilir 1,1,1,1,2,2,2,2, 2,2,2,2,1,1,1,1, 1,2,1,2,1,2,1,2, 1,1,2,2,2,2,1,1, ya da herhangi bir başka olası kombinasyon.

Giriş

STDIN, function parametresi veya en yakın alternatif olarak bir dize listesi alırsınız. Her dize formatta olacaktır +a -b. Bu dizelerin her biri, bir kaynağın iş parçacığı tarafından kilitlenmesini ( +) / kilidini açmayı ( -) temsil eder . Her iş parçacığı arasında bir ---ayırıcı olacaktır . Bir iş parçacığının zaten kilitli olduğu bir kaynağı kilitlemeye çalışmadığı ve tüm iş parçacıklarının çıkmadan önce kilitledikleri tüm kaynakların kilidini açıkça açacağı garanti edilir. Aşağıda gösterilebilecek bir örnek verilmiştir:

+a    # Lock resource a
+b    # Lock resource b
-a    # Unlock resource a
-b    # Unlock resource b
---   # Thread separator
+b    # Lock resource b
-b    # Unlock resource b

Çıktı

Girdi herhangi bir kilitlenme olasılığı içermiyorsa çıktı hatalı ve olası bir kilitlenme durumu içeriyorsa doğrudur. Örneğin:

• true
• false
• 1
• 0

hepsi geçerli çıktılardır, ancak açık / doğru olarak tanımlanan herhangi bir şey kabul edilecektir.

Örnekler

+a
-a
---
+a
-a

Çıktı: false

+a
+b
-b
-a
---
+b
+a
-a
-b

Çıktı true

İş b,aparçacıkları için sırasıyla edinmeye çalışırken kilitlenme1,2

+a
+b
-a
-b
---
+a
+b
-b
-a

Çıktı false

+a
+b
-b
-a
---
+b
+c
-c
-b
---
+c
+a
-a
-c

Çıktı: true

b,c,aSırasıyla elde etmeye çalışırken dişlilerin 1,2,3 kilitlenmesi .

http://pastebin.com/vMYRZxtW

Çıktı false

http://pastebin.com/V5MVgNgS

Çıktı true

Akarsu olmaya çalışırken b,d,asırasıyla 1,2,3 ipliklerinde kilitlenme .

Tabii ki bu çok daha karmaşık hale gelebilir, daha fazla iplik, her biri için daha fazla kaynak ve benzeri, ancak bu testlerin temelleri kapsadığına inanıyorum.

Bonus

Bir program yazarken kilitlenme durumları bulduğunuzda çok üzücü olduğu için , çıktıları yanıtlamak için sırasıyla -8 bayt bonusu vardır :(ve :)sırasıyla doğru / falsy olarak bulunur.

Python 2-2227

Temelde 'öncelik' döngüsü olmadığından emin olur. Örneğin, ikinci testte, birinci iplik bir a(b)önceliğe ve ikinci iplik bir b(a)önceliğe sahiptir.

Ben bütün iteri araçları operasyonları ile iyi çalışacağını düşünüyorum gibi Pyth bunu yeniden yazma düşünüyordum, ama regex dönüştürmek için biraz iş alacak bu yüzden ben bu yazı ve belki dönüştürmek ve daha sonra başka bir cevap sonrası çalışacağız.

from itertools import*
import re
f=lambda t:any(re.search(r"(.)((.)\3)+\1",''.join(p))for i in product(*[[m.group(1)+m.group(2)for m in re.finditer(r"(\w).*(\w).*\2.*\1",e,16)]for e in t.split('---')])for p in permutations(i))

Python - 586 539 524 501 485 bayt - 8 = 477

Girinti seviyeleri:

1: 1 space
2: 1 tab
3: 1 tab + 1 space
4: 2 tabs

-

import sys
V=set()
t=[[[]]]
for r in sys.stdin:
 r=r.strip()
 if'---'==r:t.append([[]])
 else:v=r[1:];V.add(v);l=t[-1][-1];t[-1].append(l+[v]if'+'==r[0]else filter(lambda x:x!=v,l))
s=lambda l:s(l[1:])+map(lambda x:(l[0],x),l[1:])if 1<len(l)else[]
E=reduce(set.union,map(lambda x:set(sum(map(s,x),[])),t),set())
for v in V:
 k=set();q=[v]
 while 0<len(q):
    u=q.pop(0)
    if u in k:continue
    k.add(u)
    for x,y in E:
     if u==x:
        if y in k:print':(';sys.exit()
        else:q.append(y)
print':)'