Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

Spec ⋄ ATOMIC

ATOMIC

Spec.ATOMIC History

Hide minor edits - Show changes to markup

2010-05-24 11:43 by benjk -
Changed lines 3-4 from:

(* Pseudo-module for atomic intrinsics *)

to:

(* Pseudo-module for Atomic Intrinsics *)

Changed lines 8-10 from:
   (* Tests the availability of an intrinsic for a given bitwidth and returns true
      if the intrinsic is available, otherwise false. bitwidth must be a constant. *)
to:

(* Returns TRUE if the given intrinsic is available for the given bitwidth, 

   otherwise FALSE. The value of bitwidth must be a compile time expression.*)
Changed lines 12-17 from:
   (* Atomically swaps x and y. Type must be an 8, 16, 32 or 64 bit type *)

PROCEDURE CAS( VAR x : expectedValue, y : <Type> ) : Type; 

   (* Atomically compares x and expectedValue, if they are equal, swaps x and y.
      Always returns original value of x. Type must be an 8, 16, 32 or 64 bit type *)
to:

(* Atomically swaps x and y. Type must be an 8, 16, 32 or 64 bit type. *)

PROCEDURE CAS( VAR expectedValue, y : <Type> ) : Type; (* Atomically compares x and expectedValue, if they are equal, swaps x and y. 

   Returns original value of x. Type must be an 8, 16, 32 or 64 bit type. *)
Changed lines 19-20 from:
   (* Atomically increments x by y. Type must be an 8, 16, 32 or 64 bit type *)
to:

(* Atomically increments x by y. Type must be an 8, 16, 32 or 64 bit type. *)

Changed lines 22-38 from:
   (* Atomically decrements x by y. Type must be an 8, 16, 32 or 64 bit type *)

PROCEDURE BWAND( VAR x : <Type>; y : <Type> ) : <Type>; 

   (* Atomically performs bitwise AND of x and y, stores the result in x.
      Always returns the original value of x. Type must be an 8, 16, 32 or 64 bit type *)

PROCEDURE BWNAND( VAR x : <Type>; y : <Type> ) : <Type>; 

   (* Atomically performs bitwise NAND of x and y, stores the result in x.
      Always returns the original value of x. Type must be an 8, 16, 32 or 64 bit type *)

PROCEDURE BWOR( VAR x : <Type>; y : <Type> ) : <Type>; 

   (* Atomically performs bitwise OR of x and y, stores the result in x.
      Always returns the original value of x. Type must be an 8, 16, 32 or 64 bit type *)

PROCEDURE BWXOR( VAR x : <Type>; y : <Type> ) : <Type>; 

   (* Atomically performs bitwise XOR of x and y, stores the result in x.
      Always returns the original value of x. Type must be an 8, 16, 32 or 64 bit type *)
to:

(* Atomically decrements x by y. Type must be an 8, 16, 32 or 64 bit type. *)

PROCEDURE BWAND( VAR x : <Type>; y : <Type> ); (* Atomically performs bitwise AND of x and y, and passes the result in x. 

   Type must be an 8, 16, 32 or 64 bit type. *)

PROCEDURE BWNAND( VAR x : <Type>; y : <Type> ); (* Atomically performs bitwise NAND of x and y, and passes the result in x. 

   Type must be an 8, 16, 32 or 64 bit type. *)

PROCEDURE BWOR( VAR x : <Type>; y : <Type> ); (* Atomically performs bitwise OR of x and y, and passes the result in x. 

   Type must be an 8, 16, 32 or 64 bit type. *)

PROCEDURE BWXOR( VAR x : <Type>; y : <Type> ); (* Atomically performs bitwise XOR of x and y, and passes the result in x. 

   Type must be an 8, 16, 32 or 64 bit type. *)
Restore