[selol]

Witam, jest tu ktoś kto ogarnia programowanie współbieżne w #java ( poziom b. początkujący) i najlepiej do tego jeszcze synchronizacje za pomocą #semafory ? Mam małe pytanko ( ͡° ͜ʖ ͡°)
Taguje to #programowanie

[tell_me_more]

@selol: Nie pytaj czy jest ktoś i czy możesz zapytać. Od razu pytaj.

[Khaz]

@selol: @tell_me_more: 2PC :) #pdk

[selol]

@tell_me_more: Racja. Wklejam paste
https://pastebin.com/1CJgq1T9
https://pastebin.com/4sGs6pJu

Prosty program, który ma liczyć liczby proste z wykorzystaniem sita Eratostenesa. Ma działać współbieżnie. Wymogi :
- procesy powinny miec ograniczony dostep do danych z których wzajemnie korzystaja, czyli
zapewnienie warunku tzw. wzajemnego wykluczania sie procesów.
- procesy powinny byc zsynchronizowane za pomoca semaforów.

[selol]

@selol: @tell_me_more: Niestety wiem, że nie działa tak jak powinno do końca tzn. wyniki są dobre, ale muszą być spełnione wymogi powyżej. Niestety nie wiem czy dobrze to "wątkuje" i czy dobrze metody semaforów są położone. Tzn. wiem, że nie do końca tylko nie mam na razie pomysłu jak to zmienić.

[tell_me_more]

@selol: po pierwsze - pobierasz kolejny indeks do sprawdzania (Sito:18) poza semaforami, więc może się zdarzyć, że 2 wątki będą działać na tej samej liczbie (i drugi z nich zatrzyma się na pierwszym obrocie, poczeka na koniec pierwszego obrotu pierwszego wątku, po czym przeleci wszystkie te same liczby jeszcze raz, a ten drugi wątek będzie czekać, i tak dalej, zmieniając kolejność wątków losow). Kupa niepotrzebnej roboty.

Poza tym, to może opisz

[selol]

@tell_me_more: Do pierwszej części: niestety wiem tylko nie wiem jak temu zaradzić, może zmienną statyczną w Main wprowadzić i po niej jechać w Sito:18 ? Wtedy teoretycznie powinno być dobrze ?

Do drugiej: To jest dobre pytanie, bo prowadzący to gbur i powiedział, że nie będzie mi mówił jak to powinno wyglądać, bo to moje zadanie xD Mam jedynie te wymagania co wkleiłem wyżej - żywcem wycięte z pdfa. Ja to

[tell_me_more]

@selol: spróbuj zrobić z tą zmienną statyczną. Choć wg mnie lepiej to przechowywać w klasie Main i też dostęp do tego blowoać tym samym semaforem, i zwiększać od razu w momencie pobierania, żeby 2 wątki nie sprawdzały od tej samej zmiennej.

Czyli cośw stylu:

const int maximum = Math.sqrt(Main.size)+1;
int i=2;
while (i<maximum) {
 Main.semaphore.aquire();
 i = Main.nextToCheck;
 Main.nextToCheck = Main.set.nextSetBit(Main.nextToCheck+1);
 Main.semaphore.release();

 for ...
 Main.semaphore.aquire()
 if (!Main.set.get(i)) { //żeby nie czyścić

[tell_me_more]

@tell_me_more: czyli coś w stylu

const int maximum = Math.sqrt(Main.size)+1;
 int i=2;
 while (i<maximum) {
 i = Main.getNextToCheck();
 for ...
 if (!Main.clearIfNeeded(j)) {
 break;
 }
 }
 }

a semafory dodaj na początku i końcu metod getNextToCheck i clearIfNeeded.

Gwarancji, że to jest poprawne nie daję, bo wielowątkowe programowanie jest skomplikowane, i jest wpół do drugiej :)

[selol]

@tell_me_more: Dobra. Trochę wydaje mi się, że miejscami namieszałeś :D ( ale pewno tylko wydaje ;/ ). W każdym razie wcieliłem ten pomysł w życie pi razy drzwi i wyszło coś takiego:
https://pastebin.com/yT868Z2Y
https://pastebin.com/YwusLFLb

Uznałem, że te metody bez sensu skoro można zmieścić to w pętli, to i tak chyba wszystko jedno, albo i lepiej, że nie odwołuje się do metod ?
W każdym razie jak już jesteś w temacie (

[selol]

@tell_me_more: poprawka
https://pastebin.com/yT868Z2Y
https://pastebin.com/4VVpbd2W

[tell_me_more]

@selol: no więc jest źle, dlatego nie powinno się programować o 2 w nocy :) Nie można wychodzić z pętli jak trafimy na liczbę która już była wyczyszczona, bo np. dla i=5 trafimy na 15, które jest też wielokrotnością 3 i było wyczyszczone wcześniej i wjdziemy za wcześnie - nie wyczyścimy kolejnych wielokrotności 5.

Ale też nie możesz olać tej mojej zmiany z trzymaniem zmiennej od której lecimy w wątku -

[selol]

@tell_me_more: Masz racje. Dobra, teraz chyba już powinno być ok.... Jak możesz rzucić okiem. Na razie pomijam czy upchnę to w metody czy nie.
https://pastebin.com/9aEb7ugr
teraz ?

[selol]

@tell_me_more: W każdym razie dzięki :)