Пошук тупика

Програмуючи багатопотокове додаток, слід уважно ставитися до того, щоб уникнути тупикового забруднення різних потоків під час доступу до спільних ресурсів. Тупиковий відбувається , коли потік намагається отримати доступ до ресурсу , який замкнений в іншому потоці , в той же час, інший потік намагається отримати доступ до ресурсу блокується першим. Це простий випадок, але він може бути складнішим з довшими ланцюжками ресурсів.

Змагання

Вам слід написати програму або функцію, яка може виявити можливу ситуацію з тупиком у списку ресурсів, до яких звертається кожен потік. Це код-гольф, тому найкоротша відповідь у байтах виграє.

Кожна нитка запускається одночасно, але після цього вони можуть працювати в будь-якій комбінації переплетення. Якщо є 2 нитки з 4 -х діях кожного, вона може бути запущена як (де кожне число являє собою дію , що робиться нитки з цим ідентифікатором) 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. Кожен з цих рядків представляє блокування ( +) / розблокування ( -) ресурсу потоком. Між кожною ниткою буде ---роздільник. Гарантується, що потік не намагатиметься заблокувати ресурс, який він уже заблокував, і що всі потоки явно розблокують усі заблоковані ресурси перед виходом. Наведемо приклад для демонстрації:

+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

всі дійсні результати, але все чітко визначене як truthy / falesy буде прийнято.

Приклади

+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

Тупик у потоках 1,2,3 при спробі придбати b,c,aвідповідно.

http://pastebin.com/vMYRZxtW

Вихід false

http://pastebin.com/V5MVgNgS

Вихід true

Тупик в потоках 1,2,3 при спробі отримати b,d,aвідповідно.

Звичайно, це може отримати набагато складніший, з більшою кількістю потоків, більше ресурсів для кожного тощо, але я вважаю, що ці тести охоплюють основи.

Бонус

Оскільки це дуже сумно, коли ви виявляєте тупикові ситуації, коли пишете програму, ви отримаєте бонус у розмірі -8 байт для виводу відповідей :(і відповідно :)як truthy / falesy.

Пітон 2 - 227

В основному, переконайтеся, що немає циклів "пріоритету". Наприклад, у другому тесті перша нитка має a(b)пріоритет, а друга нитка має b(a)пріоритет.

Я думав над тим, щоб переписати це в Pyth, оскільки я думаю, що це буде добре працювати з усіма операціями itertools, але для перетворення регулярного вираження знадобиться деяка робота, тому зараз я опублікую це і, можливо, спробую перетворити його та опублікувати іншу відповідь пізніше.

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