On 23.06.2013 22:25, Andrzej Jarzabek wrote:
> On 23/06/2013 19:42, Michoo wrote:
> >
>>> Proponuje to zrobic przy pomocy mutexow lub nawet cmpxchg.
>>
>> A myślisz, że co niby leży "pod spodem" kolejek komunikatów? W javie
>> wszystkie synchronized() to jest właśnie na x86 cmpxchg.
>
> Pomijając wszystko inne, czy twierdzisz, że instrukcja procesora cmpxch
> potrafi wykonać czynność "wstrzymaj wykonanie wątku do momentu..."?

Oczywiście, że nie. Instrukcja ta pozwala na dwie rzeczy(mówimy o SMP):
- możliwie bezkosztowe (kilka cykli) uzyskanie blokady na wyłączność
(wejście do sekcji krytycznej)
- możliwie bezkosztowe wstawianie/usuwanie obiektów z kolejek

> Jak
> to się niby odbywa - przecież wątek jest bytem funkcjonującym na
> poziomie co najmniej systemu operacyjnego (jeśli nie wręcz maszyny
> wirtualnej)?

W pierwszym przypadku jest polecam lekturę tego jak działają linuxowe
FUTEXy. W skrócie chodzi o to, żeby w domyślnej ścieżce wykonania (gdy
sekcja krytyczna jest wolna) nie wykonywać drogich odwołań do systemu
operacyjnego. Gdy wątek musi i tak czekać to można sobie pozwolić na
trochę dłuższą ścieżkę wykonania (i wtedy prosi system operacyjny o
uśpienie).

W drugim przypadku możemy mieć kolejkę producent(ci)->konsument(ci)
która nie wymaga blokowania ("lock-free") a więc oszczędzamy całkiem
sporo czasu na usypianiu i budzeniu wątków.

--
Pozdrawiam
Michoo