-
Data: 2021-02-08 07:39:31
Temat: Re: Przenośny, uproszczony filesystem
Od: heby <h...@p...onet.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 07/02/2021 22:53, M.M. wrote:
> To dlaczego nie odpowiesz na pytanie: do czego potrzebujesz wiedzę o takich
> szczegółach synchronizacji wątków?
Ponieważ mutex w pamięci, dostarczany przez OS niekoniecznie jest tym
samym co "mutex" na plik (lock) zapewniajacy spójnośc dnych podczas
wielodostępu i defragmentacji w tle. Wymaga ręcznej implementacji, być
moze opartej o mutexy OSowe, a może niekoniecznie, a może w ogóle są
rozwiązania bez mutexa.
>>> koncepcyjnie to prosta sprawa
>> Tu mutex powinien być na "fragment" filesystemu.
> Tu czyli gdzie i dlaczego na fragment filesystemu? Co rozumiesz przez filesystem?
Na przykład na wirtualny plik w tym kontenerze.
Wyobraź sobie dwa wątki: jeden dopisuje coś do wirtualnego pliku, a
drugi kasuje go.
Można to rozwiązać za pomocą inodes, jak w linuxie. Albo za pomocą
mutexów "w filesystemie".
Oczywiście te "mutexy w filesystemie" to naiwny koncept. To mogą być
zwykłe mutexy w implementacji filesystemu, ale raczej nie będą.
> Transakcje nie są prostym lockiem
Bo transakcja to kiepskie słowo. W zasadzie nie ma dobrego odpowiednika
w DB zachowania filesystemu z kronikowaniem zapisywanego przez wiele wątków.
>>> zliczanie ile wątków przeszło przez jakąś barierę. Ale jaką techniką trzeba
napylić
>>> tranzystory
>> No wiec nie napylam tanzystorów.
> Dlaczego więc chcesz wiedzieć jak wewnętrznie działają mutexy?
Nigdzie nie napisałem że chce wiedzieć jak działają *normalne* mutexy,
bo to wiem. Interesuje mnie jak działa zapewnianie spójności danych w fs
które dla usera wygląda jak typowy zasób krytyczny pilnowany przez mutex.
>> Wszystkie fs majace defragmentacje - robią ją w
>> miejscu. Moe to zaprojektowc metodą garbage collectora z javy: stop the
>> world. Ale coś czuje że to znowu naiwny algorytm.
> GC zlicza odnośniki do alokowanych obiektów, gdy jest zero, to może zwolnić.
Wiem, ale GC nie pojawił sie tutaj jako odpowiednik 1:1 tylko jao zły
przykład "stop the world".
> Jaka jest optymalna struktura do takiego zliczania? Może jakieś drzewo
> zbalansowane i kolejka priorytetowa, a może naiwna liniowa tablica ma tak
> mały narzut że to właśnie ją się najbardziej opłaca stosować dla typowych
> aplikacji - nie wiem.
Potrzebuje literatury z teorii działania systemów plików. Wygdybać mogę
sobie cokolwiek, ale konkuruje z dziesięcioleciami eksperymentów ludzi
mądrzejszych ode mnie.
Następne wpisy z tego wątku
- 08.02.21 11:08 M.M.
- 08.02.21 12:12 heby
- 08.02.21 14:24 M.M.
- 08.02.21 14:57 heby
- 08.02.21 18:35 M.M.
- 08.02.21 18:41 heby
- 08.02.21 19:47 M.M.
- 08.02.21 20:33 Piotr Chamera
- 08.02.21 20:35 heby
- 05.04.21 03:51 J-23
- 05.04.21 11:30 heby
- 05.04.21 20:27 J-23
- 05.04.21 23:04 heby
- 05.04.21 23:55 J-23
- 06.04.21 00:31 J-23
Najnowsze wątki z tej grupy
- 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.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-04-28 wymiana przewodu od licznika do mieszkania
- 2024-04-28 Lustra w maszynie ASML
- 2024-04-28 Elektryk przytarł podłogę
- 2024-04-27 Nowy, "szybki "komputer AsRock nie posiada modułu TPM
- 2024-04-27 Nowy, "szybki "komputer AsRock nie posiada modułu TPM
- 2024-04-27 Warszawa => Inżynier DevOps (projekt JP) <=
- 2024-04-27 Warszawa => Senior Account Manager (on-site) <=
- 2024-04-27 Wrocław => Dyrektor Sprzedaży (branża usług/produktów IT) <=
- 2024-04-27 Warszawa => Sales Representative for Outsourcing Services <=
- 2024-04-27 Chrzanów => Administrator i wdrożeniowiec Lotus Notes/Domino <=
- 2024-04-27 Ja pierdolę...
- 2024-04-27 Ryby i kawitacja
- 2024-04-27 Zabrze => Junior HelpDesk <=
- 2024-04-27 Katowice => Administrator IT - Wirtualizacja i Konteneryzacja <=
- 2024-04-27 Bażanowice => Inżynier Industrializacji - Elektronik <=