Copyright (c) Hyperion Entertainment and contributors.

Difference between revisions of "How to Build Stubs for 68k Libraries"

From AmigaOS Documentation Wiki
Jump to navigation Jump to search
 
(70 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
= Author =
 
= Author =
   
Original written by Roman Kargin
+
Roman Kargin<br/>
  +
Copyright &copy; 2013 Roman Kargin<br/>
  +
Proofreading and grammar corrections by the AmigaOS Wiki team.<br/>
   
 
= Introduction =
 
= Introduction =
   
The idea for this tutorial came from when I was playing with Dopus5 code and want to make a one single function from the 68k version of dopus5.library from native AmigaOS 4 code. While we have all kinds of auto generation tools to build all kinds of protos/interfaces/inlines/stubs/etc. it still wasn't clear to me how to do that what I need.
+
The idea for this tutorial came from when we was playing with Dopus5 source code and wanted to make one single function from the 68k version of dopus5.library to work from native AmigaOS 4 code. While we have all kind of auto generation tools to build all kind of protos/interfaces/inlines/stubs/etc, it still wasn't clear to me how to do what I needed.
   
From the beginning a very helpful article was Thomas Rapp's [http://thomas-rapp.homepage.t-online.de/ppclib.html How to create PPC stubs for M68K libraries] where he shows how with using of fd2pragma and IDLTool to build a jpeg.l.main stub from a 68k jpeg.library, as well as helpful answers from Fredrik Wikstrom. In the end, all of it seemed important for me to note so I just put everything into this tutorial so that I hope others will find useful.
+
Since the beginning a very helpful article was Thomas Rapp's [http://thomas-rapp.homepage.t-online.de/ppclib.html How to create PPC stubs for M68K libraries] where he shows how to use fd2pragma and IDLTool to build a jpeg.l.main stub from a 68k jpeg.library, as well as helpful answers from Fredrik Wikstrom. In the end, all this information was important to write down so I put everything into this tutorial. I hope other developers will find it useful.
   
= 68k->PowerPC Glue Stubs =
+
= PowerPC->68k Glue Stubs =
   
While 68k libraries are old and on AmigaOS today almost all of the libraries are in native PowerPC, there are still some old 68k libraries which are necessary and have no native PowerPC replacement. 68k->PowerPC glue stubs are necessary to be able to call 68k routines from PowerPC code in AmigaOS.
+
While 68k libraries are old and almost all libraries on AmigaOS today are PowerPC native ones, there are still some old AmigaOS 3.x libraries which are necessary and have no native PowerPC replacement. In that case we need to create for them necessary PowerPC->68k glue stub files, so we can call those 68k library routines from native, PowerPC code, or, we can use EmulateTags(). The latter makes it easy for your code to use both PowerPC and 68k native libraries transparently with only a small bit of small overhead; just a few instructions. But this only works when the PowerPC native code is available and when there are just a few functions in the library. Quite often, you just don't want to deal with all this because of the large number of functions in a 68k library and the different ways of using them from the code. In this case, creating of PowerPC->68k stubs is a simpler and faster way.
   
  +
For a better explanation of what a PowerPC->68k stub is, refer to the [[Migration_Guide|Migration Guide]]. In short, if you have, let's say, the 68k version of dopus5.library and want to use it from native AmigaOS 4 binaries then you need to create dopus5.l.main. When code in your native binary needs to interface to a old AmigaOS3 library, the system (ramlib to be more precise) will automatically scan its library search path for the file "dopus5.l.main" and if found, it will open it and obtain the interface from there. That l.main file is pure non-startup code which contains the necessary stubs. You do not need to write the stubs from scratch manually. This is a job for different set of tools (fd2pragma, fdtrans and IDLTool). The library.l.main code consists of 2 files if you auto generate them: PowerPC->68k cross call stubs and vectors. Of course you can write them from scratch manually, but its a pain and there are already tools which do it for you.
If you have created native code yourself which will be calling some old 68k library (i.e native aos4-ppc binary with available source code which will use 68k library), you not only can use 68k-PowerPC glue stubs but you can also use EmulateTags() and call your library functions directly. This makes it easy for your code to call both PowerPC and 68k native libraries with only a small bit of small overhead; just a few instructions. This greatly reduces the amount of work and will support both PowerPC and 68k modules transparently with no stub-files needed. But this only works when the PowerPC native code is available and there are just a few functions in the library and so on. Quite often, you just do not want to deal with all of this because of the large number of functions in a library and the different ways of using them from the code. In this case, using 68k-PowerPC stubs are a simpler way.
 
   
  +
The name of the file in general does not matter. A library does not necessarily have to be named ".library" and could be named ".module" or whatever. Ramlib will search for the first "." in the library name, starting from the end, the first part up to and including the dot plus one more character, usually the 'l' in library, is used, another dot is appended, then the interface name is added. It then calls the exec function.
For better explain of what is 68k-ppc stubs is it, you can read Migration Guide (see links), but in brief: if you have let's say 68k version of dopus5.library and want to use it from native aos4 binaries, you need to create dopus5.l.main and when code of your os4 binary will call for interface on a 68k library the system (ramlib, to be more exact) will automatically scan its library search path for the file "dopus5.l.main" and if found, will try to open it and obtain the interface. So, that l.main file is pure nonstartup code which contain necessary stubs, and you _not_ need to write it from scratch manually as for that purposes different kind of tools is present (fd2pragma, fdtrans and idltool). That library.l.main code have 2 files usually if you auto generate them: ppc->68k crosscall stubs and vectors. You of course can write them from scratch manually, but its a pain and there is already tools which do it for you.
 
   
  +
For example, if the interface name is 'main' and the library name is 'foobar' then this is what it looks for:
The name of the file in general not so matter (i.e. library not necessary should be called like ".library", but it can be ".module" or whatever). Ramlib just will find the first "." in the library name, starting from the end, the first part up to and including the dot plus one more character, usually the 'l' in library), is used, another dot is appended, then the interface name is added. It then calls the exec function.
 
   
  +
