Troels Henriksen

Rss
Personligt feed med nye kommentarer i tråde, du overvåger:
https://www.version2.dk/mit/0/kommentarer?token=HPnHcLYhJ8jCXC_UoTnfzqY2R9xpwMBmKONAZAek0jk

Kommentarer

Kommentar til Min bedste laptop

Re: Bloated cores

Jeg tror du må komme med nogle eksempler. Loop fusion, loop interchange, vektorisering (til dels - visse JITs kan vistnok i enkle tilfælde hvis kildeteksten er tilpas annoteret), accelerator offload (a la OpenMP/OpenACC) og global registerallokering.
Kommentar til Min bedste laptop

Re: Bloated cores

Jeg snakkede nu ikke om statiske versus dynamiske typer, men om dynamisk adfærd - f.eks. virtuelle eller indirekte metodekald. JITs er gode til at optimere disse, men mindre gode til strukturelle transformationer. Såfremt det er nødvendigt kan man reversecompile bytecode/p-code/IL til det oprin...
Kommentar til Min bedste laptop

Re: Bloated cores

Derudover har JIT-oversættere andre problemer: De er under større resursepres end traditionelle oversættere, så mange effektive (men dyre) optimeringer er ikke realistiske. De opererer typisk på lavniveau-represæntationer (oversat bytecode), hvilket betyder at mange invarianter fra det oprindel...
Kommentar til Min bedste laptop

Effektiv kode

Denne udvikling betyder at effektiv kode begynder at blive en nødvendighed på en helt anden måde end det tidligere har været - overalt. I betragtning af at der næppe kommer til at ske nogen stor forbedring af den gennemsnitlige programmørs evner, så bliver det interessant at se hvordan det vil f...
Kommentar til Der er for lidt fokus på at undgå fejl !

Conway's Lov

Jeg har tænkt på noget i denne retning. Conway's Lov siger at en organisation uværgeligt producerer systemer der imiterer organisationens egen interne struktur. Vi er rimeligt på hvordan et godt programdesign ser ud, også selvom vi ikke er sikre på hvordan man når dertil hver gang: Det...
Kommentar til Top fem sprog til Machine Learning

Julia?

Derudover nævnes Julia slet ikke, til trods for at det lader til at have fart på: http://julialang.org/ (Indrømmet, det er ikke så gammelt endnu.) Jeg ved heller ikke helt om jeg ville vælge Java hvis målet var "fart"...
Kommentar til Brug-og-smid-væk-kode?

Undlad at opdatere

Er der behov for at opdatere til en nyere og inkompatibel udgave hvis den gamle stadigvæk fungerer? Hvis inkompatible opgraderinger er hyppige, så kunne der være fidus i at springe nogen af dem over.
Kommentar til Nvidias Tesla-GPU leverer 5,3 teraflops til kunstig intelligens

Re: Tesla og Tesla

For at gøre det endnu sjovere, så har NVIDIA også haft en mikro-arkitektur ved navn "Tesla" (fra 2007), udover at de nu har en produktlinje ved navn "Tesla".
Kommentar til Nvidias Tesla-GPU leverer 5,3 teraflops til kunstig intelligens

Re: Transistorantal

Moore's lov er bestemt ikke død for GPU'ere endnu. Moore's lov er slet ikke død - den siger jo noget om væksten i transistordensiteten, ikke om sekventiel ydelse. Du kan også kigge på FPGA'er - de har typisk endnu flere transistorer. Det er Dennard-...
Kommentar til Nvidias Tesla-GPU leverer 5,3 teraflops til kunstig intelligens

Hæftig maskine

Denne DGX-1 kan yde 170 tera-FLOPS og bruger kun 3.2kW i strøm. Det er ret billig regnekraft, i hvert fald hvad angår strøm. De hundrede tusinde dollar selve maskinen koster er lidt uden for mit budget. Jeg gad nok vide hvornår denne GPU-arkitektur bliver manifesteret i nogle forbrugerprodukte...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Ud fra den logik er Turingmaskinen jo heller ikke Turingkomplet, da enhver implementationen af den vil være begrænset af antallet af atomer i universerset. Korrekt! En Turing-maskine er en matematisk model der på ingen måde kan implementeres nøjagtigt i et endeligt univers. Jeg sidder d...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Hvad med Church?

Kan I umiddelbart komme på en teknisk ting i C der gør det ligeså kompliceret at implementere lambda calculus som det tilsyneladende er at implementere Turingmaskinen? Det afhænger mest af hvilken type sprog du forsøger at vise Turing-komplethed for. Hvis det er et "maskin-lignende...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Endnu et niveau af indirektion

Nu er det jo en meget teoretisk diskussion da ingen computer kan håndtere et vilkårligt (stort) antal variable indenfor en afgrænset mængde hukommelse som jo er hvad der er tilgængeligt i praksis. Nej, i et endeligt univers som vores(?) kan man aldrig konstruere en Turing-komplet maskine ...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Endnu et niveau af indirektion

Hvis man har en computer med et RAM lager der overstiger det maksimale der kan adresseres med en C-pointer må man formode at man har adgang til et "segmentregister" som kan anvendes til at tilgå den del af RAM-hukommelsen som man ikke kan tilgå direkte – er resten så ikke et spørgsmål...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Morten, det er en virkelig sjov løsning det med at genstarte programmet med en ny pegerstørrelse! Jeg tror dog der er for mange praktiske(!) problemer mht. håndtering af IO, der skal rulles tilbage. Dine krav til programmet (at det ikke bruger sizeof(void*) til noget kreativt) er også rimelige,...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Hvad satan

Kan nogen hos Version2 i øvrigt forklare hvorfor serveren afviser min kommentar, hvis den indeholder navnet på den funktion i C man bruger til at åbne en fil? Altså, den funktion hvis navn starter med "f" og som derefter har "open"? Når jeg prøver, så får jeg denne fejl: The...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Ny idé!

Du har ret med ftell() - den må faktisk godt fejle med en eller anden system-specifik fejlkode, som velsagtens kunne være "desværre makker, filer på det her system er mærkelige så vi kan være Turing-komplette". Jeg har ikke råd til C-specifikationen, så jeg har til at forsøge at...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Nej det er vi ikke enige om. Du kan naturligvis få adressen på ting der måtte ligge i RAM i den aktuelle process, men der er ingen der siger at data skal være i RAM. Det kan eksempelvis være i en fil. Funktionen fseek kan navigere rundt i arbitrære store filer da den kan navigere relativt (1 by...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Jeg tror du misforstår min oprindelige problemstilling: Jeg kigger kun på C som specificeret som sprog. Det er et intellektuelt puslespil, ikke en reel kritik eller ingeniørmæssig udfordring, eller noget i den stil. Det vil jeg gerne understreje, for det lader til at mange synes at tage mit tan...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

I et programmeringssprog kan man da godt regne med et vilkårligt stort lager. Min pointe er netop at C-sproget er specificeret således at dette ikke er tilfældet. Eller har du gennemskuet en spidsfindighed der gør det muligt?