Minimal object containing this commit
Commit Diff
commit 432bd27b9a3c52fbe81c9e313c50738a4ba981bacdbe4fd1e8498741185ed199
Author: yihanwu1024 <yihanwu1024>
Date: Tue Jul 7 10:55:34 2026 +0000
revise proposal for a nonlinear operating system
diff --git a/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9 b/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
index bb9bbe9..e4ff5b2 100644
--- a/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
+++ b/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
@@ -13,7 +13,7 @@
<para>Availability of the nonlinar feature set: provenance, I/O control, replay.</para>
</listitem>
<listitem>
-<para>The operating system is more explainable.</para>
+<para>Program behavior is fully explainable using information recorded by the operating system. This is particularly valuable, given the prevalence of security vulnerabilities in contemporary software.</para>
</listitem>
<listitem>
<para>Storing input increases resilience to external failures.
diff --git a/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7 b/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
index 5d149af..29fc141 100644
--- a/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
+++ b/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
@@ -54,5 +54,6 @@ The event store provides transparent data persistence, and all programming langu
<section xmlns="http://docbook.org/ns/docbook">
<title>Related Work</title>
<para><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="https://nixos.org/">NixOS</link> uses a declarative system configuration framework that supports rollback, so it has some nonlinear features, but is not capable of replaying execution from input in the most general sense.</para>
+<para><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="https://rr-project.org/">The RR debugger</link> is more closely related to this proposal. It can record the nondeterministic input to a program execution on the Linux platform, enabling auditing and replay.</para>
</section>
</section>
diff --git a/de953caa1c41f7f9423f54dba246a3d67964fa5cd6dd4f307dcdf39cc3f52f4b b/de953caa1c41f7f9423f54dba246a3d67964fa5cd6dd4f307dcdf39cc3f52f4b
index ce4f150..d8bd717 100644
--- a/de953caa1c41f7f9423f54dba246a3d67964fa5cd6dd4f307dcdf39cc3f52f4b
+++ b/de953caa1c41f7f9423f54dba246a3d67964fa5cd6dd4f307dcdf39cc3f52f4b
@@ -5,6 +5,6 @@ With sufficient tools such as pen and paper, it can do this for as long as it wa
It infers things using whatever rules it wants to use, and being a scientific-minded creature, the rules are under scrutiny, too.
Therefore, the creature uses the tools in such a way that every derived fact has a provenance.</para>
<para>If this intelligent creature has a computer, it rightfully asks for the same features its mind already has.
-The most necessary thing for the creature is that any state in any operating system has a previous state, and this state can be saved for future inspection.</para>
+A necessary truth for the creature is that any state in any operating system has a previous state, and this state can be saved for future inspection.</para>
<para>Now that a history is established, each time a reasoning step is taken, everything can be interpreted anew by considering the additional result.</para>
</example>