foobar.library -> foobar.l.main
eg:
 
  +
foobar.blabla -> foobar.b.main
If the interface name is 'main' and the library name is 'foobar', this is what it looks for;
 
  +
foobar.module -> foobar.m.main
   
  +
{{Note|text=Because of the way RamLib parses glue-stubs names, you can't call your glue stub for "foobar.library" as "foobar.library.main". It is understandable from the explanation above, but it can be misleading when you run for example "snoopy" and can see how it tries to search for "foobar.library.main", but it didn't tries to search for a file, just for "resident" code in memory. The real file ramlib will look for is only foobar.l.main when the main library is called as foobar.library.}}
foobar.library -> foobar.l.main
 
foobar.dohickey -> foobar.d.main
 
foobar.module -> foobar.m.main
 
 
Few notes:
 
 
1. Because of the way how RamLib parse glue-stabs names, you can't call your glue stub's like for let's say "foobar.library", as "foobar.library.main". It
 
is understanable from previous description, but can drive to some misleading when you run for example "snoopy" and can see how it tryes to search for
 
"foobar.library.main", but it tryes to search to for a file, but for "resident". File for search by ramlib are only foobar.l.main if main library called
 
as foobar.library.
 
 
 
2. You can't put your glue stub to another directories which is not PROGDIR:, PROGDIR:Libs and LIBS: , or RamLib will not find them. I.e. if you have let's
+
{{Note|text=You can't put your glue stub files in directories other than PROGDIR:, PROGDIR:Libs or LIBS: as RamLib will not find them. If you have let's say a directory "modules" where you store some of your plugins (which in reality are libraries), then you can't put your glue stub files in the same "modules" directory, but to the place mention above.}}
say directory "modules", which have some of your plugins which in reality are library, just in different directory and called different, so, then you can't
 
put to the same "modules" directory your glue stubs, because system will still try to find out those glue files in PROGDIR: PROGDIR:Libs or LIBS: paths.
 
   
 
= pragmas/fd/sfd/protos =
 
= pragmas/fd/sfd/protos =
   
Old 68k libraries its not something which done on GCC most of time: on old 68k machines SASC was the popular one for C, and pure assembler was even more popular for every needs in compare with todays times. And so, many of those old 68k libraryes, provide for developers only includes for sasc, or only asm, or mix or so. So, when you have by hands such a library, where let's say only pragma file is present, and protos let's say done in diffeent includes like a mess: you do need to understand all of this and create your own proto files, build that stub lib.l.main, make a os4 includes from and so on.
+
Often, old 68k libraries were not done with GCC. On old m68k machines, SAS/C was the popular C compiler and pure assembler was even more popular for everyday needs. So many of those old libraries were provided with includes for SAS/C only or for assembler (like .i files) or a mix of the two. You may have such library with which you have only a pragma file and a bunch of proto files for functions which are present in more than one proto file (i.e. no .fd file at all, no single include with all protos). The first thing to do is to create a single proto file from those different proto files you have in different places, manually make your .fd file from pragma (check all offsets and order how they are placed in pragma file, and in the same order put them to your new .fd). Then when you have only one proto file and one .fd file, you can generate a .sfd file and an .xml one with fd2pragma. Then generate from it all includes/vectors/stubs and only after that you can generate lib.l.main :) Usually its not that hard, and most old libraries have .fd files and a single proto include file, but sometimes you will have to do it for difficult libs, so you will know what to do.
   
All what we need to know now, is that libraries have a jump table. Jump table have a list of library functions by offsets. Offsets can't be messed, because by offsets in jump table your code can call necessary function from library. Be it old sasc/assembler, or new gcc on os4: if we works with 68k library and create any fd/proto files from scratch, then offsets should be always be the same.
+
All we need to know now is that libraries have a jump table. Jump tables are a list of library functions at specific offsets. Offsets can't be changed because they are function offsets in the library that your code will call. Be it with the old SAS/C, an assembler or the new GCC on AmigaOS 4, if we work with a 68k library and create any fd/proto files from scratch then the offsets should always be the same.
   
For example you have dopus_pragmas.h file and dopus.fd file (fd files is standard way to describe the interface for libraries) and dopus_pragmas entryes looks like this:
+
For example you have dopus_pragmas.h file and dopus.fd files (fd files are a standard way to describe the interface for libraries) and dopus_pragmas entries look like this:
   
  +
<syntaxhighlight>
[code]
 
 
#pragma libcall DOpusBase RemovedFunc0 1e 0
 
#pragma libcall DOpusBase RemovedFunc0 1e 0
 
#pragma libcall DOpusBase Random 24 001
 
#pragma libcall DOpusBase Random 24 001
 
#pragma libcall DOpusBase Atoh 2a 0802
 
#pragma libcall DOpusBase Atoh 2a 0802
 
....
 
....
  +
</syntaxhighlight>
[/code]
 
   
It mean that first "user" library function in jump table is started on offset 0x1e (30), and then multiply by 6 for every function. So first function on 30(0x1e), second on 36 (0x24), next on 42 (0x2a) and so on for all the functions. That mean, that if for example function Atoh() in the jump table placed by offset 0x2a, then it mean that every single code and includes which we will generate for os4 should respect jump-table offsets.
+
It means that the first "user" library function in a jump table starts at offset 0x1e (30) and then multiply by 6 for every function. So first function is at 30 (0x1e), second one is at 36 (0x24), the next one is at 42 (0x2a) and so on for all the functions. That means that if for example function Atoh() in the jump table is placed at offset 0x2a, then every single code and includes file which we will generate for AmigaOS 4 should respect that jump-table offset.
   
If we will look at dopus_lib.fd file, we will see:
+
If we look at the dopus_lib.fd file we see:
   
  +
<syntaxhighlight>
[code]
 
 
* "dopus.library"
 
* "dopus.library"
 
##base _DOpusBase
 
##base _DOpusBase
Line 70: Line 62:
 
Atoh(str,len)(a0,d0)
 
Atoh(str,len)(a0,d0)
 
....
 
....
  +
</syntaxhighlight>
[/code]
 
   
What mean that public functions starts from offset 30 (bias 30), and they placed in the same necessary order as they placed in the pragma file. I.e. if you
+
This means that public functions start from offset 30 (bias 30), and they are placed in the same order as they are in the pragma file. So if you change the order of function names in the FD file you will end calling a function instead of another one, which of course means crashes, bugs and problems.
for example will just put Atoh() from FD file at first place, and RemovedFunc0() at place of Atoh(), generate all your files for os4, and build native binary
 
to use library: then instead of Atoh() you will have RemovedFunc0() and instead of RemovedFunc0() you will have Atoh(), what of course mean crashes, bugs and
 
problems.
 
   
So, respect offsets in jump table is must.
+
So respect offsets in the jump table.
   
Need to add, that also .sfd kind of files present (you will not find them usually in old 68k dev archives of libraryes as its something fresh in compare with
+
Note that .sfd files work like .fd files but with more possibilities. You won't find them in old 68k dev archives of libraries as its something new. They contain a lot more information than .fd and are easier to use. But more or less they follow the same logic, the same respect for offsets, etc. To see a full description of .fd and .sfd formats check the fd2pragma guide.
.fd), and they hold a lot more infomation in compare with .fd and easy to operate. To see full description of .fd and .sfd formats check fd2pragma guide. But
 
in general they more or less the same by logic, the same respect for offsets, etc.
 
   
 
= Now What? =
 
= Now What? =
   
We have 2 ways to build lib.l.main and necessary includes. But for both of them you need .fd file as minimum (if you have .sfd its even better), and proto file which will describe all (or not all) your functions. While .fd/.sfd its something which should be done by developers initally, you still can make them from scratch just if you have pragma file with lib calls (you make that files in the same order by the same offsets). If you didn't have one proto file, but many in different includes, then you just can make your own one, just string by string grab from all the include files all the protos, while all your FD entrys will not have necessary proto descriptions in proto file (btw, if you will not have proto for some function, then entry from fd/sfd file will be reserved when you will auto generate
+
We have 2 methods to build lib.l.main and required includes. But for both of them you need .fd file as a minimum (if you have .sfd its even better), and a proto file which will describe all (or not all) your functions. While .fd/.sfd should be done by the original developer, you still can make them from scratch if you have a pragma file with lib calls (you make this file with the same order and the same offsets). If you don't have one proto file, but many in different includes, then you can make your own one, just copy one by one all the protos from all the include files, while all your FD entries will not have necessary proto descriptions in proto file (by the way, if you don't have proto for some functions, then entries from the fd/sfd file will be reserved when you will auto generate AmigaOS code/includes, so respect offsets).
os4 code/includes, so respect offsets).
 
   
Let's say we have dopus_lib.fd and nothing more nowhere. Only protos in different includes in diffrent places. We then string by string create proto file from all those includes (in refering to the dopus_lib.fd), and then auto-tools time coming. As i say we have 2 ways:
+
Let's say we have dopus_lib.fd and only protos in different includes in different places. We then create proto file from all those includes (in referring to the dopus_lib.fd), and then auto-tools time coming. As I say we have 2 ways:
   
  +
