Re: file locking in Ada

[kilgallen@eisner.decus.org (Larry Kilgallen)]

In article <5hglog$lf8@top.mitre.org>, mfb@mbunix.mitre.org (Michael F Brenner) writes:
> In any language, such as Ada or C, you can call an underlying operating
> system or file management system, such as Mips OS, VxWorks, Desqview,
> Apple OS, CP/M, Starlet, Linus, DOS, etc. 
> 
> Ada is a lanaguage which lets you implement file locking within the
> language itself. Set up a task which processes all requests for files.
> Lets say you are using this for a database management system with
> file-at-a-time access, since you wish to have file locking instead of
> record locking. Therefore your operations will be a subset of relational
> algebra, such as the following: select, merge (or join), import, delete,
> and update. Each of these operations would be an entry in the file
> request task. No other software talks to the files except through
> that file request task. The task processes the requests one at a time,
> and that implements TOTAL file locking. 

Ensuring that no other software accesses the file, however, is a local
problem unless you rely on an operating system guarantee.  Such an
operating system guarantee can only be foolproof if it uses inner
modes or other hardware protection (i.e., not DOS).

Larry Kilgallen