Timeline for Mathematical models of computation that capture more advanced OS and CPU design features
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 26, 2021 at 18:04 | comment | added | Shashank V M | In the semiconductor industry, SystemC is often used to model System-On-Chips. | |
| Nov 8, 2021 at 16:18 | answer | added | Shashank V M | timeline score: 0 | |
| Oct 17, 2021 at 9:16 | answer | added | Andrej Bauer | timeline score: 4 | |
| Oct 16, 2021 at 14:37 | history | edited | user56834 | CC BY-SA 4.0 |
added 106 characters in body
|
| Oct 16, 2021 at 14:31 | history | edited | user56834 | CC BY-SA 4.0 |
added 25 characters in body
|
| Oct 16, 2021 at 13:55 | comment | added | user56834 | @worldsmithhelper, oh I see, ok, interesting | |
| Oct 16, 2021 at 13:33 | comment | added | worldsmithhelper | I would instead just formulate file descriptors and the select call properly (on unix likes) and you get that for free | |
| Oct 16, 2021 at 12:32 | history | edited | user56834 | CC BY-SA 4.0 |
added 41 characters in body
|
| Oct 16, 2021 at 11:18 | comment | added | user56834 | @worldsmithhelper, yeah I suppose so, but it might be helpful to model this more explicitly? | |
| Oct 16, 2021 at 10:19 | comment | added | worldsmithhelper | @user56834 Any program that reads files is interactive when it reads files as those files could be typed out by hand with reading being blocked when at the end of the currently written part. | |
| Oct 16, 2021 at 8:14 | history | edited | user56834 | CC BY-SA 4.0 |
added 111 characters in body
|
| Oct 15, 2021 at 19:29 | comment | added | user56834 | @benrg, I was just giving it in contrast to a program that receives a fixed input and then runs, i.e. non-interactively, and a simple version of it. A GUI window would be another example of an interactive process (i.e. with a continual IO feedback loop), but maybe a purely text-based one is simple to model. | |
| Oct 15, 2021 at 19:16 | comment | added | benrg | The third bullet seems out of place. Shells are completely ordinary processes; there's nothing about them that would merit special treatment in a model. They often attach to a pty or Windows console, and those have some special treatment at the OS level (i.e. they aren't quite pipes), but it doesn't seem like a very interesting thing to model abstractly. | |
| Oct 15, 2021 at 17:27 | comment | added | user56834 | @nirshahar, actually one of the motivations for my question is that I think it'd be clarifying to see an as-simple-as-possible mathematical formulation of some of these things. Mathematical models are often much more simple than their real-world engineered counterparts. I fully expect them to be complicated compared to TM's but I'm ok with that. | |
| Oct 15, 2021 at 16:42 | comment | added | nir shahar | I don't think you can effectively and efficiently capture those ideas with abstract mathematical models. TMs are complicated enough, so introducing these concepts will prove to be extremely hard. That being said, there are different mathematical models that are capable of talking of other high-level ideas in programming languages, such as concurrency, memory safety, and more. | |
| Oct 15, 2021 at 16:15 | history | asked | user56834 | CC BY-SA 4.0 |