The Unfixable ARM Memory Bug

  Рет қаралды 141,216

ThePrimeTime

ThePrimeTime

Күн бұрын

Recorded live on twitch, GET IN
Article
• researchers find an un...
By: Low Level Learning | / @lowlevellearning
My Stream
/ theprimeagen
Best Way To Support Me
Become a backend engineer. Its my favorite site
boot.dev/?prom...
This is also the best way to support me is to support yourself becoming a better backend engineer.
MY MAIN YT CHANNEL: Has well edited engineering videos
/ theprimeagen
Discord
/ discord
Have something for me to read or react to?: / theprimeagenreact
Kinesis Advantage 360: bit.ly/Prime-K...
Get production ready SQLite with Turso: turso.tech/dee...

Пікірлер: 305
@-_James_-
@-_James_- Ай бұрын
As the old joke goes: There are two hard things in computing: Naming things, cache invalidation, and off by one errors.
@635574
@635574 Ай бұрын
Related to this: only 10 types of peope, those who know binary and those who don't.
@its_momo_5995
@its_momo_5995 Ай бұрын
Bro being cheeky with the off by one pun
@pawstr
@pawstr Ай бұрын
there are only 10 types of people, those who know binary, those who don't and those who didn't expect a ternary joke
@Anony3141592
@Anony3141592 Ай бұрын
I have this on a t-shirt, I am in 2 minds about how it should be numbered (1,2,3 as current; or 0,1,2 which feels more appropriate, sort-of)
@thingsiplay
@thingsiplay Ай бұрын
Works also as There are three hard things in computing: Naming things, cache invalidation, and off by one errors. Shit I fu up the joke.
@indiano-99
@indiano-99 Ай бұрын
Speculative execution is there since the 80ties , since RISC enabled pipelining. The reason is that pipeliniing gives a speedup of m, where m is the lenght of the pipeline, as long as the pipeline is full. The cost is that you pay a startup latency in the so called "Windup" phase, the phase were you fill the pipeline. This price you pay every time you gotta branch since you have to refill the pipeline. Without brench prediction and speculative execution you would have to refill the pipeline at the final branch of every for loop , fully defeating the advantages of pipelining, actually making it worst that if you were not pipelining. I have an exam on programming techniques for super computers in some days, life is hard
@indiano-99
@indiano-99 Ай бұрын
Btw exam went great! if anybody in this planet was wondering
@GrayCatTheMemeMachine
@GrayCatTheMemeMachine Ай бұрын
@@indiano-99 You're built different my dude.
@arbitrarysequence
@arbitrarysequence Ай бұрын
@@indiano-99 I had just finished reading the first post, and indeed, I was curious how it went. Well done, you! I hope you've treated yourself to an ice cream.
@leshommesdupilly
@leshommesdupilly Ай бұрын
As a cpp user, I like putting constexpr everywhere so that 100% of my code execute at compile time and I achieve infinite fps
@NullPointer
@NullPointer Ай бұрын
If you constexpr everything, then the moment you run the game it immediately ends so you can move on to another one
@Kawka1122
@Kawka1122 Ай бұрын
Efficiency over usability! I like it.
@TheSulross
@TheSulross Ай бұрын
By C++48 everything in C++ will be constexpr and the compiler will simply have the equivalent of the Java JVM built in
@JuliaYamYam
@JuliaYamYam Ай бұрын
Constexpr doesn't guarantee compile time exec, it will only work on simple stuff anyway
@seneca983
@seneca983 Ай бұрын
Now that's a compiler that can *actually* see into the future (unlike the fake see-into-the-future that the speculative execution is).
@oussama7132
@oussama7132 Ай бұрын
if i had a dollar for every low level bug/cpu security feature discovered this year i'd have like 20
@heyyyoo3454
@heyyyoo3454 Ай бұрын
Good money
@complexity5545
@complexity5545 Ай бұрын
Yeah, I thought this already happened last year and this year; now twice this year for the ARM.
@TheSulross
@TheSulross Ай бұрын
But still not enough to buy a carton of eggs 😔
@MorningNapalm
@MorningNapalm Ай бұрын
If I had 2 to the power of the number of security bugs found this year, I would have around a million.
@claucirmaci2269
@claucirmaci2269 Ай бұрын
5:25 "I am not a hacker, I just ship bugs to production" said the hacker's best friend =)))
@vladkoschenko2099
@vladkoschenko2099 Ай бұрын
That joke just flew past me initally
@jalvo2004
@jalvo2004 Ай бұрын
Speculative execution in 1970 on an IBM 360/75. A program I was testing had a S0C4 exception, basically illegal address. When I reviewed the crash dump, I observed that maybe 5-6 of the following register_to_register instructions had been performed. No virtual memory, no page tables, just raw memory. So the machine was running ahead of the slowish instruction that accessed raw memory.
@replikvltyoutube3727
@replikvltyoutube3727 Ай бұрын
Sir, were you working with COBOL?
@jalvo2004
@jalvo2004 Ай бұрын
I started with COBOl but a few months later was transferred to "systems" department and did nothing but assembler work for the next several years. A couple weeks playing with PL/1. Worked on auto answers to outstanding WTORs, patched the MVT open routines so the operators log would write to a tape, improved performance of long running programs... normal stuff at that time.
@JorgetePanete
@JorgetePanete Ай бұрын
She speculates on my execution 'til I crash.
@CHURCHISAWESUM
@CHURCHISAWESUM Ай бұрын
Is that a buffer overflow in your pants or are you just happy to see me?
@adissentingopinion848
@adissentingopinion848 Ай бұрын
*[EXTREMELY LOUD STREAM ALERT]*
@cloudlight9784
@cloudlight9784 Ай бұрын
Me trying to sleep: zzzz That one mosquito: 5:36
@PristinePerceptions
@PristinePerceptions Ай бұрын
Underrated
@Kwazzaaap
@Kwazzaaap Ай бұрын
I'm dying
@thewiirocks
@thewiirocks Ай бұрын
Watching Prime spend 5 minutes trying to dig out Memory Management Units (MMUs) and Translation Lookaside Buffers (TLBs) from his school days memory is wild. Props to you man. Streaming live content is tough!
@TheSulross
@TheSulross Ай бұрын
Just need to remember that without TLB cache the MMU sh*t wouldn’t execute fast enough on its own to be worth a d*mn
@TheArrowedKnee
@TheArrowedKnee Ай бұрын
@@TheSulross Could you say it's not worth a DIMM? Sorry i'll see myself out
@TheSulross
@TheSulross Ай бұрын
@@TheArrowedKnee Well, we all know how touchy YT can be with those explicit words - that was very brave of you to go there
@HyperionStudiosDE
@HyperionStudiosDE Ай бұрын
Prime just casually insulting top-notch cyber security researchers as basement dwellers. 😂 They won, but at what cost.
@seneca983
@seneca983 Ай бұрын
Win some, lose some.
@attribute-4677
@attribute-4677 Ай бұрын
Top-notch? When has he covered any?
@BingoDan936
@BingoDan936 Ай бұрын
You should interview Christopher Domas. The TLB, the virtual cache table, makes memory storage more efficient, only storing the actual bytes in any register. The remaining bits can be used to store other pieces of information, having two or more items in a single register. Before virtual paging, you could only store, say 4 bits, in only one register, in 32bit registers having 28bits of empty unused space.
@mattilindstrom
@mattilindstrom Ай бұрын
Speculative execution is vital for processor performance, but its repercussions seem to be too hard for humans to really fully comprehend. We're truly borked nowadays.
@derstreber2
@derstreber2 Ай бұрын
26:42 One way to mitigate "the weather man problem" is to set up your chair and your camera slightly to the left of your monitor, that way when you look at the screen you are always looking to your right.
@haraldfielker4635
@haraldfielker4635 Ай бұрын
Starting with the Penium 4 (!) we had the branch prediction. In that time 50% of the silicon was just to detect if the prediction was wrong 🎉🎉
@opposite342
@opposite342 Ай бұрын
It's called "Aleph null" (pointer exception)
@Telhias
@Telhias Ай бұрын
The difference between a programmer and a hacker. One creates exploits and the other exploits them.
@HyperionStudiosDE
@HyperionStudiosDE Ай бұрын
@@Telhias that's more like the difference between a developer and a hacker. both are programmers.
@truehighs7845
@truehighs7845 Ай бұрын
It's like translation, it's hard to translate - well not anymore but it used to be - and easy to find mistakes or argue translations, aka finding bugs or exploits. But one needs to produce code/language, the other only proof-reads it.
@DaniDipp
@DaniDipp Ай бұрын
it's a big sign of respect when Prime highlights your whole sentence
@SuperChoongus
@SuperChoongus Ай бұрын
take my muney for the "felt cute, might execute later" shirt
@Evilanious
@Evilanious Ай бұрын
3:40 Aleph_0 is the size of the natural numbers. Aleph_1, well that get's complicated fast. The full answer requires somewhat deep infinitary set theory. It also requires that you get somewhat in the weeds with which set-theoretical axioms imply what. Here's an attempt to summarize: Assuming merely the Zermelo-Fraenkel axioms Aleph_1 is the second smallest infinity which can be well-ordered*. The axiom of choice** is equivalent to saying all sets can be well-ordered, so if you assume that, this simplifies to 'aleph_1 is the second smallest infinity'. The idea that Aleph_1 is the size of the real numbers is known as the continuum hypothesis. It was originally discussed by Cantor who invented infinitary set theory. Hilbert then made proving or disproving the continuum hypothesis one of the problems of the next century in the year 1900. Later Gödel proved the continuum hypothesis was consistent with the Zermelo-Fraenkel axioms and the axiom of choice (ZFC for short)*** Even later Cohen proved the negation of the continuum hypothesis was also consistent with ZFC.*** This means that the continuum hypothesis is independent of ZFC. Simply put, we can't prove or disprove it, without making assumptions we don't usually make. This means that beyond saying that aleph_1 is the second smallest infinity (that can be well-ordered) we don't exactly know how big it is. It might be the size of the real numbers, but it might be the size of some subset of the real numbers that's neither the size of the natural numbers, or the real numbers. It's perhaps worth noting that without the axiom of choice the real numbers might not be well-orderable at all, and hence would not be any aleph. * A well-order is a set joined with some kind of smaller than operation '
@omduggineni
@omduggineni 8 күн бұрын
Short version: Aleph-1 is the cardinality of the set of ordinal numbers. The ordinal numbers represent the order of something. For example, 1st, 2nd, 3rd. You may think that the number of ordinal numbers and the number of cardinal numbers (positive integers) is the same, but it's actually not. For example, you can define an ordinal number called omega, which is one greater than infinity. Getting omegath place in a race means that an infinite number of people finished the race, and then you finished. That's as far as I can get without getting into the weeds of it lol
@Night_Hawk_475
@Night_Hawk_475 Ай бұрын
@18:06 "We still get like 15% per year" Prime: "Yeah but 15% is nothing like it was in 2000s... like it 4x-ed over 10 years" BUT PRIME 15% increase per year for 10 years is almost exactly a 4x ! 1.15^10 is a 4.04x increase...
Ай бұрын
If a bug is not fixable, it’s not a bug, it’s a feature.
@LatterDay-Soldier
@LatterDay-Soldier Ай бұрын
Yeah 😅🫠😬
@raph151515
@raph151515 Ай бұрын
actually from 2000 to 2004 the common clock went from 800Mhz to 3.4Ghz. The computing power was doubling every 2 years for decades. Now we're far from that, since the core family were introduced in 2006. The number of cores and transistors still increase a lot but the computing power don't scale that much.
@meowsqueak
@meowsqueak Ай бұрын
“… to 2004” - did you mean 2024?
@wyldbytes
@wyldbytes Ай бұрын
@@meowsqueak he did mean 2004 as he’s talking about the time of the Pentium 4
@raph151515
@raph151515 Ай бұрын
@@meowsqueak no. I think around 2006 there were 4Ghz pentium 4 (I was playing BF2 with it :-) ). The core architecture brought lower clocks for years, only recently they went back to high frequencies because they can't gain in architecture anymore
@meowsqueak
@meowsqueak Ай бұрын
Ok, I didn’t realise clocks hit 3 GHz+ by 2004, but it was a long time ago…
@raph151515
@raph151515 Ай бұрын
@@meowsqueak maybe you were barely born :-), yes young people probably don't realize how little tech has progressed since this time, only core number and probably cycles per instruction and vectored instructions are the cause of any computing power increased, as well as parallel processing used by software whenever it makes sense (not that often sadly), and a bit from low latency cache increase, memory bandwidth : frequency and bus width (bits) I have a laptop from 2008 with a quad core core i7.
@BaronBSOfficial
@BaronBSOfficial Ай бұрын
basedment++
@alexandrecolautoneto7374
@alexandrecolautoneto7374 Ай бұрын
About the pointer authentication you can write a pretty simple chip to encrpypt/ decrypt pointers with very little overhead. Dedicated chips that does just one thing like encrypting can be done using a "single" clock tick. PS: just realized that the whole ASIIC Miners is exactly that, an dedicated encrpyt chip that is able to perform those encrpyptions orders of magnitude faster than any cpu.
@hanifarroisimukhlis5989
@hanifarroisimukhlis5989 Ай бұрын
Then how you can do offsets?
@alexandrecolautoneto7374
@alexandrecolautoneto7374 Ай бұрын
@@hanifarroisimukhlis5989 Honestly, I don't know. I never tough about implementing one, I just remembered my FPGA class where we had to code some hardware for specific problems. But i'm sure we could come up with a solution like we have now, something with Vtables.
@thomaslindell5448
@thomaslindell5448 Ай бұрын
How do you follow that chat stream it’s like a gaggle of chickens clucking
@rakpiotr
@rakpiotr 11 күн бұрын
"likely" is mostly just about ICACHE - code that's likely branch is there to be loaded and "unlikely" somewhere else behind branch. It makes you take branch on unlikely code and have next likely code in ICACHE.
@thekwoka4707
@thekwoka4707 Ай бұрын
That moment when all the researchers have Korean names: Oh no....
@leonredman9317
@leonredman9317 Ай бұрын
“All hackers are cool…ummmmm!!” Had me lol and smashing a like😂👍🏼
@IsmaelLuceno
@IsmaelLuceno Ай бұрын
runahead optimizations were already a thing in the early 2000s, at least in research, it also enhances branch prediction greatly, but cache misses and memory latency were already big issues back in the 90s, there was just not enough resources in the CPU to do anything about it
@ceezymuccheez
@ceezymuccheez Ай бұрын
"Im not a hacker, I just ship bugs to production" That got me
@oldspammer
@oldspammer Ай бұрын
7:45 All that a memory mapper does is translate a programmer limited by disk storage capacity virtual address into a real address by means of a very fast hardware table array. If the virtual address is not in memory at the current time, then it is paged from disk storage or whatever it is into the least recently used spot in real memory, and the memory mapper table entry for that virtual memory value is updated to contain the newly paged in program or data location of real memory. It's just a cool means of caching your disk space as virtual memory for program code or data.
@NotMarkKnopfler
@NotMarkKnopfler Ай бұрын
Very interesting that stack smashing is seen as a security issue - well - it _is_ a security issue - no doubt about that, but some systems/languages actually use this type of manipulation as a feature! In the Forth programming language, the return stack is often manipulated to execute code! What an interesting domain we work in!
@marc-andreservant201
@marc-andreservant201 16 күн бұрын
Aleph 0 is the cardinality of the set of whole numbers. Aleph 1 is the cardinality of the set of real numbers. It is presumed (though not satisfactorily proven) that no set is larger than Aleph 0 but smaller than Aleph 1. The reason we aren't sure is that P = NP or the Riemann Hypothesis being false would break a lot of math, but the existence of sets with cardinality larger than Aleph 0 but smaller than Aleph 1 wouldn't break set theory, nor would their nonexistence. A proof of P = NP or a counterexample to the Riemann hypothesis would break decades of work that has held up to scrutiny for now, so those counterexamples probably don't exist.
@TianYuanEX
@TianYuanEX Ай бұрын
Aleph 1 = Cardinality of the smallest uncountable set
@forest6008
@forest6008 Ай бұрын
isent it aleph null?
@TianYuanEX
@TianYuanEX Ай бұрын
@@forest6008 No that's the cardinality of the smallest infinite set (countable infinity). Smallest uncountable set is the second smallest infinite set
@forest6008
@forest6008 Ай бұрын
@@TianYuanEX ohh thanks
@monad_tcp
@monad_tcp Ай бұрын
@@TianYuanEX they're just sets, set can be defined as a number, thus you can type the type. you can have a set of sets, but category theory is abstract non-sense. if you can write it in mathematical notation, it is not infinite, isn't it ? it just discrete representation of a possibly infinitude, but it still not the biggest infinite thing. here's a new concept. y = Aleph(Aleph(x)) Because Godels Aleph number wasn't infinite enough.
@TianYuanEX
@TianYuanEX Ай бұрын
@@monad_tcp I'm gonna be honest with you, nothing you wrote makes any sense
@TylerWiddison-o3j
@TylerWiddison-o3j Ай бұрын
@26:06 ultimate bumber sticker
@1DwtEaUn
@1DwtEaUn Ай бұрын
I would have thought we'd have transitioned to syn-diamond from silicon already for the substrate
@lefteriseleftheriades7381
@lefteriseleftheriades7381 Ай бұрын
7:45 no, memory mapping didn't come from 32bit. It probably came from when computers were running one program at a time and wanted to introduce multitasking.
@ibrahim-tech
@ibrahim-tech Ай бұрын
I think there was something called PAE instructions that let you access more than 4GB of memory on 32 bit intel processors.
@thewiirocks
@thewiirocks Ай бұрын
That wasn’t a bug. It was an attempt by Intel to extend the life of 32-bit software, thinking that 64-bit wasn’t ready yet. IIRC, it allowed the 32-bit memory space to be mapped into a 48-bit physical space. No one program would have more than 4GB*, but many programs could be run with their own 4GB space. This reduced paging pressure on the system, something that was becoming a serious issue for operating system performance. * In theory a program could have supported PAE directly and use more than 4GB of RAM. Similar to extended memory in the DOS days. In practice, I don’t think that ever happened.
@ibrahim-tech
@ibrahim-tech Ай бұрын
@@thewiirocks I didn't say that its a bug. Prime mentioned that 32-bit programs cannot access more than 4GB of memory which is technically true but not so much.
@MrHamof
@MrHamof Ай бұрын
@@thewiirocks Also useful to allow a 32-bit program to access 4GB of RAM on a 64-bit system, handy if you're modding games so they need more RAM than they did originally.
@rich1051414
@rich1051414 Ай бұрын
It basically allowed applications access to multiple 4GB memory spaces by including extra bytes, 16 to be specific. You could therefore have 2^16 * 4GB of addressed virtual memory per process.
@lefteriseleftheriades7381
@lefteriseleftheriades7381 Ай бұрын
async socket code in c is messy. Windows implementation of iocompletion ports take in structs which can be filled differently depending on what mode you want them to run. Eg you can get notifications as a windows event loop message, a waitforsingleobject blocking call or getqueuecompletionstatus blocking call. By blocking calls i mean a method that blocks i mean something similar to how pselect works, it blocks until one of the multiplexed sockets has an event
@rich1051414
@rich1051414 Ай бұрын
4:50 Self modifying code. It's as cool as it is scary.
@retropaganda8442
@retropaganda8442 Ай бұрын
The golden era of CPU acceleration wasn't in the 2000s at all, more from the 70s to the 90s.
@Kiyuja
@Kiyuja Ай бұрын
you mean when they went from wardrobe to printer size?
@retropaganda8442
@retropaganda8442 Ай бұрын
@@Kiyuja yes, when they went from decahertz to kilohertz to megahertz, that was amazing
@Fuji-gn9nx
@Fuji-gn9nx Ай бұрын
obviously not, because it hasnt achive gigahertz where the gap is big >
@CutoutClips
@CutoutClips Ай бұрын
@@retropaganda8442There were already computers running at 1MHz before 1970...
@gruntaxeman3740
@gruntaxeman3740 Ай бұрын
1965-2013 was about exponential acceleration.
@aidandanielski
@aidandanielski Ай бұрын
8:15 it's a vpt prime, a virtual page table. the 'translation' is named virtual address translation, accelerated via translation look-aside buffers.
@m4rt_
@m4rt_ Ай бұрын
When you try to do something crazy to improve performance, you often have to take a risk in it being easy to mess up and break or make a security hole.
@rainbain5474
@rainbain5474 Ай бұрын
All these newer bugs around speculative execution make me scared about all the times I implemented it. Some of these are just too hard to catch.
@interdimensionalsailboat
@interdimensionalsailboat Ай бұрын
"Gate all around - the future of transistors." Good youtube video.
@Badrsh-tk4cd
@Badrsh-tk4cd Ай бұрын
1:58 They are in nested mother's basement😂
@TallinuTV
@TallinuTV Ай бұрын
Things like this don’t get thought up “whole cloth”… Still pretty genius, but it takes a lot of experimentation and “99% perspiration” to get there. 😅
@RubberDuckDebugger
@RubberDuckDebugger Ай бұрын
Speculative execution is not some hack to try to increase CPU performance after clock speed increases slowed down in the 2000's. Speculative execution dates back at least to the mid 90's and was needed to make up for the issue that CPU speed was growing exponentially while memory speed was growing more linearly. As CPU's would 2x their performance, memory speed might only grow by 20% and latency has hit a floor long ago. A CPU waiting for data from main memory would cycle more than 200 times waiting for the data. If every instruction required a main memory data retrieval, the CPU would be idle at least 99.5% of the time. This is why speculative execution is so important to modern processors.
@katanasteel
@katanasteel Ай бұрын
V8 is the armv8 the successor to armv7
@tanker242
@tanker242 Ай бұрын
I learned about this number theory in discrete mathematics. Aleph null is the set of all sets. I loved it because I introduced the concept of infinite infinites and counting Infinity and how some infinities are larger than others... I love this stuff.
@hanifarroisimukhlis5989
@hanifarroisimukhlis5989 Ай бұрын
No, with ZFC there isn't any "set of all sets". Aleph null is cardinality of a countably infinite set.
@ra2enjoyer708
@ra2enjoyer708 Ай бұрын
How do you count an infinite set? By its definition it will take an infinite time, unless the counting per step time is literally zero (not even "effectively" zero).
@thekwoka4707
@thekwoka4707 Ай бұрын
One game on like Playstation or something used buffer overflows to do the first OTA updates. They had a like pre screen that showed game news. They realised they could send the game news with a bunch of extra data that would patch the game live...
@beaticulous
@beaticulous Ай бұрын
Speculative execution came way before the CPU speed wall. It was already there in Pentium Pro processors in the 90's. It's nothing new.
@phantom_stnd
@phantom_stnd 20 күн бұрын
i wonder if just submitting both execution paths to different cores would be faster than branch prediction
@carriagereturned3974
@carriagereturned3974 28 күн бұрын
from 5:00 to 5:30 is just hilarious
@franciscoballesteros3046
@franciscoballesteros3046 Ай бұрын
double basement of knowledge is my new quality metric for these types of topics
@fractal6321
@fractal6321 Ай бұрын
"a little exciting, but mostly dangerous"
@majormalfunction0071
@majormalfunction0071 Ай бұрын
8:07 It was 2G or 3G with Large Address Aware.
@AnonymousCanine
@AnonymousCanine Ай бұрын
5:40 I don’t like that group, but I gotta admit they have a really fun name.
@gljames24
@gljames24 Ай бұрын
GaN based proccessors could go to the hundreds of GHz. P-type gan transistors are just really difficult.
@firemyst9064
@firemyst9064 Ай бұрын
Top quote here: russian-doll basement.
@Godmil
@Godmil Ай бұрын
5:38, I legit thought he was doing the Captain Crunch whistle phone hack tone.
@rustisbae
@rustisbae Ай бұрын
5:57 in chat "Yea its the rainbow hats" has got to be the funniest tech joke I've seen in a minute.
@reas0
@reas0 Ай бұрын
so was the joke at 4:57 funnier
@ZipplyZane
@ZipplyZane Ай бұрын
Hackers who do it for fun and not to cause problems, and actually try to learn--those are cool. Even if they aren't cool in other ways, they are a cool hacker. The ones who do it seriously and do it to stop exploits are also cool hackers.
@KeldonA
@KeldonA Ай бұрын
Oh yeah, ... ARM is the perfect CPU to have this type of bug given close to every instruction can be executed conditionally.
@uis246
@uis246 Ай бұрын
GCC has special function __builtin_expect that says probability of taking branch
@johnbruhling8018
@johnbruhling8018 Ай бұрын
I first read about Aleph in a book called "Mathematics and the Imagination" by Kasner Edwards and Newman James, 1949. Also introduced the infamous 'Gogoolplex'. The concept of infinity was very popular at the time, though nobody really understood it, if anybody actually does now. The book illustrates this fact by leveraging finite numbers that are so big that they are more less impossible outside of the imagination, whereas (regular!) infinity dwarfs that even further into nothingness (the equation of size and distance is a misnomer, it cant actually apply). It talks about a number of other fun and paradoxical mathematical subjects. It's one of the best books I have read and is still available for free online.
@nuclearmedicineman6270
@nuclearmedicineman6270 Ай бұрын
You can't do that sort of research in a basement; you need like an abandoned factory, maybe an entire underground complex.
@jakobstengard3672
@jakobstengard3672 Ай бұрын
I think primagen never took an OS course at college. Because they will teach you how virtual memmory actually works. Accuuually!
@pillmuncher67
@pillmuncher67 Ай бұрын
ℵ₀ is the cardinality of the set of natural numbers, the largest countable set. ℵ₁ is the next cardinality, the cardinality of the smallest uncountable set. 𝔠 is the cardinality of the real numbers. The Continuum Hypothesis (CH) states that ℵ₁ == 𝔠. This cannot be proven in ZFC because it has been shown to be independent of ZFC, that is, both it and its negation are compatible with ZFC.
@JeremyAndersonBoise
@JeremyAndersonBoise Ай бұрын
Did I just hear mention of the cardinality of different infinities? This is why I pay the man money.
@carstenrasmussen1159
@carstenrasmussen1159 Ай бұрын
Stack smash can be prevented by double stack process but nobody cares to implement this in current processors
@aloe2454
@aloe2454 Ай бұрын
As a professional in the field of software, I can tell you that I have no idea how they did it.
@kevingarza3510
@kevingarza3510 Ай бұрын
on top of that, you can search for gadgets and use genetic evolution algo to generate ROP chain attacks
@matthewdrury6443
@matthewdrury6443 Ай бұрын
ℵ[1] = cardinality of the continuum is the content of the continuum hypothesis, which Godel and Cohen showed is independent of the standard axioms of set theory (can be either true [Godel] of false [Cohen] in various models of set theory). What is always true is that pow(ℵ[0], 2) = cardinality of the continuum (by binary decimal representation). en.wikipedia.org/wiki/Continuum_hypothesis
@adcodes
@adcodes Ай бұрын
This whole thing flew over my head.
@ErazerPT
@ErazerPT Ай бұрын
"I smashed some stacks, but only unintentionally". Is that dev speak for "I smoked, but didn't inhale"? I did smoke some chips, unintentionally... Or was it unsmoked, because they let the magic smoke out, thus stopped working... Lack of magic issues...
@jwickerszh
@jwickerszh Ай бұрын
You never tried? I still have some memories of a school project writing a stack overflow vulnerable kernel driver ...
@bertram-raven
@bertram-raven Ай бұрын
If I had a dime for every bug in "ALL ARM PROCESSORS" which is actually a f**k-up by Apple, I would have the market capitalisation of ARM.
@lah30303
@lah30303 Ай бұрын
I think ThePrimeagen explained it wrong. I think "probe test_ptr" means it simply tries to read test_ptr or maybe read its memory address and times the read, expecting it to be faster if it's cached.
@LoFiAxolotl
@LoFiAxolotl Ай бұрын
You should definitely learn assembly... Sure way to go insane
@JackDespero
@JackDespero Ай бұрын
"The Unfixable ARM memory bug" is a hell of a way to describe a conversation about ghost pains in arm amputees, but go off, King, I guess. EDIT: Apparently is not about that.
@TreeLuvBurdpu
@TreeLuvBurdpu Ай бұрын
While i was trying to predict the future of this video it got really easy after he said the thing about his haircut. Has my productive algorithm been hacked?
@nathanpotter1334
@nathanpotter1334 Ай бұрын
"A russian doll basement situation to have that level of knowledge" Wait, isn't that just Mr. Zozin, aka Tsoding? 😆
@AnWe79
@AnWe79 Ай бұрын
So the mechanism is basically Spectre but for memory tags? Yeah that sounds bad. Branch prediction was a mistake...
@PassifloraCerulea
@PassifloraCerulea Ай бұрын
...which is a HUGE problem since we don't seem to have any other way to speed up CPUs.
@samshntrash
@samshntrash Ай бұрын
4:02 wild "yeh"
@meowsqueak
@meowsqueak Ай бұрын
9:47 it’s not costly in performance because the HW handles it in parallel
@robinweiland7533
@robinweiland7533 Ай бұрын
Show them some love: People randomly citing their first sentence "Memory corruption vulnerabilities present significant security threats to computing systems" in their own papers😅
@ben_car_8115
@ben_car_8115 Ай бұрын
8:31 The reasoning for the virtual memory is dead wrong. Nothing to do with the 8-16, 16-32, or 32-64 bit transitions. Please no one take HIS words as valid for this
@JoyousUnicorn
@JoyousUnicorn Ай бұрын
5:42 it’s called furry swag
@ItsCOMMANDer_
@ItsCOMMANDer_ Ай бұрын
"we dont wanna touch eachs others memory" /proc/*/mem:
@vo9279
@vo9279 Ай бұрын
Every CPU is vulnerable ... No matter what.
@comosaycomosah
@comosaycomosah Ай бұрын
lmao the Russian doll knowledge/basement had me rolling
@JeremyAndersonBoise
@JeremyAndersonBoise Ай бұрын
Hackers begat furries, in the same way eggs pre-dated modern avian dinosaurs and all chickens. Evolution, ya heard?
@RobinVeldhuis
@RobinVeldhuis Ай бұрын
I think the guys joke at 22:00 was digging at himself, hope it gets cleared up before the video ends :')
@trentondickey9061
@trentondickey9061 Ай бұрын
Nah. I just dumb the cache and throw it in another program that'll tell me a little more readable as to what it is lol. Granted some can read cache dumps damn well
@JeremyAndersonBoise
@JeremyAndersonBoise Ай бұрын
14:20 learning moment for me. Aware
@jordanjackson6151
@jordanjackson6151 Ай бұрын
Yikes! I have been trying to learn ARM for the last few months now (fun by the way). Yeah. Gotta watch!
@TurtleKwitty
@TurtleKwitty Ай бұрын
It's kinda ironic when you think about it "we cant make the CPU work faster at executing the code so instead we make it execute the code before it executes the code, DUH" like... fucking what?
@marcsman07
@marcsman07 Ай бұрын
2:01 😂 Double basement
@lucagenoni4430
@lucagenoni4430 Ай бұрын
5:00 These days, it is common to practice a buffer overflow or sniper attack in universities with unsecured C code without canaries and other secure measures.
I Hate Rust | Prime Reacts
23:00
ThePrimeTime
Рет қаралды 158 М.
researchers find an unfixable bug in EVERY ARM cpu
9:48
Low Level Learning
Рет қаралды 533 М.
Fake watermelon by Secret Vlog
00:16
Secret Vlog
Рет қаралды 7 МЛН
Фейковый воришка 😂
00:51
КАРЕНА МАКАРЕНА
Рет қаралды 6 МЛН
Is Stack OverFlow Evil? | Prime Reacts
38:13
ThePrimeTime
Рет қаралды 208 М.
I Silenced my Gaming PC for $25 (+ Wood)
14:00
Linus Tech Tips
Рет қаралды 1,1 МЛН
AI isn't gonna keep improving
22:11
Theo - t3․gg
Рет қаралды 181 М.
How a Clever 1960s Memory Trick Changed Computing
20:05
LaurieWired
Рет қаралды 351 М.
Intuit Fires 1800 People For "AI-Native"
18:52
ThePrimeTime
Рет қаралды 239 М.
The Real Reason Robots Shouldn’t Look Like Humans | Supercut
1:27:20
Veritasium
Рет қаралды 2,6 МЛН
My Burnout Experience
15:20
ThePrimeTime
Рет қаралды 160 М.
I Will Piledrive You If You Say AI Again | Prime Reacts
55:59
ThePrimeTime
Рет қаралды 291 М.
Prime Reacts: The Flaws of Inheritance
29:05
ThePrimeTime
Рет қаралды 344 М.