polyml/basis/ForeignMemory.sml

24         val volatileRef: SysWord.word -> volatileRef
25         val setVolatileRef: volatileRef * SysWord.word -> unit
26         val getVolatileRef: volatileRef -> SysWord.word
29         val voidStar2Sysword: voidStar -> SysWord.word
30         val sysWord2VoidStar: SysWord.word -> voidStar
33         (* Helper functions to add a word value to an address.
34            From 5.8.2 the word value is treated as signed. *)
35         val ++ : voidStar * word -> voidStar
36         val -- : voidStar * word -> voidStar
45         val malloc: word -> voidStar
51         val alloca: word * (voidStar -> 'a) -> 'a
55         val get8:  voidStar * Word.word -> Word8.word
56         val get16: voidStar * Word.word -> Word.word
57         val get32: voidStar * Word.word -> Word32.word
58         val get64: voidStar * Word.word -> SysWord.word
59         val set8:  voidStar * Word.word * Word8.word -> unit
60         val set16: voidStar * Word.word * Word.word -> unit
61         val set32: voidStar * Word.word * Word32.word -> unit
62         val set64: voidStar * Word.word * SysWord.word -> unit
64         val getFloat:   voidStar * Word.word -> real
65         val getDouble:  voidStar * Word.word -> real
66         val setFloat:   voidStar * Word.word * real -> unit
67         val setDouble:  voidStar * Word.word * real -> unit
69         val getAddress: voidStar * Word.word -> voidStar
70         val setAddress: voidStar * Word.word * voidStar -> unit
83     (* Both volatileRef and SysWord.word are the ADDRESSes of the actual value. *)
84     type volatileRef = word ref
86     val memMove: SysWord.word * SysWord.word * word * word* word -> unit = RunCall.moveBytes
90         (* Allocate a single word marked as mutable, weak, no-overwrite, byte. *)
108         (* Allocate a single word marked as mutable, byte. *)
116     type voidStar = SysWord.word
141     val getAddress: voidStar * Word.word -> voidStar =
143     val setAddress: voidStar * Word.word * voidStar -> unit =
147         val systemMalloc: word -> voidStar = RunCall.rtsCallFull1 "PolyFFIMalloc"
148         (*val systemFree: word -> unit = RunCall.rtsCallFast1 "PolyFFIFree"*)
156         val freeList: {address: SysWord.word, size: word} list ref = LibrarySupport.volatileListRef()
160         (* We need a length word in each object we allocate but we need enough
223                     (* Store the length in the first word. *)
230         val malloc: word -> voidStar = ThreadLib.protect lock allocMem