== Method 1: fdtrans + sfd ==
   
  +
1. generate a .sfd file:
[b]First way: fdtrans + sfd[/b]
 
   
  +
ram:> fd2pragma dopus5_lib.fd clib our_proto.h special 112
[b]1[/b]. generate .sfd file:
 
  +
SourceFile: dopus5_lib.fd
  +
ResultFile: dopus5_lib.sfd
   
  +
2. generate xml and ppc->68k crosscall stubs via fdtrans:
[quote]
 
ram:> fd2pragma dopus5_lib.fd clib our_proto.h special 112
 
SourceFile: dopus5_lib.fd
 
ResultFile: dopus5_lib.sfd
 
[/quote]
 
   
  +
ram:> fdtrans dopus5_lib.sfd -x -s
[b]2.[/b] generate xml and ppc->68k crosscall stubs via fdtrans:
 
   
  +
Change manually in the cross call-stubs file (dopus5.c) "main_vectors" in "main_v1_vectors", as it seems some typo between different tools. No other changes is needed, fdtrans automatically insert including of interface (while fd2pragma will skip it, see later).
[quote]
 
ram:> fdtrans dopus5_lib.sfd -x -s
 
[/quote]
 
   
  +
3. generate proto/interface/inline (i.e. includes) and vectors:
Change manually in the crosscall-stubs file (dopus5.c) "main_vectors" on "main_v1_vectors", as it seems some typo beetwen different tools. No other changes need it, fdtrans automatically insert including of interface (while fd2pragma will skip it, see later).
 
   
  +
ram:> idltool -p -i -n -c dopus5.xml
[b]3.[/b] generate proto/interface/inline (i.e. includes) and vectors:
 
   
  +
4. build dopus5.l.main
[quote]
 
ram:> idltool -p -i -n -c dopus5.xml
+
ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main
[/quote]
 
   
  +
