pushbx wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Late March push for revised lDOS kernel ======

**2025-03-30**

This week I worked on verifying and improving the lDOS kernel some. Particularly the use of segregs to address either DOSGROUP (DOS data), DOSCODEGROUP (DOS code), or DOSENTRYGROUP (a few variables in the entry section that's stuck in the Low Memory Area).

===== tractest/listvars.pl =====

The listvars.pl script can check assumptions on many memory accesses, by reading a .tls (trace listing) file. The script recognises section changes (annotated by convlist.pl that outputs a .tls file), maps sections to groups (read from a WarpLink extended map file), records the sections in which labels are declared, and can check that assumptions (read from assume directives in the sources) match the sections used for accessing certain variables.

  * If filtering the .tls file using ''-%%%%-filter-section='' [[https://hg.pushbx.org/ecm/tractest/rev/4bda12028dfb|display all tls source file lines]]. This allows TracList or the like to still associate a certain line with the corresponding source listing.
  * Allow checking near immediate branches [[https://hg.pushbx.org/ecm/tractest/rev/3a529f92d49e|when the target is matched with trailing blanks]]. Strip the blanks.
  * Add switch [[https://hg.pushbx.org/ecm/tractest/rev/de87ac821e43|to list accesses]], for now only those with square brackets.
  * [[https://hg.pushbx.org/ecm/tractest/rev/c24351daf139|List accesses from a line commented]] with eg "access with es".
  * [[https://hg.pushbx.org/ecm/tractest/rev/2b73ff022837|Move the filter output]] into the second loop, leaving the first loop only to collect labels.
  * Match bracketed access [[https://hg.pushbx.org/ecm/tractest/rev/3e3a185aaf22|with text after the variable]] before the closing bracket.
  * [[https://hg.pushbx.org/ecm/tractest/rev/8866075ca273|Keep track of assumptions]] (read from assume directives, CONTEXT mmacros, or DOSASSUME mmacros).
  * Bugfix [[https://hg.pushbx.org/ecm/tractest/rev/b826eb96ef38|to pick up the label used after the PROCEDURE mmacro]], rather than the mmacro keyword.
  * [[https://hg.pushbx.org/ecm/tractest/rev/1b31547c9c11|Check assumptions against segregs used for variable accesses]], and allow listing only mismatches.
  * [[https://hg.pushbx.org/ecm/tractest/rev/c1ad8fa5299f|Always set CS assume]], even if error displayed.
  * Add option [[https://hg.pushbx.org/ecm/tractest/rev/771afa43ed96|to list multiple uses of the same label]].
  * Add option to list multiple uses [[https://hg.pushbx.org/ecm/tractest/rev/a36d3b074918|only if differing in which section is used]].
  * Recognise the I_am and I_am_nobits [[https://hg.pushbx.org/ecm/tractest/rev/b577f18c9348|mmacros as declaring labels]].
  * Do not treat LEA instructions [[https://hg.pushbx.org/ecm/tractest/rev/e34357e0f921|as variable accesses]].
  * Support [[https://hg.pushbx.org/ecm/tractest/rev/f030131c56ec|alternative sections indicated by comments]] in the source code. These are carried into every label info entry.
  * Add switch [[https://hg.pushbx.org/ecm/tractest/rev/4b671b10a6ba|to list when an assume directive is expected]] after write of a segreg (currently MOV or POP) but doesn't occur.
  * Hackish extension to [[https://hg.pushbx.org/ecm/tractest/rev/457c72830b7a|allow two expect assume in flight]].
  * Remember expectation [[https://hg.pushbx.org/ecm/tractest/rev/81308aa52aee|across empty lines]].
  * [[https://hg.pushbx.org/ecm/tractest/rev/71830dfdb31f|Recognise PSP in assume directive]] as nothing.
  * Ignore an expect [[https://hg.pushbx.org/ecm/tractest/rev/08d174a41f95|if it matches an already in flight expect]].
  * [[https://hg.pushbx.org/ecm/tractest/rev/061209a9a45d|Keep track of push segreg before pop segreg]] to tell what assumption should be matched.
  * [[https://hg.pushbx.org/ecm/tractest/rev/4559c35218aa|Keep track of MOV from segreg to r16 before a MOV to segreg from the same r16]], to tell what assumption should be matched.
  * Allow [[https://hg.pushbx.org/ecm/tractest/rev/15a610ebe9ac|to assume CS with an alternative section]].
  * Check assume match [[https://hg.pushbx.org/ecm/tractest/rev/7dabde2bd851|after a get_ds_ or get_es_ function call]] (recognising "dosdata" or "dosbiodata" for DOSGROUP, "dosentry" for DOSENTRYGROUP, and "doscode" and "biocode" for DOSCODEGROUP).
  * [[https://hg.pushbx.org/ecm/tractest/rev/f3aa8e3114f7|Recognise "getdosdata" calls]] as setting AX to the DOSGROUP segment.
  * Handle case of [[https://hg.pushbx.org/ecm/tractest/rev/b76675656266|a segment override on a separate line]] before an explicit bracketed memory access (used in DSK$INIT).


===== wwwecm scripts =====

Add msdos4 repo's doc subdirectory [[https://hg.pushbx.org/ecm/wwwecm.scr/rev/c59b63ea7515|to update-doc-wwwecm script]].


===== lDOS kernel =====

  * Add assume directives [[https://hg.pushbx.org/ecm/msdos4/rev/9385dd146c8e|to lDOS .asm new source files]].
  * [[https://hg.pushbx.org/ecm/msdos4/rev/d42eafbc3ce6|Avoid some re-uses of the same labels]] in different object files.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/3b7c11622424|Bugfix a call to Clear_IDs from SYSINIT section]], needs a near transfer.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/6c5e486d7b2f|Fix assume directives]].
  * Fix [[https://hg.pushbx.org/ecm/msdos4/rev/eba7d38ff1c6|tag mismatch crash sites]] not to call DOSINIT in the wrong section, rather add an entrypoint named TAGCRASHDOS that outputs a proper message indicating the system halt.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/ddddfa61084d|Protect the first UMCB]] if adding an UMB that starts right above it. (Mentioned [[https://github.com/FDOS/kernel/issues/203|on the FreeDOS kernel tracker]], re-using the same test to show that it doesn't check for out of memory conditions.)
  * [[https://hg.pushbx.org/ecm/msdos4/rev/be3b17009124|Word-align two byte variables]] read together.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/4ce7051e77d4|Merge control flow]] for checking for an empty UMCB linking to an UMB, so that the first UMCB protection logic needn't be duplicated.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/82028f873713|Add COMPAT= options]] for protecting first UMCB vs enlarging the Low Memory Area. No-op as yet.
  * Implement [[https://hg.pushbx.org/ecm/msdos4/rev/1d0ba5b8248a|enlarging the LMA]].
  * [[https://hg.pushbx.org/ecm/msdos4/rev/584f3d01e25e|Display a message]] if the LMA is enlarged.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/0df8d3b0b9a1|Avoid re-using some label names]]. List generated by ''listvars.pl src/BIOS/msbiow.map src/BIOS/msbio.tls --list-multi --list-multi-section-mismatch-only''
  * [[https://hg.pushbx.org/ecm/msdos4/rev/f45c2acf2496|Avoid re-using some more label names]]. Includes name1 which matched the NAME1 in the Swappable Data Area. (Generating the list for this required the listvars.pl change to recognise I_am mmacros as declaring labels.)
  * [[https://hg.pushbx.org/ecm/msdos4/rev/21fda7b68570|Fix assume directives]] in exec.nas
  * [[https://hg.pushbx.org/ecm/msdos4/rev/fde760e3af72|Fix more assume directives, and add the alternative section]] named STACKSCODE.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/0446f25348cb|Fix wrong segment addressing accesses]] found by listvars.pl
  * In mshard.nas (int 13h patch for AT ROM-BIOS sector read) [[https://hg.pushbx.org/ecm/msdos4/rev/bf5807fdd9bc|use an alternative section]] for cleaner assume directives.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/29282652b887|Fix expect assume directives]].
  * [[https://hg.pushbx.org/ecm/msdos4/rev/00a14d6612e4|Fix new kernel access errors]] after prior changes.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/a5b4d5fa0064|Fix assume directives again]]. Do push ss in one spot rather than push ds. (In fact it is assumed that DS equals SS here, for the far call.)
  * [[https://hg.pushbx.org/ecm/msdos4/rev/ca88888f97ba|Fix msstack.nas expecting CS assumption]] to be SYSINITGROUP rather than STACKSCODE. This code runs in STACKSCODE segment, not as part of SYSINIT.
  * [[https://hg.pushbx.org/ecm/msdos4/rev/d259f48df335|Update lDOS version]] to 2025 March.



{{tag>listvars.pl wwwecm ldos}}


~~DISCUSSION~~