Just as new to LionsOS as you are, but it has a much more permissive license, and it’s not dual licensed. I think this will make it easier for people to support the project.
The world runs on Unix and as a consequence, computer viruses, malware, spyware and ransomware are all common vocabulary terms. We traded this security away for nothing.
Linus Torvalds would have told you its system call performance, but Linux is also forced to solve these problems with things like futexes and io_uring, which carry over just as easily to microkernels.
Nowadays the excuse is side-channel attacks make any attempts at security pointless anyways so the kernel has exploded in size and complexity. This is insane logic, not least of all because side-channel attacks are read-only and can’t embed themselves into your system permanently through a bug in a browser JIT.
Linux is used purely because of all of its drivers and familiarity. Not on technical merits.
It’s fundamentally full of concepts incompatible with capability based security principles, which are provably secure. Access control lists are provably insecure. POSIX resource management is archaic. It’s not possible to define “ownership” clearly on a Unix system.
You could certainly write a Unix abstraction layer on top of seL4, or more commonly treat seL4 as a hypervisor, but you would not be able simply use a Unix interface to interact with seL4 and get all of it’s benefits.
Capability based systems don’t magically carry their desired properties up the abstraction ladder, they have to be maintained and the designer has to be vigilant to avoid introducing ambient authority by using capability based design themselves.
Genode is an example of a layer over seL4 that follows these principles.
If it's not too late to ask, where can we read about that? I've only ever seen ACL v. capability discussed in terms of trades-off as far as I remember.
The LLC owns no product to sell. It's merely a price feed service. You are welcome to use other price feed services. In fact, for the fee of a few hundred dollars, unaffiliated people will happily set up other price feed services.
Collusion is just a tool, an illegal one, but a tool nonetheless. You say RealPage is magical, I think it’s just evidence of its control over the housing market, not clairvoyance. It self-fulfills whatever prophecy it comes up with. And these prophecies seem to always predict ever increasing prices(excluding high frequency noise), far above what the market would normally allow.
Renting is supposed to have risks, without these risks it probably wouldn’t even be allowed in modern society. Landlords are well within their right to find creative ways to mitigate them, but it can’t involve breaking the very same set of societal rules their tenants are following, there is nothing creative about that. If only criminals targeted criminals, but they always go after the easiest victims.
Serious question… is the stock market collusion? Sellers looking at each others work, agreeing on a price?
There’s a very healthy, active and open market for apartment rents in most cities. If you are posting from somewhere with heavy rent controls, government market manipulation, or extreme demand, blame those instead! it’s still a market.
I’m not excusing bad actors, but real page is not a scapegoat
Just like the rent-market can have price manipulation, so can the stock-market and any other market. It’s absolutely possible for a trading platform to do this through price recommendations, and it would be illegal.
The two things being compared here are completely different though. It’s not very useful. Whats the real-life stock equivalent to RealPage? Who even rents stocks?
Additionally RealPage is forceful with its price “recommendations”. Imagine if a trading platform forced you to buy/sell a certain percentage of your stocks at their suggested rate, and file an appeal to opt out.
Your right that there is no parallelization improvement, but it does not reduce parallelism either, its just a different(imo easier) way to think about concurrency.
Because it is easier for me to think about it is easier for me to see where things will contend the same resource and actually helps me improve potential parallelism. Once you recognize a particular opportunity where SMP can speed things up, you can stray a way from the actor-model a bit and have multiple threads receiving on your message queue, or if that isn't possible, you can just add more actors and split up the data better.
Probably lacking, volcanoes in Hawaii don’t typically erupt very violently, instead they flow steadily for a while and then quite down before going dormant again.
https://www.trustradius.com/pricing-optimization
reply