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 Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Men hvis jeg har en block af memory som jeg vil deallokere og jeg ikke ved hvem der peger ind i blokken Så har du et problem, hvad enten du kører CHERI eller ej ? Jeg tror du kigger på det fra den forkerte ende. CHERI's mål er at tilføre pointere integritet, ikke at finde en anden måde at ...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Det kan hurtigt blive dyrt noget hvis hver eneste deallokering af memory skal se efter om nogen har pointers til memory. Hele pointen ved at gøre det i hardware, er at den memset(ptr, 0, len) du under alle omstændigheder skal udføre også vil slette 'her er en pointer' bits - helt uden at du ...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Men der vil være en del software der breaker enten pga. uautoriseret pointergymnastik eller fordi fat pointers vil fylde for meget. Og det er så i min optik præcis den slags software vi skal have renoveret til ikke at gøre den slags, så win-win ?
Kommentar til Google vandt over Oracle

Re: Uh ... der er brug for lovgivning

Det burde den amerikanske kongres også forstå. Det sker regelmæssigt at Højesteretten afleverer et vink med en vognstang til Kongressen. Men det giver sig selv at Højesteretten er meget omhyggelig med den opdeling af magten som grundloven fastlægger. Derfor har vognstangen næsten altid for...
Kommentar til Google vandt over Oracle

Re: Uh ... der er brug for lovgivning

Til dels - eksempelvis med abortlovgivning og våbenlovgivning bruger man aktivt højesteret til at forcere bestemt lovgivning igennem. Nej, begge de spørgsmål blev afgjort i forhold til deres grundlov og det er suverænt og ubetinget Højesterettens opgave. Kongressen kan ikke fjerne en rettig...
Kommentar til Google vandt over Oracle

Re: Uh ... der er brug for lovgivning

I sidste ende bør det ikke være USA's højesteret der bestemmer hvad der er tilladt i USA. Det bør være den amerikanske kongress. Og sådan er det også. Men Kongressen har en lang historie med at skrive love med "råderum" for domstolene og det har de i særdeleshed gjort med...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Jeg ikke fundet deres forskning så hvis du har et link vil jeg gerne se det. https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ ARM er ved at lave en "proof-of-concept" chip med en version af Cheri de kalder "Morello". Hvis der er danske forskere der vil have fingre...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

I prinicippet burde hardwaren have lidt mere kendskab til data - f.eks. kendskab til om data er indstruktion, stak, data, eller pointer, om det er const/read only. Det har den også, se ovenfor om de fire dele. (Eller endnu bedre: Læs noget af den glimrende formidling fra Cambridge gruppen!)
Kommentar til Google vandt over Oracle

Re: 11 år

Næsten 11 år tog det. Oracle sagsøgte Google den 13 august 2010. Hvad gætter i på advokatregningen for begge parter er på? Samlet er det formodentlig i størrelsesorden af en milliard danske kroner. Takket være det der kaldes "The American Rule" betaler hver part sin egen advokat,...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Styret uigennemsigtighed er måske godt?

Der ville mit hypotetiske migrerings-optimerede OS blot blive bedt om at migrere data væk fra hele det diskarray, samt (afhængig af omstændighederne) markere det som reserveret til specifikt formål. Det er sikkert fint nok til de fleste almindelige formål. Men når vi tale om decideret følso...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Hvad med tid?

Dit programs funktion må ikke afhænge af f.eks. CPU'ens hastighed. Du skal sikre programmet er deterministisk, og det er den ikke hvis den afhænger af hastigheden. Fortæl mig hvordan jeg skulle have designet det compute-cluster til ESO's ELT teleskop så afleverer data til tiden, hvis jeg...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Styret uigennemsigtighed er måske godt?

Du har det allerede i dag hvor programmer kan være ligeglade med om /et/sted/fil er på en lokal disk eller på et NFS-drev. Problemet med den model er at ansvaret for at vide hvor ting er ikke forsvinder, bare fordi computeren gør det uigennemsigtigt hvor det måtte være. Jeg har hørt om hele...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Hvor man kan læse mere om det? https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ 1) Men de principper du taler om - vil de virke både i user- og kernel space? Hvordan skriver en driver så til hardware... altså hvad er erstatningen for: char p = (char)0xB8000; Det gør du ikke. D...
Kommentar til Google vandt over Oracle

Re: Mangler 2 tegn i afsnit

Pernittengryn :-) Rettet.
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Hvad med tid?

Der gælder generalt, at du aldrig må have tidsbegrebet på en computer. Du skal betragte CPU'en til at regne uendeligt hurtigt. Moderne compilere, burde nægte at oversætte en bench-mark test. Intet program, må afhænge af hardware, herunder CPU'ens hastighed. Sikke noget datalogisk landvås! S...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Behovet for hardware baseret sikkerhed mellem processer forsvinder også fordi OS+compiler sikrer at en process aldrig kan se en anden process. Det er faktisk meget mere interessant end som så og igen i stik modsat retning: Når du kan stole på at hardwaren holder skæg og snot adskilt, behøve...
Kommentar til Plan10 - Det er faktisk raketvidenskab

Re: Pointere ...

Problemet er at det spilder en masse resourcer på et problem som i det fleste tilfælde ikke er noget problemer. Som jeg forstår det vil det også betyde at man ikke bare kan flytte C/C++ koder over. Jeg ved ikke hvor du har fået den opfattelse, men det du udtrykker er allerede eftertrykkeligt...
Kommentar til XGS-PON - en tresporet motorvej i din forhave

Re: Luksusproblem

Efter at blive stillet frem og tilbage ved TDC fik jeg endelig en flink medarbejder i røret, som fortalte/påstod at leverandørerne har delt bykernerne mellem sig, Det skal du melde til Konkurrencestyrelsen for det er ulovlig karteldannelse.
Kommentar til T-183d (and holding)

Re: økonomi

Kan vi være sikre på at det ikke er mere vigtigt at kunne vise kommuner at man er i stand til at betale husleje? Jeg er sikker på at der venter en masse papirarbejde forude, men det er lidt af et "gateway-spørgsmål" er om det ville være decideret ulovligt for os at bo i bygningen, så...
Kommentar til T-183d (and holding)

Re: T183d and counting

Må det være "Frem og tilbage er dobbelt så langt" ? Vi er opsagt fra 1okt, så: T-183d