Poul-Henning Kamp

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 Privatliv er noget vi betaler for

Re: Hvorfor ikke Nets?

Ved nogen hvorfor er det ikke Nets der er sagsøgt? Som jeg har forstået det kan de ikke komme efter Nets, fordi Nets var offer for en svigagtig medarbejder og Nets forøvrigt gør hvad de kan for at holde sådanne informationer hemmelige. Hvis Nets havde sjusket var der måske en sag, men den v...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Capability-based architectures and C++ are not in conflict

Good C++ (e.g., see the C++ Core Guidelnines) can run on a capability- based architure. ... which is overwhelmingly demonstrated by the CHERI groups work.
Kommentar til Google vandt over Oracle

Re: Imagine a world where Oracle had gotten their way [...]

Saa ville AT&T haft monopol paa Unix, C, og C++. Well, det er jo lidt mere komplext end som så på grund af den anti-trust "accord" der blev indgået, men som udgangspunkt ja. Hvis oracle havde vundet, er jeg ret sikker på at "Austin Group/OpenGroup" eller hvad de nu...
Kommentar til Privatliv er noget vi betaler for

Re: logikken fejler

Det fejler jo fuldstændigt hvis det phk skriver her er sandt. Det er jo netop fordi at disse informationer kunne sælges at privatlivet er knægtet I denne sag. Det betvivler byretten bestemt heller ikke, men den "tort" de seks sagsøgere har lidt er ikke stor nok til at de får nogen...
Kommentar til Atomkraft og IT

Re: Ikke umuligt

I Finland, Finland har en masse papirindustri som i bund og grund bare er store elektriske gryder efterfulgt af store elektriske vridemaskiner, vi har ikke ret meget af den slags belastning her i landet. De har også dybe skærgårde hvor vi har flade sandstrande, det gør det lidt nemmere med ...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Tid til at glemme lineære adresserum?

Useriøs kommentar. Nej, det er dybt seriøst ment. Argumenterne for at have JVM og for den sags skyld PASCAL's P-code var præcis de samme som dem du fremførte. Og det er absolut en brugbar model når man arbejder i en "walled garden". Men det løser stadig ikke problemerne når vi...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Tid til at glemme lineære adresserum?

Al kode skal leveres i ELF filer indeholdende "Michaels Byte Code™" Tillykke! Du har lige genopfundet Java Virtual Machine ? Den er der som bekendt ingen der har skrevet en operativsystemkerne med endnu ?
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Tid til at glemme lineære adresserum?

Men, som jeg har beskrevet, er det ikke et problem at indbygge i compileren Men hvordan sikrer du at al kode er compileret med din "sikre" compiler? En "walled garden" hvor al kode skal afleveres i kildetekstform ? CHERI prøver at løse det svære problem: Situationen hvor...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Tid til at glemme lineære adresserum?

sådan at kerneprogrammører kan lave deres sædvanlige numre. For "sædvanlige numre" læs "få ting til overhovedet at virke til at begynde med" ;-) Men ja, det er helt klart systemprogrammering CHERI primært sigter efter.
Kommentar til 'Dragebog'-forfattere vinder Turing-prisen

Re: Jeg hadede den bog

Jeg kan heller ikke påstå jeg var den helt store fan af den. Jeg købte den til selvstudie i compilere og det er en af de bøger det har taget mig længst tid at komme igennem, nogensinde. Langt senere fandt jeg LCC bogen, som er en sand fornøjelse ved sammenligning. Forskellen er at LCC bogen vi...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Ja, men i et sprog som C++ har du jo mange pointere, der peger på området. Jeg synes du skal tage og læse nogle af de glimrende artikler om hvordan CHERI virker, i stedet for at spilde min tid med at gætte dig frem.
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Tid til at glemme lineære adresserum?

Så man burde måske gøre pointere til abstrakte objekter, der ikke kan inspiceres ved f.eks. at konvertere dem til tal Og så har vi balladen, for så er der stort set ingen af vores nuværende programmeringssprog der virker mere, mindst af alt C og C++. Det smarte ved CHERI er at, som deres fo...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Hvis process A gemmer en pointer til et stykke memory som så frigives og gives til process B, så er fanden løs. Process A kan nu accesse memory i process B. Når process A frigiver memory vil kernen invalidere den mapping der associere pointerens "reach" med fysisk memory, inden den...
Kommentar til 'Dragebog'-forfattere vinder Turing-prisen

Kun 2/3 af bogen

Dragebogen har tre forfattere, men Ravi Sethi har slet ikke sat sig samme solide spor som de to andre. Prisen er absolut velfortjent og jeg ser frem til den "turing-artikel" de fremlægger, måske får vi endelig fortsættelsen af "Reflections on Trusting Trust" ?
Kommentar til Google vandt over Oracle

I-Dialektik

Siden der nu er gået fuldstændig dansklærerpendantik i i-er: Jeg kommer oprindeligt nede fra det sydvestsjællandske bondeplateau hvor dobbelt-i'er lever livet farligt. Det klassiske eksempel er "Han er i-talien", hvor det første i er smeltet ind i det næste, der fremhæves og strækkes en...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Desværre, så er det ikke rigtigt den tilgang man har anvendt, når man har lavet nye sprog. Nu kender jeg så et par sprogdesignere og det ville være synd at sige at de er store jubelfans af det nuværende paradigme indenfor hardware...
Kommentar til Google vandt over Oracle

Re: Mangler 2 tegn i afsnit

Du synes ikke , at det andet i skal rettes til I? ;-) Du mener det tredje ? Jo, rettet nu.
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: stdin, stdout , stderr

Er der nogle spændende alternativer? UNIX pipes er en-dimensionale. TSO/pipes havde ikke den begrænsning, men der skal findes en bedre måde at udtrykke det på.
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Nu peger q (og sikkert også p) til noget frigivet memory. Hvis heap manageren i mellemtiden allokerer dette memory til et andet formål, så står jeg med en pointer til memory jeg ikke burde have adgang til ... Hvad er det jeg fuldstændigt har misforstået her? Hvilket problem CHERI prøver at l...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Hvordan kan hardwaren vide hvilke pointere der er der peger ind i en block, uden at scanne hele memory? Hardwaren skal bruge den viden for at kunne invalidere alle pointere der peger til blokken. Det er er kun hardwarens opgave hvis du har GC i hardware. Det CHERI hardwaren kan, er at inval...