3 ms·

"Redox is not correct, secure, or documented. It does a lot of things in a cavalier, leave it up to the application, manner. Applications can malloc and forget

• clessg 11y ago
  Source: https://redox-os.org/index.php?controller=post&action=view&id_post=7 https://redox-os.org/index.php?controller=post&action=view&i...
• d9fb698e010974b 11y ago
  Sounds a lot like a Commodore 64 or TempleOS, but in those this was/is considered an advantage.
• poelzi 11y ago
  OS development takes time and he clearly states this will change, criticizing such a young project with halfquotes is unfair and discouraging for the developers. shame on you. I'm waiting for OS development to start up in rust as it is clearly the better choice then C/C++ for a kernel.
  • d9fb698e010974b 11y ago
    How easy is it to deal with raw memory in rust? That's the main reason for using C in my opinion.
    • steveklabnik 11y ago
      You have to use `unsafe`, but you can do anything you can do in C. Raw pointers are the primary mechanism, same as C pointers http://doc.rust-lang.org/stable/book/raw-pointers.html http://doc.rust-lang.org/stable/book/raw-pointers.html
    • Jhsto 11y ago
      Not sure is it like this anymore, but might be worth giving a read: > But allocating memory seemed like a fun exercise. To allocate something on the heap in Rust, you can do > let a = ~2 > This creates a pointer to a 2 on the heap. http://jvns.ca/blog/2014/03/12/the-rust-os-story/ http://jvns.ca/blog/2014/03/12/the-rust-os-story/
      • zcdziura 11y ago
        That syntax has been changed, actually. Now, to allocated an owned pointer allocated on the heap, you use the Box type: > let a = Box::new(2); I believe it's an unstable feature currently to use the "box" keyword to heap-allocate a value, which can also be used in pattern matching. I saw somewhere that "box" will be made into an overloadable operator, such that you can easily create reference-counted and atomically reference-counted types.
        • steveklabnik 11y ago
          Yes, that's generally correct. We still haven't fully decided on the exact syntax. If anyone wants to get involved, this RFC was the one that got merged, but hasn't been made stable yet: https://github.com/rust-lang/rfcs/blob/master/text/0809-box-and-in-for-stdlib.md https://github.com/rust-lang/rfcs/blob/master/text/0809-box-... And this is the active, in-final-comment-period one which modifies it: https://github.com/rust-lang/rfcs/pull/1228 https://github.com/rust-lang/rfcs/pull/1228
    • zokier 11y ago
      I don't know what you mean by "deal with raw memory" but rust allows you to do silly things like: let foo = unsafe { std::slice::from_raw_parts_mut(0xdeadbeef as *mut u8, 42) }; That gets you a slice (pointer+length that can be used as an array) that points to 0xdeadbeef. Bit more verbose than the c equivalent char* foo = 0xdeadbeef; but arguably this is pretty rare usecase even for handling raw memory
• a-priori 11y ago
  Read this like Linus Torvald's comment about how Linux "won't be big and professional like gnu" comment from its early days. I'm not saying Redox is the next Linux. But big things come from small beginnings, and good engineers are intensely aware of the limitations of their creations.
• wldcordeiro 11y ago
  Which is immediately followed by. "I do, however, have a plan. I will make all applications run in Ring 3. I will do malloc and free through syscalls. I will move significant pieces of functionality into userspace libraries (a new libredox). I will use file numbers to identify file descriptors, and create read/write/seek/close syscalls. I will document the syscalls interface, provide more example programs, including programs that test the correctness of the implementation." So the creator is aware of and wants correct those issues.
  • deleted 11y ago
    [deleted]