5. build a test program to use one function from dopus5.library, here StrConcat()
[b]4.[/b]. build dopus5.l.main
 
[quote]
 
ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main
 
[/quote]
 
   
  +
<syntaxhighlight>
[b]5.[/b] build test case which will use one of functions from dopus5.library called StrConcat()
 
 
[code]
 
 
#include <proto/exec.h>
 
#include <proto/exec.h>
  +
#include <proto/dos.h>
 
#include <proto/dopus5.h>
 
#include <proto/dopus5.h>
#include <stdio.h>
 
#include <stdlib.h>
 
#include <string.h>
 
   
 
struct Library *DOpusBase;
 
struct Library *DOpusBase;
 
struct DOpusIFace *IDOpus;
 
struct DOpusIFace *IDOpus;
   
void main(int argc,char **argv)
+
int main(int argc, char **argv)
 
{
 
{
char buffer[256] = "First part-";
+
TEXT buffer[256] = "First part-";
char *concat = "Second part";
+
CONST_STRPTR concat = "Second part";
   
// Need dopus library
+
// Need dopus library
if (!(DOpusBase=IExec->OpenLibrary("PROGDIR:dopus5.library",1L))) {
+
if (!(DOpusBase = IExec->OpenLibrary("PROGDIR:dopus5.library", 1))) {
printf("cant library");
+
IDOS->Printf("Can't open library\n");
  +
}
exit(10);
 
  +
else {
};
 
if (!(IDOpus=IExec->GetInterface((struct Library *)DOpusBase,"main",1L,NULL))) {
+
if (!(IDOpus = (struct DOpusIFace*)IExec->GetInterface(DOpusBase, "main", 1, NULL))) {
printf("cant interface");
+
IDOS->Printf("Can't get interface\n");
exit(10);
+
}
};
+
else {
  +
IDOpus->StrConcat(buffer, concat, 36);
  +
IDOS->Printf("Result=%s\n", buffer);
  +
  +
IExec->DropInterface((struct Interface*)IDOpus);
  +
}
   
  +
IExec->CloseLibrary(DOpusBase);
IDOpus->StrConcat(buffer, concat, 36);
 
  +
}
printf("Result=%s\n", buffer);
 
  +
  +
return 0;
  +
}
  +
</syntaxhighlight>
   
  +
ram:> gcc -Iinclude testcase-native-fdtrans.c
IExec->CloseLibrary(DOpusBase);
 
  +
ram:> a.out
}
 
  +
ram:> Result=First part-Second part
[/code]
 
   
  +
It works!
[quote]
 
ram:> gcc -Iinclude testcase-native-fdtrans.c
 
ram:> a.out
 
ram:> Result=First part-Second part
 
[/quote]
 
   
  +
== Method 2: fd2pragma + fd ==
It works !
 
   
  +
1. Create an XML file:
[b]Second way: fd2pragma + fd[/b]
 
   
  +
ram:> fd2pragma dopus5_lib.fd clib proto.h special 140
[b]1.[/b] Create xml:
 
  +
SourceFile: dopus5_lib.fd
  +
Resultfile: dopus5.xml
   
  +
2. generate ppc->68k crosscall stubs:
[quote]
 
ram:> fd2pragma dopus5_lib.fd clib proto.h special 140
 
SourceFile: dopus5_lib.fd
 
Resultfile: dopus5.xml
 
[/quote]
 
   
  +
ram:> fd2pragma dopus5_lib.fd clib proto.h special 141
[b]2.[/b]generate ppc->68k crosscall stubs:
 
  +
SourceFile: dopus5_lib.fd
  +
Resultfile: dopus5.c
   
  +
In the result file (dopus5.c) manually add including of interfaces/dopus5.h file and replace value "main_vectors" with "main_v1_vectors"
[quote]
 
ram:> fd2pragma dopus5_lib.fd clib proto.h special 141
 
SourceFile: dopus5_lib.fd
 
Resultfile: dopus5.c
 
[/quote]
 
 
In result file (dopus5.c) manually add including of interfaces/dopus5.h and replace value "main_vectors" on "main_v1_vectors"
 
 
 
[b]3.[/b] generate proto/interface/inline (i.e. includes) and vectors:
+
3. generate proto/interface/inline (i.e. includes) and vectors:
   
  +
ram:> idltool -p -i -n -c dopus5.xml
[quote]
 
ram:> idltool -p -i -n -c dopus5.xml
 
[/quote]
 
   
[b]4.[/b] build dopus5.l.main
+
4. build dopus5.l.main
   
  +
ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main
[quote]
 
ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main
 
