• úvod
  • témata
  • události
  • tržiště
  • diskuze
  • nástěnka
  • přihlásit
    registrace
    ztracené heslo?
    XCHAOSANSI C/C99 (specifikace), GNU C (gcc, glibc), Tiny C (tcc) a POSIX - ne nutně C++,g++,libstdc++ nebo Win32 API
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: no ano, já vím co je to refcount.

    ale nechápu, jak bys mohl nějakého programátora donutit dělat to manuálně: vznikaly by v tom obtížně debugovatelné chyby, když by někdo zapoměl ten kód pro snížení nebo zvýšení refcountu připsat, nebo naopak při změně kódu umazat, apod.

    a překvapuje mi, že C++ neumí samo počítat reference na objekty: tím v mých očích zase mizí jedna ze (zjevně domělých) předností... jak říkám, C++ pořádně neovládám, tak mu možná přisuzuju nějaké mýtické vlastnosti, které vůbec nemá
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    Podivej, refcounting je proste technika kde si nejak pocitas reference a kdyz dojdou na 0, tak ten objekt na kterej to pocitas smazes. Jestli se to dela manualne nebo automaticky je naprosto nerelevantni. Ja sem mel z tve poznamky pocit, ze nejak nejde udelat to smazani (nevim proc, proto sem se ptal).
    A jako priklad knihovny, ktera pouziva manualni pristup jsem daval COM, ktery opravdu ma AddRef a Release metody, ktere se daji explicitne volat. Pochopitelne, pro implementaci single threaded aplikace to neni az tak uzitecny, ale to neznamena, ze to "nejde".

    To co myslis ty, ze se to pocita automaticky, je typicka implementace neceho cemu se rika smart pointer. Ty pak, v typicky implementaci, pocitaj reference za tebe a na konci to smazou za tebe. (A to logicky v C++ nejde, o tom se nikdo nebavi).
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: mno, trochu jinak. volání destrukturu na konci scope je asi nedorozumění - bavíme se o snížení počtu referencí, když na objekt odkazovalal lokální proměnná v nějakém scope, která na jeho konci zaniká...

    protože v C se na konci obyčejného scope nic zvláštního nestane, tak prostě nemáš možnost to počítadlo odkazů nějak "vyčistit", aktualizovat. (leda by to fungovalo tak, že s refcountem se pracuje vždy jen v aktuálním scope, ale to se mi nezdá, to by mohlo vést k ignorování některých sofistikovaněji vytvořeých referencí...)

    (samozřejmě v mých speciálních scopech remember {} a forget {} se na konci cosi stane, ale to je už úplně něco jiného... stejně jako COM je něco jiného, apod.)
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: A to proto, ze ty sis myslel, a evidentne porad myslis, ze refcounty jsou to, cemu cely non-xchaos svet rika smartpointery a tudiz potrebujou pretizeny = a volani destruktoru na konci scope. A jelikoz pres nekolikere upozorneni ze to tak neni sme se nikam nepohnuli, nema "debata" zadny smysl.
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: ale vždyť o smartpointerech si tady začal mluvit až ty :)
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: No, ja se dozvedel ze nerozlisujes refcounty a smartpointery, coz mne na zacatku nenapadlo a tak sem byl zvedavej kde je problem s refcountama. That's all.
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: no ale o tom celou dobu mluvím... že abys mohl mít v C refcounty, tak se musíš vzdát něčeho tak zásadního, jako je operátor = ... zatím mě nikdo nepřesvědčil o opaku.

    takže kde je celou dobu problém ? k čemu posledních asi 10 příspěvků ? co nového se kdo dozvěděl ? flamewar pro flamewar ?
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: Protoze to ma funkcni refcounty, aniz by to pouzivalo operator=
    S rozumnym pouzim atd.
    Ale ok, takze to uzavrem na tom, ze "v Ccku nejde delat refcounty" znamena "Ccko neumi smartpointery, akorat nemam poneti jak se co jmenuje".
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: já COM neodsuzuju, akorát prostě nevím, proč to taháš sem: jako _nativní_ princip správy paměti v nativní C aplikaci pro POSIXový systém to použitelné není.

    v POSIXu se obecně na sdílení paměti ("objektů") mezi procesy (nikoliv mezi vlákny procseu) používá mechanismus sdílené paměti (shmget(), mmap()). je to jistě taky zajímavé téma - ale pro běžnou správu paměti v rámci jednoho procesu asi budeš chtít použít něco sice méně robustního a univerzálního - ale zato výrazně svižnějšího.
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: No, treba je to smyslem u objektu sdilenejch mezi vic procesama, kdy bez pocitani referenci proste nevis jestli si posledni a mas to smazat, nebo na to drzi pointer jeste 3 ukazatele na tvym pocitaci a dalsi 2 pres sit. Ale, well, to by sis o tom COMu musel neco precist a ne to smahem odsoudit jako M$ a tudiz irelevantni.
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: ježišmarja, manuálně pochopitelně můžeš dělat cokoliv... ale pokud bys po každém přiřazení musel volat nějakou inkrementující funkci, tak mě to opravdu přijde krajně neintuitivní. natož pak volání těch dekrementujících funkcí na konci scope...

    já nevím... ale nebylo náhodou smyslem počítání referencí to, že to ten programovací jazyk dělá sám od sebe, a programátor to nemusí řešit ?

    a nevzniká náhodou nová referende na objekt nejčastěji právě když se použije operátor přiřazení výsledku nějaké proměnné ?
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: viz [ XCHAOS @ ANSI C/C99 (specifikace), GNU C (gcc, glibc), Tiny C (tcc) a POSIX - ne nutně C++,g++,libstdc++ nebo Win32 API ] - jde to, ale musel by si zapomenout na rovnítko. a používat místo toho něco, co by s těmi refcounty počítalo.

    a stejně bys měl problém se snížením počtu odkazů na konci scope. takže ne - v čistém C to nejde.

    refcounty jsou zajímavý trik, nic proti nim - ale je to jedna věc, co jde v C++ nebo vy vyšších jazycích, ale není jednoduše aplikovatelná v čistém C. (to máš stejné, jako že máš nějaké hudební nástroje, na které akord prostě nezahraješ... třeba píšťalu)
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: Tak znova.. refcounty *NEJSOU* zalezitosti operatoru prirazeni. Jasne sme ti to rekli DVA, mne si za to dokonce podekoval.
    XCHAOS
    XCHAOS --- ---
    REDGUY: hmm, Objektive C ovšem není C/C99, takže celé je to dost mimo mísu. Refcounty nejsou záležitost alokátoru, ale operátoru přiřazení. v čistém C můžeš použít celou spoustu strategií alokace a garbage collection - jenom ne refcounty

    (mohl bys je diskutabilně použít, kdybys úplně zavrhl operátor přiřazení "=" ... a místo toho důsledně volal nějakou přiřazující funkci, inkrementující ten refcount)

    jinak ano, moje alokační strategie se už kdysi v DOSu nápadně podobala alokační strategii v původním 16ti bitovém Mac OS (tedy před Mac OS X), sám jsem tady na to odvolával - takže nevím, proč mi najednou povýšeně radíš, ať si to "nastuduju".

    (tedy samozřejmě - já na tu alokační strategii tehdy přišel nezávisle a o tom jak byl udělaný starý historický Macintosh jsem se dočetl až později, ale ono je přece o tolik víc cool našprtat se, jak něco dělal někdo přede mnou, než na něco přijít sám od sebe... to je přece trapné, mít nějaké nápady, že ano.. co kdyby se jim náhodou někdo vysmál...)
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: Ja popravde moc ne, tvoje primarni odpoved byla totalne z cesty a vesmes mlzici. Mne furt zajima proc si myslis ze to nejde.

    XCHAOS: Nevybavuju si ze bych tu kdy videl nejaky "tak takhle sem to ted nahrubo naspecifikoval, co vy na to." Ta vec se neustale menila a litala z jednoho konce na druhy, podle toho s kym a o cem ses zrovna hadal.
    XCHAOS
    XCHAOS --- ---
    REDGUY: myslím, že ani nemáš moc představu, jaký design jsem zahodil a jaký chystám. samozřejmě, že ta diskutovaná datová struktura (která se určitě nejmenuje Maruška, ať už se jmenuje jakkoliv - podle mě je to binární B+ strom) je kompatibilní s jakýmkoliv design-pattern - ať už by šlo o container classes, nebo o cokoliv jiného.

    (počítám ses nikdy moc neobtěžoval si nastudovat, o čem vlastně píšu - víceméně se ti daří dělat z lidí blbce i bez toho, aniž by ses jejich názory zabýval - ono toto totiž nepochybně jde, jsou na to osvědčené postupy, a ty jich používáš celou řadu...)
    XCHAOS
    XCHAOS --- ---
    DAVIDOWITCH: děkuji, takhle nějak jsem si to představoval
    REDGUY
    REDGUY --- ---
    XCHAOS: Podivej, pokud si myslis ze refcounty v klasickem C nefunguji, mel bys napsat do Applu a vysvetlit jim to. Cely iOS (a OS X do nejake relativne nedavne verze) stoji na refcountovane alokaci pameti a funguje jim to dost dobre. Urcite je pobavi az jim budes vysvetlovat jak to maji rozbity 8)
    (Ano, iOS a OSX jsou psane v Objective-C. Nicmene na ten alokator to ma vliv pouze v tom, ze se jeho kod vola jako metoda objektu, ne jako funkce. Pretezovani operatoru tam neni, takze o O-C se da rict to co rikas o C: v čistém C nemůžou být refcounty, pokud použiješ obyčejné přiřazování referencí pomocí = ... protože chování tohoto operátoru neovlivníš.)

    A btw, abych si odpracoval dnesni dobry skutek a dal ti moznost naucit se neco uzitecneho: nastuduj si jak v iOSu fungujou memory pooly. To je neco neco zhruba podobneho tvym kontextovym alokatorum, ale, abych se pridrzel sve hudebni analogie, programovali to Beatles, ne Christian Crusaders 8)
    REDGUY
    REDGUY --- ---
    XCHAOS: bez ohledu na to, jakými všemi způsoby se to dá dělat, a bez ohledu na to, kolik z nich já znám nebo si umím představit, jsem si jistý, že xChaos to udělá špatně, ha ha ha - V prvni rade, neni to jen "udela spatne" ale spis "udela spatne nebo o tom bude jen tlachat a nic z toho nakonec nebude". A nejsem si jisty, pouze to predpokladam na zaklade minulosti. Chces priklady? Maruska - x lidi ti tady vysvetlovalo ze je to hloupost, tys dupal nozickou a rikal "nenenene, jen pockejte". A kdeze je Maruska? Nikde. Obdobne, kontextovy alokator - pred par rokama (boze, to to leti) jsem ti tady s ostatnimi vysvetloval ze tvuj pristup je nesmysl, na oplatku jsem se dozvedel ze "nenenene, nechapes meho genia, bude to super". A jak je to ted? Stary design jsi zahodil a chystas novy. Ne ze bych o tom novem mel nejake iluze, ale myslim ze to dost dobre vypovida o tom, kdo mel pravdu ohlede toho stareho, ne?

    Takze, ne, nejsem si jisty. Pokud ale muzu extrapolovat z minulosti, nejsem ohlede tvych budoucich vytvoru prilis optimisticky. Pochopitelne se muzu mylit, ale mam intenzivni obavu ze to se nedozvime, protoze zadny poradny design z tebe nevypadne.
    DAVIDOWITCH
    DAVIDOWITCH --- ---
    XCHAOS: Bavime se o norme C99 (mam rad svoje // komentare).
    A smart pointery nejsou veci normy, nedefinuje je ani C++, je to spis koncept/design pattern. Kterej se typicky interne implementuje pres pocitany reference (ale nemusi) a vyzaduje pretizeni =. To je jasny, to v C99 nenaimplementujes.
    Ale normalni pocitani referenci jako koncept neni na pretizeni = nikterak zavisly. Jako priklad kde to je pouzity bez = jsem uvedl COM. To ze je microsofti s tim nema nic spolecnyho, je to priklad knihovny ktera ma pocitany reference a nepouziva/nepotrebuje pretizeny =.

    Takze, proc nejdou teda takovy ty klasicky "manualni" pocitany reference?
    Kliknutím sem můžete změnit nastavení reklam