--- freem/doc/freem.texi 2025/04/19 01:05:56 1.31 +++ freem/doc/freem.texi 2025/04/20 15:43:32 1.33 @@ -4,7 +4,7 @@ @settitle The FreeM Manual @copying -This manual is for FreeM, (version 0.64.0-rc0), which is a free and open-source implementation of the M programming language. +This manual is for FreeM, (version 0.64.0-rc1), which is a free and open-source implementation of the M programming language. Copyright @copyright{} 2014-2025 Coherent Logic Development LLC @@ -18,7 +18,7 @@ Permission is granted to copy, distribut @title The FreeM Manual @subtitle @sc{The Official Manual of FreeM} -@subtitle Version 0.64.0-rc0 +@subtitle Version 0.64.0-rc1 @c@vskip 10pt @c@center @image{freem-logo-sm,,,,.png} @author Serena Willis @@ -370,7 +370,7 @@ Attempting to start a FreeM interpreter The FreeM direct-mode environment is the mode entered when FreeM is invoked without the use of @option{-r @emph{}} or @option{--routine=@emph{}}: @example -Coherent Logic Development FreeM version 0.64.0-rc0 (x86_64-pc-linux-gnu) +Coherent Logic Development FreeM version 0.64.0-rc1 (x86_64-pc-linux-gnu) Copyright (C) 2014, 2020, 2021 Coherent Logic Development LLC @@ -2514,7 +2514,7 @@ In the above @emph{inclusive} form, @cod @cartouche @quotation @emph{Note} -The below @emph{argumentless} and @emph{exclusive} forms of @code{KSUBSCRIPTS} are not implemented in FreeM, as of version 0.64.0-rc0, but are planned for a future release. +The below @emph{argumentless} and @emph{exclusive} forms of @code{KSUBSCRIPTS} are not implemented in FreeM, as of version 0.64.0-rc1, but are planned for a future release. @end quotation @end cartouche @@ -2549,7 +2549,7 @@ In the above @emph{inclusive} form, @cod @cartouche @quotation @emph{Note} -The below @emph{argumentless} and @emph{exclusive} forms of @code{KVALUE} are not implemented in FreeM, as of version 0.64.0-rc0, but are planned for a future release. +The below @emph{argumentless} and @emph{exclusive} forms of @code{KVALUE} are not implemented in FreeM, as of version 0.64.0-rc1, but are planned for a future release. @end quotation @end cartouche @@ -4427,6 +4427,16 @@ See @ref{Classes}. @cindex variables, global @cindex data +@menu +* Globals Overview:: Basics of FreeM persistent storage. +* Creating Globals:: How to create globals. +* Removing Globals:: How to remove globals. +* Global Storage:: How globals are stored. +@end menu + +@node Globals Overview +@section Globals Overview + FreeM supports typical M globals, which are often described as persistent, hierachical sparse arrays. Globals make it relatively simple to include persistent data in an application without requiring the developer to use an external database management system, and offer syntax and semantics so similar to M local variables and structured system variables that moving from one to the other is seamless. Each global comprises three elements: @@ -4507,10 +4517,22 @@ typedef struct global_header { @cindex locking @cindex transaction processing +@menu +* Concurrency Control Overview:: Basics of concurrency control. +* Advisory Locks:: Coordinating access voluntarily. +* Transaction Processing:: Ensuring logical consistency. +@end menu + +@node Concurrency Control Overview +@section Concurrency Control Overview + Multitasking, multi-user FreeM applications must concern themselves with concurrent access to globals in order to maintain logical consistency and prevent concurrent writes from interleaving. In FreeM, there are two mechanisms provided for managing concurrent global access: advisory locks, and transaction processing. +@node Advisory Locks +@section Advisory Locks + @node Transaction Processing @section Transaction Processing @cindex transaction processing @@ -4652,6 +4674,16 @@ The effect of this is that the operation @node Classes @section Classes +@menu +* Class Overview:: Class basics. +* Constructors:: Managing object creation. +* Destructors:: Cleaning up. +* Runtime Polymorphism:: Selecting methods at runtime. +@end menu + +@node Class Overview +@subsection Class Overview + A @emph{class} is the primary organizing concept of FreeM support for object-oriented programming, and in FreeM, is simply an M routine with a few special properties: @example