[/quote]
 
   
[b]5.[/b] build test case (its a bit different in compare with one from fdtrans, because names of iface a bit different (big/small letters, 5 at end, etc) :
+
5. build a test program (its a bit different compared to the previous test program because the name of the interface is a bit different (big/small letters, 5 at end, etc) :
   
  +
<syntaxhighlight>
[code]
 
 
#include <proto/exec.h>
 
#include <proto/exec.h>
  +
#include <proto/dos.h>
 
#include <proto/dopus5.h>
 
#include <proto/dopus5.h>
#include <stdio.h>
 
#include <stdlib.h>
 
#include <string.h>
 
   
 
struct Library *DOpusBase;
 
struct Library *DOpusBase;
 
struct Dopus5IFace *IDopus5;
 
struct Dopus5IFace *IDopus5;
   
void main(int argc,char **argv)
+
int main(int argc, char **argv)
 
{
 
{
char buffer[256] = "First part-";
+
TEXT buffer[256] = "First part-";
char *concat = "Second part";
+
CONST_STRPTR concat = "Second part";
   
// Need dopus library
+
// Need dopus library
if (!(DOpusBase=IExec->OpenLibrary("PROGDIR:dopus5.library",1L))) {
+
if (!(DOpusBase = IExec->OpenLibrary("PROGDIR:dopus5.library", 1))) {
printf("cant library");
+
IDOS->Printf("Can't open library");
  +
}
exit(10);
 
  +
else {
};
 
if (!(IDopus5=IExec->GetInterface((struct Library *)DOpusBase,"main",1L,NULL))) {
+
if (!(IDopus5 = IExec->GetInterface(DOpusBase, "main", 1, NULL))) {
printf("cant interface");
+
IDOS->Printf("Can't get interface");
exit(10);
+
}
};
+
else {
  +
IDopus5->StrConcat(buffer, concat, 36);
  +
IDOS->Printf("Result=%s\n", buffer);
  +
  +
IExec->DropInterface((struct Interface*)IDopus5);
  +
}
   
  +
IExec->CloseLibrary(DOpusBase);
IDopus5->StrConcat(buffer, concat, 36);
 
  +
}
printf("Result=%s\n", buffer);
 
  +
 
  +
return 0;
IExec->CloseLibrary(DOpusBase);
 
 
}
 
}
  +
</syntaxhighlight>
[/code]
 
   
Then hard-reboot is need it in case you already run previous test case on dopus5.l.main done from fd2trans and which still in memory
+
Then hard-reboot is needed if you did the previous test with dopus5.l.main done from fd2trans as it is still in memory (and it can freeze the OS because of different code of the same stub libs), and then:
(as it can freeze os hard because of different code of the same stub libs), and then:
 
   
  +
ram:> gcc -Iinclude testcase-native-fd2pragma.c
[quote]
 
  +
ram:> a.out
ram:> gcc -Iinclude testcase-native-fd2pragma.c
 
  +
ram:> Result=First part-Second part
ram:> a.out
 
ram:> Result=First part-Second part
 
[/quote]
 
   
  +
It works as well!
   
  +
== Conclusion ==
It works as well !
 
   
  +
Which method is better? In my opinion, the fdtrans one because:
[b]Conclusion[/b]
 
What way better ? Imho fdtrans one. Because:
 
   
1). you need to change less (no need to manually include interfaces/dopus5.h file).
+
# You need less changes (no need to manually include interfaces/dopus5.h file).
2). the code of stubs from fdtrans looks better and cleaner in compare with code of stubs from fd2pragma. For example such a even small moment as comments saying what value in hex mean your offset in jump table is pretty nice (expectually when you works manually with pragmas, where those hex offsets is present).
+
# The code of stubs from fdtrans look better and cleaner in comparison with the code of stubs from fd2pragma. For example even small things like comments saying what values in hex mean in your offset jump table is pretty nice (especially when you work manually with pragmas, where hex offsets are present).
3). size of dopus.l.main done from fd2pragma output bigger in compare with size of dopus.l.main done from fdtrans output.
+
# Size of dopus.l.main done from fd2pragma output is larger in comparison with the size of dopus.l.main created from fdtrans output.
   
 
= I want one single function to work =
 
= I want one single function to work =
   
Now something intersting : you for example want to just check if it all will works at all for you from os4 and with your new lib.l.main and native os4 includes, code and co. You then choice any "simply" function from library and want to make a simple os4 native test case for it. Let's say it will be StrConcat() function from dopus5.library, which is described in pragma file as:
+
Now for something interesting. You may want to check if it all works from AmigaOS 4 and with your new lib.l.main and native AmigaOS includes, code, etc. You then choose any "simple" function from the library and make a simple AmigaOS 4 native test program for it. Let's say it will be the StrConcat() function from dopus5.library, which is described in the pragma file as:
   
  +
<syntaxhighlight>
[code]
 
 
#pragma libcall DOpusBase StrConcat 47a 09803
 
#pragma libcall DOpusBase StrConcat 47a 09803
  +
</syntaxhighlight>
[/code]
 
   
 
and in dopus_lib.fd like:
 
and in dopus_lib.fd like:
   
  +
<syntaxhighlight>
[code]
 
 
StrConcat(s1,s2,len)(a0/a1,d0)
 
StrConcat(s1,s2,len)(a0/a1,d0)
  +
</syntaxhighlight>
[/code]
 
   
We then simply calc:
+
We then simply calculate:
   
1. 0x47a = 1146
+
1. 0x47a = 1146<br>
2. 1146 / 6 = 191
+
2. 1146 / 6 = 191<br>
3. 191 - 4 (i.e. 30/6 from begining 5, but 30 is our first one, so -4) = 187
+
3. 191 - 4 (i.e. 30/6 from beginning 5, but 30 is our first one, so -4) = 187<br>
   
I.e. entry in jump table for StrConcat is 187. And entry in the dopus_lib.fd file for Strconcat also 187 in the list of functions (+ header of .fd)
+
i.e. entry in jump table for StrConcat is 187. The entry in the dopus_lib.fd file for Strconcat is also 187 in the list of functions (+ header of .fd)
   
In other words you can build your .fd file from scratch, which will looks like this:
+
In other words you can build your .fd file from scratch, which will look like this:
   
  +
<syntaxhighlight>
[code]
 
 
* "dopus.library"
 
* "dopus.library"
 
##base _DOpusBase
 
##base _DOpusBase
Line 284: Line 254:
 
aa()()
 
aa()()
 
aa()()
 
aa()()
.... 186 entrys to fill the gap in jump table ....
+
.... 186 entries to fill the gap in jump table ....
 
StrConcat(s1,s2,len)(a0/a1,d0)
 
StrConcat(s1,s2,len)(a0/a1,d0)
 
