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 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?
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Well, i og med at en turingmaskine har en uendelig lang papirstrimmel til rådighed er der ingen programmeringssprog i den virkelige verden, som er helt stringent turingkomplette - de må nøjes med at køre på maskiner, som har endelig hukommelse. I praksis ser man dog nok bort fra den restriktion...
Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Tak; det er sgu godt at vi har nogen til at redde os når vi er lige ved at falde i. Jeg har dog hørt det anfægtet, helt alvorligt, at C faktisk ikke er Turing-komplet. Det er baseret på at enhver peger kan konverteres til en void-peger (eller en uintptr_t) og tilbage igen, og disse har kun en e...
Kommentar til X86-instruktionssæt er måske mindre strømslugende end deres rygte

CISC fordele

Jeg har hørt det postuleret (og demonstreret i eksotiske benchmarks) at x86's uhumske CISC-ISA nutildags kan være en fordel, fordi det i praksis udgør en Huffman-indkodning af instruktionssættet, således at de mest hyppigt anvendte instruktioner tager mindre plads. Hypotesen er, at...
Kommentar til Compiler-gruppen: Teknisk perfektionisme kontra nytte - 2

Endnu en god artikel!

Lavede Algol-oversætteren nogen optimeringer? Jeg har læst artiklen om den oprindelige FORTRAN-oversætter, og så vidt jeg husker nævner de CSE og constant-folding. Jeg husker dog også noget mere end de otte passager Algol-oversætteren består af, og sikkert bygget til en større maskine. Det vil...
Kommentar til Compiler-gruppen: Teknisk perfektionisme kontra nytte - 1

God artikel!

Ved du om dit program har overlevet?
Kommentar til Intel klar med ny high-end quad-core mini PC

Grafiske værktøjer!

Nu er jeg en af dem der godt kan lide oversættelser af danske udtryk, men "execution unit" til "grafisk værktøj" er lige friskt nok. Derudover lyder det som en god chip. Det lader til at være gået mange forbi, men over halvdelen af chiparealet på en moderne Intel-"CPU...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Well... Nu ved jeg ikke, hvem der bruger den kode, du skriver, men for mit vedkommende er det stik modsat. Jeg er aldrig ligeglad med de performancemæssige aspekter af de abstraktioner, som jeg betjener mig af. Jeg er PhD-studerende i kode-optimering og high-performance-computing, så noge...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Problemet med at maskinens hukommelse ikke er et uniformt array af bytes kræver ikke engang et højniveausprog for at vise sig. Problemet med denne abstraktion er dog primært ydelsesbaseret, og hvis det er målestokken, så er der næsten ingen abstraktioner der holder vand. Hvis du ikke ved...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: File descriptors / handles

man kan ikke lave select() på en fil Hvorfor må jeg ikke lave select(...read) på en fil for at vågne når nogen har appendet til den? Det er nok fordi der ikke er et oplagt svar på hvad der skal ske hvis filen trunkeres, eller der skrives i midten af den (eller den udvides, for den s...

Der er noget vi mangler at snakke om

Hvad i alverden er en "forskermaskine"?
IT Company Rank
maximize minimize