Years ago I complained about Windows creating 39+ page-zeroing pages on 96-core machines, which made memory zeroing much slower. The vast majority of the CPU time was consumed by fighting over a lock.
randomascii.wordpress.com/2022/07/11/s...
This is all to say OCamlโs memory model is very cool and the authors thought a lot into how to make it performant and sound! Itโs an interesting area
But from what I can find ldapr is just an alias for ldar on M-series so RCsc hasnโt been beneficial on those platforms (I kind of want to verify this with benchmarks too)
I got to read through the paper on OCamlโs memory model again and as a project I was wondering if we could replace ldar with ldapr on arm64 platforms but unfortunately atomic writes are lowered compare-and-exchanges and regular stores are simply str unless you have M2
At an internship-of-sorts and access to GPUs for some of this DL work Iโm working on has been delayed, which makes it difficult to make any progress. Iโm staying optimistic though, because I think this is potentially novel and itโd be a shame if it couldnโt get done in my limited time here :(
This work will hopefully be a blogpost soon. I think the idea of an Rust allocator making use of sized deallocation hasnโt been properly exploredโbecause itโs focused towards safe Rust users, I can forego security features that are found in modern C malloc implementations
The per-location tracking of tree borrows is necessary to be able to use references in a sane way at all without prolific, infectious use of raw pointers that eliminate the utility of the borrow checker. Iโd really like to see tree borrows model see wider adoption, especially for allocator authors.
Been working on the Rust allocator recently; ended up delving into the aliasing model with stacked/tree borrows. Itโs difficult to write sound multithreaded code with references in the presence of raw pointers, and the lack of view types make for unergonomic code under the strict stacked borrowsโฆ
Merry Christmas!
ๆ็ฎๅญฆไน ๅฅฅๆฏๆฌ็ใๅๅผ่ฎบๆ็จใ๏ผ็ฅๆๅฅฝ่ฟ
ๅจๅญฆๆ กๆ นๆฌๅฐฑๆฒกๆถ้ด็ฉไน ๐
I think I ultimately want to pursue cryptography and by extension, mathematics. Iโm just not sure how to reconcile that with my interests in security in general. It would be nice if I had the time to seriously get into pwn like some of the people I look up to ๐
ๅพๅฟซๅฐฑๅผๅญฆไบ๏ผๅฏๆฏๆๆฒกๆๆไน่ฏปๆ็ๆฐๅญฆ่ฏพๆฌ๏ผๅชๅจ็ฌฌๅ็ซ ใ
ๆๅนดๅฐฑๅผๅง็ณ่ฏทๅคงๅญฆไบ๏ผ็็ๆ็น็ดงๅผ ใ
Think Iโll try screaming into the void here but in simplified Chinese