....
 
....
 
##end
 
##end
  +
</syntaxhighlight>
[/code]
 
   
You of coures can go more elegant way and use .sfd instead, which have "reserved" keyword, so no need to put all those empty-funct. I.e.:
+
Obviously, you can go the more elegant way and use .sfd instead, which have "reserved" keyword, so no need to put all those empty-functions like:
   
  +
<syntaxhighlight>
[code]
 
 
==id $Id: dopus5_lib.sfd,v 1.0 2013/03/29 09:24:08 noname Exp $
 
==id $Id: dopus5_lib.sfd,v 1.0 2013/03/29 09:24:08 noname Exp $
 
* "dopus5.library"
 
* "dopus5.library"
Line 304: Line 274:
 
BOOL StrConcat(char * s1, char * s2, int len) (a0,a1,d0)
 
BOOL StrConcat(char * s1, char * s2, int len) (a0,a1,d0)
 
==end
 
==end
  +
</syntaxhighlight>
[/code]
 
   
And when you will generate all necessary stuff via fd2grama/fdtrans/idltool from .fr or from .sfd, offsets will be respected, and when you will call from your code IDopus->StrConcat(blablab);, it will works because code will find out StrConcat in jump-table by right offset and will works.
+
And when you will generate all necessary stuff via fd2grama/fdtrans/idltool from .fd or from .sfd, offsets will be respected. When you will call IDopus->StrConcat(blablab) from your code it will work because StrConcat will be found in the jump-table at the right offset.
   
 
= Final words =
 
= Final words =
   
As usual, there is nothing hardcore in here. This is just a short article about the problems which I encountered. I hope that it can be any
+
As usual, there is nothing hardcore in here. This is just a short article about the problems which I encountered. I hope that it can be of any help for new developers. Thanks to Fredrik Wikstrom for hints about offsets calculation, Colin Wenzel for explaining how RamLib works when it scans paths for stubs, to Jeffrey Gilpin for his knowledge and many others for proofreading and grammar corrections.
help for new developers. In end thanks to Fredrik Wikstrom for hints, and many others for proofreading and grammar corrections.
 
   
 
= Links =
 
= Links =
   
[1] OS4 libraries and devices: http://wiki.amigaos.net/index.php/Libraries_and_Devices
+
[1] Libraries and devices: https://wiki.amigaos.net/wiki/Libraries_and_Devices
   
 
[2] RamLib autodoc.
 
[2] RamLib autodoc.

Latest revision as of 22:28, 25 December 2020

Author

Roman Kargin
Copyright © 2013 Roman Kargin
Proofreading and grammar corrections by the AmigaOS Wiki team.

Introduction

The idea for this tutorial came from when we was playing with Dopus5 source code and wanted to make one single function from the 68k version of dopus5.library to work from native AmigaOS 4 code. While we have all kind of auto generation tools to build all kind of protos/interfaces/inlines/stubs/etc, it still wasn't clear to me how to do what I needed.

Since the beginning a very helpful article was Thomas Rapp's How to create PPC stubs for M68K libraries where he shows how to use fd2pragma and IDLTool to build a jpeg.l.main stub from a 68k jpeg.library, as well as helpful answers from Fredrik Wikstrom. In the end, all this information was important to write down so I put everything into this tutorial. I hope other developers will find it useful.

PowerPC->68k Glue Stubs

While 68k libraries are old and almost all libraries on AmigaOS today are PowerPC native ones, there are still some old AmigaOS 3.x libraries which are necessary and have no native PowerPC replacement. In that case we need to create for them necessary PowerPC->68k glue stub files, so we can call those 68k library routines from native, PowerPC code, or, we can use EmulateTags(). The latter makes it easy for your code to use both PowerPC and 68k native libraries transparently with only a small bit of small overhead; just a few instructions. But this only works when the PowerPC native code is available and when there are just a few functions in the library. Quite often, you just don't want to deal with all this because of the large number of functions in a 68k library and the different ways of using them from the code. In this case, creating of PowerPC->68k stubs is a simpler and faster way.

For a better explanation of what a PowerPC->68k stub is, refer to the Migration Guide. In short, if you have, let's say, the 68k version of dopus5.library and want to use it from native AmigaOS 4 binaries then you need to create dopus5.l.main. When code in your native binary needs to interface to a old AmigaOS3 library, the system (ramlib to be more precise) will automatically scan its library search path for the file "dopus5.l.main" and if found, it will open it and obtain the interface from there. That l.main file is pure non-startup code which contains the necessary stubs. You do not need to write the stubs from scratch manually. This is a job for different set of tools (fd2pragma, fdtrans and IDLTool). The library.l.main code consists of 2 files if you auto generate them: PowerPC->68k cross call stubs and vectors. Of course you can write them from scratch manually, but its a pain and there are already tools which do it for you.

The name of the file in general does not matter. A library does not necessarily have to be named ".library" and could be named ".module" or whatever. Ramlib will search for the first "." in the library name, starting from the end, the first part up to and including the dot plus one more character, usually the 'l' in library, is used, another dot is appended, then the interface name is added. It then calls the exec function.

For example, if the interface name is 'main' and the library name is 'foobar' then this is what it looks for:

foobar.library  -> foobar.l.main
foobar.blabla   -> foobar.b.main
foobar.module   -> foobar.m.main
Note
Because of the way RamLib parses glue-stubs names, you can't call your glue stub for "foobar.library" as "foobar.library.main". It is understandable from the explanation above, but it can be misleading when you run for example "snoopy" and can see how it tries to search for "foobar.library.main", but it didn't tries to search for a file, just for "resident" code in memory. The real file ramlib will look for is only foobar.l.main when the main library is called as foobar.library.
Note
You can't put your glue stub files in directories other than PROGDIR:, PROGDIR:Libs or LIBS: as RamLib will not find them. If you have let's say a directory "modules" where you store some of your plugins (which in reality are libraries), then you can't put your glue stub files in the same "modules" directory, but to the place mention above.

