-
Data: 2015-03-31 19:49:54
Temat: Re: poprawność algorytmu
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu wtorek, 31 marca 2015 19:29:20 UTC+2 użytkownik M.M. napisał:
> >
> > "Najlepiej jak to możliwe" -- to też nieprecyzyjne określenie.
> > Można je rozumieć jako "najlepiej jak komputer potrafi", albo
> > "najlepiej jak programista potrafi". To ostatnie jest zresztą
> > zazwyczaj twardym limitem, chyba że klient znajdzie lepszego
> > programistę
> No oczywiście że jest nieprecyzyjne. Jest nieprecyzyjne jak każde
> generalizowanie.
Generalizowanie to tyle, co uogólnianie, czyli przechodzenie
od przypadku konkretniejszego do ogólniejszego. Stąd, że Twoje
generalizowanie jest nieprecyzyjne, nie wynika, że każde generalizowanie
jest nieprecyzyjne.
Na przykład dodanie funkcji porównującej jako parametru
dla funkcji "sort" jest generalizowaniem, a jest piekielnie
precyzyjne.
> > Powiedzieć, że coś "działa jak najlepiej", to coś innego, niż
> > powiedzieć, że "nie istnieje w ramach pewnych ograniczeń lepszy program"
> > (nie jest nawet jasne, co się tutaj rozumie w kwestii "istnienia programu"
> > -- czy chodzi o jakiś program dostępny na rynku, czy taki, który
> > ktoś potencjalnie mógłby napisać)
> Przypuszczasz, że chodziło mi o dowód formalny (na podstawie kodu
> źródłowego) na istnienie lepszego programu na rynku? ;-)
Problem polega na tym, że nie wiem, o co Ci chodziło, bo wyraziłeś
się dość nieprecyzyjnie
> > > Inny przykład, program do translacji języków naturalnych. Dlaczego
> > > chciałbyś używać gorszy program niż lepszy?
> >
> > Ja nie wiem, co to znaczy w tym kontekście "gorszy", a co "lepszy"
> A ja wiem że wiesz, potrafisz odróżnić tekst dobrze przetłumaczony od
> źle przetłumaczonego.
W pewnym zakresie może tak. Ale znajdzie się również taki, w którym
eksperci będą między sobą dywagować, czy Słomczyński, czy Barańczak
> > Oczywiście, kiedy masz już pewne kryterium jakości, to możesz się
> > pokusić o przeprowadzenie formalnego dowodu w odniesieniu do tego
> > kryterium
> Nie wiem jak można udowodnić na podstawie źródeł dwóch
> programów, który program lepiej tłumaczy tekst.
Też nie wiem. Prawdopodobnie nie można, tym bardziej, że
nie umiemy nawet uściślić, co to znaczy "lepiej tłumaczyć tekst"
> > Przeciwnie. Dla pewnych kryteriów przeprowadzenie formalnych dowodów
> > będzie prostsze, dla innych trudniejsze, a dla jeszcze innych niemożliwe.
> Różnych programów o rozmiarze N bajtów mamy 256^N. Mamy definicję
> dopuszczalnych danych wejściowych, być może wraz z rozkładem
> prawdopodobieństwa. Mamy precyzyjnie określone co oznacza najlepszy.
> Jak udowodnić, że wśród 256^N nie istnieje żaden lepszy program
> od naszego?
W niektórych przypadkach możemy być może policzyć, jaka jest teoretyczna
granica wydajności, i pokazać, że nasz algorytm ją realizuje (jeżeli
poprze "lepszość" rozumiemy mniejszą złożoność obliczeniową)
Ale niestety Twoje użycie słowa "najlepszy" jest nieprecyzyjne,
bo "najlepszy" może być również w sensie "maintainability" -- że
ma najlepsze komentarze, jest najłatwiej rozszerzalny itd.
> > Nieprawda. To, jak się coś skonkretyzuje (oraz co się skonkretyzuje),
> > ma kluczowe znaczenie dla łatwości/trudności przeprowadzenia dowodu.
> Może czegoś nie wiem, dla jakich kryteriów dowód będzie łatwy w
> przeprowadzeniu?
Nie rozumiem o co pytasz. W ogólności zależy to od przypadku.
> > > > Mylisz się z pewnością, choćby dlatego, że semafor nie jest jedynym
> > > > mechanizmem synchronizującym używanym w programach wielowątkowych.
> > > Jeśli odebrałeś moje słowa dosłownie, to mam prośbę. Najpierw uogólnij
> > > sobie mój 'semafor' na inne mechanizmy synchronizowania, a potem
> > > przeanalizuj czy się mylę. Potem pogadamy dalej.
> >
> > Na przykład w API CUDA dla GPU nVidii masz polecenie __syncthreads(), które
> > działa w taki sposób, że wszystkie wątki czekają, aż ostatni wątek wywoła
> > owo polecenie. Deadlocka otrzymamy w każdym przypadku, gdy którykolwiek
> > z wątków w danej jednostce uruchomieniowej nie wywoła polecenia __syncthreads().
> Nigdy nie używałem tego polecenia. Czy jest konieczne używanie?
> Co ono usprawnia?
Umożliwia synchronizację wątków przed dostępem do pamięci.
Jeśli Cię to bardziej interesuje, polecam kurs z "Heterogenous Parallel
Programming" na Courserze albo książkę "CUDA w przykładach" (wyd. Helion)
> > W jaki sposób przetłumaczyłbyś tę sytuację na swój "ogólniony semafor"?
> Nie wiem, w taki sposób nie programowalem nigdy. Na pewno wszystkie
> wątki muszą dojść do tej instrukcji. A żeby doszły, to nie mogą się
> wcześniej zablokować i syncthreads musi być wspólną instrukcją....
>
> Chyba mam sposób. Jeśli używam N semaforów s1, s2, ... sN, to zakładam, że
> każde synthreads jest objęte:
> s1
> s2
> sn
> syncthreds
> sn
> s2
> s1
> Potem używam wszędzie w tej samej kolejności od s1 do sn.
Nie. Każdy wątek może bezpiecznie wywołać __syncthreads i nie ma potrzeby
zabezpieczania jej semaforami, zaś (pomijając kwestię marnowania zasobów)
właśnie z tego względu zabezpieczanie semaforami nic w tym przypadku nie
da, a tym bardziej nie ochroni przed deadlockiem.
Następne wpisy z tego wątku
- 31.03.15 19:59 slawek
- 31.03.15 20:10 slawek
- 31.03.15 20:34 g...@g...com
- 31.03.15 21:01 M.M.
- 31.03.15 23:04 slawek
- 31.03.15 23:25 g...@g...com
- 31.03.15 23:32 Andrzej Jarzabek
- 31.03.15 23:59 slawek
- 01.04.15 00:08 g...@g...com
- 01.04.15 08:46 firr
- 01.04.15 09:01 firr
- 01.04.15 11:57 M.M.
- 01.04.15 12:03 M.M.
- 01.04.15 12:44 firr
- 01.04.15 12:51 firr
Najnowsze wątki z tej grupy
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
Najnowsze wątki
- 2024-09-02 Wzór
- 2024-09-01 Polska-Chorwacja 650zł elektrykiem
- 2024-09-01 odrdzewiacz do amelinium
- 2024-09-01 Elektryczna łapka i szerszeń
- 2024-09-01 Jakie podatki za wynajem?
- 2024-09-02 Warszawa => Key Account Manager <=
- 2024-09-02 Warszawa => Projektant/Programista React Native <=
- 2024-09-02 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-09-02 Warszawa => Sales Development Representative (in German) <=
- 2024-09-01 1. wrzesnia po niemiecku
- 2024-09-01 Od setki do setki...
- 2024-08-31 wpadłem w siodło
- 2024-08-25 cenka opada
- 2024-08-30 Elektryki takie bezpieczne cd.
- 2024-08-31 Warszawa => International freight forwarder <=