Telelogic Tau 3.5

User's Manual

Part 7:   Chapter 56-- 60

Table of Contents 

56. The Master Library      2609

• Introduction      2610
• File Structure      2611
• Description of Files      2612
• The Symbol Table      2615
• Symbol Table Tree Structure      2615
• Types Representing the Symbol Table Nodes      2619
• The SDL Model      2641
• Signals and Timers      2641
• Processes      2649
• Services      2668
• Procedures      2672
• Channels and Signal Routes      2677
• The Type Concept in SDL-92      2680
• Structure of Generated Code      2682
• Structure of a Generated File      2684
• Include files      2685
• Types and Forward References      2686
• CODE Directives, #HEADING Section      2702
• CODE Directives, #BODY Section      2702
• Variables and Functions      2702
• Initialization      2724
• Process Behavior      2726
• Allocating Dynamic Memory      2745
• Introduction      2745
• Processes      2746
• Services      2748
• Signals      2748
• Timers      2749
• Procedures      2750
• Data types      2751
• Functions for Allocation and Deallocation      2751
• Changing the Standard Memory Allocation Procedure      2752
• Compilation Switches      2754
• Description of Compilation Switches      2755
• Compilation Switches -- Summary      2772
• Creating a New Library      2774
• Directory Structure      2774
• File sdtsct.knl      2776
• File Makefile      2777
• File comp.opt      2778
• File makeoptions / make.opt      2779
• Generated Make Files      2781
• Adaptation to Compilers      2782
• Compiler Definition Section in scttypes.h      2782
• The sctos.c File      2787
• List of All Compilation Switches      2792
• Introduction      2792
• Library Version Macros      2792
• Compiler Definition Section Macros      2794
• Some Configuration Macros      2796
• General Properties      2798
• Code Optimization      2802
• Definitions of Minor Features      2805
• Static Data, Mainly xIdNodes      2809
• Data in Processes, Procedures and Services      2814
• Some Macro Used Within PAD Functions      2816
• yInit Function      2819
• Implementation of Signals and Output      2821
• Implementation of RPC      2825
• Implementation of View and Import      2829
• Implementation of Static and Dynamic Create and Stop      2830
• Implementation of Timers, Timer Operations and Now      2834
• Implementation of Call and Return      2840
• Implementation of Join      2842
• Implementation of State and Nextstate      2843
• Implementation of Any Decisions      2845
• Implementation of Informal Decisions      2847
• Macros for Component Selection Tests      2849
• Debug and Simulation Macros      2852
• Utility Macros to Be Inserted      2854

57. The ADT Library      2859

• General      2860
• Integration with C Data Types      2861
• CharStar      2862
• VoidStarStar      2862
• CArray      2863
• Ref      2863
• Abstract Data Type for File Manipulations and I/O      2865
• The ADT TextFile      2865
• Purpose      2865
• Summary of Operators      2866
• File Handling Operators      2868
• Write Operators      2873
• Read Operators      2874
• Accessing the Operators from C      2875
• Abstract Data Type for Random Numbers      2878
• Purpose      2878
• Available Operators      2879
• Using the Data Type      2883
• Trace Printouts      2886
• Accessing the Operators from C      2886
• Abstract Data Types for List Processing      2887
• Purpose      2887
• Available Sorts      2888
• Available Operators      2890
• Examples of Use      2894
• Connection to the Monitor      2897
• Accessing List Operators from C      2897
• Abstract Data Type for Byte      2898
• Purpose      2898
• Available Operators      2898
• Unsigned (and Similar) Types      2900
• How to Obtain PId Literals      2900
• Purpose      2901
• The Data Type PIdLit      2902
• General Purpose Operators      2905
• Introduction      2905
• Type IdNode      2905
• Available Operators      2907
• Connection to Monitor      2909
• Pointer Types      2910
• Passing Addresses as Operator Parameters      2912
• Using Linked Structures      2914
• Summary of Restrictions      2916

58. The Performance Library      2917

• A Performance Simulation Project      2918
• The Performance Model      2919
• Queuing Models      2919
• Measurements      2921
• Implementation of the Model      2921
• Mapping of Queue Models to SDL      2921
• Abstract Data Types for Queues and Random Numbers      2922
• Implementation of Job Generators and Servers      2922
• I/O and Performance Simulations      2925
• Exit from a Simulation      2926
• Execution with the Library Performance Simulation      2926