pragmas/fd/sfd/protos

Often, old 68k libraries were not done with GCC. On old m68k machines, SAS/C was the popular C compiler and pure assembler was even more popular for everyday needs. So many of those old libraries were provided with includes for SAS/C only or for assembler (like .i files) or a mix of the two. You may have such library with which you have only a pragma file and a bunch of proto files for functions which are present in more than one proto file (i.e. no .fd file at all, no single include with all protos). The first thing to do is to create a single proto file from those different proto files you have in different places, manually make your .fd file from pragma (check all offsets and order how they are placed in pragma file, and in the same order put them to your new .fd). Then when you have only one proto file and one .fd file, you can generate a .sfd file and an .xml one with fd2pragma. Then generate from it all includes/vectors/stubs and only after that you can generate lib.l.main :) Usually its not that hard, and most old libraries have .fd files and a single proto include file, but sometimes you will have to do it for difficult libs, so you will know what to do.

All we need to know now is that libraries have a jump table. Jump tables are a list of library functions at specific offsets. Offsets can't be changed because they are function offsets in the library that your code will call. Be it with the old SAS/C, an assembler or the new GCC on AmigaOS 4, if we work with a 68k library and create any fd/proto files from scratch then the offsets should always be the same.

For example you have dopus_pragmas.h file and dopus.fd files (fd files are a standard way to describe the interface for libraries) and dopus_pragmas entries look like this:

#pragma libcall DOpusBase RemovedFunc0 1e 0
#pragma libcall DOpusBase Random 24 001
#pragma libcall DOpusBase Atoh 2a 0802
....

It means that the first "user" library function in a jump table starts at offset 0x1e (30) and then multiply by 6 for every function. So first function is at 30 (0x1e), second one is at 36 (0x24), the next one is at 42 (0x2a) and so on for all the functions. That means that if for example function Atoh() in the jump table is placed at offset 0x2a, then every single code and includes file which we will generate for AmigaOS 4 should respect that jump-table offset.

If we look at the dopus_lib.fd file we see:

* "dopus.library"                                             
##base _DOpusBase
##bias 30
*                                                             
* Support routines for Directory Opus and associated programs 
* (c) Copyright 1995 Jonathan Potter                          
*                                                             
##public
RemovedFunc0()()
Random(limit)(d0)
*
Atoh(str,len)(a0,d0)
....

This means that public functions start from offset 30 (bias 30), and they are placed in the same order as they are in the pragma file. So if you change the order of function names in the FD file you will end calling a function instead of another one, which of course means crashes, bugs and problems.

So respect offsets in the jump table.

Note that .sfd files work like .fd files but with more possibilities. You won't find them in old 68k dev archives of libraries as its something new. They contain a lot more information than .fd and are easier to use. But more or less they follow the same logic, the same respect for offsets, etc. To see a full description of .fd and .sfd formats check the fd2pragma guide.

Now What?

We have 2 methods to build lib.l.main and required includes. But for both of them you need .fd file as a minimum (if you have .sfd its even better), and a proto file which will describe all (or not all) your functions. While .fd/.sfd should be done by the original developer, you still can make them from scratch if you have a pragma file with lib calls (you make this file with the same order and the same offsets). If you don't have one proto file, but many in different includes, then you can make your own one, just copy one by one all the protos from all the include files, while all your FD entries will not have necessary proto descriptions in proto file (by the way, if you don't have proto for some functions, then entries from the fd/sfd file will be reserved when you will auto generate AmigaOS code/includes, so respect offsets).

Let's say we have dopus_lib.fd and only protos in different includes in different places. We then create proto file from all those includes (in referring to the dopus_lib.fd), and then auto-tools time coming. As I say we have 2 ways:

Method 1: fdtrans + sfd

1. generate a .sfd file:

ram:> fd2pragma dopus5_lib.fd clib our_proto.h special 112
SourceFile: dopus5_lib.fd
ResultFile: dopus5_lib.sfd

2. generate xml and ppc->68k crosscall stubs via fdtrans:

ram:> fdtrans dopus5_lib.sfd -x -s

Change manually in the cross call-stubs file (dopus5.c) "main_vectors" in "main_v1_vectors", as it seems some typo between different tools. No other changes is needed, fdtrans automatically insert including of interface (while fd2pragma will skip it, see later).

3. generate proto/interface/inline (i.e. includes) and vectors:

ram:> idltool -p -i -n -c dopus5.xml 

4. build dopus5.l.main

ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main

5. build a test program to use one function from dopus5.library, here StrConcat()

#include <proto/exec.h>
#include <proto/dos.h>
#include <proto/dopus5.h>
 
struct Library *DOpusBase;
struct DOpusIFace *IDOpus;
 
int main(int argc, char **argv)
{
  TEXT buffer[256] = "First part-";
  CONST_STRPTR concat = "Second part";
 
  // Need dopus library
  if (!(DOpusBase = IExec->OpenLibrary("PROGDIR:dopus5.library", 1))) {
    IDOS->Printf("Can't open library\n");
  }
  else {
    if (!(IDOpus = (struct DOpusIFace*)IExec->GetInterface(DOpusBase, "main", 1, NULL))) {
      IDOS->Printf("Can't get interface\n");
    }
    else {
      IDOpus->StrConcat(buffer, concat, 36);
      IDOS->Printf("Result=%s\n", buffer);
 
      IExec->DropInterface((struct Interface*)IDOpus);
    }
 
    IExec->CloseLibrary(DOpusBase);
  }
 
  return 0;
}
ram:> gcc -Iinclude testcase-native-fdtrans.c 
ram:> a.out
ram:> Result=First part-Second part

