[pyroxar]

W jaki sposób statyczne typowanie wpływa na efektywność programów wielowątkowych?

#linux #programowanie #programista15k #cpp

[zwei]

@pyroxar: a w jaki ma wpływać? jedno to jest czas kompilacji, a drugie to runtime

[groman43]

@pyroxar: A w sumie co ma piernik do wiatraka?

[pyroxar]

@zwei: @groman43

[groman43]

@pyroxar: Jedyne, co przychodzi mi do głowy, to fakt że niektóre dynamiczne typowane języki mają słaby support dla multithreadingu. Ale to wynika wprost z ich designu, nie faktu że są dynamiczne typowane. Python miał swojego GILa, JS (a więc pewnie i TS) jest z definicji single threaded.

Tylko to jest takie mieszanie dwóch różnych faktów, niekoniecznie z sensem.

[biauekWladcaJajek]

@pyroxar: pierwsze z brzegu, jak Cię ciekawi to badaj głębiej. https://ssw.jku.at/General/Staff/Daloze/thread-safe-objects.pdf

Dynamically-typed languages are in widespread use, but their support for multithreading still lags behind. One of the reasons is that the sophisticated techniques they use to efficiently represent their dynamic object models are often unsafe in multithreaded environments.

[Krolik]

@pyroxar: w niektórych językach system system typów jest wystarczająco silny aby statycznie udowodnić obecność/brak wyścigów danych. To przekłada się na możliwość znacznie bardziej agresywnej optymalizacji kodu np braku konieczności defensywnego stosowania blokad czy defensywnego kopiowania danych. Zwłaszcza w połączeniu z czymś takim jak async/await to potrafi być niesamowicie potężne rozwiązanie.

Przykładowo u nas w firmie mamy proxy sieciowe które obsługuje setki tysięcy połączeń a nie ma absolutnie żadnej synchronizacji na

[Saly]

@pyroxar: to nie ma nic do rzeczy. Ale faktycznie tak jest, że języki statycznie typowane są najczęściej wielowątkowe a dynamiczne jednowątkowe. Wynika to trochę z tradycji a trochę z ukierunkowania technologicznego.

Jeśli chodzi o tradycję to statyczne języki były pierwsze, to w tych językach pisało się szybki soft i te języki potrzebowały wsparcia dla wielowątkowości. Języki dynamiczne były często językami zabawkami lub ograniczonymi językami skryptowymi (patrz JS), które urosły gigantycznie.