デッドロックを見つける

マルチスレッドアプリケーションをプログラミングするときは、共有リソースにアクセスするときにさまざまなスレッドのデッドロックを避けるように注意する必要があります。デッドロックは、スレッドの試みは、他のスレッドが最初でロックされたリソースにアクセスしようとしているのと同時に、別のスレッドでロックされているリソースにアクセスするときに発生します。これは単純なケースですが、より長いリソースチェーンではより複雑になる可能性があります。

チャレンジ

各スレッドがアクセスするリソースのリストで、考えられるデッドロック状況を検出できるプログラムまたは関数を作成する必要があります。これはコードゴルフなので、バイト単位の最短回答が勝ちです。

すべてのスレッドは同時に開始されますが、その後はインターリーブの任意の組み合わせで実行できます。4つのアクションそれぞれ有する2つのスレッドがある場合、それは（各番号はそのIDを持つスレッドによって取られる行動である）として実行することができ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、又は任意の他の可能な組み合わせ。

入力

STDIN、関数パラメーター、または最も近い代替手段を介して、文字列のリストを受け取ります。各文字列は、形式になります+a -b。この文字列はすべて、スレッドによるリソースのlocking（+）/ unlocking（-）を表します。すべてのスレッドの間に---セパレータがあります。スレッドが既にロックしているリソースをロックしようとしないこと、およびすべてのスレッドが終了する前にロックしたすべてのリソースを明示的にロック解除することが保証されます。次に例を示します。

+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

出力

入力にデッドロックの可能性が含まれていない場合、出力は偽であり、デッドロックの可能性が含まれている場合は、真実です。例えば：

• true
• false
• 1
• 0

すべて有効な出力ですが、真実/偽と明確に定義されたものはすべて受け入れられます。

例

+a
-a
---
+a
-a

出力： false

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

出力 true

b,aスレッドごとに取得しようとするとデッドロック1,2

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

出力 false

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

出力： true

b,c,aそれぞれ取得しようとすると、スレッド1、2、3のデッドロック。

http://pastebin.com/vMYRZxtW

出力 false

http://pastebin.com/V5MVgNgS

出力 true

b,d,aそれぞれ取得しようとしたときのスレッド1、2、3のデッドロック。

もちろん、これはもっと複雑になり、スレッドが増えたり、各スレッドにリソースが増えたりしますが、これらのテストは基本をカバーしていると思います。

ボーナス

プログラムを書いているときにデッドロック状態を見つけるのは非常に悲しいので、回答の出力にはそれぞれ-8バイトのボーナスが:(あり:)、真実/偽として回答します。

Python 2-227

基本的に、「優先順位」のループがないことを確認します。たとえば、2番目のテストでは、最初のスレッドにa(b)優先順位があり、2番目のスレッドにb(a)優先順位があります。

すべてのitertools操作でうまくいくと思うので、これをPythで書き直すことを考えていましたが、正規表現の変換には多少の作業が必要になるため、今のところこれを投稿し、後で変換して別の回答を投稿しようと思います。

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))

パイソン- 586 539 524 501 485バイト- 8 = 477

インデントレベル：

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':)'