It works!

Method 2: fd2pragma + fd

1. Create an XML file:

ram:> fd2pragma dopus5_lib.fd clib proto.h special 140
SourceFile: dopus5_lib.fd
Resultfile: dopus5.xml

2. generate ppc->68k crosscall stubs:

ram:> fd2pragma dopus5_lib.fd clib proto.h special 141
SourceFile: dopus5_lib.fd
Resultfile: dopus5.c

In the result file (dopus5.c) manually add including of interfaces/dopus5.h file and replace value "main_vectors" with "main_v1_vectors"

3. generate proto/interface/inline (i.e. includes) and vectors:

ram:> idltool -p -i -n -c dopus5.xml 

4. build dopus5.l.main

ram:> gcc -Iinclude -nostartfiles dopus5.c -o dopus5.l.main

5. build a test program (its a bit different compared to the previous test program because the name of the interface is a bit different (big/small letters, 5 at end, etc) :

#include <proto/exec.h>
#include <proto/dos.h>
#include <proto/dopus5.h>
 
struct Library *DOpusBase;
struct Dopus5IFace *IDopus5;
 
int main(int argc, char **argv)
{
  TEXT buffer[256] = "First part-";
  CONST_STRPTR concat = "Second part";
 
  // Need dopus library
  if (!(DOpusBase = IExec->OpenLibrary("PROGDIR:dopus5.library", 1))) {
    IDOS->Printf("Can't open library");
  }
  else {
    if (!(IDopus5 = IExec->GetInterface(DOpusBase, "main", 1, NULL))) {
      IDOS->Printf("Can't get interface");
    }
    else {
      IDopus5->StrConcat(buffer, concat, 36);
      IDOS->Printf("Result=%s\n", buffer);
 
      IExec->DropInterface((struct Interface*)IDopus5);
    }
 
    IExec->CloseLibrary(DOpusBase);
  }
 
  return 0;
}

Then hard-reboot is needed if you did the previous test with dopus5.l.main done from fd2trans as it is still in memory (and it can freeze the OS because of different code of the same stub libs), and then:

ram:> gcc -Iinclude testcase-native-fd2pragma.c 
ram:> a.out
ram:> Result=First part-Second part

It works as well!

Conclusion

Which method is better? In my opinion, the fdtrans one because:

  1. You need less changes (no need to manually include interfaces/dopus5.h file).
  2. The code of stubs from fdtrans look better and cleaner in comparison with the code of stubs from fd2pragma. For example even small things like comments saying what values in hex mean in your offset jump table is pretty nice (especially when you work manually with pragmas, where hex offsets are present).
  3. Size of dopus.l.main done from fd2pragma output is larger in comparison with the size of dopus.l.main created from fdtrans output.

I want one single function to work

Now for something interesting. You may want to check if it all works from AmigaOS 4 and with your new lib.l.main and native AmigaOS includes, code, etc. You then choose any "simple" function from the library and make a simple AmigaOS 4 native test program for it. Let's say it will be the StrConcat() function from dopus5.library, which is described in the pragma file as:

#pragma libcall DOpusBase StrConcat 47a 09803

and in dopus_lib.fd like:

StrConcat(s1,s2,len)(a0/a1,d0)

We then simply calculate:

1. 0x47a = 1146
2. 1146 / 6 = 191
3. 191 - 4 (i.e. 30/6 from beginning 5, but 30 is our first one, so -4) = 187

i.e. entry in jump table for StrConcat is 187. The entry in the dopus_lib.fd file for Strconcat is also 187 in the list of functions (+ header of .fd)

In other words you can build your .fd file from scratch, which will look like this:

* "dopus.library"                                             
##base _DOpusBase
##bias 30
*                                                             
* Support routines for Directory Opus and associated programs 
* (c) Copyright 1995 Jonathan Potter                          
*                                                             
##public
aa()()
aa()()
aa()()
aa()()
.... 186 entries to fill the gap in jump table ....
StrConcat(s1,s2,len)(a0/a1,d0)
....
##end

Obviously, you can go the more elegant way and use .sfd instead, which have "reserved" keyword, so no need to put all those empty-functions like:

==id $Id: dopus5_lib.sfd,v 1.0 2013/03/29 09:24:08 noname Exp $ 
* "dopus5.library" 
==base _DopusBase 
==basetype struct Library * 
==libname dopus5.library 
==bias 30 
==public 
==include <exec/types.h> 
==reserve 186 
BOOL StrConcat(char * s1, char * s2, int len) (a0,a1,d0) 
==end

And when you will generate all necessary stuff via fd2grama/fdtrans/idltool from .fd or from .sfd, offsets will be respected. When you will call IDopus->StrConcat(blablab) from your code it will work because StrConcat will be found in the jump-table at the right offset.

Final words

As usual, there is nothing hardcore in here. This is just a short article about the problems which I encountered. I hope that it can be of any help for new developers. Thanks to Fredrik Wikstrom for hints about offsets calculation, Colin Wenzel for explaining how RamLib works when it scans paths for stubs, to Jeffrey Gilpin for his knowledge and many others for proofreading and grammar corrections.

Links

[1] Libraries and devices: https://wiki.amigaos.net/wiki/Libraries_and_Devices

[2] RamLib autodoc.

[3] fd2pragma guide from: http://aminet.net/dev/misc/fd2pragma.lha

[4] How to create PPC stubs for M68K libraries: http://thomas-rapp.homepage.t-online.de/ppclib.html