59. The CORBA Integration      2927

• Introduction      2928
• Requirements      2929
• Integrating CORBA with SDL      2929
• The CORBA-Oriented Approach      2929
• The SDL-Oriented Approach      2930
• Mapping IDL to SDL      2932
• General Mapping Structure      2932
• Scoped Names      2935
• Modules      2935
• Interfaces      2936
• Exceptions      2936
• Operations      2936
• Attributes      2939
• Inheritance      2940
• Constants      2941
• Types      2942
• Creating an Object Implementation      2947
• Creating an IDL Description      2947
• Converting an IDL Description to an SDL System Skeleton      2948
• Providing Behavior to the SDL System      2950
• Generating a CORBA Application      2951
• Creating a Debug Application      2953
• Using Other CORBA Objects      2954
• Converting an IDL Description to an SDL Interface Package      2954
• Using the SDL Interface Package      2956
• Adding to the Make Template File      2956
• The IDL Compiler      2957
• Usage      2958
• Flags      2958
• Limitations      2961
• Error Codes      2962
• The Environment      2963
• The File Structure      2963
• The SDL System      2966
• The Server Wrapper      2966
• The Client Wrapper      2971
• Environment Functions      2975
• The Master Library      2979
• The Master Library      2979
• The makeoptions File      2984
• The Make Template File      2986
• The sdtsct.knl File      2987

60. Integration with Operating Systems      2989

• Introduction      2990
• Different Integration Models      2990
• Common Features      2994
• The Use of Macros      2994
• File Structure      2995
• Naming Conventions      2998
• The Symbol Table      2998
• Memory Allocation      2999
• Start-up      2999
• Implementation of SDL Concepts      2999
• Light Integration      3005
• PAD Functions      3005
• Start-up      3005
• Connection to the Environment      3006
• Running a Light Integration under an External RTOS      3006
• Tight Integration      3008
• Common Features      3009
• The Standard Model      3017
• The Instance Set Model      3020
• Limitations for Integrations      3022
• A Simple Example      3023
• The Simple System      3023
• Light Integration      3027
• Tight Integration      3028
• Tight Integration Code Reference      3029
• General Macros      3029
• Macros to Implement SDL      3030
• Variables in the PAD Function      3031
• Annex 1: Integration Model for OSE Classic      3032
• Introduction      3032
• Principles      3032
• Using OSE Trace Features      3033
• Running the Test Example: Simple      3035
• Light Integration      3036
• Tight Integration      3037
• Annex 2: Integration Model for OSE Delta      3040
• Introduction      3040
• Principles      3040
• Running the Test Example: Simple      3041
• Light Integration      3042
• Tight Integration      3043
• Annex 3: Integration Model for VxWorks      3045
• Introduction      3045
• Principles      3045
• Running the Test Example: Simple      3046
• Light Integration      3047
• Tight Integration      3048
• Annex 4: Integration Model for Chorus      3052
• Introduction      3052
• Principles      3052
• Running the Test Example: Simple      3053
• Light Integration      3054
• Tight Integration      3055
• Annex 5: Integration Model for Chorus ClassiX      3058
• Introduction      3058
• Principles      3058
• Running the Test Example: Simple      3059
• Light Integration      3060
• Tight Integration      3061
• Annex 6: Integration Model for pSOS      3065
• Introduction      3065
• Principles      3065
• Running the Test Example: Simple      3066
• Light Integration      3067
• Tight Integration      3069
• Annex 7: Integration Model for VRTX      3072
• Introduction      3072
• Principles      3072
• Running the Test Example: Simple      3073
• Light Integration      3074
• Tight Integration      3075
• Annex 8: Integration Model for Win32 and Windows CE      3078
• Principles      3078
• Additional comments about Windows CE      3078
• Running the Test Example: Simple      3079
• Light Integration      3080
• Tight Integration      3081
• Annex 9: Integration Model for QNX      3088
• Introduction      3088
• Principles      3088
• Running the Test Example: Simple      3089
• Light Integration      3090
• Tight Integration      3090
• Annex 10: Integration Model for Nucleus+      3094
• Introduction      3094
• Principles      3094
• Running the Test Example: Simple      3096
• Light Integration      3097
• Tight Integration      3098
• Annex 11: Integration Model for Solaris 2.6      3103
• Introduction      3103
• Principles      3103
• Running the Test Example: Simple      3104
• Light Integration      3105
• Tight Integration      3105